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-3718012-1338258489/watcher-3718012-1338258489 -o /tmp/evaluation-result-3718012-1338258489/solver-3718012-1338258489 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718012-1338258489.wbo
running on 4 cores: 0,2,4,6
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.08 2.06 2.01 2/194 5112
/proc/meminfo: memFree=26945804/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=23172 CPUtime=0 cores=0,2,4,6
/proc/5112/stat : 5112 (java) R 5110 5112 1515 0 -1 4202496 1144 0 0 0 0 0 0 0 20 0 1 0 291975903 23728128 864 33554432000 1073741824 1073778376 140735804274784 140735804263848 233411830666 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 6050 867 654 9 0 385 0
[pid=5112/tid=5113] ppid=5110 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 291975903 24780800 867 33554432000 1073741824 1073778376 140735804274784 140735804263848 233411844273 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.0558959 s]
/proc/loadavg: 2.08 2.06 2.01 2/194 5112
/proc/meminfo: memFree=26945804/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9225560 CPUtime=0.05 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 3093 0 1 0 4 1 0 0 20 0 13 0 291975903 9446973440 4301 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2306390 4301 1714 9 0 2297091 0
[pid=5112/tid=5113] ppid=5110 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 1911 0 1 0 3 0 0 0 20 0 13 0 291975903 9446973440 4301 33554432000 1073741824 1073778376 140735804274784 140069656663784 233415173389 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9225560
[startup+0.100284 s]
/proc/loadavg: 2.08 2.06 2.01 2/194 5112
/proc/meminfo: memFree=26945804/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 4300 0 1 0 9 1 0 0 20 0 18 0 291975903 9787817984 5490 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2389604 5491 2109 9 0 2380296 0
[pid=5112/tid=5113] ppid=5110 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 2342 0 1 0 7 0 0 0 20 0 18 0 291975903 9787817984 5491 33554432000 1073741824 1073778376 140735804274784 140069656664856 233415173389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416
[startup+0.300249 s]
/proc/loadavg: 2.08 2.06 2.01 2/194 5112
/proc/meminfo: memFree=26945804/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9558416 CPUtime=0.47 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 5391 0 1 0 45 2 0 0 20 0 18 0 291975903 9787817984 8271 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2389604 8271 2214 9 0 2380296 0
[pid=5112/tid=5113] ppid=5110 vsize=9558416 CPUtime=0.27 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 2448 0 1 0 26 1 0 0 20 0 18 0 291975903 9787817984 8271 33554432000 1073741824 1073778376 140735804274784 140069656666072 140069663100274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558416
[startup+0.700259 s]
/proc/loadavg: 2.08 2.06 2.01 2/194 5112
/proc/meminfo: memFree=26945804/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 10450 0 1 0 140 3 0 0 20 0 19 0 291975903 9855979520 18953 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2406245 18953 2254 9 0 2396937 0
[pid=5112/tid=5113] ppid=5110 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 2476 0 1 0 66 1 0 0 20 0 19 0 291975903 9855979520 18953 33554432000 1073741824 1073778376 140735804274784 140069656666664 140069503524355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9624980
[startup+1.5006 s]
/proc/loadavg: 2.08 2.06 2.01 3/213 5131
/proc/meminfo: memFree=26872704/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9624980 CPUtime=2.45 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 10489 0 1 0 242 3 0 0 20 0 19 0 291975903 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2406245 20525 2256 9 0 2396937 0
[pid=5112/tid=5113] ppid=5110 vsize=9624980 CPUtime=1.47 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 2479 0 1 0 145 2 0 0 20 0 19 0 291975903 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069656666648 140069504286393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5115] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5115/stat : 5115 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069629119528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5116] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5116/stat : 5116 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069628066728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5117] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5117/stat : 5117 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069627013928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5118] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5118/stat : 5118 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069625961128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5119] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5119/stat : 5119 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069624908328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5120] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5120/stat : 5120 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069623855528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5121] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5121/stat : 5121 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069622802728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5122] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5122/stat : 5122 (java) S 5110 5112 1515 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069492533416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5123] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5123/stat : 5123 (java) S 5110 5112 1515 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291975905 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069009587176 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5124] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5124/stat : 5124 (java) S 5110 5112 1515 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069008533240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5125] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5125/stat : 5125 (java) S 5110 5112 1515 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069007480328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5126] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5126/stat : 5126 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069006428816 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5127] ppid=5110 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/5112/task/5127/stat : 5127 (java) S 5110 5112 1515 0 -1 4202560 2608 0 0 0 41 0 0 0 20 0 19 0 291975908 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069005375928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5128] ppid=5110 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/5112/task/5128/stat : 5128 (java) S 5110 5112 1515 0 -1 4202560 4207 0 0 0 53 0 0 0 20 0 19 0 291975908 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069004323128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5129] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5129/stat : 5129 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069003270520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5130] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5130/stat : 5130 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069002217928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5131] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5131/stat : 5131 (java) S 5110 5112 1515 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291975964 9855979520 20525 33554432000 1073741824 1073778376 140735804274784 140069001164456 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9624980
[startup+3.10062 s]
/proc/loadavg: 2.08 2.06 2.01 3/213 5131
/proc/meminfo: memFree=26870160/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9624980 CPUtime=4.1 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 10496 0 1 0 407 3 0 0 20 0 19 0 291975903 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2406245 21553 2259 9 0 2396937 0
[pid=5112/tid=5113] ppid=5110 vsize=9624980 CPUtime=3.07 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 2482 0 1 0 305 2 0 0 20 0 19 0 291975903 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069656666312 140069504284952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5115] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5115/stat : 5115 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069629119528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5116] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5116/stat : 5116 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069628066728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5117] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5117/stat : 5117 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069627013928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5118] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5118/stat : 5118 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069625961128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5119] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5119/stat : 5119 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069624908328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5120] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5120/stat : 5120 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069623855528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5121] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5121/stat : 5121 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069622802728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5122] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5122/stat : 5122 (java) S 5110 5112 1515 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069492533416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5123] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5123/stat : 5123 (java) S 5110 5112 1515 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291975905 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069009587176 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5124] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5124/stat : 5124 (java) S 5110 5112 1515 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069008533240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5125] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5125/stat : 5125 (java) S 5110 5112 1515 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069007480328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5126] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5126/stat : 5126 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069006428816 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5127] ppid=5110 vsize=9624980 CPUtime=0.42 cores=0,2,4,6
/proc/5112/task/5127/stat : 5127 (java) S 5110 5112 1515 0 -1 4202560 2608 0 0 0 42 0 0 0 20 0 19 0 291975908 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069005375928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5128] ppid=5110 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/5112/task/5128/stat : 5128 (java) S 5110 5112 1515 0 -1 4202560 4210 0 0 0 56 0 0 0 20 0 19 0 291975908 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069004323128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5129] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5129/stat : 5129 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069003270520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5130] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5130/stat : 5130 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069002217928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5131] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5131/stat : 5131 (java) S 5110 5112 1515 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291975964 9855979520 21553 33554432000 1073741824 1073778376 140735804274784 140069001164456 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9624980
[startup+6.30058 s]
/proc/loadavg: 2.08 2.06 2.01 3/213 5131
/proc/meminfo: memFree=26836212/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9624980 CPUtime=7.36 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 10576 0 1 0 731 5 0 0 20 0 19 0 291975903 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2406245 28756 2284 9 0 2396937 0
[pid=5112/tid=5113] ppid=5110 vsize=9624980 CPUtime=6.23 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 2488 0 1 0 621 2 0 0 20 0 19 0 291975903 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069656666440 140069504284947 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5115] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5115/stat : 5115 (java) S 5110 5112 1515 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069629119528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5116] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5116/stat : 5116 (java) S 5110 5112 1515 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069628066728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5117] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5117/stat : 5117 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069627013928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5118] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5118/stat : 5118 (java) S 5110 5112 1515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069625961128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5119] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5119/stat : 5119 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069624908328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5120] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5120/stat : 5120 (java) S 5110 5112 1515 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069623855528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5121] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5121/stat : 5121 (java) S 5110 5112 1515 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069622802728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5122] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5122/stat : 5122 (java) S 5110 5112 1515 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291975904 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069492533416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5123] ppid=5110 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/5112/task/5123/stat : 5123 (java) S 5110 5112 1515 0 -1 4202560 37 0 0 0 2 0 0 0 20 0 19 0 291975905 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069009587176 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5124] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5124/stat : 5124 (java) S 5110 5112 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069008533240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5125] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5125/stat : 5125 (java) S 5110 5112 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069007480328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5126] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5126/stat : 5126 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069006428816 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5127] ppid=5110 vsize=9624980 CPUtime=0.43 cores=0,2,4,6
/proc/5112/task/5127/stat : 5127 (java) S 5110 5112 1515 0 -1 4202560 2612 0 0 0 43 0 0 0 20 0 19 0 291975908 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069005375928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5128] ppid=5110 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/5112/task/5128/stat : 5128 (java) S 5110 5112 1515 0 -1 4202560 4211 0 0 0 58 0 0 0 20 0 19 0 291975908 9855979520 28756 33554432000 1073741824 1073778376 140735804274784 140069004323128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=5112/tid=5120] ppid=5110 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/5112/task/5120/stat : 5120 (java) S 5110 5112 1515 0 -1 4202560 262 0 0 0 24 2 0 0 20 0 19 0 291975904 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069623855528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5121] ppid=5110 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/5112/task/5121/stat : 5121 (java) S 5110 5112 1515 0 -1 4202560 228 0 0 0 25 2 0 0 20 0 19 0 291975904 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069622802728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5122] ppid=5110 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/5112/task/5122/stat : 5122 (java) S 5110 5112 1515 0 -1 4202560 183 0 0 0 23 3 0 0 20 0 19 0 291975904 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069492533416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5123] ppid=5110 vsize=9624980 CPUtime=3.57 cores=0,2,4,6
/proc/5112/task/5123/stat : 5123 (java) S 5110 5112 1515 0 -1 4202560 143 0 0 0 354 3 0 0 20 0 19 0 291975905 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069009587176 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5124] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5124/stat : 5124 (java) S 5110 5112 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069008533240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5125] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5125/stat : 5125 (java) S 5110 5112 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069007480328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5126] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5126/stat : 5126 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069006428816 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5127] ppid=5110 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/5112/task/5127/stat : 5127 (java) S 5110 5112 1515 0 -1 4202560 3241 0 0 0 55 0 0 0 20 0 19 0 291975908 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069005375928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5128] ppid=5110 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/5112/task/5128/stat : 5128 (java) S 5110 5112 1515 0 -1 4202560 4229 0 0 0 65 0 0 0 20 0 19 0 291975908 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069004323128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5129] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5129/stat : 5129 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069003270520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5130] ppid=5110 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/5112/task/5130/stat : 5130 (java) S 5110 5112 1515 0 -1 4202560 94 0 0 0 20 17 0 0 20 0 19 0 291975908 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069002217928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5131] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5131/stat : 5131 (java) S 5110 5112 1515 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291975964 9855979520 74011 33554432000 1073741824 1073778376 140735804274784 140069001164456 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1665.26
Current children cumulated vsize (KiB) 9624980
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 5147
/proc/meminfo: memFree=26525728/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9624980 CPUtime=1725.31 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 12775 0 1 0 172484 47 0 0 20 0 19 0 291975903 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2406245 74523 2285 9 0 2396937 0
[pid=5112/tid=5113] ppid=5110 vsize=9624980 CPUtime=1717.91 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 2587 0 1 0 171761 30 0 0 20 0 19 0 291975903 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069656666400 140069504284939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5115] ppid=5110 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/5112/task/5115/stat : 5115 (java) S 5110 5112 1515 0 -1 4202560 103 0 0 0 28 0 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069629119528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5116] ppid=5110 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/5112/task/5116/stat : 5116 (java) S 5110 5112 1515 0 -1 4202560 92 0 0 0 20 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069628066728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5117] ppid=5110 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/5112/task/5117/stat : 5117 (java) S 5110 5112 1515 0 -1 4202560 58 0 0 0 27 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069627013928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5118] ppid=5110 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/5112/task/5118/stat : 5118 (java) S 5110 5112 1515 0 -1 4202560 230 0 0 0 26 3 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069625961128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5119] ppid=5110 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/5112/task/5119/stat : 5119 (java) S 5110 5112 1515 0 -1 4202560 136 0 0 0 23 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069624908328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5120] ppid=5110 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/5112/task/5120/stat : 5120 (java) S 5110 5112 1515 0 -1 4202560 262 0 0 0 25 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069623855528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5121] ppid=5110 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/5112/task/5121/stat : 5121 (java) S 5110 5112 1515 0 -1 4202560 228 0 0 0 25 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069622802728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5122] ppid=5110 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/5112/task/5122/stat : 5122 (java) S 5110 5112 1515 0 -1 4202560 183 0 0 0 24 3 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069492533416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5123] ppid=5110 vsize=9624980 CPUtime=3.71 cores=0,2,4,6
/proc/5112/task/5123/stat : 5123 (java) S 5110 5112 1515 0 -1 4202560 147 0 0 0 368 3 0 0 20 0 19 0 291975905 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069009587176 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5124] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5124/stat : 5124 (java) S 5110 5112 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069008533240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5125] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5125/stat : 5125 (java) S 5110 5112 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069007480328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5126] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5126/stat : 5126 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069006428816 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5127] ppid=5110 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/5112/task/5127/stat : 5127 (java) S 5110 5112 1515 0 -1 4202560 3241 0 0 0 55 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069005375928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5128] ppid=5110 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/5112/task/5128/stat : 5128 (java) S 5110 5112 1515 0 -1 4202560 4229 0 0 0 65 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069004323128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5129] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5129/stat : 5129 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069003270520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5130] ppid=5110 vsize=9624980 CPUtime=0.39 cores=0,2,4,6
/proc/5112/task/5130/stat : 5130 (java) S 5110 5112 1515 0 -1 4202560 98 0 0 0 21 18 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069002217928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5131] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5131/stat : 5131 (java) S 5110 5112 1515 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291975964 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069001164456 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.31
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 1.72 1.93 1.98 2/189 5174
/proc/meminfo: memFree=26856892/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9624980 CPUtime=1785.34 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 12782 0 1 0 178486 48 0 0 20 0 19 0 291975903 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2406245 74523 2285 9 0 2396937 0
[pid=5112/tid=5113] ppid=5110 vsize=9624980 CPUtime=1777.84 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 2588 0 1 0 177753 31 0 0 20 0 19 0 291975903 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069656666400 140069504258379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5115] ppid=5110 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/5112/task/5115/stat : 5115 (java) S 5110 5112 1515 0 -1 4202560 103 0 0 0 28 0 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069629119528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5116] ppid=5110 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/5112/task/5116/stat : 5116 (java) S 5110 5112 1515 0 -1 4202560 92 0 0 0 21 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069628066728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5117] ppid=5110 vsize=9624980 CPUtime=0.3 cores=0,2,4,6
/proc/5112/task/5117/stat : 5117 (java) S 5110 5112 1515 0 -1 4202560 58 0 0 0 28 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069627013928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5118] ppid=5110 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/5112/task/5118/stat : 5118 (java) S 5110 5112 1515 0 -1 4202560 230 0 0 0 26 3 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069625961128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5119] ppid=5110 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/5112/task/5119/stat : 5119 (java) S 5110 5112 1515 0 -1 4202560 136 0 0 0 23 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069624908328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5120] ppid=5110 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/5112/task/5120/stat : 5120 (java) S 5110 5112 1515 0 -1 4202560 262 0 0 0 26 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069623855528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5121] ppid=5110 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/5112/task/5121/stat : 5121 (java) S 5110 5112 1515 0 -1 4202560 228 0 0 0 26 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069622802728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5122] ppid=5110 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/5112/task/5122/stat : 5122 (java) S 5110 5112 1515 0 -1 4202560 183 0 0 0 24 3 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069492533416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5123] ppid=5110 vsize=9624980 CPUtime=3.77 cores=0,2,4,6
/proc/5112/task/5123/stat : 5123 (java) S 5110 5112 1515 0 -1 4202560 149 0 0 0 374 3 0 0 20 0 19 0 291975905 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069009587176 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5124] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5124/stat : 5124 (java) S 5110 5112 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069008533240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5125] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5125/stat : 5125 (java) S 5110 5112 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069007480328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5126] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5126/stat : 5126 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069006428816 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5127] ppid=5110 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/5112/task/5127/stat : 5127 (java) S 5110 5112 1515 0 -1 4202560 3241 0 0 0 55 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069005375928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5128] ppid=5110 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/5112/task/5128/stat : 5128 (java) S 5110 5112 1515 0 -1 4202560 4229 0 0 0 65 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069004323128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5129] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5129/stat : 5129 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069003270520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5130] ppid=5110 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/5112/task/5130/stat : 5130 (java) S 5110 5112 1515 0 -1 4202560 102 0 0 0 22 19 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069002217928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5131] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5131/stat : 5131 (java) S 5110 5112 1515 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291975964 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069001164456 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.34
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797 s]
/proc/loadavg: 1.56 1.89 1.96 2/189 5174
/proc/meminfo: memFree=26857016/32873844 swapFree=7108/7108
[pid=5112] ppid=5110 vsize=9624980 CPUtime=1800.05 cores=0,2,4,6
/proc/5112/stat : 5112 (java) S 5110 5112 1515 0 -1 4202496 12782 0 1 0 179957 48 0 0 20 0 19 0 291975903 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140735804265920 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5112/statm: 2406245 74523 2285 9 0 2396937 0
[pid=5112/tid=5113] ppid=5110 vsize=9624980 CPUtime=1792.55 cores=0,2,4,6
/proc/5112/task/5113/stat : 5113 (java) R 5110 5112 1515 0 -1 4202560 2588 0 1 0 179224 31 0 0 20 0 19 0 291975903 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069656666400 140069504284897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5115] ppid=5110 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/5112/task/5115/stat : 5115 (java) S 5110 5112 1515 0 -1 4202560 103 0 0 0 28 0 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069629119528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5116] ppid=5110 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/5112/task/5116/stat : 5116 (java) S 5110 5112 1515 0 -1 4202560 92 0 0 0 21 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069628066728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5117] ppid=5110 vsize=9624980 CPUtime=0.3 cores=0,2,4,6
/proc/5112/task/5117/stat : 5117 (java) S 5110 5112 1515 0 -1 4202560 58 0 0 0 28 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069627013928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5118] ppid=5110 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/5112/task/5118/stat : 5118 (java) S 5110 5112 1515 0 -1 4202560 230 0 0 0 26 3 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069625961128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5119] ppid=5110 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/5112/task/5119/stat : 5119 (java) S 5110 5112 1515 0 -1 4202560 136 0 0 0 23 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069624908328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5120] ppid=5110 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/5112/task/5120/stat : 5120 (java) S 5110 5112 1515 0 -1 4202560 262 0 0 0 26 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069623855528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5121] ppid=5110 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/5112/task/5121/stat : 5121 (java) S 5110 5112 1515 0 -1 4202560 228 0 0 0 26 2 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069622802728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5122] ppid=5110 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/5112/task/5122/stat : 5122 (java) S 5110 5112 1515 0 -1 4202560 183 0 0 0 24 3 0 0 20 0 19 0 291975904 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069492533416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5112/tid=5123] ppid=5110 vsize=9624980 CPUtime=3.77 cores=0,2,4,6
/proc/5112/task/5123/stat : 5123 (java) S 5110 5112 1515 0 -1 4202560 149 0 0 0 374 3 0 0 20 0 19 0 291975905 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069009587176 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5124] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5124/stat : 5124 (java) S 5110 5112 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069008533240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5125] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5125/stat : 5125 (java) S 5110 5112 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291975906 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069007480328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5126] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5126/stat : 5126 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069006428816 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5112/tid=5127] ppid=5110 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/5112/task/5127/stat : 5127 (java) S 5110 5112 1515 0 -1 4202560 3241 0 0 0 55 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069005375928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5128] ppid=5110 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/5112/task/5128/stat : 5128 (java) S 5110 5112 1515 0 -1 4202560 4229 0 0 0 65 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069004323128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5129] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5129/stat : 5129 (java) S 5110 5112 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069003270520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5112/tid=5130] ppid=5110 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/5112/task/5130/stat : 5130 (java) S 5110 5112 1515 0 -1 4202560 102 0 0 0 22 19 0 0 20 0 19 0 291975908 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069002217928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5112/tid=5131] ppid=5110 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/5112/task/5131/stat : 5131 (java) S 5110 5112 1515 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291975964 9855979520 74523 33554432000 1073741824 1073778376 140735804274784 140069001164456 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.05
CPU time (s): 1800.46
CPU user time (s): 1799.63
CPU system time (s): 0.832873
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.832873
maximum resident set size= 298212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12815
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40155
involuntary context switches= 11736
runsolver used 6.01009 second user time and 13.7749 second system time
The end