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-4119410-1467257446/watcher-4119410-1467257446 -o /tmp/evaluation-result-4119410-1467257446/solver-4119410-1467257446 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467250272-6476 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119410-1467257446.opb
pid=7400
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.22 2.20 2.18 4/195 7403
/proc/meminfo: memFree=28256384/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/7403/stat : 7403 (java) R 7400 7403 5948 0 -1 4202496 1066 0 0 0 0 0 0 0 20 0 1 0 4772265 23793664 716 33554432000 1073741824 1073778376 140736895264048 140736895253112 270320842088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 5809 716 530 9 0 128 0
[startup+0.100165 s]
/proc/loadavg: 2.22 2.20 2.18 4/195 7403
/proc/meminfo: memFree=28256384/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 4474 0 1 0 9 1 0 0 20 0 18 0 4772265 9787879424 5595 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2389619 5595 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200233 s]
/proc/loadavg: 2.22 2.20 2.18 4/195 7403
/proc/meminfo: memFree=28256384/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 4787 0 1 0 24 1 0 0 20 0 19 0 4772265 9856040960 6854 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2406260 6854 2213 9 0 2396937 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9625040
[startup+0.300211 s]
/proc/loadavg: 2.22 2.20 2.18 4/195 7403
/proc/meminfo: memFree=28256384/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 7103 0 1 0 47 1 0 0 20 0 19 0 4772265 9856040960 8248 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2406260 8248 2237 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625040
[startup+0.700221 s]
/proc/loadavg: 2.22 2.20 2.18 4/195 7403
/proc/meminfo: memFree=28256384/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 10847 0 1 0 117 2 0 0 20 0 19 0 4772265 9856040960 11953 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2406260 11953 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9625040
[startup+1.50075 s]
/proc/loadavg: 2.22 2.20 2.18 4/214 7422
/proc/meminfo: memFree=28209672/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 11746 0 1 0 207 3 0 0 20 0 19 0 4772265 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2406260 15593 2259 9 0 2396937 0
[pid=7403/tid=7405] ppid=7400 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/7403/task/7405/stat : 7405 (java) R 7400 7403 5948 0 -1 4202560 2479 0 1 0 146 1 0 0 20 0 19 0 4772266 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605758452048 140605631247085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7406] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7406/stat : 7406 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605602429608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7407] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7407/stat : 7407 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605601377064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7408] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7408/stat : 7408 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605600324520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7409] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7409/stat : 7409 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605599271976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7410] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7410/stat : 7410 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605598218408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7411] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7411/stat : 7411 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605597165864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7412] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7412/stat : 7412 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605596113320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7413] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7413/stat : 7413 (java) S 7400 7403 5948 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605595060776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7414] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7414/stat : 7414 (java) S 7400 7403 5948 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4772267 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605582649960 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7415] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7415/stat : 7415 (java) S 7400 7403 5948 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605581596280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7416] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7416/stat : 7416 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605580543624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7417] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7417/stat : 7417 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605579492368 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 5948 0 -1 4202560 4412 0 0 0 25 1 0 0 20 0 19 0 4772270 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605578438712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 5948 0 -1 4202560 3583 0 0 0 31 0 0 0 20 0 19 0 4772270 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605577386168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7420] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7420/stat : 7420 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605576333816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605575281480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7422] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7422/stat : 7422 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772285 9856040960 15593 33554432000 1073741824 1073778376 140736895264048 140605574227240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9625040
[startup+3.10079 s]
/proc/loadavg: 2.28 2.21 2.19 4/214 7422
/proc/meminfo: memFree=28190992/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 12744 0 1 0 377 3 0 0 20 0 19 0 4772265 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2406260 22266 2260 9 0 2396937 0
[pid=7403/tid=7405] ppid=7400 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/7403/task/7405/stat : 7405 (java) R 7400 7403 5948 0 -1 4202560 2492 0 1 0 305 1 0 0 20 0 19 0 4772266 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605758452088 140605631236080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7406] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7406/stat : 7406 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605602429608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7407] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7407/stat : 7407 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605601377064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7408] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7408/stat : 7408 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605600324520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7409] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7409/stat : 7409 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605599271976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7410] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7410/stat : 7410 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605598218408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7411] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7411/stat : 7411 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605597165864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7412] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7412/stat : 7412 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605596113320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7413] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7413/stat : 7413 (java) S 7400 7403 5948 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605595060776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7414] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7414/stat : 7414 (java) S 7400 7403 5948 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4772267 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605582649960 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7415] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7415/stat : 7415 (java) S 7400 7403 5948 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605581596280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7416] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7416/stat : 7416 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605580543624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7417] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7417/stat : 7417 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605579492368 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 5948 0 -1 4202560 4413 0 0 0 27 1 0 0 20 0 19 0 4772270 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605578438712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 5948 0 -1 4202560 4567 0 0 0 41 0 0 0 20 0 19 0 4772270 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605577386168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7420] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7420/stat : 7420 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605576333816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605575281480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7422] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7422/stat : 7422 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772285 9856040960 22266 33554432000 1073741824 1073778376 140736895264048 140605574227240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9625040
[startup+6.30081 s]
/proc/loadavg: 2.28 2.21 2.19 4/214 7422
/proc/meminfo: memFree=28098016/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9625040 CPUtime=7.01 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 12770 0 1 0 697 4 0 0 20 0 19 0 4772265 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2406260 33686 2261 9 0 2396937 0
[pid=7403/tid=7405] ppid=7400 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/7403/task/7405/stat : 7405 (java) R 7400 7403 5948 0 -1 4202560 2517 0 1 0 625 1 0 0 20 0 19 0 4772266 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605758452104 140605631239757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7406] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7406/stat : 7406 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605602429608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7407] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7407/stat : 7407 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605601377064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7408] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7408/stat : 7408 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605600324520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7409] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7409/stat : 7409 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605599271976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7410] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7410/stat : 7410 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605598218408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7411] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7411/stat : 7411 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605597165864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7412] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7412/stat : 7412 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605596113320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7413] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7413/stat : 7413 (java) S 7400 7403 5948 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4772266 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605595060776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7414] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7414/stat : 7414 (java) S 7400 7403 5948 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4772267 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605582649960 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7415] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7415/stat : 7415 (java) S 7400 7403 5948 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605581596280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7416] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7416/stat : 7416 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605580543624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7417] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7417/stat : 7417 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605579492368 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 5948 0 -1 4202560 4413 0 0 0 27 1 0 0 20 0 19 0 4772270 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605578438712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 5948 0 -1 4202560 4567 0 0 0 41 0 0 0 20 0 19 0 4772270 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605577386168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7420] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7420/stat : 7420 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605576333816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 5948 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605575281480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7422] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7422/stat : 7422 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772285 9856040960 33686 33554432000 1073741824 1073778376 140736895264048 140605574227240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=7403/tid=7422] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7422/stat : 7422 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772285 9856040960 97860 33554432000 1073741824 1073778376 140736895264048 140605574227240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1673.67
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.36 2.27 2.23 3/213 7527
/proc/meminfo: memFree=27602548/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9625040 CPUtime=1734.31 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 24335 0 1 0 173273 158 0 0 20 0 19 0 4772265 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2406260 105264 2283 9 0 2396937 0
[pid=7403/tid=7405] ppid=7400 vsize=9625040 CPUtime=1709.04 cores=1,3,5,7
/proc/7403/task/7405/stat : 7405 (java) R 7400 7403 5948 0 -1 4202560 2840 0 1 0 170873 31 0 0 20 0 19 0 4772266 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605758450912 140605631370996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7406] ppid=7400 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/7403/task/7406/stat : 7406 (java) S 7400 7403 5948 0 -1 4202560 1084 0 0 0 190 16 0 0 20 0 19 0 4772266 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605602429608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7407] ppid=7400 vsize=9625040 CPUtime=2 cores=1,3,5,7
/proc/7403/task/7407/stat : 7407 (java) S 7400 7403 5948 0 -1 4202560 1478 0 0 0 184 16 0 0 20 0 19 0 4772266 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605601377064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7408] ppid=7400 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/7403/task/7408/stat : 7408 (java) S 7400 7403 5948 0 -1 4202560 881 0 0 0 188 14 0 0 20 0 19 0 4772266 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605600324520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7409] ppid=7400 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/7403/task/7409/stat : 7409 (java) S 7400 7403 5948 0 -1 4202560 1368 0 0 0 176 14 0 0 20 0 19 0 4772266 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605599271976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7410] ppid=7400 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/7403/task/7410/stat : 7410 (java) S 7400 7403 5948 0 -1 4202560 1007 0 0 0 199 15 0 0 20 0 19 0 4772266 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605598218408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7411] ppid=7400 vsize=9625040 CPUtime=1.91 cores=1,3,5,7
/proc/7403/task/7411/stat : 7411 (java) S 7400 7403 5948 0 -1 4202560 1224 0 0 0 179 12 0 0 20 0 19 0 4772266 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605597165864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7412] ppid=7400 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/7403/task/7412/stat : 7412 (java) S 7400 7403 5948 0 -1 4202560 1528 0 0 0 173 15 0 0 20 0 19 0 4772266 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605596113320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7413] ppid=7400 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/7403/task/7413/stat : 7413 (java) S 7400 7403 5948 0 -1 4202560 1447 0 0 0 183 16 0 0 20 0 19 0 4772266 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605595060776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7414] ppid=7400 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/7403/task/7414/stat : 7414 (java) S 7400 7403 5948 0 -1 4202560 1135 0 0 0 366 6 0 0 20 0 19 0 4772267 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605582649960 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7415] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7415/stat : 7415 (java) S 7400 7403 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605581596280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7416] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7416/stat : 7416 (java) S 7400 7403 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605580543624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7417] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7417/stat : 7417 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605579492368 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 5948 0 -1 4202560 4413 0 0 0 27 1 0 0 20 0 19 0 4772270 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605578438712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 5948 0 -1 4202560 4572 0 0 0 43 0 0 0 20 0 19 0 4772270 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605577386168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7420] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7420/stat : 7420 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605576333816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 5948 0 -1 4202560 100 0 0 0 28 32 0 0 20 0 19 0 4772270 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605575281480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7422] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7422/stat : 7422 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772285 9856040960 105264 33554432000 1073741824 1073778376 140736895264048 140605574227240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1734.31
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.28 2.26 2.23 3/214 7531
/proc/meminfo: memFree=27614808/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9625040 CPUtime=1794.94 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 25377 0 1 0 179327 167 0 0 20 0 19 0 4772265 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2406260 95376 2283 9 0 2396937 0
[pid=7403/tid=7405] ppid=7400 vsize=9625040 CPUtime=1768.25 cores=1,3,5,7
/proc/7403/task/7405/stat : 7405 (java) R 7400 7403 5948 0 -1 4202560 2864 0 1 0 176793 32 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605758450912 140605631371038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7406] ppid=7400 vsize=9625040 CPUtime=2.18 cores=1,3,5,7
/proc/7403/task/7406/stat : 7406 (java) S 7400 7403 5948 0 -1 4202560 1130 0 0 0 201 17 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605602429608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7407] ppid=7400 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/7403/task/7407/stat : 7407 (java) S 7400 7403 5948 0 -1 4202560 1774 0 0 0 193 17 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605601377064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7408] ppid=7400 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/7403/task/7408/stat : 7408 (java) S 7400 7403 5948 0 -1 4202560 895 0 0 0 199 15 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605600324520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7409] ppid=7400 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/7403/task/7409/stat : 7409 (java) S 7400 7403 5948 0 -1 4202560 1388 0 0 0 187 15 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605599271976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7410] ppid=7400 vsize=9625040 CPUtime=2.28 cores=1,3,5,7
/proc/7403/task/7410/stat : 7410 (java) S 7400 7403 5948 0 -1 4202560 1056 0 0 0 212 16 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605598218408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7411] ppid=7400 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/7403/task/7411/stat : 7411 (java) S 7400 7403 5948 0 -1 4202560 1494 0 0 0 189 13 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605597165864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7412] ppid=7400 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/7403/task/7412/stat : 7412 (java) S 7400 7403 5948 0 -1 4202560 1624 0 0 0 183 16 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605596113320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7413] ppid=7400 vsize=9625040 CPUtime=2.08 cores=1,3,5,7
/proc/7403/task/7413/stat : 7413 (java) S 7400 7403 5948 0 -1 4202560 1589 0 0 0 192 16 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605595060776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7414] ppid=7400 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/7403/task/7414/stat : 7414 (java) S 7400 7403 5948 0 -1 4202560 1217 0 0 0 399 6 0 0 20 0 19 0 4772267 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605582649960 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7415] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7415/stat : 7415 (java) S 7400 7403 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605581596280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7416] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7416/stat : 7416 (java) S 7400 7403 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605580543624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7417] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7417/stat : 7417 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605579492368 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 5948 0 -1 4202560 4413 0 0 0 27 1 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605578438712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 5948 0 -1 4202560 4572 0 0 0 43 0 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605577386168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7420] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7420/stat : 7420 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605576333816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 5948 0 -1 4202560 103 0 0 0 29 34 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605575281480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7422] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7422/stat : 7422 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772285 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605574227240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1794.94
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.4 s]
/proc/loadavg: 2.26 2.26 2.23 3/214 7532
/proc/meminfo: memFree=27635040/32872528 swapFree=1555460/1718980
[pid=7403] ppid=7400 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 5948 0 -1 4202496 25378 0 1 0 179840 167 0 0 20 0 19 0 4772265 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140736895255184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7403/statm: 2406260 95376 2283 9 0 2396937 0
[pid=7403/tid=7405] ppid=7400 vsize=9625040 CPUtime=1773.32 cores=1,3,5,7
/proc/7403/task/7405/stat : 7405 (java) R 7400 7403 5948 0 -1 4202560 2865 0 1 0 177300 32 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605758450912 140605631277895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7406] ppid=7400 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/7403/task/7406/stat : 7406 (java) S 7400 7403 5948 0 -1 4202560 1130 0 0 0 202 17 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605602429608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7407] ppid=7400 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/7403/task/7407/stat : 7407 (java) S 7400 7403 5948 0 -1 4202560 1774 0 0 0 193 17 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605601377064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7408] ppid=7400 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/7403/task/7408/stat : 7408 (java) S 7400 7403 5948 0 -1 4202560 895 0 0 0 199 15 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605600324520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7409] ppid=7400 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/7403/task/7409/stat : 7409 (java) S 7400 7403 5948 0 -1 4202560 1388 0 0 0 188 15 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605599271976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7410] ppid=7400 vsize=9625040 CPUtime=2.28 cores=1,3,5,7
/proc/7403/task/7410/stat : 7410 (java) S 7400 7403 5948 0 -1 4202560 1056 0 0 0 212 16 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605598218408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7411] ppid=7400 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/7403/task/7411/stat : 7411 (java) S 7400 7403 5948 0 -1 4202560 1494 0 0 0 190 13 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605597165864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7412] ppid=7400 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/7403/task/7412/stat : 7412 (java) S 7400 7403 5948 0 -1 4202560 1624 0 0 0 183 16 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605596113320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7413] ppid=7400 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/7403/task/7413/stat : 7413 (java) S 7400 7403 5948 0 -1 4202560 1589 0 0 0 193 16 0 0 20 0 19 0 4772266 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605595060776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7414] ppid=7400 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/7403/task/7414/stat : 7414 (java) S 7400 7403 5948 0 -1 4202560 1217 0 0 0 399 6 0 0 20 0 19 0 4772267 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605582649960 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7415] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7415/stat : 7415 (java) S 7400 7403 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605581596280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7416] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7416/stat : 7416 (java) S 7400 7403 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4772268 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605580543624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7417] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7417/stat : 7417 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605579492368 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 5948 0 -1 4202560 4413 0 0 0 27 1 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605578438712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 5948 0 -1 4202560 4572 0 0 0 43 0 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605577386168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7420] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7420/stat : 7420 (java) S 7400 7403 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605576333816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 5948 0 -1 4202560 103 0 0 0 29 34 0 0 20 0 19 0 4772270 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605575281480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7422] ppid=7400 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7422/stat : 7422 (java) S 7400 7403 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4772285 9856040960 95376 33554432000 1073741824 1073778376 140736895264048 140605574227240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 7403 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7403 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=789302
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=120677
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1787.44
CPU time (s): 1800.07
CPU user time (s): 1798.4
CPU system time (s): 1.67
CPU usage (%): 100.707
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.79
system time used= 2.12068
maximum resident set size= 649840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25428
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= 47829
involuntary context switches= 45223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4424 second user time and 8.96464 second system time
The end