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/1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.dudf-real.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.30 1.14 1.04 3/34 7536 /proc/meminfo: memFree=601568/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) R 7534 7535 1511 34817 1511 4202496 355 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 269 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/7535/statm: 642 269 228 194 0 29 0 [pid=7536] ppid=7535 vsize=2568 CPUtime=0 /proc/7536/stat : 7536 (gj-trendy-solve) R 7535 7535 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 41 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/7536/statm: 642 41 0 194 0 29 0 [startup+0.155247 s] /proc/loadavg: 1.30 1.14 1.04 3/34 7536 /proc/meminfo: memFree=601568/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=409796 CPUtime=0.16 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 3972 0 1 0 12 4 0 0 25 0 9 0 1768332 419631104 3398 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102449 3398 1922 10 0 96597 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412364 [startup+0.205252 s] /proc/loadavg: 1.30 1.14 1.04 3/34 7536 /proc/meminfo: memFree=601568/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=409796 CPUtime=0.2 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 4080 0 1 0 16 4 0 0 25 0 9 0 1768332 419631104 3506 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102449 3506 1922 10 0 96597 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412364 [startup+0.305281 s] /proc/loadavg: 1.30 1.14 1.04 3/34 7536 /proc/meminfo: memFree=601568/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=410380 CPUtime=0.3 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 4439 0 1 0 26 4 0 0 25 0 9 0 1768332 420229120 3865 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102595 3865 1944 10 0 96743 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412948 [startup+0.705382 s] /proc/loadavg: 1.30 1.14 1.04 3/34 7536 /proc/meminfo: memFree=601568/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=410652 CPUtime=0.7 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 12472 0 1 0 62 8 0 0 25 0 9 0 1768332 420507648 11711 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102663 11711 2901 10 0 96811 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413220 [startup+1.5056 s] /proc/loadavg: 1.30 1.14 1.04 2/43 7545 /proc/meminfo: memFree=541964/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=410784 CPUtime=1.5 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 26684 0 1 0 137 13 0 0 25 0 9 0 1768332 420642816 25923 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102696 25923 2901 10 0 96844 0 [pid=7536/tid=7538] ppid=7535 vsize=410784 CPUtime=0.84 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 6818 0 1 0 80 4 0 0 25 0 9 0 1768333 420642816 25923 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=410784 CPUtime=0.6 /proc/7536/task/7539/stat : 7539 (java) R 7535 7535 1511 34817 1511 4202560 18477 0 0 0 52 8 0 0 18 0 9 0 1768333 420642816 25923 1283457024 134512640 134550932 4291257728 18446744073709551615 4150809504 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=410784 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 1768334 420642816 25923 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=410784 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 1768334 420642816 25923 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=410784 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1768335 420642816 25923 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=410784 CPUtime=0.04 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 446 0 0 0 4 0 0 0 18 0 9 0 1768335 420642816 25923 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=410784 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1768335 420642816 25923 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=410784 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) S 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 1768335 420642816 25923 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413352 [startup+3.1359 s] /proc/loadavg: 1.30 1.14 1.04 2/43 7545 /proc/meminfo: memFree=467440/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=410916 CPUtime=3.14 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 49204 0 1 0 290 24 0 0 25 0 9 0 1768332 420777984 48443 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102729 48443 2901 10 0 96877 0 [pid=7536/tid=7538] ppid=7535 vsize=410916 CPUtime=1.51 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 14275 0 1 0 144 7 0 0 25 0 9 0 1768333 420777984 48443 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=410916 CPUtime=1.57 /proc/7536/task/7539/stat : 7539 (java) R 7535 7535 1511 34817 1511 4202560 33537 0 0 0 141 16 0 0 16 0 9 0 1768333 420777984 48443 1283457024 134512640 134550932 4291257728 18446744073709551615 4152618955 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=410916 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 1768334 420777984 48443 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=410916 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 1768334 420777984 48443 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=410916 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1768335 420777984 48443 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=410916 CPUtime=0.04 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 449 0 0 0 4 0 0 0 15 0 9 0 1768335 420777984 48443 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=410916 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1768335 420777984 48443 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=410916 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) R 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 1768335 420777984 48443 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.14 Current children cumulated vsize (KiB) 413484 [startup+6.30677 s] /proc/loadavg: 1.35 1.15 1.04 3/44 7546 /proc/meminfo: memFree=332892/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=411384 CPUtime=6.3 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 70739 0 1 0 597 33 0 0 25 0 10 0 1768332 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102846 69884 2917 10 0 96991 0 [pid=7536/tid=7538] ppid=7535 vsize=411384 CPUtime=3.2 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 14537 0 1 0 313 7 0 0 25 0 10 0 1768333 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4115043101 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=411384 CPUtime=2.97 /proc/7536/task/7539/stat : 7539 (java) S 7535 7535 1511 34817 1511 4202560 54733 0 0 0 273 24 0 0 16 0 10 0 1768333 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1768334 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1768334 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=411384 CPUtime=0.1 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 522 0 0 0 10 0 0 0 15 0 10 0 1768335 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) S 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1768335 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7546] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7546/stat : 7546 (java) S 7535 7535 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1768872 421257216 69884 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413952 [startup+12.7091 s] /proc/loadavg: 1.32 1.15 1.04 2/44 7546 /proc/meminfo: memFree=332652/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=411384 CPUtime=12.7 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 70785 0 1 0 1236 34 0 0 25 0 10 0 1768332 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102846 69930 2921 10 0 96991 0 [pid=7536/tid=7538] ppid=7535 vsize=411384 CPUtime=9.47 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 14545 0 1 0 939 8 0 0 25 0 10 0 1768333 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4115111460 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=411384 CPUtime=3.06 /proc/7536/task/7539/stat : 7539 (java) S 7535 7535 1511 34817 1511 4202560 54735 0 0 0 282 24 0 0 16 0 10 0 1768333 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1768334 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1768334 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=411384 CPUtime=0.14 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 558 0 0 0 14 0 0 0 15 0 10 0 1768335 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) S 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1768335 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7546] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7546/stat : 7546 (java) S 7535 7535 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1768872 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 413952 Solver just ended. Dumping a history of the last processes samples [startup+12.8091 s] /proc/loadavg: 1.32 1.15 1.04 2/44 7546 /proc/meminfo: memFree=332652/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=411384 CPUtime=12.8 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 70785 0 1 0 1246 34 0 0 25 0 10 0 1768332 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102846 69930 2921 10 0 96991 0 [pid=7536/tid=7538] ppid=7535 vsize=411384 CPUtime=9.57 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 14545 0 1 0 949 8 0 0 25 0 10 0 1768333 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4114237822 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=411384 CPUtime=3.06 /proc/7536/task/7539/stat : 7539 (java) S 7535 7535 1511 34817 1511 4202560 54735 0 0 0 282 24 0 0 16 0 10 0 1768333 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1768334 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1768334 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=411384 CPUtime=0.14 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 558 0 0 0 14 0 0 0 15 0 10 0 1768335 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) S 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1768335 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7546] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7546/stat : 7546 (java) S 7535 7535 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1768872 421257216 69930 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 413952 [startup+14.4094 s] /proc/loadavg: 1.30 1.14 1.04 2/44 7546 /proc/meminfo: memFree=332652/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=411384 CPUtime=14.4 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 70787 0 1 0 1406 34 0 0 25 0 10 0 1768332 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102846 69932 2921 10 0 96991 0 [pid=7536/tid=7538] ppid=7535 vsize=411384 CPUtime=11.09 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 14545 0 1 0 1101 8 0 0 25 0 10 0 1768333 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4114237730 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=411384 CPUtime=3.12 /proc/7536/task/7539/stat : 7539 (java) S 7535 7535 1511 34817 1511 4202560 54735 0 0 0 288 24 0 0 16 0 10 0 1768333 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1768334 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1768334 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=411384 CPUtime=0.16 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 560 0 0 0 16 0 0 0 15 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) S 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7546] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7546/stat : 7546 (java) S 7535 7535 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1768872 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.4 Current children cumulated vsize (KiB) 413952 [startup+15.2095 s] /proc/loadavg: 1.30 1.14 1.04 2/44 7546 /proc/meminfo: memFree=332652/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=411384 CPUtime=15.2 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 70787 0 1 0 1486 34 0 0 25 0 10 0 1768332 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102846 69932 2921 10 0 96991 0 [pid=7536/tid=7538] ppid=7535 vsize=411384 CPUtime=11.88 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 14545 0 1 0 1180 8 0 0 25 0 10 0 1768333 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4115250053 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=411384 CPUtime=3.12 /proc/7536/task/7539/stat : 7539 (java) S 7535 7535 1511 34817 1511 4202560 54735 0 0 0 288 24 0 0 15 0 10 0 1768333 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1768334 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1768334 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=411384 CPUtime=0.17 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 560 0 0 0 17 0 0 0 15 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) S 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7546] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7546/stat : 7546 (java) S 7535 7535 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1768872 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.2 Current children cumulated vsize (KiB) 413952 [startup+16.0096 s] /proc/loadavg: 1.30 1.14 1.04 2/44 7546 /proc/meminfo: memFree=332652/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=411384 CPUtime=16 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 70787 0 1 0 1566 34 0 0 25 0 10 0 1768332 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102846 69932 2921 10 0 96991 0 [pid=7536/tid=7538] ppid=7535 vsize=411384 CPUtime=12.68 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 14545 0 1 0 1260 8 0 0 25 0 10 0 1768333 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4115111460 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=411384 CPUtime=3.12 /proc/7536/task/7539/stat : 7539 (java) S 7535 7535 1511 34817 1511 4202560 54735 0 0 0 288 24 0 0 15 0 10 0 1768333 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1768334 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1768334 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=411384 CPUtime=0.17 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 560 0 0 0 17 0 0 0 15 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) S 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1768335 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7546] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7546/stat : 7546 (java) S 7535 7535 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1768872 421257216 69932 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16 Current children cumulated vsize (KiB) 413952 [startup+16.4097 s] /proc/loadavg: 1.30 1.14 1.04 2/44 7546 /proc/meminfo: memFree=332652/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=411384 CPUtime=16.4 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 70788 0 1 0 1606 34 0 0 25 0 10 0 1768332 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102846 69933 2921 10 0 96991 0 [pid=7536/tid=7538] ppid=7535 vsize=411384 CPUtime=13.08 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 14545 0 1 0 1300 8 0 0 25 0 10 0 1768333 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4115250053 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=411384 CPUtime=3.12 /proc/7536/task/7539/stat : 7539 (java) S 7535 7535 1511 34817 1511 4202560 54735 0 0 0 288 24 0 0 16 0 10 0 1768333 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1768334 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1768334 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=411384 CPUtime=0.17 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 561 0 0 0 17 0 0 0 15 0 10 0 1768335 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) S 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1768335 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7546] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7546/stat : 7546 (java) S 7535 7535 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1768872 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.4 Current children cumulated vsize (KiB) 413952 [startup+16.5097 s] /proc/loadavg: 1.30 1.14 1.04 2/44 7546 /proc/meminfo: memFree=332652/1048576 swapFree=0/0 [pid=7535] ppid=7534 vsize=2568 CPUtime=0 /proc/7535/stat : 7535 (gj-trendy-solve) S 7534 7535 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 1768332 2629632 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7535/statm: 642 270 229 194 0 29 0 [pid=7536] ppid=7535 vsize=411384 CPUtime=16.5 /proc/7536/stat : 7536 (java) S 7535 7535 1511 34817 1511 4202496 70788 0 1 0 1616 34 0 0 25 0 10 0 1768332 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7536/statm: 102846 69933 2921 10 0 96991 0 [pid=7536/tid=7538] ppid=7535 vsize=411384 CPUtime=13.18 /proc/7536/task/7538/stat : 7538 (java) R 7535 7535 1511 34817 1511 4202560 14545 0 1 0 1310 8 0 0 25 0 10 0 1768333 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4115250040 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7536/tid=7539] ppid=7535 vsize=411384 CPUtime=3.12 /proc/7536/task/7539/stat : 7539 (java) S 7535 7535 1511 34817 1511 4202560 54735 0 0 0 288 24 0 0 16 0 10 0 1768333 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 0 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7540] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7540/stat : 7540 (java) S 7535 7535 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1768334 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7541] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7541/stat : 7541 (java) S 7535 7535 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1768334 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7542] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7542/stat : 7542 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7543] ppid=7535 vsize=411384 CPUtime=0.17 /proc/7536/task/7543/stat : 7543 (java) S 7535 7535 1511 34817 1511 4202560 561 0 0 0 17 0 0 0 15 0 10 0 1768335 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7544] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7544/stat : 7544 (java) S 7535 7535 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1768335 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7545] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7545/stat : 7545 (java) S 7535 7535 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1768335 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 [pid=7536/tid=7546] ppid=7535 vsize=411384 CPUtime=0 /proc/7536/task/7546/stat : 7546 (java) S 7535 7535 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1768872 421257216 69933 1283457024 134512640 134550932 4291257728 18446744073709551615 4294960130 0 4 0 16800975 18446612133234250112 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.5 Current children cumulated vsize (KiB) 413952 Child status: 0 Real time (s): 16.5917 CPU time (s): 16.549 CPU user time (s): 16.197 CPU system time (s): 0.352022 CPU usage (%): 99.743 Max. virtual memory (cumulated for all children) (KiB): 413952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.197 system time used= 0.352022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71185 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= 1120 involuntary context switches= 1363 runsolver used 0 second user time and 0 second system time The end