runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688408-1337877514/watcher-3688408-1337877514 -o /tmp/evaluation-result-3688408-1337877514/solver-3688408-1337877514 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688408-1337877514.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 4.07 4.06 3.95 3/199 27982
/proc/meminfo: memFree=27149332/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27982/stat : 27982 (java) D 27980 27982 26250 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 253876197 9515008 176 33554432000 1073741824 1073778376 140736902743408 140736902726136 215143498640 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2323 176 133 9 0 71 0
[startup+0.084408 s]
/proc/loadavg: 4.07 4.06 3.95 3/199 27982
/proc/meminfo: memFree=27149332/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 3307 0 1 0 5 0 0 0 20 0 18 0 253876197 9787813888 4515 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2389603 4515 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100296 s]
/proc/loadavg: 4.07 4.06 3.95 3/199 27982
/proc/meminfo: memFree=27149332/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 4195 0 1 0 7 1 0 0 20 0 18 0 253876197 9787813888 5388 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2389603 5388 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300237 s]
/proc/loadavg: 4.07 4.06 3.95 3/199 27982
/proc/meminfo: memFree=27149332/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 5833 0 1 0 46 1 0 0 20 0 18 0 253876197 9787813888 8476 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2389603 8476 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700252 s]
/proc/loadavg: 4.07 4.06 3.95 3/199 27982
/proc/meminfo: memFree=27149332/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9825260 CPUtime=1.63 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 20528 0 1 0 156 7 0 0 20 0 19 0 253876197 10061066240 23088 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2456315 23088 2241 9 0 2447008 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9825260
[startup+1.50063 s]
/proc/loadavg: 4.07 4.06 3.95 5/218 28007
/proc/meminfo: memFree=27059548/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9824668 CPUtime=2.05 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 20595 0 1 0 196 9 0 0 20 0 19 0 253876197 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2456167 26060 2253 9 0 2446860 0
[pid=27982/tid=27984] ppid=27980 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/27982/task/27984/stat : 27984 (java) S 27980 27982 26250 0 -1 4202560 2501 0 1 0 41 0 0 0 20 0 19 0 253876198 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742542541816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27985] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876199 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742386534696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876199 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742385481896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27987] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876199 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742384429608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27988] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876199 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742383376808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27989] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876199 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742382324520 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27990] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876199 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742381271720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27991] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876199 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742380219432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27980 27982 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253876199 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742379166632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27993] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27980 27982 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253876200 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742366755048 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27994] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27980 27982 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253876201 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742365701112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27995] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27980 27982 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253876201 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742364648712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27996] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27996/stat : 27996 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876204 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742363597200 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27997] ppid=27980 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/27982/task/27997/stat : 27997 (java) S 27980 27982 26250 0 -1 4202560 8772 0 0 0 63 3 0 0 20 0 19 0 253876204 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742362544824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27998] ppid=27980 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27980 27982 26250 0 -1 4202560 8005 0 0 0 60 2 0 0 20 0 19 0 253876204 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742361492024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27999] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876204 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742360439928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28000] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253876204 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742359387336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28004] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28004/stat : 28004 (java) S 27980 27982 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253876242 10060460032 26060 33554432000 1073741824 1073778376 140736959567056 139742353998888 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9824668
[startup+3.10071 s]
/proc/loadavg: 4.07 4.06 3.95 3/218 28013
/proc/meminfo: memFree=27044568/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9824668 CPUtime=3.95 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 20811 0 1 0 383 12 0 0 20 0 22 0 253876197 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2456167 32899 2257 9 0 2446860 0
[pid=27982/tid=27984] ppid=27980 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/27982/task/27984/stat : 27984 (java) S 27980 27982 26250 0 -1 4202560 2503 0 1 0 42 1 0 0 20 0 22 0 253876198 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742542541816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27985] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876199 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742386534696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876199 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742385481896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27987] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876199 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742384429608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27988] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876199 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742383376808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27989] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876199 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742382324520 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27990] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876199 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742381271720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27991] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876199 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742380219432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27980 27982 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253876199 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742379166632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27993] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27980 27982 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253876200 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742366755048 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27994] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27980 27982 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742365701112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27995] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27980 27982 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742364648712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27996] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27996/stat : 27996 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742363597200 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27997] ppid=27980 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/27982/task/27997/stat : 27997 (java) S 27980 27982 26250 0 -1 4202560 8923 0 0 0 108 3 0 0 20 0 22 0 253876204 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742362544824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27998] ppid=27980 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27980 27982 26250 0 -1 4202560 8028 0 0 0 89 2 0 0 20 0 22 0 253876204 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742361492024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27999] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742360439928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28000] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 32899 33554432000 1073741824 1073778376 140736959567056 139742359387336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9824668
[startup+6.30089 s]
/proc/loadavg: 4.07 4.06 3.95 5/221 28019
/proc/meminfo: memFree=26961328/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9824668 CPUtime=10.71 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 20949 0 1 0 1054 17 0 0 20 0 22 0 253876197 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2456167 53894 2285 9 0 2446860 0
[pid=27982/tid=27984] ppid=27980 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/27982/task/27984/stat : 27984 (java) S 27980 27982 26250 0 -1 4202560 2503 0 1 0 42 1 0 0 20 0 22 0 253876198 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742542541816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27985] ppid=27980 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27980 27982 26250 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253876199 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742386534696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27986] ppid=27980 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27980 27982 26250 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253876199 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742385481896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27987] ppid=27980 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27980 27982 26250 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 253876199 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742384429608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27988] ppid=27980 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27980 27982 26250 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 253876199 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742383376808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27989] ppid=27980 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27980 27982 26250 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253876199 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742382324520 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27990] ppid=27980 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27980 27982 26250 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253876199 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742381271720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27991] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27980 27982 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253876199 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742380219432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27992] ppid=27980 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27980 27982 26250 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 253876199 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742379166632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27993] ppid=27980 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27980 27982 26250 0 -1 4202560 39 0 0 0 11 1 0 0 20 0 22 0 253876200 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742366755048 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27994] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27980 27982 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742365701112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27995] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27980 27982 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742364648712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27996] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27996/stat : 27996 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742363597200 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27997] ppid=27980 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/27982/task/27997/stat : 27997 (java) S 27980 27982 26250 0 -1 4202560 8928 0 0 0 129 3 0 0 20 0 22 0 253876204 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742362544824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27998] ppid=27980 vsize=9824668 CPUtime=1.15 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27980 27982 26250 0 -1 4202560 8033 0 0 0 112 3 0 0 20 0 22 0 253876204 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742361492024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27999] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742360439928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28000] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27980 27982 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742359387336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28016] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28016/stat : 28016 (java) S 27980 27982 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253876443 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742355052072 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28017] ppid=27980 vsize=9824668 CPUtime=3.12 cores=1,3,5,7
/proc/27982/task/28017/stat : 28017 (java) R 27980 27982 26250 0 -1 4202560 9 0 0 0 312 0 0 0 20 0 22 0 253876493 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742356103368 139742415573353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=28018] ppid=27980 vsize=9824668 CPUtime=3.13 cores=1,3,5,7
/proc/27982/task/28018/stat : 28018 (java) R 27980 27982 26250 0 -1 4202560 25 0 0 0 311 2 0 0 20 0 22 0 253876493 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742357156024 139742415945112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28019] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28019/stat : 28019 (java) S 27980 27982 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253876493 10060460032 53894 33554432000 1073741824 1073778376 140736959567056 139742353999016 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=27982/tid=28101] ppid=27980 vsize=9824668 CPUtime=498.8 cores=1,3,5,7
/proc/27982/task/28101/stat : 28101 (java) R 27980 27982 26250 0 -1 4202560 56 0 0 0 49873 7 0 0 20 0 22 0 253903253 10060460032 471727 33554432000 1073741824 1073778376 140736959567056 139742356102960 139742415876436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28102] ppid=27980 vsize=9824668 CPUtime=498.77 cores=1,3,5,7
/proc/27982/task/28102/stat : 28102 (java) R 27980 27982 26250 0 -1 4202560 53 0 0 0 49868 9 0 0 20 0 22 0 253903253 10060460032 471727 33554432000 1073741824 1073778376 140736959567056 139742357154464 139742416188736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28103] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28103/stat : 28103 (java) S 27980 27982 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253903253 10060460032 471727 33554432000 1073741824 1073778376 140736959567056 139742353999528 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1637.82
Current children cumulated vsize (KiB) 9824668
[startup+942.301 s]
/proc/loadavg: 3.85 3.89 3.89 5/221 28111
/proc/meminfo: memFree=26379240/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9824668 CPUtime=1750.91 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 31937 0 1 0 174934 157 0 0 20 0 22 0 253876197 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2456167 488240 2287 9 0 2446860 0
[pid=27982/tid=27984] ppid=27980 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/27982/task/27984/stat : 27984 (java) S 27980 27982 26250 0 -1 4202560 2574 0 1 0 46 3 0 0 20 0 22 0 253876198 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742542541816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27985] ppid=27980 vsize=9824668 CPUtime=4.29 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27980 27982 26250 0 -1 4202560 665 0 0 0 419 10 0 0 20 0 22 0 253876199 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742386534696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27986] ppid=27980 vsize=9824668 CPUtime=4.3 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27980 27982 26250 0 -1 4202560 552 0 0 0 421 9 0 0 20 0 22 0 253876199 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742385481896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27987] ppid=27980 vsize=9824668 CPUtime=4.61 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27980 27982 26250 0 -1 4202560 886 0 0 0 451 10 0 0 20 0 22 0 253876199 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742384429608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27988] ppid=27980 vsize=9824668 CPUtime=4.32 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27980 27982 26250 0 -1 4202560 1106 0 0 0 422 10 0 0 20 0 22 0 253876199 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742383376808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27989] ppid=27980 vsize=9824668 CPUtime=4.45 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27980 27982 26250 0 -1 4202560 778 0 0 0 435 10 0 0 20 0 22 0 253876199 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742382324520 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27990] ppid=27980 vsize=9824668 CPUtime=4.34 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27980 27982 26250 0 -1 4202560 778 0 0 0 424 10 0 0 20 0 22 0 253876199 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742381271720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27991] ppid=27980 vsize=9824668 CPUtime=4.53 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27980 27982 26250 0 -1 4202560 860 0 0 0 446 7 0 0 20 0 22 0 253876199 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742380219432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27980 vsize=9824668 CPUtime=4.51 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27980 27982 26250 0 -1 4202560 841 0 0 0 442 9 0 0 20 0 22 0 253876199 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742379166632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27993] ppid=27980 vsize=9824668 CPUtime=147.53 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27980 27982 26250 0 -1 4202560 4233 0 0 0 14711 42 0 0 20 0 22 0 253876200 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742366755048 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27994] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27980 27982 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742365701112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27995] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27980 27982 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742364648712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27996] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27996/stat : 27996 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742363597200 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27997] ppid=27980 vsize=9824668 CPUtime=2.08 cores=1,3,5,7
/proc/27982/task/27997/stat : 27997 (java) S 27980 27982 26250 0 -1 4202560 8952 0 0 0 205 3 0 0 20 0 22 0 253876204 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742362544824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27998] ppid=27980 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27980 27982 26250 0 -1 4202560 8033 0 0 0 126 3 0 0 20 0 22 0 253876204 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742361492024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27999] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742360439928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28000] ppid=27980 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27980 27982 26250 0 -1 4202560 55 0 0 0 21 19 0 0 20 0 22 0 253876204 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742359387336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28016] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28016/stat : 28016 (java) S 27980 27982 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253876443 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742355052072 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28101] ppid=27980 vsize=9824668 CPUtime=549.92 cores=1,3,5,7
/proc/27982/task/28101/stat : 28101 (java) R 27980 27982 26250 0 -1 4202560 58 0 0 0 54984 8 0 0 20 0 22 0 253903253 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742356102960 139742415574148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28102] ppid=27980 vsize=9824668 CPUtime=549.89 cores=1,3,5,7
/proc/27982/task/28102/stat : 28102 (java) R 27980 27982 26250 0 -1 4202560 60 0 0 0 54979 10 0 0 20 0 22 0 253903253 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742357154272 139742415588304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28103] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28103/stat : 28103 (java) S 27980 27982 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253903253 10060460032 488240 33554432000 1073741824 1073778376 140736959567056 139742353999528 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1750.91
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+968.901 s]
/proc/loadavg: 3.76 3.86 3.89 5/221 28191
/proc/meminfo: memFree=27329516/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9824668 CPUtime=1800.12 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 32433 0 1 0 179853 159 0 0 20 0 22 0 253876197 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2456167 493303 2287 9 0 2446860 0
[pid=27982/tid=27984] ppid=27980 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/27982/task/27984/stat : 27984 (java) S 27980 27982 26250 0 -1 4202560 2575 0 1 0 46 3 0 0 20 0 22 0 253876198 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742542541816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27985] ppid=27980 vsize=9824668 CPUtime=4.36 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27980 27982 26250 0 -1 4202560 668 0 0 0 426 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742386534696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27980 vsize=9824668 CPUtime=4.39 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27980 27982 26250 0 -1 4202560 552 0 0 0 430 9 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742385481896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27987] ppid=27980 vsize=9824668 CPUtime=4.75 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27980 27982 26250 0 -1 4202560 895 0 0 0 465 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742384429608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27988] ppid=27980 vsize=9824668 CPUtime=4.54 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27980 27982 26250 0 -1 4202560 1279 0 0 0 444 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742383376808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27989] ppid=27980 vsize=9824668 CPUtime=4.55 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27980 27982 26250 0 -1 4202560 785 0 0 0 445 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742382324520 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27990] ppid=27980 vsize=9824668 CPUtime=4.5 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27980 27982 26250 0 -1 4202560 794 0 0 0 440 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742381271720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27991] ppid=27980 vsize=9824668 CPUtime=4.64 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27980 27982 26250 0 -1 4202560 989 0 0 0 457 7 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742380219432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27980 vsize=9824668 CPUtime=4.67 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27980 27982 26250 0 -1 4202560 957 0 0 0 458 9 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742379166632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27993] ppid=27980 vsize=9824668 CPUtime=152.05 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27980 27982 26250 0 -1 4202560 4272 0 0 0 15163 42 0 0 20 0 22 0 253876200 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742366755048 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27994] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27980 27982 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742365701112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27995] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27980 27982 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742364648712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27996] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27996/stat : 27996 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742363597200 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27997] ppid=27980 vsize=9824668 CPUtime=2.08 cores=1,3,5,7
/proc/27982/task/27997/stat : 27997 (java) S 27980 27982 26250 0 -1 4202560 8952 0 0 0 205 3 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742362544824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27998] ppid=27980 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27980 27982 26250 0 -1 4202560 8033 0 0 0 126 3 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742361492024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27999] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742360439928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28000] ppid=27980 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27980 27982 26250 0 -1 4202560 55 0 0 0 21 20 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742359387336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28016] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28016/stat : 28016 (java) S 27980 27982 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253876443 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742355052072 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28101] ppid=27980 vsize=9824668 CPUtime=571.75 cores=1,3,5,7
/proc/27982/task/28101/stat : 28101 (java) R 27980 27982 26250 0 -1 4202560 60 0 0 0 57167 8 0 0 20 0 22 0 253903253 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742356102960 139742415564288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28102] ppid=27980 vsize=9824668 CPUtime=571.7 cores=1,3,5,7
/proc/27982/task/28102/stat : 28102 (java) R 27980 27982 26250 0 -1 4202560 61 0 0 0 57160 10 0 0 20 0 22 0 253903253 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742357154272 139742416077436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28103] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28103/stat : 28103 (java) S 27980 27982 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253903253 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742353999528 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+968.901 s]
/proc/loadavg: 3.76 3.86 3.89 5/221 28191
/proc/meminfo: memFree=27329516/32873844 swapFree=7364/7364
[pid=27982] ppid=27980 vsize=9824668 CPUtime=1800.12 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27980 27982 26250 0 -1 4202496 32433 0 1 0 179853 159 0 0 20 0 22 0 253876197 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 140736959558192 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27982/statm: 2456167 493303 2287 9 0 2446860 0
[pid=27982/tid=27984] ppid=27980 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/27982/task/27984/stat : 27984 (java) S 27980 27982 26250 0 -1 4202560 2575 0 1 0 46 3 0 0 20 0 22 0 253876198 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742542541816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27985] ppid=27980 vsize=9824668 CPUtime=4.36 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27980 27982 26250 0 -1 4202560 668 0 0 0 426 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742386534696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27980 vsize=9824668 CPUtime=4.39 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27980 27982 26250 0 -1 4202560 552 0 0 0 430 9 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742385481896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27987] ppid=27980 vsize=9824668 CPUtime=4.75 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27980 27982 26250 0 -1 4202560 895 0 0 0 465 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742384429608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27988] ppid=27980 vsize=9824668 CPUtime=4.54 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27980 27982 26250 0 -1 4202560 1279 0 0 0 444 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742383376808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27989] ppid=27980 vsize=9824668 CPUtime=4.55 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27980 27982 26250 0 -1 4202560 785 0 0 0 445 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742382324520 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27990] ppid=27980 vsize=9824668 CPUtime=4.5 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27980 27982 26250 0 -1 4202560 794 0 0 0 440 10 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742381271720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27991] ppid=27980 vsize=9824668 CPUtime=4.64 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27980 27982 26250 0 -1 4202560 989 0 0 0 457 7 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742380219432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27980 vsize=9824668 CPUtime=4.67 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27980 27982 26250 0 -1 4202560 957 0 0 0 458 9 0 0 20 0 22 0 253876199 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742379166632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27993] ppid=27980 vsize=9824668 CPUtime=152.05 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27980 27982 26250 0 -1 4202560 4272 0 0 0 15163 42 0 0 20 0 22 0 253876200 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742366755048 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27994] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27980 27982 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742365701112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27995] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27980 27982 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253876201 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742364648712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27996] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27996/stat : 27996 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742363597200 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27997] ppid=27980 vsize=9824668 CPUtime=2.08 cores=1,3,5,7
/proc/27982/task/27997/stat : 27997 (java) S 27980 27982 26250 0 -1 4202560 8952 0 0 0 205 3 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742362544824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27998] ppid=27980 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27980 27982 26250 0 -1 4202560 8033 0 0 0 126 3 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742361492024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27999] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27980 27982 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742360439928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28000] ppid=27980 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27980 27982 26250 0 -1 4202560 55 0 0 0 21 20 0 0 20 0 22 0 253876204 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742359387336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28016] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28016/stat : 28016 (java) S 27980 27982 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253876443 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742355052072 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28101] ppid=27980 vsize=9824668 CPUtime=571.75 cores=1,3,5,7
/proc/27982/task/28101/stat : 28101 (java) R 27980 27982 26250 0 -1 4202560 60 0 0 0 57167 8 0 0 20 0 22 0 253903253 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742356102960 139742415564288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=28102] ppid=27980 vsize=9824668 CPUtime=571.7 cores=1,3,5,7
/proc/27982/task/28102/stat : 28102 (java) R 27980 27982 26250 0 -1 4202560 61 0 0 0 57160 10 0 0 20 0 22 0 253903253 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742357154272 139742416077436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28103] ppid=27980 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28103/stat : 28103 (java) S 27980 27982 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253903253 10060460032 493303 33554432000 1073741824 1073778376 140736959567056 139742353999528 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 968.952
CPU time (s): 1800.72
CPU user time (s): 1798.71
CPU system time (s): 2.01369
CPU usage (%): 185.842
Max. virtual memory (cumulated for all children) (KiB): 9825520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 2.01369
maximum resident set size= 1973332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32465
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29499
involuntary context switches= 57729
runsolver used 3.58146 second user time and 9.75452 second system time
The end