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-3688663-1337886251/watcher-3688663-1337886251 -o /tmp/evaluation-result-3688663-1337886251/solver-3688663-1337886251 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688663-1337886251.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: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/24536/stat : 24536 (java) R 24534 24536 22462 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 1 0 254750509 24780800 867 33554432000 1073741824 1073778376 140737050064304 140737050053368 273905752241 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 6050 867 654 9 0 385 0
[pid=24536/tid=24537] ppid=24534 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 2 0 254750509 24780800 870 33554432000 1073741824 1073778376 140737050064304 140737050053368 273905738634 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0534829 s]
/proc/loadavg: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 3085 0 1 0 3 1 0 0 20 0 13 0 254750509 9446973440 4293 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2306390 4298 1714 9 0 2297091 0
[pid=24536/tid=24537] ppid=24534 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 1909 0 1 0 3 0 0 0 20 0 13 0 254750509 9446973440 4298 33554432000 1073741824 1073778376 140737050064304 139634164926184 139634171862832 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.100353 s]
/proc/loadavg: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 4370 0 1 0 9 1 0 0 20 0 18 0 254750509 9787813888 5563 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2389603 5563 2108 9 0 2380296 0
[pid=24536/tid=24537] ppid=24534 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2417 0 1 0 6 1 0 0 20 0 18 0 254750509 9787813888 5563 33554432000 1073741824 1073778376 140737050064304 139634164927976 139634162794280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300226 s]
/proc/loadavg: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 6084 0 1 0 47 2 0 0 20 0 18 0 254750509 9787813888 8596 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2389603 8596 2227 9 0 2380296 0
[pid=24536/tid=24537] ppid=24534 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2448 0 1 0 26 1 0 0 20 0 18 0 254750509 9787813888 8596 33554432000 1073741824 1073778376 140737050064304 139634164922152 139634034144772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412
[startup+0.700251 s]
/proc/loadavg: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9558412 CPUtime=1.69 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 15565 0 1 0 164 5 0 0 20 0 18 0 254750509 9787813888 26105 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2389603 26105 2251 9 0 2380296 0
[pid=24536/tid=24537] ppid=24534 vsize=9558412 CPUtime=0.67 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2481 0 1 0 65 2 0 0 20 0 18 0 254750509 9787813888 26105 33554432000 1073741824 1073778376 140737050064304 139634164920064 139634034590893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9558412
[startup+1.50075 s]
/proc/loadavg: 1.94 1.98 1.99 4/215 24555
/proc/meminfo: memFree=29185500/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=3.22 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 15797 0 1 0 311 11 0 0 20 0 19 0 254750509 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 52346 2274 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=1.41 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2521 0 1 0 138 3 0 0 20 0 19 0 254750509 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634164928920 139634035132763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 254750511 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6092 0 0 0 76 2 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5837 0 0 0 76 2 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 9624976
[startup+3.10321 s]
/proc/loadavg: 1.94 1.98 1.99 10/215 24555
/proc/meminfo: memFree=29111960/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=5.02 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 16254 0 1 0 486 16 0 0 20 0 19 0 254750509 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 71660 2286 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=2.84 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) S 24534 24536 22462 0 -1 4202560 2522 0 1 0 281 3 0 0 20 0 19 0 254750509 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634164928920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634153991064 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 118 0 0 0 5 2 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634152938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 18 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634004400536 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 98 0 0 0 4 2 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 186 0 0 0 3 2 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 103 0 0 0 9 0 0 0 20 0 19 0 254750511 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633989044200 273909068860 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6096 0 0 0 78 2 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5839 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 9624976
[startup+6.3008 s]
/proc/loadavg: 1.94 1.98 1.99 3/215 24555
/proc/meminfo: memFree=29047728/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=8.32 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 16308 0 1 0 813 19 0 0 20 0 19 0 254750509 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 79707 2286 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=5.62 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2524 0 1 0 559 3 0 0 20 0 19 0 254750509 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634164928760 139634035048464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 124 0 0 0 6 3 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 18 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 46 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 100 0 0 0 4 2 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 186 0 0 0 3 2 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 113 0 0 0 46 1 0 0 20 0 19 0 254750511 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5842 0 0 0 82 2 0 0 20 0 19 0 254750514 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5845 0 0 0 84 2 0 0 20 0 19 0 254750514 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 101 0 0 0 61 34 0 0 20 0 19 0 254750514 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1731.1
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.21 2.17 2.07 3/215 24569
/proc/meminfo: memFree=28252972/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=1791.28 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 21093 0 1 0 178985 143 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 261477 2287 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=1757.97 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2683 0 1 0 175765 32 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634164928800 139634035005305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 489 0 0 0 97 9 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 744 0 0 0 97 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 424 0 0 0 112 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 328 0 0 0 105 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 344 0 0 0 92 12 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 512 0 0 0 100 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 484 0 0 0 110 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 650 0 0 0 99 15 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=17.09 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 1202 0 0 0 1705 4 0 0 20 0 19 0 254750511 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5845 0 0 0 84 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 103 0 0 0 62 35 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.1 s]
/proc/loadavg: 2.18 2.16 2.07 3/215 24685
/proc/meminfo: memFree=28324104/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 21095 0 1 0 179865 143 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 261477 2287 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=1766.76 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2683 0 1 0 176644 32 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634164928800 139634035133207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 489 0 0 0 97 9 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 744 0 0 0 97 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 424 0 0 0 112 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 328 0 0 0 105 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 344 0 0 0 92 12 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 512 0 0 0 100 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 484 0 0 0 110 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 650 0 0 0 99 15 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=17.09 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 1202 0 0 0 1705 4 0 0 20 0 19 0 254750511 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5845 0 0 0 84 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 105 0 0 0 62 36 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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+1791.1 s]
/proc/loadavg: 2.18 2.16 2.07 3/215 24685
/proc/meminfo: memFree=28324104/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 21095 0 1 0 179865 143 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 261477 2287 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=1766.76 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2683 0 1 0 176644 32 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634164928800 139634035133207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 489 0 0 0 97 9 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 744 0 0 0 97 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 424 0 0 0 112 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 328 0 0 0 105 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 344 0 0 0 92 12 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 512 0 0 0 100 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 484 0 0 0 110 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 650 0 0 0 99 15 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=17.09 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 1202 0 0 0 1705 4 0 0 20 0 19 0 254750511 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5845 0 0 0 84 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 105 0 0 0 62 36 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24536 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=69260
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=871715
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.15
CPU time (s): 1800.08
CPU user time (s): 1798.65
CPU system time (s): 1.43
CPU usage (%): 100.498
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 1.87172
maximum resident set size= 1046028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21128
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40022
involuntary context switches= 13399
runsolver used 6.39003 second user time and 16.2445 second system time
The end