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-3741116-1338740489/watcher-3741116-1338740489 -o /tmp/evaluation-result-3741116-1338740489/solver-3741116-1338740489 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741116-1338740489.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12332/stat : 12332 (java) D 12330 12332 7854 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 340174385 9515008 182 33554432000 1073741824 1073778376 140735769799824 140735769790856 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/12332/statm: 2323 182 140 9 0 71 0
[startup+0.0569481 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 3954 0 1 0 2 1 0 0 20 0 13 0 340174385 2686889984 5163 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 655979 5163 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 4923 0 1 0 8 1 0 0 20 0 18 0 340174385 3028844544 6629 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 739464 6629 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300168 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 5777 0 1 0 44 1 0 0 20 0 18 0 340174385 3028844544 9339 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 739464 9342 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2957856 CPUtime=1.56 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 14685 0 1 0 151 5 0 0 20 0 18 0 340174385 3028844544 38813 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 739464 38813 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 2957856
[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 12350
/proc/meminfo: memFree=27930936/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2957856 CPUtime=2.49 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 14883 0 1 0 237 12 0 0 20 0 18 0 340174385 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 739464 117170 2270 9 0 729885 0
[pid=12332/tid=12334] ppid=12330 vsize=2957856 CPUtime=1.43 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3235 0 1 0 136 7 0 0 20 0 18 0 340174386 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502096322592 140501953511679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340174389 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340174389 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340174389 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 5844 0 0 0 46 2 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=2957856 CPUtime=0.41 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4571 0 0 0 41 0 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 2957856
[startup+3.10062 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12351
/proc/meminfo: memFree=27772860/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=4.56 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 15751 0 1 0 442 14 0 0 20 0 19 0 340174385 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 125395 2290 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=2.99 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3248 0 1 0 291 8 0 0 20 0 19 0 340174386 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502096322872 140501953932794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 30 0 0 0 5 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6627 0 0 0 68 2 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4573 0 0 0 57 0 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 3024420
[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12351
/proc/meminfo: memFree=27720796/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=7.98 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 15794 0 1 0 780 18 0 0 20 0 19 0 340174385 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 129465 2290 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=6.12 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3252 0 1 0 604 8 0 0 20 0 19 0 340174386 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502096322936 140501953842953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=0.08 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 24 0 0 0 7 1 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 38 0 0 0 9 2 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6627 0 0 0 70 2 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4573 0 0 0 58 0 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
/proc/loadavg: 2.64 2.13 2.04 3/213 12351
/proc/meminfo: memFree=27624248/32873648 swapFree=7116/7116
################
# More data... #
################
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=2.32 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 338 0 0 0 220 12 0 0 20 0 19 0 340174387 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 399 0 0 0 232 14 0 0 20 0 19 0 340174387 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=2.39 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 338 0 0 0 227 12 0 0 20 0 19 0 340174387 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 122 0 0 0 23 3 0 0 20 0 19 0 340174389 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6632 0 0 0 75 2 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4597 0 0 0 65 0 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 94 0 0 0 33 37 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1678.14
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/214 12599
/proc/meminfo: memFree=26035700/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=1739.09 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 19084 0 1 0 173762 147 0 0 20 0 19 0 340174385 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 419403 2306 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=1716.02 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3487 0 1 0 171564 38 0 0 20 0 19 0 340174386 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502096321776 140501953969841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 333 0 0 0 253 10 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=2.79 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 436 0 0 0 265 14 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 383 0 0 0 250 13 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=2.44 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 310 0 0 0 233 11 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=2.65 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 404 0 0 0 253 12 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 344 0 0 0 231 12 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 409 0 0 0 249 14 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=2.57 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 345 0 0 0 245 12 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 126 0 0 0 24 3 0 0 20 0 19 0 340174389 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6632 0 0 0 75 2 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4597 0 0 0 65 0 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 98 0 0 0 34 39 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1739.09
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1781.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 12599
/proc/meminfo: memFree=26035376/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 19213 0 1 0 179854 149 0 0 20 0 19 0 340174385 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 419504 2306 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=1775.12 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3507 0 1 0 177474 38 0 0 20 0 19 0 340174386 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502096321824 140501953938177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=2.85 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 352 0 0 0 274 11 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=3.03 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 452 0 0 0 289 14 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=2.8 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 383 0 0 0 267 13 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=2.65 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 310 0 0 0 254 11 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=2.88 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 408 0 0 0 276 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=2.69 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 369 0 0 0 257 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=2.89 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 426 0 0 0 275 14 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=2.78 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 365 0 0 0 266 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 130 0 0 0 24 3 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6632 0 0 0 75 2 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4597 0 0 0 65 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 102 0 0 0 35 40 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1781.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 12599
/proc/meminfo: memFree=26035376/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 19213 0 1 0 179854 149 0 0 20 0 19 0 340174385 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 419504 2306 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=1775.12 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3507 0 1 0 177474 38 0 0 20 0 19 0 340174386 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502096321824 140501953938177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=2.85 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 352 0 0 0 274 11 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=3.03 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 452 0 0 0 289 14 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=2.8 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 383 0 0 0 267 13 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=2.65 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 310 0 0 0 254 11 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=2.88 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 408 0 0 0 276 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=2.69 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 369 0 0 0 257 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=2.89 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 426 0 0 0 275 14 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=2.78 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 365 0 0 0 266 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 130 0 0 0 24 3 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6632 0 0 0 75 2 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4597 0 0 0 65 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 102 0 0 0 35 40 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420
Child status: 143
Real time (s): 1781.93
CPU time (s): 1800.39
CPU user time (s): 1798.44
CPU system time (s): 1.9527
CPU usage (%): 101.036
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.44
system time used= 1.9527
maximum resident set size= 1678156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19248
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45994
involuntary context switches= 61028
runsolver used 6.63099 second user time and 14.3938 second system time
The end