runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4089355-1466024139/watcher-4089355-1466024139 -o /tmp/evaluation-result-4089355-1466024139/solver-4089355-1466024139 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466009078-4983 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089355-1466024139.opb
pid=8423
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.11 2.05 2.01 3/194 8426
/proc/meminfo: memFree=31107932/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8426/stat : 8426 (java) D 8423 8426 4966 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 4463802 9515008 175 33554432000 1073741824 1073778376 140737378168192 140737378150920 224922518416 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2323 175 133 9 0 71 0
[startup+0.100124 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 8426
/proc/meminfo: memFree=31107932/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 4466 0 1 0 8 0 0 0 20 0 18 0 4463802 9787879424 5587 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2389619 5587 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200278 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 8426
/proc/meminfo: memFree=31107932/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 5685 0 1 0 25 0 0 0 20 0 19 0 4463802 9856040960 6390 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2406260 6390 2236 9 0 2396937 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9625040
[startup+0.300276 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 8426
/proc/meminfo: memFree=31107932/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 6705 0 1 0 47 1 0 0 20 0 19 0 4463802 9856040960 7405 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2406260 7405 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625040
[startup+0.700285 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 8426
/proc/meminfo: memFree=31107932/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 7906 0 1 0 100 1 0 0 20 0 19 0 4463802 9856040960 9585 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2406260 9585 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.10 2.05 2.01 3/213 8445
/proc/meminfo: memFree=31072164/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9625040 CPUtime=1.84 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 7937 0 1 0 183 1 0 0 20 0 19 0 4463802 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2406260 12170 2256 9 0 2396937 0
[pid=8426/tid=8428] ppid=8423 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/8426/task/8428/stat : 8428 (java) R 8423 8426 4966 0 -1 4202560 2470 0 1 0 146 0 0 0 20 0 19 0 4463803 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843661484280 139843601621036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8429] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8429/stat : 8429 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843600214824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8430] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8430/stat : 8430 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843503602344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8431] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8431/stat : 8431 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843502550056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8426/tid=8432] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8432/stat : 8432 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843501497256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8433] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8433/stat : 8433 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843500443944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8434] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8434/stat : 8434 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843499391144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8435] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8435/stat : 8435 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843498338856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8436] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8436/stat : 8436 (java) S 8423 8426 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843497286056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8437] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8437/stat : 8437 (java) S 8423 8426 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4463805 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843485088488 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8438] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8438/stat : 8438 (java) S 8423 8426 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843484034552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8439] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8439/stat : 8439 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843482982152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8440] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8440/stat : 8440 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843481930640 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8441] ppid=8423 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8426/task/8441/stat : 8441 (java) S 8423 8426 4966 0 -1 4202560 2096 0 0 0 20 0 0 0 20 0 19 0 4463808 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843480877240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8442] ppid=8423 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8426/task/8442/stat : 8442 (java) S 8423 8426 4966 0 -1 4202560 2099 0 0 0 15 0 0 0 20 0 19 0 4463808 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843479824440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8443] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8443/stat : 8443 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843478772344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8444] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8444/stat : 8444 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843477719752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8445] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8445/stat : 8445 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463819 9856040960 12170 33554432000 1073741824 1073778376 140737378168192 139843476665768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9625040
[startup+3.10081 s]
/proc/loadavg: 2.10 2.05 2.01 3/213 8445
/proc/meminfo: memFree=31057332/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 7950 0 1 0 344 1 0 0 20 0 19 0 4463802 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2406260 17293 2256 9 0 2396937 0
[pid=8426/tid=8428] ppid=8423 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/8426/task/8428/stat : 8428 (java) R 8423 8426 4966 0 -1 4202560 2480 0 1 0 306 0 0 0 20 0 19 0 4463803 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843661475504 139843601619859 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8429] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8429/stat : 8429 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843600214824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8430] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8430/stat : 8430 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843503602344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8431] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8431/stat : 8431 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843502550056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8426/tid=8432] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8432/stat : 8432 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843501497256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8433] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8433/stat : 8433 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843500443944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8434] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8434/stat : 8434 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843499391144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8435] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8435/stat : 8435 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843498338856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8436] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8436/stat : 8436 (java) S 8423 8426 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843497286056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8437] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8437/stat : 8437 (java) S 8423 8426 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4463805 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843485088488 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8438] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8438/stat : 8438 (java) S 8423 8426 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843484034552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8439] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8439/stat : 8439 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843482982152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8440] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8440/stat : 8440 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843481930640 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8441] ppid=8423 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8426/task/8441/stat : 8441 (java) S 8423 8426 4966 0 -1 4202560 2099 0 0 0 21 0 0 0 20 0 19 0 4463808 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843480877240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8442] ppid=8423 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8426/task/8442/stat : 8442 (java) S 8423 8426 4966 0 -1 4202560 2099 0 0 0 15 0 0 0 20 0 19 0 4463808 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843479824440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8443] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8443/stat : 8443 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843478772344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8444] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8444/stat : 8444 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843477719752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8445] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8445/stat : 8445 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463819 9856040960 17293 33554432000 1073741824 1073778376 140737378168192 139843476665768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9625040
[startup+6.30079 s]
/proc/loadavg: 2.10 2.05 2.01 3/213 8445
/proc/meminfo: memFree=31022364/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9625040 CPUtime=6.67 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 7970 0 1 0 665 2 0 0 20 0 19 0 4463802 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2406260 25336 2257 9 0 2396937 0
[pid=8426/tid=8428] ppid=8423 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/8426/task/8428/stat : 8428 (java) R 8423 8426 4966 0 -1 4202560 2497 0 1 0 625 2 0 0 20 0 19 0 4463803 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843661475520 139843601638917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8429] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8429/stat : 8429 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843600214824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8430] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8430/stat : 8430 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843503602344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8431] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8431/stat : 8431 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843502550056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8426/tid=8432] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8432/stat : 8432 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843501497256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8433] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8433/stat : 8433 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843500443944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8434] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8434/stat : 8434 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843499391144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8435] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8435/stat : 8435 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843498338856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8436] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8436/stat : 8436 (java) S 8423 8426 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4463804 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843497286056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8437] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8437/stat : 8437 (java) S 8423 8426 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4463805 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843485088488 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8438] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8438/stat : 8438 (java) S 8423 8426 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843484034552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8439] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8439/stat : 8439 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843482982152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8440] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8440/stat : 8440 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843481930640 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8441] ppid=8423 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/8426/task/8441/stat : 8441 (java) S 8423 8426 4966 0 -1 4202560 2101 0 0 0 22 0 0 0 20 0 19 0 4463808 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843480877240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8442] ppid=8423 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8426/task/8442/stat : 8442 (java) S 8423 8426 4966 0 -1 4202560 2099 0 0 0 15 0 0 0 20 0 19 0 4463808 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843479824440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8443] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8443/stat : 8443 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843478772344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8444] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8444/stat : 8444 (java) S 8423 8426 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843477719752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8445] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8445/stat : 8445 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463819 9856040960 25336 33554432000 1073741824 1073778376 140737378168192 139843476665768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=8426/tid=8438] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8438/stat : 8438 (java) S 8423 8426 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 100340 33554432000 1073741824 1073778376 140737378168192 139843484034552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8439] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8439/stat : 8439 (java) S 8423 8426 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 100340 33554432000 1073741824 1073778376 140737378168192 139843482982152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8440] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8440/stat : 8440 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 100340 33554432000 1073741824 1073778376 140737378168192 139843481930640 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8441] ppid=8423 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/8426/task/8441/stat : 8441 (java) S 8423 8426 4966 0 -1 4202560 2195 0 0 0 25 0 0 0 20 0 19 0 4463808 9856040960 100340 33554432000 1073741824 1073778376 140737378168192 139843480877240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8442] ppid=8423 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8426/task/8442/stat : 8442 (java) S 8423 8426 4966 0 -1 4202560 2099 0 0 0 15 0 0 0 20 0 19 0 4463808 9856040960 100340 33554432000 1073741824 1073778376 140737378168192 139843479824440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8443] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8443/stat : 8443 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 100340 33554432000 1073741824 1073778376 140737378168192 139843478772344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8444] ppid=8423 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/8426/task/8444/stat : 8444 (java) S 8423 8426 4966 0 -1 4202560 100 0 0 0 25 32 0 0 20 0 19 0 4463808 9856040960 100340 33554432000 1073741824 1073778376 140737378168192 139843477719752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8445] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8445/stat : 8445 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463819 9856040960 100340 33554432000 1073741824 1073778376 140737378168192 139843476665768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1729.36
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 8641
/proc/meminfo: memFree=30554124/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9625040 CPUtime=1789.59 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 11363 0 1 0 178880 79 0 0 20 0 19 0 4463802 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2406260 98790 2279 9 0 2396937 0
[pid=8426/tid=8428] ppid=8423 vsize=9625040 CPUtime=1778.27 cores=1,3,5,7
/proc/8426/task/8428/stat : 8428 (java) R 8423 8426 4966 0 -1 4202560 2616 0 1 0 177796 31 0 0 20 0 19 0 4463803 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843661483232 139843601624716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8429] ppid=8423 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/8426/task/8429/stat : 8429 (java) S 8423 8426 4966 0 -1 4202560 461 0 0 0 132 8 0 0 20 0 19 0 4463804 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843600214824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8430] ppid=8423 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/8426/task/8430/stat : 8430 (java) S 8423 8426 4966 0 -1 4202560 310 0 0 0 122 6 0 0 20 0 19 0 4463804 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843503602344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8431] ppid=8423 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/8426/task/8431/stat : 8431 (java) S 8423 8426 4966 0 -1 4202560 284 0 0 0 106 7 0 0 20 0 19 0 4463804 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843502550056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8426/tid=8432] ppid=8423 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/8426/task/8432/stat : 8432 (java) S 8423 8426 4966 0 -1 4202560 228 0 0 0 104 8 0 0 20 0 19 0 4463804 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843501497256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8433] ppid=8423 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/8426/task/8433/stat : 8433 (java) S 8423 8426 4966 0 -1 4202560 249 0 0 0 100 5 0 0 20 0 19 0 4463804 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843500443944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8434] ppid=8423 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/8426/task/8434/stat : 8434 (java) S 8423 8426 4966 0 -1 4202560 467 0 0 0 117 8 0 0 20 0 19 0 4463804 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843499391144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8435] ppid=8423 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/8426/task/8435/stat : 8435 (java) S 8423 8426 4966 0 -1 4202560 478 0 0 0 113 6 0 0 20 0 19 0 4463804 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843498338856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8436] ppid=8423 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/8426/task/8436/stat : 8436 (java) S 8423 8426 4966 0 -1 4202560 324 0 0 0 104 8 0 0 20 0 19 0 4463804 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843497286056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8437] ppid=8423 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/8426/task/8437/stat : 8437 (java) S 8423 8426 4966 0 -1 4202560 290 0 0 0 119 3 0 0 20 0 19 0 4463805 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843485088488 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8438] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8438/stat : 8438 (java) S 8423 8426 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843484034552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8439] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8439/stat : 8439 (java) S 8423 8426 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843482982152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8440] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8440/stat : 8440 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843481930640 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8441] ppid=8423 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/8426/task/8441/stat : 8441 (java) S 8423 8426 4966 0 -1 4202560 2195 0 0 0 25 0 0 0 20 0 19 0 4463808 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843480877240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8442] ppid=8423 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8426/task/8442/stat : 8442 (java) S 8423 8426 4966 0 -1 4202560 2099 0 0 0 15 0 0 0 20 0 19 0 4463808 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843479824440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8443] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8443/stat : 8443 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843478772344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8444] ppid=8423 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/8426/task/8444/stat : 8444 (java) S 8423 8426 4966 0 -1 4202560 104 0 0 0 26 33 0 0 20 0 19 0 4463808 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843477719752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8445] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8445/stat : 8445 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463819 9856040960 98790 33554432000 1073741824 1073778376 140737378168192 139843476665768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 8642
/proc/meminfo: memFree=30554256/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 11364 0 1 0 179926 79 0 0 20 0 19 0 4463802 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2406260 98725 2279 9 0 2396937 0
[pid=8426/tid=8428] ppid=8423 vsize=9625040 CPUtime=1788.65 cores=1,3,5,7
/proc/8426/task/8428/stat : 8428 (java) R 8423 8426 4966 0 -1 4202560 2617 0 1 0 178834 31 0 0 20 0 19 0 4463803 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843661483232 139843601623704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8429] ppid=8423 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/8426/task/8429/stat : 8429 (java) S 8423 8426 4966 0 -1 4202560 461 0 0 0 133 8 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843600214824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8426/tid=8430] ppid=8423 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/8426/task/8430/stat : 8430 (java) S 8423 8426 4966 0 -1 4202560 310 0 0 0 124 6 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843503602344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8431] ppid=8423 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/8426/task/8431/stat : 8431 (java) S 8423 8426 4966 0 -1 4202560 284 0 0 0 108 7 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843502550056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8426/tid=8432] ppid=8423 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/8426/task/8432/stat : 8432 (java) S 8423 8426 4966 0 -1 4202560 228 0 0 0 105 8 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843501497256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8433] ppid=8423 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/8426/task/8433/stat : 8433 (java) S 8423 8426 4966 0 -1 4202560 249 0 0 0 101 5 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843500443944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8434] ppid=8423 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/8426/task/8434/stat : 8434 (java) S 8423 8426 4966 0 -1 4202560 467 0 0 0 117 8 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843499391144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8435] ppid=8423 vsize=9625040 CPUtime=1.2 cores=1,3,5,7
/proc/8426/task/8435/stat : 8435 (java) S 8423 8426 4966 0 -1 4202560 478 0 0 0 114 6 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843498338856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8436] ppid=8423 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/8426/task/8436/stat : 8436 (java) S 8423 8426 4966 0 -1 4202560 324 0 0 0 104 8 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843497286056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8437] ppid=8423 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/8426/task/8437/stat : 8437 (java) S 8423 8426 4966 0 -1 4202560 290 0 0 0 119 3 0 0 20 0 19 0 4463805 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843485088488 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8438] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8438/stat : 8438 (java) S 8423 8426 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843484034552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8439] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8439/stat : 8439 (java) S 8423 8426 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843482982152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8440] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8440/stat : 8440 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843481930640 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8441] ppid=8423 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/8426/task/8441/stat : 8441 (java) S 8423 8426 4966 0 -1 4202560 2195 0 0 0 25 0 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843480877240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8442] ppid=8423 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8426/task/8442/stat : 8442 (java) S 8423 8426 4966 0 -1 4202560 2099 0 0 0 15 0 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843479824440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8443] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8443/stat : 8443 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843478772344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8444] ppid=8423 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8426/task/8444/stat : 8444 (java) S 8423 8426 4966 0 -1 4202560 104 0 0 0 26 34 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843477719752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8445] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8445/stat : 8445 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463819 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843476665768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8426 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 8642
/proc/meminfo: memFree=30554256/32872528 swapFree=162364/176672
[pid=8426] ppid=8423 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/8426/stat : 8426 (java) S 8423 8426 4966 0 -1 4202496 11364 0 1 0 179926 79 0 0 20 0 19 0 4463802 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 140737378159328 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8426/statm: 2406260 98725 2279 9 0 2396937 0
[pid=8426/tid=8428] ppid=8423 vsize=9625040 CPUtime=1788.65 cores=1,3,5,7
/proc/8426/task/8428/stat : 8428 (java) R 8423 8426 4966 0 -1 4202560 2617 0 1 0 178834 31 0 0 20 0 19 0 4463803 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843661483232 139843601623704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8429] ppid=8423 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/8426/task/8429/stat : 8429 (java) S 8423 8426 4966 0 -1 4202560 461 0 0 0 133 8 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843600214824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8426/tid=8430] ppid=8423 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/8426/task/8430/stat : 8430 (java) S 8423 8426 4966 0 -1 4202560 310 0 0 0 124 6 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843503602344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8431] ppid=8423 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/8426/task/8431/stat : 8431 (java) S 8423 8426 4966 0 -1 4202560 284 0 0 0 108 7 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843502550056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8426/tid=8432] ppid=8423 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/8426/task/8432/stat : 8432 (java) S 8423 8426 4966 0 -1 4202560 228 0 0 0 105 8 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843501497256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8433] ppid=8423 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/8426/task/8433/stat : 8433 (java) S 8423 8426 4966 0 -1 4202560 249 0 0 0 101 5 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843500443944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8434] ppid=8423 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/8426/task/8434/stat : 8434 (java) S 8423 8426 4966 0 -1 4202560 467 0 0 0 117 8 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843499391144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8435] ppid=8423 vsize=9625040 CPUtime=1.2 cores=1,3,5,7
/proc/8426/task/8435/stat : 8435 (java) S 8423 8426 4966 0 -1 4202560 478 0 0 0 114 6 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843498338856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8436] ppid=8423 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/8426/task/8436/stat : 8436 (java) S 8423 8426 4966 0 -1 4202560 324 0 0 0 104 8 0 0 20 0 19 0 4463804 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843497286056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8437] ppid=8423 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/8426/task/8437/stat : 8437 (java) S 8423 8426 4966 0 -1 4202560 290 0 0 0 119 3 0 0 20 0 19 0 4463805 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843485088488 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8438] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8438/stat : 8438 (java) S 8423 8426 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843484034552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8439] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8439/stat : 8439 (java) S 8423 8426 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4463806 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843482982152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8440] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8440/stat : 8440 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843481930640 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8441] ppid=8423 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/8426/task/8441/stat : 8441 (java) S 8423 8426 4966 0 -1 4202560 2195 0 0 0 25 0 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843480877240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8426/tid=8442] ppid=8423 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8426/task/8442/stat : 8442 (java) S 8423 8426 4966 0 -1 4202560 2099 0 0 0 15 0 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843479824440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8443] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8443/stat : 8443 (java) S 8423 8426 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843478772344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8426/tid=8444] ppid=8423 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8426/task/8444/stat : 8444 (java) S 8423 8426 4966 0 -1 4202560 104 0 0 0 26 34 0 0 20 0 19 0 4463808 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843477719752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8426/tid=8445] ppid=8423 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8426/task/8445/stat : 8445 (java) S 8423 8426 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4463819 9856040960 98725 33554432000 1073741824 1073778376 140737378168192 139843476665768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1792.74
CPU time (s): 1800.81
CPU user time (s): 1799.43
CPU system time (s): 1.38179
CPU usage (%): 100.45
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 1.38179
maximum resident set size= 617444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11408
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40643
involuntary context switches= 26150
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99463 second user time and 15.1917 second system time
The end