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/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/3e4f8550-0b33-11df-942d-00163e1d94dc.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 4/34 20587 /proc/meminfo: memFree=443056/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=11040 CPUtime=0 /proc/20587/stat : 20587 (java) R 20586 20586 1511 34817 1511 4202496 703 0 0 0 0 0 0 0 25 0 1 0 4598473 11304960 440 1283457024 134512640 134550932 4286671136 18446744073709551615 4160222946 0 0 0 0 0 0 0 17 0 0 0 0 /proc/20587/statm: 2760 440 181 10 0 1102 0 [startup+0.145483 s] /proc/loadavg: 1.30 1.14 1.04 4/34 20587 /proc/meminfo: memFree=443056/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=409796 CPUtime=0.14 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 3927 0 1 0 12 2 0 0 25 0 9 0 4598473 419631104 3356 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102449 3356 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 412360 [startup+0.205487 s] /proc/loadavg: 1.30 1.14 1.04 4/34 20587 /proc/meminfo: memFree=443056/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=409796 CPUtime=0.2 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 4060 0 1 0 18 2 0 0 25 0 9 0 4598473 419631104 3489 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102449 3489 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412360 [startup+0.305515 s] /proc/loadavg: 1.30 1.14 1.04 4/34 20587 /proc/meminfo: memFree=443056/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=410380 CPUtime=0.3 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 4425 0 1 0 28 2 0 0 25 0 9 0 4598473 420229120 3854 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102595 3854 1933 10 0 96743 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412944 [startup+0.70566 s] /proc/loadavg: 1.30 1.14 1.04 4/34 20587 /proc/meminfo: memFree=443056/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=410648 CPUtime=0.7 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 12595 0 1 0 67 3 0 0 25 0 9 0 4598473 420503552 11839 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102662 11839 2896 10 0 96810 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413212 [startup+1.50595 s] /proc/loadavg: 1.30 1.14 1.04 2/43 20596 /proc/meminfo: memFree=385128/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=410780 CPUtime=1.5 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 27077 0 1 0 142 8 0 0 25 0 9 0 4598473 420638720 26321 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102695 26321 2896 10 0 96843 0 [pid=20587/tid=20589] ppid=20586 vsize=410780 CPUtime=0.8 /proc/20587/task/20589/stat : 20589 (java) R 20586 20586 1511 34817 1511 4202560 6738 0 1 0 79 1 0 0 25 0 9 0 4598474 420638720 26321 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20590] ppid=20586 vsize=410780 CPUtime=0.64 /proc/20587/task/20590/stat : 20590 (java) R 20586 20586 1511 34817 1511 4202560 18951 0 0 0 58 6 0 0 18 0 9 0 4598474 420638720 26321 1283457024 134512640 134550932 4286671136 18446744073709551615 4151101344 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20591] ppid=20586 vsize=410780 CPUtime=0 /proc/20587/task/20591/stat : 20591 (java) S 20586 20586 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4598474 420638720 26321 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20592] ppid=20586 vsize=410780 CPUtime=0 /proc/20587/task/20592/stat : 20592 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4598474 420638720 26321 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20593] ppid=20586 vsize=410780 CPUtime=0 /proc/20587/task/20593/stat : 20593 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4598476 420638720 26321 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20594] ppid=20586 vsize=410780 CPUtime=0.04 /proc/20587/task/20594/stat : 20594 (java) S 20586 20586 1511 34817 1511 4202560 448 0 0 0 4 0 0 0 16 0 9 0 4598476 420638720 26321 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20595] ppid=20586 vsize=410780 CPUtime=0 /proc/20587/task/20595/stat : 20595 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4598476 420638720 26321 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20596] ppid=20586 vsize=410780 CPUtime=0 /proc/20587/task/20596/stat : 20596 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4598476 420638720 26321 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413344 [startup+3.12638 s] /proc/loadavg: 1.30 1.14 1.04 2/43 20596 /proc/meminfo: memFree=312712/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=410912 CPUtime=3.12 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 48231 0 1 0 301 11 0 0 25 0 9 0 4598473 420773888 47475 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102728 47475 2896 10 0 96876 0 [pid=20587/tid=20589] ppid=20586 vsize=410912 CPUtime=1.45 /proc/20587/task/20589/stat : 20589 (java) R 20586 20586 1511 34817 1511 4202560 13922 0 1 0 144 1 0 0 25 0 9 0 4598474 420773888 47475 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20590] ppid=20586 vsize=410912 CPUtime=1.62 /proc/20587/task/20590/stat : 20590 (java) R 20586 20586 1511 34817 1511 4202560 32918 0 0 0 153 9 0 0 15 0 9 0 4598474 420773888 47475 1283457024 134512640 134550932 4286671136 18446744073709551615 4153208752 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20591] ppid=20586 vsize=410912 CPUtime=0 /proc/20587/task/20591/stat : 20591 (java) S 20586 20586 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4598474 420773888 47475 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20592] ppid=20586 vsize=410912 CPUtime=0 /proc/20587/task/20592/stat : 20592 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4598474 420773888 47475 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20593] ppid=20586 vsize=410912 CPUtime=0 /proc/20587/task/20593/stat : 20593 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4598476 420773888 47475 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20594] ppid=20586 vsize=410912 CPUtime=0.04 /proc/20587/task/20594/stat : 20594 (java) S 20586 20586 1511 34817 1511 4202560 451 0 0 0 4 0 0 0 16 0 9 0 4598476 420773888 47475 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20595] ppid=20586 vsize=410912 CPUtime=0 /proc/20587/task/20595/stat : 20595 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4598476 420773888 47475 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20596] ppid=20586 vsize=410912 CPUtime=0 /proc/20587/task/20596/stat : 20596 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4598476 420773888 47475 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.12 Current children cumulated vsize (KiB) 413476 [startup+6.30724 s] /proc/loadavg: 1.35 1.15 1.04 2/43 20596 /proc/meminfo: memFree=175320/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=411248 CPUtime=6.3 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 70785 0 1 0 614 16 0 0 25 0 10 0 4598473 421117952 69938 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102812 69938 2913 10 0 96957 0 [pid=20587/tid=20589] ppid=20586 vsize=411248 CPUtime=3.11 /proc/20587/task/20589/stat : 20589 (java) R 20586 20586 1511 34817 1511 4202560 15293 0 1 0 310 1 0 0 25 0 10 0 4598474 421117952 69938 1283457024 134512640 134550932 4286671136 18446744073709551615 4115693533 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20590] ppid=20586 vsize=411248 CPUtime=3.05 /proc/20587/task/20590/stat : 20590 (java) S 20586 20586 1511 34817 1511 4202560 54009 0 0 0 292 13 0 0 16 0 10 0 4598474 421117952 69938 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20591] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20591/stat : 20591 (java) S 20586 20586 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4598474 421117952 69938 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20592] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20592/stat : 20592 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4598474 421117952 69938 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20593] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20593/stat : 20593 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69938 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20594] ppid=20586 vsize=411248 CPUtime=0.13 /proc/20587/task/20594/stat : 20594 (java) S 20586 20586 1511 34817 1511 4202560 538 0 0 0 12 1 0 0 15 0 10 0 4598476 421117952 69938 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20595] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20595/stat : 20595 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69938 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20596] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20596/stat : 20596 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4598476 421117952 69938 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413812 [startup+12.7085 s] /proc/loadavg: 1.33 1.15 1.04 2/44 20597 /proc/meminfo: memFree=174824/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=411248 CPUtime=12.69 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 70799 0 1 0 1252 17 0 0 25 0 10 0 4598473 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102812 69952 2913 10 0 96957 0 [pid=20587/tid=20589] ppid=20586 vsize=411248 CPUtime=9.49 /proc/20587/task/20589/stat : 20589 (java) R 20586 20586 1511 34817 1511 4202560 15293 0 1 0 947 2 0 0 25 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4115625792 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20590] ppid=20586 vsize=411248 CPUtime=3.05 /proc/20587/task/20590/stat : 20590 (java) S 20586 20586 1511 34817 1511 4202560 54009 0 0 0 292 13 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20591] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20591/stat : 20591 (java) S 20586 20586 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20592] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20592/stat : 20592 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20593] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20593/stat : 20593 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20594] ppid=20586 vsize=411248 CPUtime=0.13 /proc/20587/task/20594/stat : 20594 (java) S 20586 20586 1511 34817 1511 4202560 552 0 0 0 12 1 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20595] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20595/stat : 20595 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20596] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20596/stat : 20596 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20597] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20597/stat : 20597 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4599030 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 413812 Solver just ended. Dumping a history of the last processes samples [startup+12.8085 s] /proc/loadavg: 1.33 1.15 1.04 2/44 20597 /proc/meminfo: memFree=174824/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=411248 CPUtime=12.79 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 70799 0 1 0 1262 17 0 0 25 0 10 0 4598473 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102812 69952 2913 10 0 96957 0 [pid=20587/tid=20589] ppid=20586 vsize=411248 CPUtime=9.59 /proc/20587/task/20589/stat : 20589 (java) R 20586 20586 1511 34817 1511 4202560 15293 0 1 0 957 2 0 0 25 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4115625792 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20590] ppid=20586 vsize=411248 CPUtime=3.05 /proc/20587/task/20590/stat : 20590 (java) S 20586 20586 1511 34817 1511 4202560 54009 0 0 0 292 13 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20591] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20591/stat : 20591 (java) S 20586 20586 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20592] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20592/stat : 20592 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20593] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20593/stat : 20593 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20594] ppid=20586 vsize=411248 CPUtime=0.13 /proc/20587/task/20594/stat : 20594 (java) S 20586 20586 1511 34817 1511 4202560 552 0 0 0 12 1 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20595] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20595/stat : 20595 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20596] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20596/stat : 20596 (java) R 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20597] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20597/stat : 20597 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4599030 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 413812 [startup+14.4088 s] /proc/loadavg: 1.30 1.15 1.04 3/44 20597 /proc/meminfo: memFree=174824/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=411248 CPUtime=14.39 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 70799 0 1 0 1422 17 0 0 25 0 10 0 4598473 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102812 69952 2913 10 0 96957 0 [pid=20587/tid=20589] ppid=20586 vsize=411248 CPUtime=11.19 /proc/20587/task/20589/stat : 20589 (java) R 20586 20586 1511 34817 1511 4202560 15293 0 1 0 1117 2 0 0 25 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4115733779 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20590] ppid=20586 vsize=411248 CPUtime=3.05 /proc/20587/task/20590/stat : 20590 (java) S 20586 20586 1511 34817 1511 4202560 54009 0 0 0 292 13 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20591] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20591/stat : 20591 (java) S 20586 20586 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20592] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20592/stat : 20592 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20593] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20593/stat : 20593 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20594] ppid=20586 vsize=411248 CPUtime=0.13 /proc/20587/task/20594/stat : 20594 (java) S 20586 20586 1511 34817 1511 4202560 552 0 0 0 12 1 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20595] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20595/stat : 20595 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20596] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20596/stat : 20596 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20597] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20597/stat : 20597 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4599030 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.39 Current children cumulated vsize (KiB) 413812 [startup+15.209 s] /proc/loadavg: 1.30 1.15 1.04 3/44 20597 /proc/meminfo: memFree=174824/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=411248 CPUtime=15.19 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 70799 0 1 0 1502 17 0 0 25 0 10 0 4598473 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102812 69952 2913 10 0 96957 0 [pid=20587/tid=20589] ppid=20586 vsize=411248 CPUtime=11.99 /proc/20587/task/20589/stat : 20589 (java) R 20586 20586 1511 34817 1511 4202560 15293 0 1 0 1197 2 0 0 25 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4115733670 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20590] ppid=20586 vsize=411248 CPUtime=3.05 /proc/20587/task/20590/stat : 20590 (java) S 20586 20586 1511 34817 1511 4202560 54009 0 0 0 292 13 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20591] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20591/stat : 20591 (java) S 20586 20586 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20592] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20592/stat : 20592 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20593] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20593/stat : 20593 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20594] ppid=20586 vsize=411248 CPUtime=0.13 /proc/20587/task/20594/stat : 20594 (java) S 20586 20586 1511 34817 1511 4202560 552 0 0 0 12 1 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20595] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20595/stat : 20595 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20596] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20596/stat : 20596 (java) R 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20597] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20597/stat : 20597 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4599030 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.19 Current children cumulated vsize (KiB) 413812 [startup+15.6091 s] /proc/loadavg: 1.30 1.15 1.04 2/44 20597 /proc/meminfo: memFree=174824/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=411248 CPUtime=15.59 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 70799 0 1 0 1542 17 0 0 25 0 10 0 4598473 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102812 69952 2913 10 0 96957 0 [pid=20587/tid=20589] ppid=20586 vsize=411248 CPUtime=12.39 /proc/20587/task/20589/stat : 20589 (java) R 20586 20586 1511 34817 1511 4202560 15293 0 1 0 1237 2 0 0 25 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4115625799 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20590] ppid=20586 vsize=411248 CPUtime=3.05 /proc/20587/task/20590/stat : 20590 (java) S 20586 20586 1511 34817 1511 4202560 54009 0 0 0 292 13 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20591] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20591/stat : 20591 (java) S 20586 20586 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20592] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20592/stat : 20592 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4598474 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20593] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20593/stat : 20593 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20594] ppid=20586 vsize=411248 CPUtime=0.13 /proc/20587/task/20594/stat : 20594 (java) S 20586 20586 1511 34817 1511 4202560 552 0 0 0 12 1 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20595] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20595/stat : 20595 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20596] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20596/stat : 20596 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4598476 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20597] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20597/stat : 20597 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4599030 421117952 69952 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.59 Current children cumulated vsize (KiB) 413812 [startup+15.8092 s] /proc/loadavg: 1.30 1.15 1.04 2/44 20597 /proc/meminfo: memFree=174824/1048576 swapFree=0/0 [pid=20586] ppid=20585 vsize=2564 CPUtime=0 /proc/20586/stat : 20586 (gj-trendy-solve) S 20585 20586 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4598473 2625536 269 1283457024 134512640 135304128 4289064000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20586/statm: 641 269 229 194 0 28 0 [pid=20587] ppid=20586 vsize=411248 CPUtime=15.79 /proc/20587/stat : 20587 (java) S 20586 20586 1511 34817 1511 4202496 70802 0 1 0 1562 17 0 0 25 0 10 0 4598473 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20587/statm: 102812 69955 2913 10 0 96957 0 [pid=20587/tid=20589] ppid=20586 vsize=411248 CPUtime=12.59 /proc/20587/task/20589/stat : 20589 (java) R 20586 20586 1511 34817 1511 4202560 15293 0 1 0 1257 2 0 0 25 0 10 0 4598474 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4115729196 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20590] ppid=20586 vsize=411248 CPUtime=3.05 /proc/20587/task/20590/stat : 20590 (java) S 20586 20586 1511 34817 1511 4202560 54009 0 0 0 292 13 0 0 15 0 10 0 4598474 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20591] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20591/stat : 20591 (java) S 20586 20586 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4598474 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20592] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20592/stat : 20592 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4598474 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20593] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20593/stat : 20593 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20594] ppid=20586 vsize=411248 CPUtime=0.13 /proc/20587/task/20594/stat : 20594 (java) S 20586 20586 1511 34817 1511 4202560 555 0 0 0 12 1 0 0 15 0 10 0 4598476 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20595] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20595/stat : 20595 (java) S 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4598476 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 [pid=20587/tid=20596] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20596/stat : 20596 (java) R 20586 20586 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4598476 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20587/tid=20597] ppid=20586 vsize=411248 CPUtime=0 /proc/20587/task/20597/stat : 20597 (java) S 20586 20586 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4599030 421117952 69955 1283457024 134512640 134550932 4286671136 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.79 Current children cumulated vsize (KiB) 413812 Child status: 0 Real time (s): 15.8811 CPU time (s): 15.845 CPU user time (s): 15.661 CPU system time (s): 0.184011 CPU usage (%): 99.7724 Max. virtual memory (cumulated for all children) (KiB): 413812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.661 system time used= 0.184011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71191 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= 1028 involuntary context switches= 1164 runsolver used 0 second user time and 0 second system time The end