runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand105.cudf.user-upgrades.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand105.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand105.cudf.user-upgrades.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.11 1.04 0.97 5/35 3379 /proc/meminfo: memFree=683524/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=11356 CPUtime=0 /proc/3378/stat : 3378 (java) R 3377 3377 1511 34817 1511 4202496 918 0 0 0 0 0 0 0 25 0 2 0 957241 11628544 651 1283457024 134512640 134550932 4294103152 18446744073709551615 4159618664 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 2839 651 285 10 0 1185 0 [pid=3378/tid=3379] ppid=3377 vsize=405436 CPUtime=0 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 665 0 1 0 0 0 0 0 25 0 3 0 957241 415166464 1244 1283457024 134512640 134550932 4294103152 18446744073709551615 4159618664 0 4 0 16784584 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=405436 CPUtime=0 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 3 0 0 0 0 0 0 0 25 0 3 0 957242 415166464 1244 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16784584 18446612133395904512 0 0 -1 0 0 0 0 [startup+0.13884 s] /proc/loadavg: 1.11 1.04 0.97 5/35 3379 /proc/meminfo: memFree=683524/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=409796 CPUtime=0.13 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 3800 0 1 0 13 0 0 0 25 0 9 0 957241 419631104 3227 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102449 3227 1803 10 0 96597 0 [pid=3378/tid=3379] ppid=3377 vsize=409796 CPUtime=0.12 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 2832 0 1 0 12 0 0 0 25 0 9 0 957241 419631104 3227 1283457024 134512640 134550932 4294103152 18446744073709551615 4114968712 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=409796 CPUtime=0 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 9 0 957242 419631104 3227 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 412364 [startup+0.208878 s] /proc/loadavg: 1.11 1.04 0.97 5/35 3379 /proc/meminfo: memFree=683524/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=410376 CPUtime=0.19 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 5041 0 1 0 19 0 0 0 25 0 9 0 957241 420225024 4468 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102594 4468 1954 10 0 96742 0 [pid=3378/tid=3379] ppid=3377 vsize=410376 CPUtime=0.16 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 3529 0 1 0 16 0 0 0 25 0 9 0 957241 420225024 4468 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=410376 CPUtime=0 /proc/3378/task/3380/stat : 3380 (java) R 3377 3377 1511 34817 1511 4202560 219 0 0 0 0 0 0 0 24 0 9 0 957242 420225024 4468 1283457024 134512640 134550932 4294103152 18446744073709551615 4151522208 0 0 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412944 [startup+0.312288 s] /proc/loadavg: 1.11 1.04 0.97 5/35 3379 /proc/meminfo: memFree=683524/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=410376 CPUtime=0.29 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 6795 0 1 0 28 1 0 0 25 0 9 0 957241 420225024 6221 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102594 6221 1956 10 0 96742 0 [pid=3378/tid=3379] ppid=3377 vsize=410376 CPUtime=0.23 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 3529 0 1 0 23 0 0 0 25 0 9 0 957241 420225024 6221 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=410376 CPUtime=0.03 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 1964 0 0 0 2 1 0 0 23 0 9 0 957242 420225024 6221 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 412944 [startup+0.70903 s] /proc/loadavg: 1.11 1.04 0.97 5/35 3379 /proc/meminfo: memFree=683524/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=410644 CPUtime=0.69 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 12780 0 1 0 68 1 0 0 25 0 9 0 957241 420499456 12020 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102661 12020 2901 10 0 96809 0 [pid=3378/tid=3379] ppid=3377 vsize=410644 CPUtime=0.42 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 4185 0 1 0 42 0 0 0 25 0 9 0 957241 420499456 12020 1283457024 134512640 134550932 4294103152 18446744073709551615 4115440536 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=410644 CPUtime=0.24 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 7221 0 0 0 23 1 0 0 22 0 9 0 957242 420499456 12020 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 413212 [startup+1.5093 s] /proc/loadavg: 1.11 1.04 0.97 3/43 3387 /proc/meminfo: memFree=626532/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=410776 CPUtime=1.5 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 27426 0 1 0 146 4 0 0 25 0 9 0 957241 420634624 26666 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102694 26666 2901 10 0 96842 0 [pid=3378/tid=3379] ppid=3377 vsize=410776 CPUtime=0.72 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 6713 0 1 0 72 0 0 0 25 0 9 0 957241 420634624 26666 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=410776 CPUtime=0.75 /proc/3378/task/3380/stat : 3380 (java) R 3377 3377 1511 34817 1511 4202560 19335 0 0 0 71 4 0 0 20 0 9 0 957242 420634624 26666 1283457024 134512640 134550932 4294103152 18446744073709551615 4149873040 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3382] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3382/stat : 3382 (java) S 3377 3377 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 21 0 9 0 957242 420634624 26666 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3383] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3383/stat : 3383 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 957242 420634624 26666 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3384] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3384/stat : 3384 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 957243 420634624 26666 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3385] ppid=3377 vsize=410776 CPUtime=0.02 /proc/3378/task/3385/stat : 3385 (java) S 3377 3377 1511 34817 1511 4202560 437 0 0 0 2 0 0 0 17 0 9 0 957243 420634624 26666 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3386] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3386/stat : 3386 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 957243 420634624 26666 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3387] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3387/stat : 3387 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 957243 420634624 26666 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413344 [startup+3.13982 s] /proc/loadavg: 1.11 1.04 0.97 2/43 3387 /proc/meminfo: memFree=554736/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=410776 CPUtime=3.13 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 56066 0 1 0 297 16 0 0 25 0 9 0 957241 420634624 55306 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102694 55306 2901 10 0 96842 0 [pid=3378/tid=3379] ppid=3377 vsize=410776 CPUtime=1.33 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 13865 0 1 0 131 2 0 0 25 0 9 0 957241 420634624 55306 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=410776 CPUtime=1.76 /proc/3378/task/3380/stat : 3380 (java) R 3377 3377 1511 34817 1511 4202560 40818 0 0 0 163 13 0 0 16 0 9 0 957242 420634624 55306 1283457024 134512640 134550932 4294103152 18446744073709551615 4149866880 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3382] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3382/stat : 3382 (java) S 3377 3377 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 21 0 9 0 957242 420634624 55306 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3383] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3383/stat : 3383 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 957242 420634624 55306 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3384] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3384/stat : 3384 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 957243 420634624 55306 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3385] ppid=3377 vsize=410776 CPUtime=0.02 /proc/3378/task/3385/stat : 3385 (java) S 3377 3377 1511 34817 1511 4202560 442 0 0 0 2 0 0 0 15 0 9 0 957243 420634624 55306 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3386] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3386/stat : 3386 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 957243 420634624 55306 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3387] ppid=3377 vsize=410776 CPUtime=0 /proc/3378/task/3387/stat : 3387 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 957243 420634624 55306 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.13 Current children cumulated vsize (KiB) 413344 [startup+6.31092 s] /proc/loadavg: 1.10 1.04 0.97 2/43 3387 /proc/meminfo: memFree=417840/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=439948 CPUtime=6.3 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 78233 0 1 0 608 22 0 0 25 0 9 0 957241 450506752 77467 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 109987 77467 2902 10 0 104135 0 [pid=3378/tid=3379] ppid=3377 vsize=439948 CPUtime=2.22 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 13881 0 1 0 220 2 0 0 25 0 9 0 957241 450506752 77467 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=439948 CPUtime=4.03 /proc/3378/task/3380/stat : 3380 (java) R 3377 3377 1511 34817 1511 4202560 62950 0 0 0 384 19 0 0 16 0 9 0 957242 450506752 77467 1283457024 134512640 134550932 4294103152 18446744073709551615 4153334917 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3382] ppid=3377 vsize=439948 CPUtime=0 /proc/3378/task/3382/stat : 3382 (java) S 3377 3377 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 21 0 9 0 957242 450506752 77467 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3383] ppid=3377 vsize=439948 CPUtime=0 /proc/3378/task/3383/stat : 3383 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 957242 450506752 77467 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3384] ppid=3377 vsize=439948 CPUtime=0 /proc/3378/task/3384/stat : 3384 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 957243 450506752 77467 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3385] ppid=3377 vsize=439948 CPUtime=0.04 /proc/3378/task/3385/stat : 3385 (java) S 3377 3377 1511 34817 1511 4202560 461 0 0 0 4 0 0 0 15 0 9 0 957243 450506752 77467 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3386] ppid=3377 vsize=439948 CPUtime=0 /proc/3378/task/3386/stat : 3386 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 957243 450506752 77467 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3387] ppid=3377 vsize=439948 CPUtime=0 /proc/3378/task/3387/stat : 3387 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 957243 450506752 77467 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442516 [startup+12.7131 s] /proc/loadavg: 1.09 1.03 0.97 2/44 3388 /proc/meminfo: memFree=412756/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=411948 CPUtime=12.69 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 99947 0 1 0 1231 38 0 0 25 0 10 0 957241 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102987 70669 2918 10 0 97132 0 [pid=3378/tid=3379] ppid=3377 vsize=411948 CPUtime=4.52 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 14134 0 1 0 446 6 0 0 25 0 10 0 957241 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4114950434 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=411948 CPUtime=8.07 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 84326 0 0 0 776 31 0 0 16 0 10 0 957242 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3382] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3382/stat : 3382 (java) S 3377 3377 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3383] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3383/stat : 3383 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3384] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3384/stat : 3384 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3385] ppid=3377 vsize=411948 CPUtime=0.08 /proc/3378/task/3385/stat : 3385 (java) S 3377 3377 1511 34817 1511 4202560 541 0 0 0 8 0 0 0 15 0 10 0 957243 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3386] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3386/stat : 3386 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3387] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3387/stat : 3387 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 957243 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3388] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3388/stat : 3388 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 958351 421834752 70669 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 414516 Solver just ended. Dumping a history of the last processes samples [startup+14.3136 s] /proc/loadavg: 1.08 1.03 0.97 2/44 3388 /proc/meminfo: memFree=412756/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=411948 CPUtime=14.28 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 99953 0 1 0 1390 38 0 0 25 0 10 0 957241 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102987 70675 2921 10 0 97132 0 [pid=3378/tid=3379] ppid=3377 vsize=411948 CPUtime=6.08 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 14135 0 1 0 602 6 0 0 25 0 10 0 957241 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4115949125 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=411948 CPUtime=8.11 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 84328 0 0 0 780 31 0 0 16 0 10 0 957242 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3382] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3382/stat : 3382 (java) S 3377 3377 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3383] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3383/stat : 3383 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3384] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3384/stat : 3384 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3385] ppid=3377 vsize=411948 CPUtime=0.08 /proc/3378/task/3385/stat : 3385 (java) S 3377 3377 1511 34817 1511 4202560 544 0 0 0 8 0 0 0 15 0 10 0 957243 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3386] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3386/stat : 3386 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3387] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3387/stat : 3387 (java) R 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 957243 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3388] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3388/stat : 3388 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 958351 421834752 70675 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.28 Current children cumulated vsize (KiB) 414516 [startup+15.904 s] /proc/loadavg: 1.08 1.03 0.97 2/44 3388 /proc/meminfo: memFree=412756/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=411948 CPUtime=15.86 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 99955 0 1 0 1548 38 0 0 25 0 10 0 957241 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102987 70677 2921 10 0 97132 0 [pid=3378/tid=3379] ppid=3377 vsize=411948 CPUtime=7.66 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 14135 0 1 0 760 6 0 0 25 0 10 0 957241 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4115944397 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=411948 CPUtime=8.11 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 84328 0 0 0 780 31 0 0 16 0 10 0 957242 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3382] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3382/stat : 3382 (java) S 3377 3377 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3383] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3383/stat : 3383 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3384] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3384/stat : 3384 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3385] ppid=3377 vsize=411948 CPUtime=0.08 /proc/3378/task/3385/stat : 3385 (java) S 3377 3377 1511 34817 1511 4202560 546 0 0 0 8 0 0 0 15 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3386] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3386/stat : 3386 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3387] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3387/stat : 3387 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3388] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3388/stat : 3388 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 958351 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.86 Current children cumulated vsize (KiB) 414516 [startup+16.7043 s] /proc/loadavg: 1.08 1.03 0.97 2/44 3388 /proc/meminfo: memFree=412756/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=411948 CPUtime=16.66 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 99955 0 1 0 1628 38 0 0 25 0 10 0 957241 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102987 70677 2921 10 0 97132 0 [pid=3378/tid=3379] ppid=3377 vsize=411948 CPUtime=8.46 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 14135 0 1 0 840 6 0 0 25 0 10 0 957241 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4115094007 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=411948 CPUtime=8.11 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 84328 0 0 0 780 31 0 0 16 0 10 0 957242 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3382] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3382/stat : 3382 (java) S 3377 3377 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3383] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3383/stat : 3383 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3384] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3384/stat : 3384 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3385] ppid=3377 vsize=411948 CPUtime=0.08 /proc/3378/task/3385/stat : 3385 (java) S 3377 3377 1511 34817 1511 4202560 546 0 0 0 8 0 0 0 16 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3386] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3386/stat : 3386 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3387] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3387/stat : 3387 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3388] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3388/stat : 3388 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 958351 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.66 Current children cumulated vsize (KiB) 414516 [startup+16.9043 s] /proc/loadavg: 1.08 1.03 0.97 2/44 3388 /proc/meminfo: memFree=412756/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=411948 CPUtime=16.86 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 99955 0 1 0 1648 38 0 0 25 0 10 0 957241 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102987 70677 2921 10 0 97132 0 [pid=3378/tid=3379] ppid=3377 vsize=411948 CPUtime=8.63 /proc/3378/task/3379/stat : 3379 (java) R 3377 3377 1511 34817 1511 4202560 14135 0 1 0 857 6 0 0 25 0 10 0 957241 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4115944393 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=411948 CPUtime=8.13 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 84328 0 0 0 782 31 0 0 16 0 10 0 957242 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3382] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3382/stat : 3382 (java) S 3377 3377 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3383] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3383/stat : 3383 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 957242 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3384] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3384/stat : 3384 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3385] ppid=3377 vsize=411948 CPUtime=0.08 /proc/3378/task/3385/stat : 3385 (java) S 3377 3377 1511 34817 1511 4202560 546 0 0 0 8 0 0 0 16 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3386] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3386/stat : 3386 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3387] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3387/stat : 3387 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 957243 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3388] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3388/stat : 3388 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 958351 421834752 70677 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.86 Current children cumulated vsize (KiB) 414516 [startup+17.0026 s] /proc/loadavg: 1.08 1.03 0.97 2/44 3388 /proc/meminfo: memFree=412756/1048576 swapFree=0/0 [pid=3377] ppid=3376 vsize=2568 CPUtime=0 /proc/3377/stat : 3377 (gj-trendy-solve) S 3376 3377 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 957240 2629632 269 1283457024 134512640 135304128 4287714096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3377/statm: 642 269 229 194 0 29 0 [pid=3378] ppid=3377 vsize=411948 CPUtime=16.94 /proc/3378/stat : 3378 (java) S 3377 3377 1511 34817 1511 4202496 99957 0 1 0 1656 38 0 0 25 0 9 0 957241 421834752 70679 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3378/statm: 102987 70679 2922 10 0 97132 0 [pid=3378/tid=3379] ppid=3377 vsize=411948 CPUtime=8.69 /proc/3378/task/3379/stat : 3379 (java) S 3377 3377 1511 34817 1511 4202560 14135 0 1 0 863 6 0 0 25 0 9 0 957241 421834752 70679 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3380] ppid=3377 vsize=411948 CPUtime=8.15 /proc/3378/task/3380/stat : 3380 (java) S 3377 3377 1511 34817 1511 4202560 84328 0 0 0 784 31 0 0 16 0 9 0 957242 421834752 70679 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3382] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3382/stat : 3382 (java) S 3377 3377 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 9 0 957242 421834752 70679 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3383] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3383/stat : 3383 (java) S 3377 3377 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 957242 421834752 70679 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3384] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3384/stat : 3384 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 957243 421834752 70679 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3385] ppid=3377 vsize=411948 CPUtime=0.08 /proc/3378/task/3385/stat : 3385 (java) S 3377 3377 1511 34817 1511 4202560 547 0 0 0 8 0 0 0 15 0 9 0 957243 421834752 70679 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3386] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3386/stat : 3386 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 957243 421834752 70679 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=3378/tid=3387] ppid=3377 vsize=411948 CPUtime=0 /proc/3378/task/3387/stat : 3387 (java) S 3377 3377 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 957243 421834752 70679 1283457024 134512640 134550932 4294103152 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.94 Current children cumulated vsize (KiB) 414516 Child status: 0 Real time (s): 17.023 CPU time (s): 16.9531 CPU user time (s): 16.565 CPU system time (s): 0.388024 CPU usage (%): 99.5889 Max. virtual memory (cumulated for all children) (KiB): 442572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.565 system time used= 0.388024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100345 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1135 involuntary context switches= 1344 runsolver used 0.020001 second user time and 0 second system time The end