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-4119290-1467253850/watcher-4119290-1467253850 -o /tmp/evaluation-result-4119290-1467253850/solver-4119290-1467253850 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6981 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119290-1467253850.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.20 2.17 2.17 3/193 7403
/proc/meminfo: memFree=30026876/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 1299 0 0 0 0 0 0 0 20 0 2 0 4411002 96370688 931 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 23528 931 705 9 0 16769 0
[pid=7403/tid=7404] ppid=7400 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 2 0 4411003 98635776 959 33554432000 1073741824 1073778376 140736505985824 140117462228520 227503290931 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100159 s]
/proc/loadavg: 2.20 2.17 2.17 3/193 7403
/proc/meminfo: memFree=30026876/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 4483 0 1 0 10 1 0 0 20 0 18 0 4411002 9787879424 6120 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2389619 6120 2157 9 0 2380296 0
[pid=7403/tid=7404] ppid=7400 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2380 0 1 0 6 1 0 0 20 0 18 0 4411003 9787879424 6120 33554432000 1073741824 1073778376 140736505985824 140117462231968 227515884813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200381 s]
/proc/loadavg: 2.20 2.17 2.17 3/193 7403
/proc/meminfo: memFree=30026876/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 6924 0 1 0 28 2 0 0 20 0 19 0 4411002 9856040960 8409 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2406260 8409 2220 9 0 2396937 0
[pid=7403/tid=7404] ppid=7400 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2406 0 1 0 16 1 0 0 20 0 19 0 4411003 9856040960 8409 33554432000 1073741824 1073778376 140736505985824 140117462233496 140117285135359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9625040
[startup+0.300383 s]
/proc/loadavg: 2.20 2.17 2.17 3/193 7403
/proc/meminfo: memFree=30026876/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 7094 0 1 0 53 2 0 0 20 0 19 0 4411002 9856040960 8986 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2406260 8986 2226 9 0 2396937 0
[pid=7403/tid=7404] ppid=7400 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2407 0 1 0 26 1 0 0 20 0 19 0 4411003 9856040960 8986 33554432000 1073741824 1073778376 140736505985824 140117462233496 140117285502271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9625040
[startup+0.700278 s]
/proc/loadavg: 2.20 2.17 2.17 3/193 7403
/proc/meminfo: memFree=30026876/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 9066 0 1 0 109 2 0 0 20 0 19 0 4411002 9856040960 9537 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2406260 9537 2240 9 0 2396937 0
[pid=7403/tid=7404] ppid=7400 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2408 0 1 0 66 1 0 0 20 0 19 0 4411003 9856040960 9537 33554432000 1073741824 1073778376 140736505985824 140117462233480 140117285454280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9625040
[startup+1.50069 s]
/proc/loadavg: 2.20 2.17 2.17 3/192 7424
/proc/meminfo: memFree=30299736/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9625040 CPUtime=1.95 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 9071 0 1 0 193 2 0 0 20 0 19 0 4411002 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2406260 11074 2241 9 0 2396937 0
[pid=7403/tid=7404] ppid=7400 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2412 0 1 0 146 1 0 0 20 0 19 0 4411003 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117462233592 140117285447301 0 4 0 16800975 0 0 0 -1 1 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117423725224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117422672680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117421620136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117420567592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117419514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117418461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117417408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117416356392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4411004 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117403945576 227515873193 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 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117285004920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117283952264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117282901008 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 6451 0 -1 4202560 2747 0 0 0 22 0 0 0 20 0 19 0 4411007 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117281847352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 6451 0 -1 4202560 2642 0 0 0 22 0 0 0 20 0 19 0 4411007 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117280794808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117279742456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117278690120 227515873193 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 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4411016 9856040960 11074 33554432000 1073741824 1073778376 140736505985824 140117277635880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9625040
[startup+3.1007 s]
/proc/loadavg: 2.20 2.17 2.17 4/212 7488
/proc/meminfo: memFree=30251072/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 9075 0 1 0 355 3 0 0 20 0 19 0 4411002 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2406260 12610 2241 9 0 2396937 0
[pid=7403/tid=7404] ppid=7400 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2416 0 1 0 306 1 0 0 20 0 19 0 4411003 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117462224592 140117285480736 0 4 0 16800975 0 0 0 -1 1 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117423725224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117422672680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117421620136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117420567592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117419514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117418461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117417408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117416356392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4411004 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117403945576 227515873193 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 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117285004920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117283952264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117282901008 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 6451 0 -1 4202560 2747 0 0 0 23 0 0 0 20 0 19 0 4411007 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117281847352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 6451 0 -1 4202560 2642 0 0 0 23 0 0 0 20 0 19 0 4411007 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117280794808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117279742456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117278690120 227515873193 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 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4411016 9856040960 12610 33554432000 1073741824 1073778376 140736505985824 140117277635880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 9625040
[startup+6.30074 s]
/proc/loadavg: 2.19 2.17 2.17 3/212 7488
/proc/meminfo: memFree=30216008/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9625040 CPUtime=6.77 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 9086 0 1 0 674 3 0 0 20 0 19 0 4411002 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2406260 16850 2242 9 0 2396937 0
[pid=7403/tid=7404] ppid=7400 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2426 0 1 0 625 1 0 0 20 0 19 0 4411003 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117462224592 140117285659796 0 4 0 16800975 0 0 0 -1 1 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117423725224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117422672680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117421620136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117420567592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117419514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117418461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117417408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117416356392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4411004 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117403945576 227515873193 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 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117285004920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117283952264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117282901008 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 6451 0 -1 4202560 2747 0 0 0 23 0 0 0 20 0 19 0 4411007 9856040960 16850 33554432000 1073741824 1073778376 140736505985824 140117281847352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
################
# More data... #
################
[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 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117285004920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117283952264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117282901008 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 6451 0 -1 4202560 2997 0 0 0 30 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117281847352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 6451 0 -1 4202560 15029 0 0 0 92 3 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117280794808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117279742456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 6451 0 -1 4202560 22 0 0 0 4 4 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117278690120 227515873193 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 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4411016 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117277635880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 359.77
Current children cumulated vsize (KiB) 9625040
[startup+359.201 s]
/proc/loadavg: 2.35 2.23 2.19 3/211 7494
/proc/meminfo: memFree=29895660/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9625040 CPUtime=360.57 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 22251 0 1 0 36040 17 0 0 20 0 19 0 4411002 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2406260 56779 2263 9 0 2396937 0
[pid=7403/tid=7404] ppid=7400 vsize=9625040 CPUtime=358.12 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2487 0 1 0 35803 9 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117462233384 140117285447295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7406] ppid=7400 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7403/task/7406/stat : 7406 (java) S 7400 7403 6451 0 -1 4202560 122 0 0 0 2 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117423725224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117422672680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117421620136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7409] ppid=7400 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7403/task/7409/stat : 7409 (java) S 7400 7403 6451 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117420567592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7410] ppid=7400 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7403/task/7410/stat : 7410 (java) S 7400 7403 6451 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117419514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7411] ppid=7400 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7403/task/7411/stat : 7411 (java) S 7400 7403 6451 0 -1 4202560 52 0 0 0 1 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117418461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117417408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7413] ppid=7400 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/7403/task/7413/stat : 7413 (java) S 7400 7403 6451 0 -1 4202560 149 0 0 0 3 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117416356392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 4411004 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117403945576 227515873193 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 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117285004920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117283952264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117282901008 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 6451 0 -1 4202560 2997 0 0 0 30 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117281847352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 6451 0 -1 4202560 15029 0 0 0 92 3 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117280794808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117279742456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 6451 0 -1 4202560 22 0 0 0 4 4 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117278690120 227515873193 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 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4411016 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117277635880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 360.57
Current children cumulated vsize (KiB) 9625040
[startup+360.001 s]
/proc/loadavg: 2.32 2.22 2.19 3/211 7494
/proc/meminfo: memFree=29895660/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9625040 CPUtime=361.39 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 22252 0 1 0 36122 17 0 0 20 0 19 0 4411002 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2406260 56779 2263 9 0 2396937 0
[pid=7403/tid=7404] ppid=7400 vsize=9625040 CPUtime=358.91 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2488 0 1 0 35882 9 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117462231504 140117285659443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7406] ppid=7400 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7403/task/7406/stat : 7406 (java) S 7400 7403 6451 0 -1 4202560 122 0 0 0 2 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117423725224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117422672680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117421620136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7409] ppid=7400 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7403/task/7409/stat : 7409 (java) S 7400 7403 6451 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117420567592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7410] ppid=7400 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7403/task/7410/stat : 7410 (java) S 7400 7403 6451 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117419514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7411] ppid=7400 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7403/task/7411/stat : 7411 (java) S 7400 7403 6451 0 -1 4202560 52 0 0 0 1 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117418461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117417408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7413] ppid=7400 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/7403/task/7413/stat : 7413 (java) S 7400 7403 6451 0 -1 4202560 149 0 0 0 3 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117416356392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 4411004 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117403945576 227515873193 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 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117285004920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117283952264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117282901008 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 6451 0 -1 4202560 2997 0 0 0 31 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117281847352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 6451 0 -1 4202560 15029 0 0 0 92 3 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117280794808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117279742456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 6451 0 -1 4202560 22 0 0 0 4 4 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117278690120 227515873193 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 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4411016 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117277635880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 361.39
Current children cumulated vsize (KiB) 9625040
[startup+360.201 s]
/proc/loadavg: 2.32 2.22 2.19 3/211 7494
/proc/meminfo: memFree=29895660/32872528 swapFree=1298332/1461852
[pid=7403] ppid=7400 vsize=9625040 CPUtime=361.59 cores=1,3,5,7
/proc/7403/stat : 7403 (java) S 7400 7403 6451 0 -1 4202496 22252 0 1 0 36142 17 0 0 20 0 19 0 4411002 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140736505976960 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7403/statm: 2406260 56779 2263 9 0 2396937 0
[pid=7403/tid=7404] ppid=7400 vsize=9625040 CPUtime=359.11 cores=1,3,5,7
/proc/7403/task/7404/stat : 7404 (java) R 7400 7403 6451 0 -1 4202560 2488 0 1 0 35902 9 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117462231504 140117285659804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7406] ppid=7400 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7403/task/7406/stat : 7406 (java) S 7400 7403 6451 0 -1 4202560 122 0 0 0 2 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117423725224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117422672680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117421620136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7409] ppid=7400 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7403/task/7409/stat : 7409 (java) S 7400 7403 6451 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117420567592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7410] ppid=7400 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7403/task/7410/stat : 7410 (java) S 7400 7403 6451 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117419514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7411] ppid=7400 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7403/task/7411/stat : 7411 (java) S 7400 7403 6451 0 -1 4202560 52 0 0 0 1 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117418461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117417408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7403/tid=7413] ppid=7400 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/7403/task/7413/stat : 7413 (java) S 7400 7403 6451 0 -1 4202560 149 0 0 0 3 0 0 0 20 0 19 0 4411003 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117416356392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 6451 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 4411004 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117403945576 227515873193 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 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117285004920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4411005 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117283952264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117282901008 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7418] ppid=7400 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7403/task/7418/stat : 7418 (java) S 7400 7403 6451 0 -1 4202560 2997 0 0 0 31 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117281847352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7403/tid=7419] ppid=7400 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/7403/task/7419/stat : 7419 (java) S 7400 7403 6451 0 -1 4202560 15029 0 0 0 92 3 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117280794808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117279742456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7403/tid=7421] ppid=7400 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/7403/task/7421/stat : 7421 (java) S 7400 7403 6451 0 -1 4202560 22 0 0 0 4 4 0 0 20 0 19 0 4411007 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117278690120 227515873193 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 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4411016 9856040960 56779 33554432000 1073741824 1073778376 140736505985824 140117277635880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 361.59
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7403 and gives
# childrusage.ru_utime.tv_sec=360
# childrusage.ru_utime.tv_usec=527191
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=290955
# CPU time returned by wait4() is 360.818
# while last known CPU time is 361.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 360.239
CPU time (s): 361.59
CPU user time (s): 361.42
CPU system time (s): 0.17
CPU usage (%): 100.375
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 360.527
system time used= 0.290955
maximum resident set size= 236136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22273
page faults= 1
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7945
involuntary context switches= 6571
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.08968 second user time and 3.57945 second system time
The end