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-3689473-1337890614/watcher-3689473-1337890614 -o /tmp/evaluation-result-3689473-1337890614/solver-3689473-1337890614 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689473-1337890614.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.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/26457/stat : 26457 (java) R 26455 26457 23289 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 255186904 23793664 716 33554432000 1073741824 1073778376 140736039674080 140736039663144 252253878352 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 5809 717 532 9 0 128 0
[startup+0.034877 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 3016 0 1 0 1 0 0 0 20 0 13 0 255186904 9446973440 3714 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2306390 3714 1695 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560
[startup+0.100263 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 4445 0 1 0 9 1 0 0 20 0 18 0 255186904 9787813888 6109 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2389603 6109 2137 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300192 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6436 0 1 0 49 1 0 0 20 0 19 0 255186904 9855975424 8009 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 8009 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976
[startup+0.700243 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6844 0 1 0 109 2 0 0 20 0 19 0 255186904 9855975424 11524 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 11524 2268 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9624976
[startup+1.50065 s]
/proc/loadavg: 2.01 2.03 2.00 3/211 26476
/proc/meminfo: memFree=28956084/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=2.02 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6880 0 1 0 199 3 0 0 20 0 19 0 255186904 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 14617 2268 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=1.41 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2456 0 1 0 139 2 0 0 20 0 19 0 255186904 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534466486680 140534300019041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255186906 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2000 0 0 0 22 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9624976
[startup+3.10067 s]
/proc/loadavg: 2.01 2.03 2.00 3/211 26476
/proc/meminfo: memFree=28947768/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=3.67 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6887 0 1 0 364 3 0 0 20 0 19 0 255186904 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 15644 2268 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2458 0 1 0 293 2 0 0 20 0 19 0 255186904 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534466486560 140534300163056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 255186906 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2000 0 0 0 22 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 9624976
[startup+6.30072 s]
/proc/loadavg: 2.01 2.03 2.00 3/211 26476
/proc/meminfo: memFree=28935108/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=6.91 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6939 0 1 0 687 4 0 0 20 0 19 0 255186904 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 18679 2268 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=6.05 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2464 0 1 0 603 2 0 0 20 0 19 0 255186904 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534466486680 140534300019084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 36 0 0 0 13 0 0 0 20 0 19 0 255186906 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2000 0 0 0 22 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
################
# More data... #
################
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2150 0 0 0 25 0 0 0 20 0 19 0 255186909 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 99 0 0 0 38 52 0 0 20 0 19 0 255186909 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.2
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26549
/proc/meminfo: memFree=25912532/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=1788.33 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 9182 0 1 0 178734 99 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 71284 2270 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=1769.67 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2623 0 1 0 176939 28 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534466486560 140534299991609 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 212 0 0 0 72 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 174 0 0 0 71 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 135 0 0 0 69 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 118 0 0 0 83 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 409 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 291 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 228 0 0 0 80 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 248 0 0 0 83 1 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=6.13 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 161 0 0 0 609 4 0 0 20 0 19 0 255186906 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2150 0 0 0 25 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 103 0 0 0 40 54 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.33
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26549
/proc/meminfo: memFree=25912656/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 9182 0 1 0 179905 99 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 71284 2270 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=1781.35 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2623 0 1 0 178106 29 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534466486560 140534300012741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 212 0 0 0 72 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 174 0 0 0 71 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 135 0 0 0 69 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 118 0 0 0 83 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 409 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 291 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 228 0 0 0 80 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 248 0 0 0 83 1 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=6.13 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 161 0 0 0 609 4 0 0 20 0 19 0 255186906 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2150 0 0 0 25 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 103 0 0 0 40 54 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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
[startup+1794 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26549
/proc/meminfo: memFree=25912656/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 9182 0 1 0 179905 99 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 71284 2270 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=1781.35 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2623 0 1 0 178106 29 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534466486560 140534300012741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 212 0 0 0 72 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 174 0 0 0 71 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 135 0 0 0 69 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 118 0 0 0 83 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 409 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 291 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 228 0 0 0 80 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 248 0 0 0 83 1 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=6.13 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 161 0 0 0 609 4 0 0 20 0 19 0 255186906 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2150 0 0 0 25 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 103 0 0 0 40 54 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26457 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=359215
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=211815
# CPU time returned by wait4() is 1795.57
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.05
CPU time (s): 1800.04
CPU user time (s): 1799.05
CPU system time (s): 0.99
CPU usage (%): 100.334
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.36
system time used= 1.21182
maximum resident set size= 285296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9225
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41708
involuntary context switches= 16517
runsolver used 10.6694 second user time and 11.9142 second system time
The end