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-3311156-1304112150/watcher-3311156-1304112150 -o /tmp/evaluation-result-3311156-1304112150/solver-3311156-1304112150 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311156-1304112150.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.26 7.89 7.84 5/194 27027
/proc/meminfo: memFree=29689228/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=26140 CPUtime=0 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 1396 0 0 0 0 0 0 0 21 0 2 0 601445733 26767360 875 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 6522 872 666 9 0 381 0
[pid=27027/tid=27028] ppid=27025 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) R 27025 27027 26111 0 -1 4202560 56 0 0 0 0 0 0 0 22 0 2 0 601445733 26714112 885 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256410467975 0 2147483391 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0634051 s]
/proc/loadavg: 7.26 7.89 7.84 5/194 27027
/proc/meminfo: memFree=29689228/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 4330 0 1 0 5 0 0 0 21 0 18 0 601445733 15984414720 3769 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 3902445 3770 1778 9 0 3893164 0
[pid=27027/tid=27028] ppid=27025 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) R 27025 27027 26111 0 -1 4202560 2913 0 1 0 5 0 0 0 25 0 18 0 601445733 15984414720 3770 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 47542397230019 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780
[startup+0.100391 s]
/proc/loadavg: 7.26 7.89 7.84 5/194 27027
/proc/meminfo: memFree=29689228/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=15676488 CPUtime=0.1 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 5573 0 1 0 9 1 0 0 21 0 18 0 601445733 16052723712 5003 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 3919122 5003 2116 9 0 3909841 0
[pid=27027/tid=27028] ppid=27025 vsize=15676488 CPUtime=0.08 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) R 27025 27027 26111 0 -1 4202560 3439 0 1 0 8 0 0 0 18 0 18 0 601445733 16052723712 5003 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427218379 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676488
[startup+0.300393 s]
/proc/loadavg: 7.26 7.89 7.84 5/194 27027
/proc/meminfo: memFree=29689228/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=15679748 CPUtime=0.52 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 15578 0 1 0 49 3 0 0 21 0 18 0 601445733 16056061952 14047 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 3919937 14053 2206 9 0 3910656 0
[pid=27027/tid=27028] ppid=27025 vsize=15679748 CPUtime=0.28 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) R 27025 27027 26111 0 -1 4202560 10484 0 1 0 27 1 0 0 18 0 18 0 601445733 16056061952 14056 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 46912505641747 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679748
[startup+0.70029 s]
/proc/loadavg: 7.26 7.89 7.84 5/194 27027
/proc/meminfo: memFree=29689228/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=15679748 CPUtime=0.93 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 41805 0 1 0 86 7 0 0 21 0 18 0 601445733 16056061952 40272 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 3919937 40272 2222 9 0 3910656 0
[pid=27027/tid=27028] ppid=27025 vsize=15679748 CPUtime=0.67 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) R 27025 27027 26111 0 -1 4202560 35510 0 1 0 62 5 0 0 18 0 18 0 601445733 16056061952 40272 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427218379 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15679748
[startup+1.50112 s]
/proc/loadavg: 7.26 7.89 7.84 4/220 27054
/proc/meminfo: memFree=29349752/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=15715728 CPUtime=2.25 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 56683 0 1 0 216 9 0 0 21 0 22 0 601445733 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 3928932 52339 2261 9 0 3919651 0
[pid=27027/tid=27028] ppid=27025 vsize=15715728 CPUtime=1.47 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) R 27025 27027 26111 0 -1 4202560 35618 0 1 0 141 6 0 0 20 0 22 0 601445733 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 46912505227904 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27027/tid=27030] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27030/stat : 27030 (java) S 27025 27027 26111 0 -1 4202560 1251 0 0 0 0 0 0 0 15 0 22 0 601445734 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27031] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27031/stat : 27031 (java) S 27025 27027 26111 0 -1 4202560 1136 0 0 0 0 0 0 0 15 0 22 0 601445734 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27032] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27032/stat : 27032 (java) S 27025 27027 26111 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 22 0 601445734 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27033] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27033/stat : 27033 (java) S 27025 27027 26111 0 -1 4202560 656 0 0 0 0 0 0 0 15 0 22 0 601445734 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27034] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27034/stat : 27034 (java) S 27025 27027 26111 0 -1 4202560 395 0 0 0 0 0 0 0 15 0 22 0 601445734 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27035] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27035/stat : 27035 (java) S 27025 27027 26111 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 601445734 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27036] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27036/stat : 27036 (java) S 27025 27027 26111 0 -1 4202560 695 0 0 0 0 0 0 0 16 0 22 0 601445734 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27037] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27037/stat : 27037 (java) S 27025 27027 26111 0 -1 4202560 680 0 0 0 0 0 0 0 15 0 22 0 601445734 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27038] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27038/stat : 27038 (java) S 27025 27027 26111 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 601445735 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 0 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27039] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27039/stat : 27039 (java) S 27025 27027 26111 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601445735 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27040] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27040/stat : 27040 (java) S 27025 27027 26111 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601445735 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27041] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27041/stat : 27041 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427215281 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27042] ppid=27025 vsize=15715728 CPUtime=0.2 cores=1,3,5,7
/proc/27027/task/27042/stat : 27042 (java) S 27025 27027 26111 0 -1 4202560 2435 0 0 0 20 0 0 0 17 0 22 0 601445737 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27043] ppid=27025 vsize=15715728 CPUtime=0.52 cores=1,3,5,7
/proc/27027/task/27043/stat : 27043 (java) R 27025 27027 26111 0 -1 4202560 12010 0 0 0 51 1 0 0 16 0 22 0 601445737 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 47542397191333 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27027/tid=27044] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27044/stat : 27044 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27045] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27045/stat : 27045 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601445737 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27051] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27051/stat : 27051 (java) S 27025 27027 26111 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 601445824 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27052] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27052/stat : 27052 (java) S 27025 27027 26111 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 601445824 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27053] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27053/stat : 27053 (java) S 27025 27027 26111 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601445824 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27054] ppid=27025 vsize=15715728 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27054/stat : 27054 (java) S 27025 27027 26111 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601445824 16092905472 52339 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 15715728
[startup+3.10782 s]
/proc/loadavg: 7.08 7.85 7.83 6/220 27054
/proc/meminfo: memFree=29286884/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=15714464 CPUtime=5.39 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 70400 0 1 0 527 12 0 0 21 0 22 0 601445733 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 3928616 63338 2275 9 0 3919335 0
[pid=27027/tid=27028] ppid=27025 vsize=15714464 CPUtime=2.41 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) S 27025 27027 26111 0 -1 4202560 35672 0 1 0 235 6 0 0 23 0 22 0 601445733 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27030] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27030/stat : 27030 (java) S 27025 27027 26111 0 -1 4202560 1251 0 0 0 0 0 0 0 15 0 22 0 601445734 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27031] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27031/stat : 27031 (java) S 27025 27027 26111 0 -1 4202560 1136 0 0 0 0 0 0 0 15 0 22 0 601445734 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27032] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27032/stat : 27032 (java) S 27025 27027 26111 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 22 0 601445734 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27033] ppid=27025 vsize=15714464 CPUtime=0.02 cores=1,3,5,7
/proc/27027/task/27033/stat : 27033 (java) S 27025 27027 26111 0 -1 4202560 4153 0 0 0 2 0 0 0 16 0 22 0 601445734 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27034] ppid=27025 vsize=15714464 CPUtime=0.01 cores=1,3,5,7
/proc/27027/task/27034/stat : 27034 (java) S 27025 27027 26111 0 -1 4202560 3087 0 0 0 1 0 0 0 16 0 22 0 601445734 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27035] ppid=27025 vsize=15714464 CPUtime=0.02 cores=1,3,5,7
/proc/27027/task/27035/stat : 27035 (java) S 27025 27027 26111 0 -1 4202560 2205 0 0 0 2 0 0 0 16 0 22 0 601445734 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27036] ppid=27025 vsize=15714464 CPUtime=0.02 cores=1,3,5,7
/proc/27027/task/27036/stat : 27036 (java) S 27025 27027 26111 0 -1 4202560 3251 0 0 0 2 0 0 0 16 0 22 0 601445734 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27037] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27037/stat : 27037 (java) S 27025 27027 26111 0 -1 4202560 680 0 0 0 0 0 0 0 15 0 22 0 601445734 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27038] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27038/stat : 27038 (java) S 27025 27027 26111 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 601445735 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 0 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27039] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27039/stat : 27039 (java) S 27025 27027 26111 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601445735 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27040] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27040/stat : 27040 (java) S 27025 27027 26111 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601445735 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27041] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27041/stat : 27041 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427215281 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27042] ppid=27025 vsize=15714464 CPUtime=0.93 cores=1,3,5,7
/proc/27027/task/27042/stat : 27042 (java) R 27025 27027 26111 0 -1 4202560 4609 0 0 0 92 1 0 0 15 0 22 0 601445737 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 47542397197000 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27027/tid=27043] ppid=27025 vsize=15714464 CPUtime=0.95 cores=1,3,5,7
/proc/27027/task/27043/stat : 27043 (java) S 27025 27027 26111 0 -1 4202560 12523 0 0 0 94 1 0 0 15 0 22 0 601445737 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27044] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27044/stat : 27044 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27045] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27045/stat : 27045 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601445737 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27051] ppid=27025 vsize=15714464 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27051/stat : 27051 (java) S 27025 27027 26111 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 601445824 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27052] ppid=27025 vsize=15714464 CPUtime=0.36 cores=1,3,5,7
/proc/27027/task/27052/stat : 27052 (java) S 27025 27027 26111 0 -1 4202560 14 0 0 0 36 0 0 0 15 0 22 0 601445824 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27053] ppid=27025 vsize=15714464 CPUtime=0.49 cores=1,3,5,7
/proc/27027/task/27053/stat : 27053 (java) R 27025 27027 26111 0 -1 4202560 18 0 0 0 49 0 0 0 15 0 22 0 601445824 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 46912497426158 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27027/tid=27054] ppid=27025 vsize=15714464 CPUtime=0.08 cores=1,3,5,7
/proc/27027/task/27054/stat : 27054 (java) R 27025 27027 26111 0 -1 4202560 9 0 0 0 8 0 0 0 15 0 22 0 601445824 16091611136 63338 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 47542400188656 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 15714464
[startup+6.30116 s]
/proc/loadavg: 7.08 7.85 7.83 11/220 27054
/proc/meminfo: memFree=27807260/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=15707136 CPUtime=17.96 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 282124 0 1 0 1752 44 0 0 21 0 22 0 601445733 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 3926784 272101 2275 9 0 3917503 0
[pid=27027/tid=27028] ppid=27025 vsize=15707136 CPUtime=2.41 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) S 27025 27027 26111 0 -1 4202560 35672 0 1 0 235 6 0 0 23 0 22 0 601445733 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27030] ppid=27025 vsize=15707136 CPUtime=0.16 cores=1,3,5,7
/proc/27027/task/27030/stat : 27030 (java) S 27025 27027 26111 0 -1 4202560 25223 0 0 0 13 3 0 0 15 0 22 0 601445734 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27031] ppid=27025 vsize=15707136 CPUtime=0.13 cores=1,3,5,7
/proc/27027/task/27031/stat : 27031 (java) S 27025 27027 26111 0 -1 4202560 18291 0 0 0 11 2 0 0 15 0 22 0 601445734 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27032] ppid=27025 vsize=15707136 CPUtime=0.18 cores=1,3,5,7
/proc/27027/task/27032/stat : 27032 (java) S 27025 27027 26111 0 -1 4202560 43163 0 0 0 12 6 0 0 15 0 22 0 601445734 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27033] ppid=27025 vsize=15707136 CPUtime=0.13 cores=1,3,5,7
/proc/27027/task/27033/stat : 27033 (java) S 27025 27027 26111 0 -1 4202560 19030 0 0 0 10 3 0 0 15 0 22 0 601445734 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27034] ppid=27025 vsize=15707136 CPUtime=0.17 cores=1,3,5,7
/proc/27027/task/27034/stat : 27034 (java) S 27025 27027 26111 0 -1 4202560 21835 0 0 0 15 2 0 0 15 0 22 0 601445734 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27035] ppid=27025 vsize=15707136 CPUtime=0.19 cores=1,3,5,7
/proc/27027/task/27035/stat : 27035 (java) S 27025 27027 26111 0 -1 4202560 28249 0 0 0 15 4 0 0 15 0 22 0 601445734 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27036] ppid=27025 vsize=15707136 CPUtime=0.09 cores=1,3,5,7
/proc/27027/task/27036/stat : 27036 (java) S 27025 27027 26111 0 -1 4202560 11199 0 0 0 8 1 0 0 15 0 22 0 601445734 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27037] ppid=27025 vsize=15707136 CPUtime=0.16 cores=1,3,5,7
/proc/27027/task/27037/stat : 27037 (java) S 27025 27027 26111 0 -1 4202560 19937 0 0 0 13 3 0 0 15 0 22 0 601445734 16084107264 272101 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=27027/tid=27040] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27040/stat : 27040 (java) S 27025 27027 26111 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601445735 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27041] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27041/stat : 27041 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427215281 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27042] ppid=27025 vsize=15707136 CPUtime=1.13 cores=1,3,5,7
/proc/27027/task/27042/stat : 27042 (java) S 27025 27027 26111 0 -1 4202560 4805 0 0 0 112 1 0 0 16 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 7 0 0 0
[pid=27027/tid=27043] ppid=27025 vsize=15707136 CPUtime=0.98 cores=1,3,5,7
/proc/27027/task/27043/stat : 27043 (java) S 27025 27027 26111 0 -1 4202560 12529 0 0 0 97 1 0 0 15 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27044] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27044/stat : 27044 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27045] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27045/stat : 27045 (java) S 27025 27027 26111 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27051] ppid=27025 vsize=15707136 CPUtime=314.92 cores=1,3,5,7
/proc/27027/task/27051/stat : 27051 (java) S 27025 27027 26111 0 -1 4202560 63883 0 0 0 31473 19 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 4
[pid=27027/tid=27052] ppid=27025 vsize=15707136 CPUtime=316.34 cores=1,3,5,7
/proc/27027/task/27052/stat : 27052 (java) S 27025 27027 26111 0 -1 4202560 63412 0 0 0 31615 19 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27053] ppid=27025 vsize=15707136 CPUtime=316.41 cores=1,3,5,7
/proc/27027/task/27053/stat : 27053 (java) S 27025 27027 26111 0 -1 4202560 55892 0 0 0 31625 16 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27054] ppid=27025 vsize=15707136 CPUtime=315.22 cores=1,3,5,7
/proc/27027/task/27054/stat : 27054 (java) S 27025 27027 26111 0 -1 4202560 58937 0 0 0 31502 20 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2149.01
Current children cumulated vsize (KiB) 15707136
[startup+1242.3 s]
/proc/loadavg: 3.11 4.69 5.94 2/193 27110
/proc/meminfo: memFree=14262312/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=15707136 CPUtime=2209.45 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 3929614 0 1 0 220240 705 0 0 21 0 22 0 601445733 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 3926784 3854971 2294 9 0 3917503 0
[pid=27027/tid=27028] ppid=27025 vsize=15707136 CPUtime=2.41 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) S 27025 27027 26111 0 -1 4202560 35672 0 1 0 235 6 0 0 23 0 22 0 601445733 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27030] ppid=27025 vsize=15707136 CPUtime=2.91 cores=1,3,5,7
/proc/27027/task/27030/stat : 27030 (java) S 27025 27027 26111 0 -1 4202560 321877 0 0 0 241 50 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27031] ppid=27025 vsize=15707136 CPUtime=2.7 cores=1,3,5,7
/proc/27027/task/27031/stat : 27031 (java) S 27025 27027 26111 0 -1 4202560 324140 0 0 0 218 52 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27032] ppid=27025 vsize=15707136 CPUtime=2.93 cores=1,3,5,7
/proc/27027/task/27032/stat : 27032 (java) S 27025 27027 26111 0 -1 4202560 303916 0 0 0 245 48 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27033] ppid=27025 vsize=15707136 CPUtime=3.73 cores=1,3,5,7
/proc/27027/task/27033/stat : 27033 (java) S 27025 27027 26111 0 -1 4202560 471838 0 0 0 294 79 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27034] ppid=27025 vsize=15707136 CPUtime=3.05 cores=1,3,5,7
/proc/27027/task/27034/stat : 27034 (java) S 27025 27027 26111 0 -1 4202560 392520 0 0 0 245 60 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27035] ppid=27025 vsize=15707136 CPUtime=3.11 cores=1,3,5,7
/proc/27027/task/27035/stat : 27035 (java) S 27025 27027 26111 0 -1 4202560 405588 0 0 0 246 65 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 7 0 0 0
[pid=27027/tid=27036] ppid=27025 vsize=15707136 CPUtime=3 cores=1,3,5,7
/proc/27027/task/27036/stat : 27036 (java) S 27025 27027 26111 0 -1 4202560 304113 0 0 0 252 48 0 0 15 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27037] ppid=27025 vsize=15707136 CPUtime=3.41 cores=1,3,5,7
/proc/27027/task/27037/stat : 27037 (java) S 27025 27027 26111 0 -1 4202560 414793 0 0 0 275 66 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27038] ppid=27025 vsize=15707136 CPUtime=916.43 cores=1,3,5,7
/proc/27027/task/27038/stat : 27038 (java) R 27025 27027 26111 0 -1 4202560 693761 0 0 0 91498 145 0 0 18 0 22 0 601445735 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 47542399956995 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=27027/tid=27039] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27039/stat : 27039 (java) S 27025 27027 26111 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 601445735 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27040] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27040/stat : 27040 (java) S 27025 27027 26111 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601445735 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27041] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27041/stat : 27041 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427215281 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27042] ppid=27025 vsize=15707136 CPUtime=1.13 cores=1,3,5,7
/proc/27027/task/27042/stat : 27042 (java) S 27025 27027 26111 0 -1 4202560 4805 0 0 0 112 1 0 0 16 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 7 0 0 0
[pid=27027/tid=27043] ppid=27025 vsize=15707136 CPUtime=0.98 cores=1,3,5,7
/proc/27027/task/27043/stat : 27043 (java) S 27025 27027 26111 0 -1 4202560 12529 0 0 0 97 1 0 0 15 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27044] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27044/stat : 27044 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27045] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27045/stat : 27045 (java) S 27025 27027 26111 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27051] ppid=27025 vsize=15707136 CPUtime=315.07 cores=1,3,5,7
/proc/27027/task/27051/stat : 27051 (java) S 27025 27027 26111 0 -1 4202560 63890 0 0 0 31487 20 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 4
[pid=27027/tid=27052] ppid=27025 vsize=15707136 CPUtime=316.48 cores=1,3,5,7
/proc/27027/task/27052/stat : 27052 (java) S 27025 27027 26111 0 -1 4202560 63801 0 0 0 31628 20 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27053] ppid=27025 vsize=15707136 CPUtime=316.53 cores=1,3,5,7
/proc/27027/task/27053/stat : 27053 (java) S 27025 27027 26111 0 -1 4202560 55901 0 0 0 31637 16 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27054] ppid=27025 vsize=15707136 CPUtime=315.4 cores=1,3,5,7
/proc/27027/task/27054/stat : 27054 (java) S 27025 27027 26111 0 -1 4202560 59017 0 0 0 31520 20 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2209.45
Current children cumulated vsize (KiB) 15707136
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.91 4.08 5.66 2/193 27111
/proc/meminfo: memFree=14262284/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=15707136 CPUtime=2267.59 cores=1,3,5,7
/proc/27027/stat : 27027 (java) S 27025 27027 26111 0 -1 4202496 3930063 0 1 0 226045 714 0 0 21 0 22 0 601445733 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27027/statm: 3926784 3854971 2294 9 0 3917503 0
[pid=27027/tid=27028] ppid=27025 vsize=15707136 CPUtime=2.41 cores=1,3,5,7
/proc/27027/task/27028/stat : 27028 (java) S 27025 27027 26111 0 -1 4202560 35672 0 1 0 235 6 0 0 23 0 22 0 601445733 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27030] ppid=27025 vsize=15707136 CPUtime=2.91 cores=1,3,5,7
/proc/27027/task/27030/stat : 27030 (java) S 27025 27027 26111 0 -1 4202560 321877 0 0 0 241 50 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27031] ppid=27025 vsize=15707136 CPUtime=2.7 cores=1,3,5,7
/proc/27027/task/27031/stat : 27031 (java) S 27025 27027 26111 0 -1 4202560 324140 0 0 0 218 52 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27032] ppid=27025 vsize=15707136 CPUtime=2.93 cores=1,3,5,7
/proc/27027/task/27032/stat : 27032 (java) S 27025 27027 26111 0 -1 4202560 303916 0 0 0 245 48 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27033] ppid=27025 vsize=15707136 CPUtime=3.73 cores=1,3,5,7
/proc/27027/task/27033/stat : 27033 (java) S 27025 27027 26111 0 -1 4202560 471838 0 0 0 294 79 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27034] ppid=27025 vsize=15707136 CPUtime=3.05 cores=1,3,5,7
/proc/27027/task/27034/stat : 27034 (java) S 27025 27027 26111 0 -1 4202560 392520 0 0 0 245 60 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27035] ppid=27025 vsize=15707136 CPUtime=3.11 cores=1,3,5,7
/proc/27027/task/27035/stat : 27035 (java) S 27025 27027 26111 0 -1 4202560 405588 0 0 0 246 65 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 7 0 0 0
[pid=27027/tid=27036] ppid=27025 vsize=15707136 CPUtime=3 cores=1,3,5,7
/proc/27027/task/27036/stat : 27036 (java) S 27025 27027 26111 0 -1 4202560 304113 0 0 0 252 48 0 0 15 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27037] ppid=27025 vsize=15707136 CPUtime=3.41 cores=1,3,5,7
/proc/27027/task/27037/stat : 27037 (java) S 27025 27027 26111 0 -1 4202560 414793 0 0 0 275 66 0 0 16 0 22 0 601445734 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27038] ppid=27025 vsize=15707136 CPUtime=973.97 cores=1,3,5,7
/proc/27027/task/27038/stat : 27038 (java) R 27025 27027 26111 0 -1 4202560 693764 0 0 0 97247 150 0 0 18 0 22 0 601445735 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 47542396374682 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=27027/tid=27039] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27039/stat : 27039 (java) S 27025 27027 26111 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 601445735 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27040] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27040/stat : 27040 (java) S 27025 27027 26111 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601445735 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27041] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27041/stat : 27041 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427215281 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27042] ppid=27025 vsize=15707136 CPUtime=1.13 cores=1,3,5,7
/proc/27027/task/27042/stat : 27042 (java) S 27025 27027 26111 0 -1 4202560 4805 0 0 0 112 1 0 0 16 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 7 0 0 0
[pid=27027/tid=27043] ppid=27025 vsize=15707136 CPUtime=0.98 cores=1,3,5,7
/proc/27027/task/27043/stat : 27043 (java) S 27025 27027 26111 0 -1 4202560 12529 0 0 0 97 1 0 0 15 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 0
[pid=27027/tid=27044] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27044/stat : 27044 (java) S 27025 27027 26111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27045] ppid=27025 vsize=15707136 CPUtime=0 cores=1,3,5,7
/proc/27027/task/27045/stat : 27045 (java) S 27025 27027 26111 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 601445737 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427208192 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27051] ppid=27025 vsize=15707136 CPUtime=315.24 cores=1,3,5,7
/proc/27027/task/27051/stat : 27051 (java) S 27025 27027 26111 0 -1 4202560 63893 0 0 0 31504 20 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 3 0 0 4
[pid=27027/tid=27052] ppid=27025 vsize=15707136 CPUtime=316.63 cores=1,3,5,7
/proc/27027/task/27052/stat : 27052 (java) S 27025 27027 26111 0 -1 4202560 63893 0 0 0 31642 21 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 5 0 0 0
[pid=27027/tid=27053] ppid=27025 vsize=15707136 CPUtime=316.67 cores=1,3,5,7
/proc/27027/task/27053/stat : 27053 (java) S 27025 27027 26111 0 -1 4202560 55982 0 0 0 31650 17 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
[pid=27027/tid=27054] ppid=27025 vsize=15707136 CPUtime=315.54 cores=1,3,5,7
/proc/27027/task/27054/stat : 27054 (java) S 27025 27027 26111 0 -1 4202560 59283 0 0 0 31533 21 0 0 15 0 22 0 601445824 16084107264 3854971 33554432000 1073741824 1073778376 140735204821344 18446744073709551615 256427207577 0 4 0 16800975 18446604471160548224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2267.59
Current children cumulated vsize (KiB) 15707136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -27027
[startup+1302.3 s]
/proc/loadavg: 1.84 4.03 5.63 2/194 27112
/proc/meminfo: memFree=14262276/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=0 CPUtime=2269.88 cores=1,3,5,7
/proc/27027/stat : 27027 (java) Z 27025 27027 26111 0 -1 4203548 3930084 0 1 0 226246 742 0 0 18 0 2 0 601445733 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27027/statm: 0 0 0 0 0 0 0
[pid=27027/tid=27051] ppid=27025 vsize=0 CPUtime=315.52 cores=1,3,5,7
/proc/27027/task/27051/stat : 27051 (java) R 27025 27027 26111 0 -1 4203588 63893 0 0 0 31504 48 0 0 16 0 2 0 601445824 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 4
Current children cumulated CPU time (s) 2269.88
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 1.84 4.03 5.63 2/194 27112
/proc/meminfo: memFree=14262276/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=0 CPUtime=2269.98 cores=1,3,5,7
/proc/27027/stat : 27027 (java) Z 27025 27027 26111 0 -1 4203548 3930084 0 1 0 226246 752 0 0 18 0 2 0 601445733 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27027/statm: 0 0 0 0 0 0 0
[pid=27027/tid=27051] ppid=27025 vsize=0 CPUtime=315.62 cores=1,3,5,7
/proc/27027/task/27051/stat : 27051 (java) R 27025 27027 26111 0 -1 4203588 63893 0 0 0 31504 58 0 0 16 0 2 0 601445824 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 4
Current children cumulated CPU time (s) 2269.98
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 1.84 4.03 5.63 2/194 27112
/proc/meminfo: memFree=14262276/32950928 swapFree=67111364/67111528
[pid=27027] ppid=27025 vsize=0 CPUtime=2270.08 cores=1,3,5,7
/proc/27027/stat : 27027 (java) Z 27025 27027 26111 0 -1 4203548 3930084 0 1 0 226246 762 0 0 18 0 2 0 601445733 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27027/statm: 0 0 0 0 0 0 0
[pid=27027/tid=27051] ppid=27025 vsize=0 CPUtime=315.72 cores=1,3,5,7
/proc/27027/task/27051/stat : 27051 (java) R 27025 27027 26111 0 -1 4203588 63893 0 0 0 31504 68 0 0 16 0 2 0 601445824 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 4
Current children cumulated CPU time (s) 2270.08
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.53
CPU time (s): 2270.12
CPU user time (s): 2262.46
CPU system time (s): 7.65883
CPU usage (%): 174.285
Max. virtual memory (cumulated for all children) (KiB): 15715728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2262.46
system time used= 7.65883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3930084
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= 73233
involuntary context switches= 39562
runsolver used 2.22266 second user time and 4.96024 second system time
The end