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-3689685-1337892411/watcher-3689685-1337892411 -o /tmp/evaluation-result-3689685-1337892411/solver-3689685-1337892411 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689685-1337892411.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: 2.00 2.00 2.00 3/192 26589
/proc/meminfo: memFree=26189152/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26589/stat : 26589 (java) D 26587 26589 23289 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 255366537 9515008 175 33554432000 1073741824 1073778376 140736317545824 140736317528552 252263089040 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/26589/statm: 2323 175 133 9 0 71 0
[startup+0.0615569 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 26589
/proc/meminfo: memFree=26189152/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 3085 0 1 0 3 1 0 0 20 0 13 0 255366537 9446973440 4293 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2306390 4293 1709 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.100226 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 26589
/proc/meminfo: memFree=26189152/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 4281 0 1 0 8 2 0 0 20 0 18 0 255366537 9787813888 5478 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2389603 5478 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300181 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 26589
/proc/meminfo: memFree=26189152/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9558412 CPUtime=0.56 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 7300 0 1 0 53 3 0 0 20 0 18 0 255366537 9787813888 11938 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2389603 11938 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558412
[startup+0.700208 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 26589
/proc/meminfo: memFree=26189152/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 9837 0 1 0 142 6 0 0 20 0 19 0 255366537 9855975424 39308 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2406244 39308 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9624976
[startup+1.50082 s]
/proc/loadavg: 2.16 2.03 2.01 3/211 26608
/proc/meminfo: memFree=26040740/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9624976 CPUtime=2.46 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 10167 0 1 0 240 6 0 0 20 0 19 0 255366537 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2406244 39311 2251 9 0 2396937 0
[pid=26589/tid=26591] ppid=26587 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/26589/task/26591/stat : 26591 (java) R 26587 26589 23289 0 -1 4202560 2509 0 1 0 142 3 0 0 20 0 19 0 255366538 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140376345629128 140376191834406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140376318081448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140376317028904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140376315975848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140376314923304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140376313871272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140376312818728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140376311765672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140376310713128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 23289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255366540 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140375698147688 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 23289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255366540 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140375697094008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255366541 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140375696040840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140375694989584 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 23289 0 -1 4202560 3468 0 0 0 49 1 0 0 20 0 19 0 255366543 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140375693937464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 23289 0 -1 4202560 2996 0 0 0 46 0 0 0 20 0 19 0 255366543 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140375692884920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140375691832056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140375690779720 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255366601 9855975424 39311 33554432000 1073741824 1073778376 140736128529008 140375689724968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9624976
[startup+3.10075 s]
/proc/loadavg: 2.16 2.03 2.01 3/211 26608
/proc/meminfo: memFree=26038188/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9624976 CPUtime=4.2 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 10241 0 1 0 414 6 0 0 20 0 19 0 255366537 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2406244 45505 2281 9 0 2396937 0
[pid=26589/tid=26591] ppid=26587 vsize=9624976 CPUtime=2.99 cores=1,3,5,7
/proc/26589/task/26591/stat : 26591 (java) R 26587 26589 23289 0 -1 4202560 2515 0 1 0 296 3 0 0 20 0 19 0 255366538 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140376345629016 140376191802434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 23289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140376318081448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140376317028904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140376315975848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140376314923304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140376313871272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140376312818728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140376311765672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140376310713128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 23289 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 255366540 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140375698147688 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255366540 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140375697094008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255366541 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140375696040840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140375694989584 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 23289 0 -1 4202560 3477 0 0 0 51 1 0 0 20 0 19 0 255366543 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140375693937464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 23289 0 -1 4202560 2997 0 0 0 50 0 0 0 20 0 19 0 255366543 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140375692884920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140375691832056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140375690779720 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255366601 9855975424 45505 33554432000 1073741824 1073778376 140736128529008 140375689724968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9624976
[startup+6.30073 s]
/proc/loadavg: 2.23 2.05 2.02 3/211 26608
/proc/meminfo: memFree=26008764/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9624976 CPUtime=7.45 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 10258 0 1 0 738 7 0 0 20 0 19 0 255366537 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2406244 46995 2281 9 0 2396937 0
[pid=26589/tid=26591] ppid=26587 vsize=9624976 CPUtime=6.14 cores=1,3,5,7
/proc/26589/task/26591/stat : 26591 (java) R 26587 26589 23289 0 -1 4202560 2518 0 1 0 611 3 0 0 20 0 19 0 255366538 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140376345628088 140376191777498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 23289 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140376318081448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140376317028904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140376315975848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140376314923304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140376313871272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140376312818728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 23289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140376311765672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255366539 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140376310713128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 23289 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 19 0 255366540 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140375698147688 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255366540 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140375697094008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255366541 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140375696040840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140375694989584 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 23289 0 -1 4202560 3477 0 0 0 52 2 0 0 20 0 19 0 255366543 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140375693937464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 23289 0 -1 4202560 2997 0 0 0 53 0 0 0 20 0 19 0 255366543 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140375692884920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140375691832056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140375690779720 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255366601 9855975424 46995 33554432000 1073741824 1073778376 140736128529008 140375689724968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
################
# More data... #
################
[pid=26589/tid=26604] ppid=26587 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 23289 0 -1 4202560 3485 0 0 0 53 2 0 0 20 0 19 0 255366543 9855975424 280242 33554432000 1073741824 1073778376 140736128529008 140375693937464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 23289 0 -1 4202560 3004 0 0 0 70 0 0 0 20 0 19 0 255366543 9855975424 280242 33554432000 1073741824 1073778376 140736128529008 140375692884920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 280242 33554432000 1073741824 1073778376 140736128529008 140375691832056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 23289 0 -1 4202560 95 0 0 0 41 35 0 0 20 0 19 0 255366543 9855975424 280242 33554432000 1073741824 1073778376 140736128529008 140375690779720 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255366601 9855975424 280242 33554432000 1073741824 1073778376 140736128529008 140375689724968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1673.4
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.07 2.11 2.04 3/211 26703
/proc/meminfo: memFree=27785252/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9624976 CPUtime=1733.67 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 14705 0 1 0 173170 197 0 0 20 0 19 0 255366537 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2406244 278482 2282 9 0 2396937 0
[pid=26589/tid=26591] ppid=26587 vsize=9624976 CPUtime=1707.14 cores=1,3,5,7
/proc/26589/task/26591/stat : 26591 (java) R 26587 26589 23289 0 -1 4202560 2613 0 1 0 170685 29 0 0 20 0 19 0 255366538 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140376345628896 140376191790922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 23289 0 -1 4202560 456 0 0 0 138 17 0 0 20 0 19 0 255366539 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140376318081448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=9624976 CPUtime=1.53 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 23289 0 -1 4202560 576 0 0 0 135 18 0 0 20 0 19 0 255366539 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140376317028904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 23289 0 -1 4202560 436 0 0 0 146 17 0 0 20 0 19 0 255366539 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140376315975848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=9624976 CPUtime=1.75 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 23289 0 -1 4202560 385 0 0 0 157 18 0 0 20 0 19 0 255366539 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140376314923304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 23289 0 -1 4202560 333 0 0 0 137 15 0 0 20 0 19 0 255366539 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140376313871272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 23289 0 -1 4202560 527 0 0 0 139 17 0 0 20 0 19 0 255366539 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140376312818728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 23289 0 -1 4202560 403 0 0 0 131 17 0 0 20 0 19 0 255366539 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140376311765672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 23289 0 -1 4202560 422 0 0 0 140 15 0 0 20 0 19 0 255366539 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140376310713128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=9624976 CPUtime=7.25 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 23289 0 -1 4202560 785 0 0 0 721 4 0 0 20 0 19 0 255366540 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140375698147688 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255366540 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140375697094008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255366541 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140375696040840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140375694989584 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 23289 0 -1 4202560 3485 0 0 0 53 2 0 0 20 0 19 0 255366543 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140375693937464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 23289 0 -1 4202560 3004 0 0 0 70 0 0 0 20 0 19 0 255366543 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140375692884920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140375691832056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 23289 0 -1 4202560 99 0 0 0 43 36 0 0 20 0 19 0 255366543 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140375690779720 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255366601 9855975424 278482 33554432000 1073741824 1073778376 140736128529008 140375689724968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1733.67
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.02 2.09 2.04 3/211 26704
/proc/meminfo: memFree=27767500/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9624976 CPUtime=1793.91 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 14733 0 1 0 179192 199 0 0 20 0 19 0 255366537 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2406244 272055 2282 9 0 2396937 0
[pid=26589/tid=26591] ppid=26587 vsize=9624976 CPUtime=1766.63 cores=1,3,5,7
/proc/26589/task/26591/stat : 26591 (java) R 26587 26589 23289 0 -1 4202560 2615 0 1 0 176633 30 0 0 20 0 19 0 255366538 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376345628896 140376191777538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 23289 0 -1 4202560 456 0 0 0 142 17 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376318081448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 23289 0 -1 4202560 581 0 0 0 140 18 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376317028904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 23289 0 -1 4202560 441 0 0 0 150 17 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376315975848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 23289 0 -1 4202560 385 0 0 0 162 18 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376314923304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 23289 0 -1 4202560 333 0 0 0 139 15 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376313871272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=9624976 CPUtime=1.57 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 23289 0 -1 4202560 527 0 0 0 140 17 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376312818728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 23289 0 -1 4202560 403 0 0 0 134 17 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376311765672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 23289 0 -1 4202560 430 0 0 0 143 15 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376310713128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=9624976 CPUtime=7.53 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 23289 0 -1 4202560 789 0 0 0 748 5 0 0 20 0 19 0 255366540 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375698147688 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255366540 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375697094008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255366541 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375696040840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375694989584 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 23289 0 -1 4202560 3485 0 0 0 53 2 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375693937464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 23289 0 -1 4202560 3004 0 0 0 70 0 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375692884920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375691832056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 23289 0 -1 4202560 103 0 0 0 45 38 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375690779720 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255366601 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375689724968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1793.91
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.4 s]
/proc/loadavg: 2.02 2.08 2.04 3/211 26704
/proc/meminfo: memFree=27767252/32873852 swapFree=7616/7616
[pid=26589] ppid=26587 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/26589/stat : 26589 (java) S 26587 26589 23289 0 -1 4202496 14733 0 1 0 179802 199 0 0 20 0 19 0 255366537 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140736128520144 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26589/statm: 2406244 272055 2282 9 0 2396937 0
[pid=26589/tid=26591] ppid=26587 vsize=9624976 CPUtime=1772.72 cores=1,3,5,7
/proc/26589/task/26591/stat : 26591 (java) R 26587 26589 23289 0 -1 4202560 2615 0 1 0 177242 30 0 0 20 0 19 0 255366538 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376345628896 140376191852188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26592] ppid=26587 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/26589/task/26592/stat : 26592 (java) S 26587 26589 23289 0 -1 4202560 456 0 0 0 142 17 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376318081448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26593] ppid=26587 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/26589/task/26593/stat : 26593 (java) S 26587 26589 23289 0 -1 4202560 581 0 0 0 140 18 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376317028904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26594] ppid=26587 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/26589/task/26594/stat : 26594 (java) S 26587 26589 23289 0 -1 4202560 441 0 0 0 150 17 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376315975848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26595] ppid=26587 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/26589/task/26595/stat : 26595 (java) S 26587 26589 23289 0 -1 4202560 385 0 0 0 162 18 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376314923304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26596] ppid=26587 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/26589/task/26596/stat : 26596 (java) S 26587 26589 23289 0 -1 4202560 333 0 0 0 139 15 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376313871272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26597] ppid=26587 vsize=9624976 CPUtime=1.57 cores=1,3,5,7
/proc/26589/task/26597/stat : 26597 (java) S 26587 26589 23289 0 -1 4202560 527 0 0 0 140 17 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376312818728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26598] ppid=26587 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/26589/task/26598/stat : 26598 (java) S 26587 26589 23289 0 -1 4202560 403 0 0 0 134 17 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376311765672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26589/tid=26599] ppid=26587 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/26589/task/26599/stat : 26599 (java) S 26587 26589 23289 0 -1 4202560 430 0 0 0 143 15 0 0 20 0 19 0 255366539 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140376310713128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26600] ppid=26587 vsize=9624976 CPUtime=7.53 cores=1,3,5,7
/proc/26589/task/26600/stat : 26600 (java) S 26587 26589 23289 0 -1 4202560 789 0 0 0 748 5 0 0 20 0 19 0 255366540 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375698147688 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26601] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26601/stat : 26601 (java) S 26587 26589 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255366540 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375697094008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26602] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26602/stat : 26602 (java) S 26587 26589 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255366541 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375696040840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26603] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26603/stat : 26603 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375694989584 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26604] ppid=26587 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/26589/task/26604/stat : 26604 (java) S 26587 26589 23289 0 -1 4202560 3485 0 0 0 53 2 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375693937464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26605] ppid=26587 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/26589/task/26605/stat : 26605 (java) S 26587 26589 23289 0 -1 4202560 3004 0 0 0 70 0 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375692884920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26589/tid=26606] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26606/stat : 26606 (java) S 26587 26589 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375691832056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26589/tid=26607] ppid=26587 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/26589/task/26607/stat : 26607 (java) S 26587 26589 23289 0 -1 4202560 103 0 0 0 45 38 0 0 20 0 19 0 255366543 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375690779720 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26589/tid=26608] ppid=26587 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26589/task/26608/stat : 26608 (java) S 26587 26589 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255366601 9855975424 272055 33554432000 1073741824 1073778376 140736128529008 140375689724968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26589 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=359367
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=245658
# CPU time returned by wait4() is 1795.6
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1788.49
CPU time (s): 1800.01
CPU user time (s): 1798.02
CPU system time (s): 1.99
CPU usage (%): 100.644
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.36
system time used= 2.24566
maximum resident set size= 1120980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14767
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40587
involuntary context switches= 16638
runsolver used 6.07308 second user time and 15.6606 second system time
The end