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/rand149.cudf.s-e-l-s.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s/rand149.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand149.cudf.s-e-l-s.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.00 1.01 0.88 5/35 2456 /proc/meminfo: memFree=744932/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=11356 CPUtime=0 /proc/2455/stat : 2455 (java) R 2454 2454 1511 34817 1511 4202496 917 0 0 0 0 0 0 0 25 0 2 0 760689 11628544 651 1283457024 134512640 134550932 4291620368 18446744073709551615 4159929960 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 2839 651 285 10 0 1185 0 [pid=2455/tid=2456] ppid=2454 vsize=11356 CPUtime=0 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 760689 11628544 651 1283457024 134512640 134550932 4291620368 18446744073709551615 4159929960 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.155237 s] /proc/loadavg: 1.00 1.01 0.88 5/35 2456 /proc/meminfo: memFree=744932/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=410100 CPUtime=0.15 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 4011 0 1 0 15 0 0 0 25 0 9 0 760689 419942400 3443 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 102525 3443 1925 10 0 96673 0 [pid=2455/tid=2456] ppid=2454 vsize=410100 CPUtime=0.12 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 2818 0 1 0 12 0 0 0 25 0 9 0 760689 419942400 3443 1283457024 134512640 134550932 4291620368 18446744073709551615 4152031496 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 412668 [startup+0.205237 s] /proc/loadavg: 1.00 1.01 0.88 5/35 2456 /proc/meminfo: memFree=744932/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=410100 CPUtime=0.2 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 4397 0 1 0 20 0 0 0 25 0 9 0 760689 419942400 3829 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 102525 3829 1930 10 0 96673 0 [pid=2455/tid=2456] ppid=2454 vsize=410100 CPUtime=0.17 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 3204 0 1 0 17 0 0 0 25 0 9 0 760689 419942400 3829 1283457024 134512640 134550932 4291620368 18446744073709551615 4115280049 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412668 [startup+0.313282 s] /proc/loadavg: 1.00 1.01 0.88 5/35 2456 /proc/meminfo: memFree=744932/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=410244 CPUtime=0.3 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 6118 0 1 0 28 2 0 0 25 0 9 0 760689 420089856 5549 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 102561 5549 1939 10 0 96709 0 [pid=2455/tid=2456] ppid=2454 vsize=410244 CPUtime=0.24 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 3504 0 1 0 24 0 0 0 25 0 9 0 760689 420089856 5549 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412812 [startup+0.705407 s] /proc/loadavg: 1.00 1.01 0.88 5/35 2456 /proc/meminfo: memFree=744932/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=410676 CPUtime=0.7 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 12893 0 1 0 65 5 0 0 25 0 9 0 760689 420532224 12140 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 102669 12140 2896 10 0 96817 0 [pid=2455/tid=2456] ppid=2454 vsize=410676 CPUtime=0.41 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 4192 0 1 0 41 0 0 0 25 0 9 0 760689 420532224 12140 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413244 [startup+1.50568 s] /proc/loadavg: 1.00 1.01 0.88 2/43 2464 /proc/meminfo: memFree=686516/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=410808 CPUtime=1.5 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 28122 0 1 0 140 10 0 0 25 0 9 0 760689 420667392 27369 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 102702 27369 2897 10 0 96850 0 [pid=2455/tid=2456] ppid=2454 vsize=410808 CPUtime=0.72 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 6832 0 1 0 70 2 0 0 25 0 9 0 760689 420667392 27369 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=410808 CPUtime=0.74 /proc/2455/task/2458/stat : 2458 (java) R 2454 2454 1511 34817 1511 4202560 19924 0 0 0 67 7 0 0 19 0 9 0 760690 420667392 27369 1283457024 134512640 134550932 4291620368 18446744073709551615 4153026535 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 21 0 9 0 760690 420667392 27369 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 760690 420667392 27369 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 760691 420667392 27369 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=410808 CPUtime=0.02 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 427 0 0 0 2 0 0 0 17 0 9 0 760691 420667392 27369 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 760691 420667392 27369 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 760691 420667392 27369 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413376 [startup+3.11601 s] /proc/loadavg: 1.00 1.01 0.88 2/43 2464 /proc/meminfo: memFree=611372/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=410808 CPUtime=3.1 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 49347 0 1 0 294 16 0 0 25 0 9 0 760689 420667392 48594 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 102702 48594 2897 10 0 96850 0 [pid=2455/tid=2456] ppid=2454 vsize=410808 CPUtime=1.34 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14257 0 1 0 129 5 0 0 25 0 9 0 760689 420667392 48594 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=410808 CPUtime=1.72 /proc/2455/task/2458/stat : 2458 (java) R 2454 2454 1511 34817 1511 4202560 33721 0 0 0 162 10 0 0 15 0 9 0 760690 420667392 48594 1283457024 134512640 134550932 4291620368 18446744073709551615 4153229582 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 21 0 9 0 760690 420667392 48594 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 760690 420667392 48594 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 760691 420667392 48594 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=410808 CPUtime=0.02 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 430 0 0 0 2 0 0 0 16 0 9 0 760691 420667392 48594 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 760691 420667392 48594 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=410808 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 760691 420667392 48594 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413376 [startup+6.30716 s] /proc/loadavg: 1.00 1.01 0.88 3/43 2464 /proc/meminfo: memFree=459232/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413596 CPUtime=6.3 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 77052 0 1 0 602 28 0 0 25 0 9 0 760689 423522304 71051 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103399 71051 2913 10 0 97544 0 [pid=2455/tid=2456] ppid=2454 vsize=413596 CPUtime=2.36 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14570 0 1 0 230 6 0 0 25 0 9 0 760689 423522304 71051 1283457024 134512640 134550932 4291620368 18446744073709551615 4115261680 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413596 CPUtime=3.86 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 61071 0 0 0 365 21 0 0 17 0 9 0 760690 423522304 71051 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413596 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 760690 423522304 71051 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413596 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 760690 423522304 71051 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413596 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 760691 423522304 71051 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413596 CPUtime=0.06 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 472 0 0 0 6 0 0 0 15 0 9 0 760691 423522304 71051 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413596 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 760691 423522304 71051 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413596 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 760691 423522304 71051 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 416164 [startup+12.7094 s] /proc/loadavg: 1.08 1.03 0.89 3/44 2465 /proc/meminfo: memFree=472244/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=12.7 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87320 0 1 0 1236 34 0 0 25 0 10 0 760689 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71137 2914 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=5.85 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14599 0 1 0 579 6 0 0 25 0 10 0 760689 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4116236101 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=6.7 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71247 0 0 0 643 27 0 0 16 0 10 0 760690 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.13 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 530 0 0 0 13 0 0 0 15 0 10 0 760691 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) R 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71137 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 416480 [startup+25.503 s] /proc/loadavg: 1.06 1.03 0.89 2/44 2465 /proc/meminfo: memFree=472244/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=25.48 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87335 0 1 0 2514 34 0 0 25 0 10 0 760689 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71152 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=18.4 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14600 0 1 0 1834 6 0 0 25 0 10 0 760689 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4116224200 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=6.9 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 663 27 0 0 15 0 10 0 760690 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.16 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 542 0 0 0 16 0 0 0 15 0 10 0 760691 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71152 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 416480 [startup+51.1099 s] /proc/loadavg: 1.04 1.03 0.89 2/44 2465 /proc/meminfo: memFree=472244/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=51.06 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87339 0 1 0 5072 34 0 0 25 0 10 0 760689 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71156 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=43.45 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 4339 6 0 0 25 0 10 0 760689 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4116223868 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=7.42 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 715 27 0 0 16 0 10 0 760690 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.17 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 545 0 0 0 17 0 0 0 15 0 10 0 760691 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71156 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 416480 [startup+102.305 s] /proc/loadavg: 1.02 1.02 0.90 2/46 2470 /proc/meminfo: memFree=471972/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=102.23 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87340 0 1 0 10189 34 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71157 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=93.35 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 9329 6 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4116223881 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=8.67 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 840 27 0 0 16 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.19 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 546 0 0 0 19 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 416480 [startup+162.306 s] /proc/loadavg: 1.00 1.01 0.90 2/46 2476 /proc/meminfo: memFree=471848/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=162.19 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87340 0 1 0 16185 34 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71157 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=152.42 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 15236 6 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4116236101 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=9.55 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 928 27 0 0 15 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.19 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 546 0 0 0 19 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 416480 [startup+222.312 s] /proc/loadavg: 1.00 1.01 0.91 2/45 2476 /proc/meminfo: memFree=471864/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=222.17 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87340 0 1 0 22181 36 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71157 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=211.53 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 21146 7 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4116153111 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=10.42 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 1014 28 0 0 15 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.19 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 546 0 0 0 19 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 416480 [startup+282.308 s] /proc/loadavg: 1.00 1.00 0.91 2/45 2480 /proc/meminfo: memFree=471616/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=282.11 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87340 0 1 0 28174 37 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71157 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=270.59 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 27051 8 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4116129040 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=11.31 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 1103 28 0 0 15 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.19 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 546 0 0 0 19 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) R 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 416480 Solver just ended. Dumping a history of the last processes samples [startup+283.208 s] /proc/loadavg: 1.00 1.00 0.91 2/45 2480 /proc/meminfo: memFree=471616/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=283.01 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87340 0 1 0 28264 37 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71157 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=271.48 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 27140 8 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4116239143 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=11.31 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 1103 28 0 0 15 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.19 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 546 0 0 0 19 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) R 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 283.01 Current children cumulated vsize (KiB) 416480 [startup+284.009 s] /proc/loadavg: 1.00 1.00 0.91 3/45 2480 /proc/meminfo: memFree=471616/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=283.81 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87340 0 1 0 28344 37 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71157 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=272.28 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 27220 8 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4115666455 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=11.31 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 1103 28 0 0 15 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.19 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 546 0 0 0 19 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 283.81 Current children cumulated vsize (KiB) 416480 [startup+284.809 s] /proc/loadavg: 1.00 1.00 0.91 3/45 2480 /proc/meminfo: memFree=471616/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=284.61 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87340 0 1 0 28424 37 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71157 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=273.08 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 27300 8 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4116281878 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=11.31 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 1103 28 0 0 15 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.19 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 546 0 0 0 19 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.61 Current children cumulated vsize (KiB) 416480 [startup+285.009 s] /proc/loadavg: 1.00 1.00 0.91 2/45 2480 /proc/meminfo: memFree=471616/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=284.81 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87340 0 1 0 28444 37 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71157 2917 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=273.28 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 27320 8 0 0 25 0 10 0 760689 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4116117348 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=11.31 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 1103 28 0 0 15 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 760690 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.19 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 546 0 0 0 19 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) R 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 760691 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2465] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2465/stat : 2465 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 761673 423845888 71157 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.81 Current children cumulated vsize (KiB) 416480 [startup+285.109 s] /proc/loadavg: 1.00 1.00 0.91 2/45 2480 /proc/meminfo: memFree=471616/1048576 swapFree=0/0 [pid=2454] ppid=2453 vsize=2568 CPUtime=0 /proc/2454/stat : 2454 (gj-trendy-solve) S 2453 2454 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 760689 2629632 268 1283457024 134512640 135304128 4290170240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2454/statm: 642 268 229 194 0 29 0 [pid=2455] ppid=2454 vsize=413912 CPUtime=284.91 /proc/2455/stat : 2455 (java) S 2454 2454 1511 34817 1511 4202496 87341 0 1 0 28454 37 0 0 25 0 9 0 760689 423845888 71158 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2455/statm: 103478 71158 2918 10 0 97623 0 [pid=2455/tid=2456] ppid=2454 vsize=413912 CPUtime=273.38 /proc/2455/task/2456/stat : 2456 (java) R 2454 2454 1511 34817 1511 4202560 14601 0 1 0 27330 8 0 0 25 0 9 0 760689 423845888 71158 1283457024 134512640 134550932 4291620368 18446744073709551615 4150951432 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2455/tid=2458] ppid=2454 vsize=413912 CPUtime=11.31 /proc/2455/task/2458/stat : 2458 (java) S 2454 2454 1511 34817 1511 4202560 71249 0 0 0 1103 28 0 0 15 0 9 0 760690 423845888 71158 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2459] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2459/stat : 2459 (java) S 2454 2454 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 760690 423845888 71158 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2460] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2460/stat : 2460 (java) S 2454 2454 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 760690 423845888 71158 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2461] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2461/stat : 2461 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 760691 423845888 71158 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2462] ppid=2454 vsize=413912 CPUtime=0.19 /proc/2455/task/2462/stat : 2462 (java) S 2454 2454 1511 34817 1511 4202560 546 0 0 0 19 0 0 0 15 0 9 0 760691 423845888 71158 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2463] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2463/stat : 2463 (java) S 2454 2454 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 760691 423845888 71158 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=2455/tid=2464] ppid=2454 vsize=413912 CPUtime=0 /proc/2455/task/2464/stat : 2464 (java) S 2454 2454 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 760691 423845888 71158 1283457024 134512640 134550932 4291620368 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.91 Current children cumulated vsize (KiB) 416480 Child status: 0 Real time (s): 285.199 CPU time (s): 284.942 CPU user time (s): 284.562 CPU system time (s): 0.380023 CPU usage (%): 99.9097 Max. virtual memory (cumulated for all children) (KiB): 436884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.562 system time used= 0.380023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87728 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= 6174 involuntary context switches= 9024 runsolver used 0 second user time and 0 second system time The end