runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3282635-1303757925/watcher-3282635-1303757925 -o /tmp/evaluation-result-3282635-1303757925/solver-3282635-1303757925 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3282635-1303757925.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.52 3.87 3.44 5/184 29713
/proc/meminfo: memFree=20912668/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=30536 CPUtime=0 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 1254 0 0 0 0 0 0 0 18 0 2 0 487389230 31268864 972 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 7634 972 745 9 0 385 0
[pid=29713/tid=29714] ppid=29711 vsize=31604 CPUtime=0 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 142 0 0 0 0 0 0 0 19 0 2 0 487389230 32362496 975 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254495769680 0 0 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0779999 s]
/proc/loadavg: 3.52 3.87 3.44 5/184 29713
/proc/meminfo: memFree=20912668/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7635476 CPUtime=0.06 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 9438 0 1 0 5 1 0 0 18 0 18 0 487389230 7818727424 9134 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1908869 9208 1754 9 0 1899607 0
[pid=29713/tid=29714] ppid=29711 vsize=7635476 CPUtime=0.06 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 8336 0 1 0 5 1 0 0 21 0 18 0 487389230 7818727424 9208 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 47007449868694 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7635476
[startup+0.127565 s]
/proc/loadavg: 3.52 3.87 3.44 5/184 29713
/proc/meminfo: memFree=20912668/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7636500 CPUtime=0.12 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 11266 0 1 0 11 1 0 0 18 0 18 0 487389230 7819776000 10937 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1909125 10937 2123 9 0 1899863 0
[pid=29713/tid=29714] ppid=29711 vsize=7636500 CPUtime=0.1 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 9293 0 1 0 9 1 0 0 21 0 18 0 487389230 7819776000 10937 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512517813 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7636500
[startup+0.36942 s]
/proc/loadavg: 3.52 3.87 3.44 5/184 29713
/proc/meminfo: memFree=20912668/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7637524 CPUtime=0.51 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 19781 0 1 0 49 2 0 0 18 0 18 0 487389230 7820824576 18730 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1909381 18730 2204 9 0 1900119 0
[pid=29713/tid=29714] ppid=29711 vsize=7637524 CPUtime=0.34 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 16148 0 1 0 32 2 0 0 21 0 18 0 487389230 7820824576 18730 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 46912505217104 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 7637524
[startup+0.700358 s]
/proc/loadavg: 3.52 3.87 3.44 5/184 29713
/proc/meminfo: memFree=20912668/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7638552 CPUtime=1.1 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 21183 0 1 0 107 3 0 0 18 0 19 0 487389230 7821877248 19463 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1909638 19463 2218 9 0 1900376 0
[pid=29713/tid=29714] ppid=29711 vsize=7638552 CPUtime=0.67 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 16817 0 1 0 65 2 0 0 22 0 19 0 487389230 7821877248 19463 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 46912505695858 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 7638552
[startup+1.5012 s]
/proc/loadavg: 3.52 3.87 3.44 5/262 29797
/proc/meminfo: memFree=20667532/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7638552 CPUtime=2.02 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 22152 0 1 0 199 3 0 0 18 0 19 0 487389230 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1909638 19768 2225 9 0 1900376 0
[pid=29713/tid=29714] ppid=29711 vsize=7638552 CPUtime=1.46 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 17098 0 1 0 144 2 0 0 25 0 19 0 487389230 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 46912505653323 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29713/tid=29724] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29724/stat : 29724 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 487389232 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29725] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29725/stat : 29725 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29726] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29726/stat : 29726 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29727] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29727/stat : 29727 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29728] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29728/stat : 29728 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29729] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29729/stat : 29729 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29730] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29730/stat : 29730 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29731] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29731/stat : 29731 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 487389232 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29736] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29736/stat : 29736 (java) S 29711 29713 27831 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 0 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29741] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29741/stat : 29741 (java) S 29711 29713 27831 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 487389233 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29742] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29742/stat : 29742 (java) S 29711 29713 27831 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 487389233 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29759] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29759/stat : 29759 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 487389236 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512515505 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29760] ppid=29711 vsize=7638552 CPUtime=0.38 cores=5,7
/proc/29713/task/29760/stat : 29760 (java) S 29711 29713 27831 0 -1 4202560 1674 0 0 0 38 0 0 0 15 0 19 0 487389236 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29762] ppid=29711 vsize=7638552 CPUtime=0.17 cores=5,7
/proc/29713/task/29762/stat : 29762 (java) S 29711 29713 27831 0 -1 4202560 2218 0 0 0 17 0 0 0 15 0 19 0 487389236 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29763] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29763/stat : 29763 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 487389236 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29764] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29764/stat : 29764 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487389236 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29796] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29796/stat : 29796 (java) S 29711 29713 27831 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 487389270 7821877248 19768 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 7638552
[startup+3.10095 s]
/proc/loadavg: 3.52 3.87 3.44 5/262 29797
/proc/meminfo: memFree=20664680/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7638552 CPUtime=3.62 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 22328 0 1 0 359 3 0 0 18 0 19 0 487389230 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1909638 19944 2225 9 0 1900376 0
[pid=29713/tid=29714] ppid=29711 vsize=7638552 CPUtime=3.05 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 17274 0 1 0 303 2 0 0 25 0 19 0 487389230 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 46912505691618 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29713/tid=29724] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29724/stat : 29724 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 487389232 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29725] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29725/stat : 29725 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29726] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29726/stat : 29726 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29727] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29727/stat : 29727 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29728] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29728/stat : 29728 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29729] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29729/stat : 29729 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29730] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29730/stat : 29730 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 487389232 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29731] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29731/stat : 29731 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 487389232 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29736] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29736/stat : 29736 (java) S 29711 29713 27831 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 0 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29741] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29741/stat : 29741 (java) S 29711 29713 27831 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 487389233 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29742] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29742/stat : 29742 (java) S 29711 29713 27831 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 487389233 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29759] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29759/stat : 29759 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 487389236 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512515505 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29760] ppid=29711 vsize=7638552 CPUtime=0.38 cores=5,7
/proc/29713/task/29760/stat : 29760 (java) S 29711 29713 27831 0 -1 4202560 1674 0 0 0 38 0 0 0 15 0 19 0 487389236 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29762] ppid=29711 vsize=7638552 CPUtime=0.17 cores=5,7
/proc/29713/task/29762/stat : 29762 (java) S 29711 29713 27831 0 -1 4202560 2218 0 0 0 17 0 0 0 15 0 19 0 487389236 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29763] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29763/stat : 29763 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 487389236 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29764] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29764/stat : 29764 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487389236 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29796] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29796/stat : 29796 (java) S 29711 29713 27831 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 487389270 7821877248 19944 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 7638552
[startup+6.3013 s]
/proc/loadavg: 3.56 3.87 3.45 7/262 29797
/proc/meminfo: memFree=20516824/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7638552 CPUtime=7.27 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 47213 0 1 0 720 7 0 0 18 0 19 0 487389230 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1909638 39638 2251 9 0 1900376 0
[pid=29713/tid=29714] ppid=29711 vsize=7638552 CPUtime=6.05 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 17358 0 1 0 603 2 0 0 18 0 19 0 487389230 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 46912505677255 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29713/tid=29724] ppid=29711 vsize=7638552 CPUtime=0.04 cores=5,7
/proc/29713/task/29724/stat : 29724 (java) S 29711 29713 27831 0 -1 4202560 2940 0 0 0 4 0 0 0 18 0 19 0 487389232 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29725] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29725/stat : 29725 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 487389232 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29726] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29726/stat : 29726 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 487389232 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29727] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29727/stat : 29727 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 487389232 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29728] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29728/stat : 29728 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 487389232 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29729] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29729/stat : 29729 (java) S 29711 29713 27831 0 -1 4202560 302 0 0 0 0 0 0 0 18 0 19 0 487389232 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29730] ppid=29711 vsize=7638552 CPUtime=0.04 cores=5,7
/proc/29713/task/29730/stat : 29730 (java) S 29711 29713 27831 0 -1 4202560 4440 0 0 0 4 0 0 0 18 0 19 0 487389232 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29731] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29731/stat : 29731 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 487389232 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29736] ppid=29711 vsize=7638552 CPUtime=0.12 cores=5,7
/proc/29713/task/29736/stat : 29736 (java) S 29711 29713 27831 0 -1 4202560 9394 0 0 0 11 1 0 0 15 0 19 0 487389233 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 0 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29741] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29741/stat : 29741 (java) S 29711 29713 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29742] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29742/stat : 29742 (java) S 29711 29713 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29759] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29759/stat : 29759 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 487389236 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512515505 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29760] ppid=29711 vsize=7638552 CPUtime=0.4 cores=5,7
/proc/29713/task/29760/stat : 29760 (java) S 29711 29713 27831 0 -1 4202560 1836 0 0 0 40 0 0 0 16 0 19 0 487389236 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29762] ppid=29711 vsize=7638552 CPUtime=0.56 cores=5,7
/proc/29713/task/29762/stat : 29762 (java) S 29711 29713 27831 0 -1 4202560 9787 0 0 0 55 1 0 0 16 0 19 0 487389236 7821877248 39638 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=29713/tid=29729] ppid=29711 vsize=7638552 CPUtime=0.04 cores=5,7
/proc/29713/task/29729/stat : 29729 (java) S 29711 29713 27831 0 -1 4202560 306 0 0 0 4 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29730] ppid=29711 vsize=7638552 CPUtime=0.1 cores=5,7
/proc/29713/task/29730/stat : 29730 (java) S 29711 29713 27831 0 -1 4202560 4996 0 0 0 10 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29731] ppid=29711 vsize=7638552 CPUtime=0.03 cores=5,7
/proc/29713/task/29731/stat : 29731 (java) S 29711 29713 27831 0 -1 4202560 62 0 0 0 3 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29736] ppid=29711 vsize=7638552 CPUtime=2.42 cores=5,7
/proc/29713/task/29736/stat : 29736 (java) S 29711 29713 27831 0 -1 4202560 11007 0 0 0 241 1 0 0 15 0 19 0 487389233 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 0 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29741] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29741/stat : 29741 (java) S 29711 29713 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29742] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29742/stat : 29742 (java) S 29711 29713 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29759] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29759/stat : 29759 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512515505 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29760] ppid=29711 vsize=7638552 CPUtime=0.41 cores=5,7
/proc/29713/task/29760/stat : 29760 (java) S 29711 29713 27831 0 -1 4202560 1838 0 0 0 41 0 0 0 15 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29762] ppid=29711 vsize=7638552 CPUtime=0.6 cores=5,7
/proc/29713/task/29762/stat : 29762 (java) S 29711 29713 27831 0 -1 4202560 9798 0 0 0 59 1 0 0 15 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29763] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29763/stat : 29763 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29764] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29764/stat : 29764 (java) S 29711 29713 27831 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29796] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29796/stat : 29796 (java) S 29711 29713 27831 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 487389270 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1123.54
Current children cumulated vsize (KiB) 7638552
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/262 29840
/proc/meminfo: memFree=20393928/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7638552 CPUtime=1183.55 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 49580 0 1 0 118348 7 0 0 18 0 19 0 487389230 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1909638 41879 2253 9 0 1900376 0
[pid=29713/tid=29714] ppid=29711 vsize=7638552 CPUtime=1179.57 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 17383 0 1 0 117955 2 0 0 25 0 19 0 487389230 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 46912505615668 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29713/tid=29724] ppid=29711 vsize=7638552 CPUtime=0.11 cores=5,7
/proc/29713/task/29724/stat : 29724 (java) S 29711 29713 27831 0 -1 4202560 2947 0 0 0 11 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29725] ppid=29711 vsize=7638552 CPUtime=0.08 cores=5,7
/proc/29713/task/29725/stat : 29725 (java) S 29711 29713 27831 0 -1 4202560 12 0 0 0 8 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29726] ppid=29711 vsize=7638552 CPUtime=0.04 cores=5,7
/proc/29713/task/29726/stat : 29726 (java) S 29711 29713 27831 0 -1 4202560 9 0 0 0 4 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29727] ppid=29711 vsize=7638552 CPUtime=0.03 cores=5,7
/proc/29713/task/29727/stat : 29727 (java) S 29711 29713 27831 0 -1 4202560 3 0 0 0 3 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29728] ppid=29711 vsize=7638552 CPUtime=0.01 cores=5,7
/proc/29713/task/29728/stat : 29728 (java) S 29711 29713 27831 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29729] ppid=29711 vsize=7638552 CPUtime=0.04 cores=5,7
/proc/29713/task/29729/stat : 29729 (java) S 29711 29713 27831 0 -1 4202560 306 0 0 0 4 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29730] ppid=29711 vsize=7638552 CPUtime=0.1 cores=5,7
/proc/29713/task/29730/stat : 29730 (java) S 29711 29713 27831 0 -1 4202560 4996 0 0 0 10 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29731] ppid=29711 vsize=7638552 CPUtime=0.03 cores=5,7
/proc/29713/task/29731/stat : 29731 (java) S 29711 29713 27831 0 -1 4202560 62 0 0 0 3 0 0 0 15 0 19 0 487389232 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29736] ppid=29711 vsize=7638552 CPUtime=2.42 cores=5,7
/proc/29713/task/29736/stat : 29736 (java) S 29711 29713 27831 0 -1 4202560 11007 0 0 0 241 1 0 0 15 0 19 0 487389233 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 0 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29741] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29741/stat : 29741 (java) S 29711 29713 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29742] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29742/stat : 29742 (java) S 29711 29713 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29759] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29759/stat : 29759 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512515505 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29760] ppid=29711 vsize=7638552 CPUtime=0.41 cores=5,7
/proc/29713/task/29760/stat : 29760 (java) S 29711 29713 27831 0 -1 4202560 1838 0 0 0 41 0 0 0 15 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29762] ppid=29711 vsize=7638552 CPUtime=0.6 cores=5,7
/proc/29713/task/29762/stat : 29762 (java) S 29711 29713 27831 0 -1 4202560 9798 0 0 0 59 1 0 0 15 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29763] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29763/stat : 29763 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29764] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29764/stat : 29764 (java) S 29711 29713 27831 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 487389236 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29796] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29796/stat : 29796 (java) S 29711 29713 27831 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 487389270 7821877248 41879 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.55
Current children cumulated vsize (KiB) 7638552
[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.83 5/262 29842
/proc/meminfo: memFree=20393036/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7638552 CPUtime=1243.56 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 49588 0 1 0 124349 7 0 0 18 0 19 0 487389230 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1909638 41880 2253 9 0 1900376 0
[pid=29713/tid=29714] ppid=29711 vsize=7638552 CPUtime=1239.43 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 17384 0 1 0 123941 2 0 0 25 0 19 0 487389230 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 46912505695489 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29713/tid=29724] ppid=29711 vsize=7638552 CPUtime=0.11 cores=5,7
/proc/29713/task/29724/stat : 29724 (java) S 29711 29713 27831 0 -1 4202560 2947 0 0 0 11 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29725] ppid=29711 vsize=7638552 CPUtime=0.08 cores=5,7
/proc/29713/task/29725/stat : 29725 (java) S 29711 29713 27831 0 -1 4202560 12 0 0 0 8 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29726] ppid=29711 vsize=7638552 CPUtime=0.04 cores=5,7
/proc/29713/task/29726/stat : 29726 (java) S 29711 29713 27831 0 -1 4202560 9 0 0 0 4 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29727] ppid=29711 vsize=7638552 CPUtime=0.03 cores=5,7
/proc/29713/task/29727/stat : 29727 (java) S 29711 29713 27831 0 -1 4202560 3 0 0 0 3 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29728] ppid=29711 vsize=7638552 CPUtime=0.02 cores=5,7
/proc/29713/task/29728/stat : 29728 (java) S 29711 29713 27831 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29729] ppid=29711 vsize=7638552 CPUtime=0.05 cores=5,7
/proc/29713/task/29729/stat : 29729 (java) S 29711 29713 27831 0 -1 4202560 307 0 0 0 5 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29730] ppid=29711 vsize=7638552 CPUtime=0.1 cores=5,7
/proc/29713/task/29730/stat : 29730 (java) S 29711 29713 27831 0 -1 4202560 4996 0 0 0 10 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29731] ppid=29711 vsize=7638552 CPUtime=0.03 cores=5,7
/proc/29713/task/29731/stat : 29731 (java) S 29711 29713 27831 0 -1 4202560 62 0 0 0 3 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29736] ppid=29711 vsize=7638552 CPUtime=2.56 cores=5,7
/proc/29713/task/29736/stat : 29736 (java) S 29711 29713 27831 0 -1 4202560 11009 0 0 0 255 1 0 0 15 0 19 0 487389233 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 0 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29741] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29741/stat : 29741 (java) S 29711 29713 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29742] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29742/stat : 29742 (java) S 29711 29713 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29759] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29759/stat : 29759 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512515505 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29760] ppid=29711 vsize=7638552 CPUtime=0.41 cores=5,7
/proc/29713/task/29760/stat : 29760 (java) S 29711 29713 27831 0 -1 4202560 1838 0 0 0 41 0 0 0 15 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29762] ppid=29711 vsize=7638552 CPUtime=0.6 cores=5,7
/proc/29713/task/29762/stat : 29762 (java) S 29711 29713 27831 0 -1 4202560 9798 0 0 0 59 1 0 0 15 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29763] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29763/stat : 29763 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29764] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29764/stat : 29764 (java) S 29711 29713 27831 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29796] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29796/stat : 29796 (java) S 29711 29713 27831 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 487389270 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.56
Current children cumulated vsize (KiB) 7638552
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.83 5/263 29845
/proc/meminfo: memFree=20388268/32950928 swapFree=67111528/67111528
[pid=29713] ppid=29711 vsize=7638552 CPUtime=1301.27 cores=5,7
/proc/29713/stat : 29713 (java) S 29711 29713 27831 0 -1 4202496 49592 0 1 0 130120 7 0 0 18 0 19 0 487389230 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29713/statm: 1909638 41880 2253 9 0 1900376 0
[pid=29713/tid=29714] ppid=29711 vsize=7638552 CPUtime=1297.13 cores=5,7
/proc/29713/task/29714/stat : 29714 (java) R 29711 29713 27831 0 -1 4202560 17384 0 1 0 129711 2 0 0 25 0 19 0 487389230 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 46912505695938 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29713/tid=29724] ppid=29711 vsize=7638552 CPUtime=0.11 cores=5,7
/proc/29713/task/29724/stat : 29724 (java) S 29711 29713 27831 0 -1 4202560 2947 0 0 0 11 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29725] ppid=29711 vsize=7638552 CPUtime=0.08 cores=5,7
/proc/29713/task/29725/stat : 29725 (java) S 29711 29713 27831 0 -1 4202560 12 0 0 0 8 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29726] ppid=29711 vsize=7638552 CPUtime=0.04 cores=5,7
/proc/29713/task/29726/stat : 29726 (java) S 29711 29713 27831 0 -1 4202560 9 0 0 0 4 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29727] ppid=29711 vsize=7638552 CPUtime=0.03 cores=5,7
/proc/29713/task/29727/stat : 29727 (java) S 29711 29713 27831 0 -1 4202560 3 0 0 0 3 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29728] ppid=29711 vsize=7638552 CPUtime=0.02 cores=5,7
/proc/29713/task/29728/stat : 29728 (java) S 29711 29713 27831 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29729] ppid=29711 vsize=7638552 CPUtime=0.05 cores=5,7
/proc/29713/task/29729/stat : 29729 (java) S 29711 29713 27831 0 -1 4202560 307 0 0 0 5 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29730] ppid=29711 vsize=7638552 CPUtime=0.1 cores=5,7
/proc/29713/task/29730/stat : 29730 (java) S 29711 29713 27831 0 -1 4202560 4996 0 0 0 10 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29731] ppid=29711 vsize=7638552 CPUtime=0.03 cores=5,7
/proc/29713/task/29731/stat : 29731 (java) S 29711 29713 27831 0 -1 4202560 62 0 0 0 3 0 0 0 15 0 19 0 487389232 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29736] ppid=29711 vsize=7638552 CPUtime=2.56 cores=5,7
/proc/29713/task/29736/stat : 29736 (java) S 29711 29713 27831 0 -1 4202560 11009 0 0 0 255 1 0 0 15 0 19 0 487389233 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 0 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29741] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29741/stat : 29741 (java) S 29711 29713 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29742] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29742/stat : 29742 (java) S 29711 29713 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487389233 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29759] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29759/stat : 29759 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512515505 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29760] ppid=29711 vsize=7638552 CPUtime=0.41 cores=5,7
/proc/29713/task/29760/stat : 29760 (java) S 29711 29713 27831 0 -1 4202560 1838 0 0 0 41 0 0 0 15 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 5 0 0 0
[pid=29713/tid=29762] ppid=29711 vsize=7638552 CPUtime=0.6 cores=5,7
/proc/29713/task/29762/stat : 29762 (java) S 29711 29713 27831 0 -1 4202560 9798 0 0 0 59 1 0 0 15 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29763] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29763/stat : 29763 (java) S 29711 29713 27831 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512507801 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29764] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29764/stat : 29764 (java) S 29711 29713 27831 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 487389236 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
[pid=29713/tid=29796] ppid=29711 vsize=7638552 CPUtime=0 cores=5,7
/proc/29713/task/29796/stat : 29796 (java) S 29711 29713 27831 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 487389270 7821877248 41880 33554432000 1073741824 1073778376 140733264319184 18446744073709551615 254512508416 0 4 0 16800975 18446604471144307520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.27
Current children cumulated vsize (KiB) 7638552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.34
CPU user time (s): 1301.25
CPU system time (s): 0.092985
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 7638552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.25
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49930
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= 27281
involuntary context switches= 3909
runsolver used 2.14967 second user time and 4.99624 second system time
The end