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-4091964-1467321448/watcher-4091964-1467321448 -o /tmp/evaluation-result-4091964-1467321448/solver-4091964-1467321448 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467318689-18276 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091964-1467321448.wbo
pid=27403
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: 1.70 1.73 1.85 3/196 27406
/proc/meminfo: memFree=29741112/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27406/stat : 27406 (java) D 27403 27406 16091 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 13105672 9515008 176 33554432000 1073741824 1073778376 140735001587536 140735001570264 272886481808 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2323 176 133 9 0 71 0
[startup+0.10016 s]
/proc/loadavg: 1.70 1.73 1.85 3/196 27406
/proc/meminfo: memFree=29741112/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 4406 0 1 0 8 1 0 0 20 0 18 0 13105672 9787879424 6035 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2389619 6035 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200223 s]
/proc/loadavg: 1.70 1.73 1.85 3/196 27406
/proc/meminfo: memFree=29741112/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 4739 0 1 0 21 2 0 0 20 0 18 0 13105672 9787879424 6828 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2389619 6828 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300216 s]
/proc/loadavg: 1.70 1.73 1.85 3/196 27406
/proc/meminfo: memFree=29741112/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 5739 0 1 0 45 2 0 0 20 0 18 0 13105672 9787879424 8468 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2389619 8468 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700284 s]
/proc/loadavg: 1.70 1.73 1.85 3/196 27406
/proc/meminfo: memFree=29741112/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 7896 0 1 0 116 5 0 0 20 0 19 0 13105672 10060525568 11469 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2456183 11469 2258 9 0 2446860 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 1.70 1.73 1.85 4/215 27431
/proc/meminfo: memFree=29671572/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 17431 0 1 0 185 8 0 0 20 0 19 0 13105672 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2456183 20583 2265 9 0 2446860 0
[pid=27406/tid=27408] ppid=27403 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/27406/task/27408/stat : 27408 (java) S 27403 27406 16091 0 -1 4202560 2420 0 1 0 31 2 0 0 20 0 19 0 13105673 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139932146856824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27409] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27409/stat : 27409 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139932119308584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27410] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27410/stat : 27410 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139932118255784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27411] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27411/stat : 27411 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139932117203496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27412] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27412/stat : 27412 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139932116150696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27413] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27413/stat : 27413 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931986471720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27414] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27414/stat : 27414 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931985418920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27415] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27415/stat : 27415 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931984366632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27416] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27416/stat : 27416 (java) S 27403 27406 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931983313832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27417] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27417/stat : 27417 (java) S 27403 27406 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13105675 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931500800232 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27418] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27418/stat : 27418 (java) S 27403 27406 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931499746296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27419] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27419/stat : 27419 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931498693896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27420] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27420/stat : 27420 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931497642384 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27421] ppid=27403 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/27406/task/27421/stat : 27421 (java) S 27403 27406 16091 0 -1 4202560 5382 0 0 0 51 1 0 0 20 0 19 0 13105678 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931496590008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27422] ppid=27403 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/27406/task/27422/stat : 27422 (java) S 27403 27406 16091 0 -1 4202560 8282 0 0 0 68 1 0 0 20 0 19 0 13105678 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931495537208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27423] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27423/stat : 27423 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931494485112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27424] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27424/stat : 27424 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931493432520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27428] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27428/stat : 27428 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105708 10060525568 20583 33554432000 1073741824 1073778376 140735001587536 139931489219624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9824732
[startup+3.10085 s]
/proc/loadavg: 1.70 1.73 1.85 3/215 27437
/proc/meminfo: memFree=29654856/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 17493 0 1 0 269 14 0 0 20 0 19 0 13105672 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2456183 32885 2268 9 0 2446860 0
[pid=27406/tid=27408] ppid=27403 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/27406/task/27408/stat : 27408 (java) S 27403 27406 16091 0 -1 4202560 2423 0 1 0 33 2 0 0 20 0 19 0 13105673 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139932146856824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27409] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27409/stat : 27409 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139932119308584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27410] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27410/stat : 27410 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139932118255784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27411] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27411/stat : 27411 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139932117203496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27412] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27412/stat : 27412 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139932116150696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27413] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27413/stat : 27413 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931986471720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27414] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27414/stat : 27414 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931985418920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27415] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27415/stat : 27415 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931984366632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27416] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27416/stat : 27416 (java) S 27403 27406 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931983313832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27417] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27417/stat : 27417 (java) S 27403 27406 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13105675 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931500800232 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27418] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27418/stat : 27418 (java) S 27403 27406 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931499746296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27419] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27419/stat : 27419 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931498693896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27420] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27420/stat : 27420 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931497642384 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27421] ppid=27403 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/27406/task/27421/stat : 27421 (java) S 27403 27406 16091 0 -1 4202560 5385 0 0 0 63 1 0 0 20 0 19 0 13105678 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931496590008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27422] ppid=27403 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/27406/task/27422/stat : 27422 (java) S 27403 27406 16091 0 -1 4202560 8293 0 0 0 97 2 0 0 20 0 19 0 13105678 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931495537208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27423] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27423/stat : 27423 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931494485112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27424] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27424/stat : 27424 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931493432520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27428] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27428/stat : 27428 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105708 10060525568 32885 33554432000 1073741824 1073778376 140735001587536 139931489219624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 9824732
[startup+6.30086 s]
/proc/loadavg: 1.72 1.74 1.85 3/215 27458
/proc/meminfo: memFree=29580916/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 17604 0 1 0 297 22 0 0 20 0 19 0 13105672 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2456183 44986 2282 9 0 2446860 0
[pid=27406/tid=27408] ppid=27403 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/27406/task/27408/stat : 27408 (java) S 27403 27406 16091 0 -1 4202560 2425 0 1 0 35 3 0 0 20 0 19 0 13105673 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139932146856824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27409] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27409/stat : 27409 (java) S 27403 27406 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139932119308584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27410] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27410/stat : 27410 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139932118255784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27411] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27411/stat : 27411 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139932117203496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27412] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27412/stat : 27412 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139932116150696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27413] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27413/stat : 27413 (java) S 27403 27406 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931986471720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27414] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27414/stat : 27414 (java) S 27403 27406 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931985418920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27415] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27415/stat : 27415 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931984366632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27416] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27416/stat : 27416 (java) S 27403 27406 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13105674 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931983313832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27417] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27417/stat : 27417 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105675 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931500800232 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27418] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27418/stat : 27418 (java) S 27403 27406 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931499746296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27419] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27419/stat : 27419 (java) S 27403 27406 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931498693896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27420] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27420/stat : 27420 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931497642384 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27421] ppid=27403 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/27406/task/27421/stat : 27421 (java) S 27403 27406 16091 0 -1 4202560 5385 0 0 0 67 1 0 0 20 0 19 0 13105678 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931496590008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27422] ppid=27403 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/27406/task/27422/stat : 27422 (java) S 27403 27406 16091 0 -1 4202560 8293 0 0 0 101 2 0 0 20 0 19 0 13105678 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931495537208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27423] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27423/stat : 27423 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931494485112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27424] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27424/stat : 27424 (java) S 27403 27406 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931493432520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27428] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27428/stat : 27428 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105708 10060525568 44986 33554432000 1073741824 1073778376 140735001587536 139931489219624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 9824732
heavy processes:
################
# More data... #
################
/proc/27406/task/27418/stat : 27418 (java) S 27403 27406 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 52204 33554432000 1073741824 1073778376 140735001587536 139931499746296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27419] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27419/stat : 27419 (java) S 27403 27406 16091 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 52204 33554432000 1073741824 1073778376 140735001587536 139931498693896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27420] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27420/stat : 27420 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 52204 33554432000 1073741824 1073778376 140735001587536 139931497642384 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27421] ppid=27403 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/27406/task/27421/stat : 27421 (java) S 27403 27406 16091 0 -1 4202560 5387 0 0 0 81 1 0 0 20 0 19 0 13105678 10060525568 52204 33554432000 1073741824 1073778376 140735001587536 139931496590008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27422] ppid=27403 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/27406/task/27422/stat : 27422 (java) S 27403 27406 16091 0 -1 4202560 8330 0 0 0 115 2 0 0 20 0 19 0 13105678 10060525568 52204 33554432000 1073741824 1073778376 140735001587536 139931495537208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27423] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27423/stat : 27423 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 52204 33554432000 1073741824 1073778376 140735001587536 139931494485112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27424] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27424/stat : 27424 (java) S 27403 27406 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 52204 33554432000 1073741824 1073778376 140735001587536 139931493432520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27428] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27428/stat : 27428 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105708 10060525568 52204 33554432000 1073741824 1073778376 140735001587536 139931489219624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=27 pid=1779 uid=0 cmd=/usr/local/sbin/pbs_mom
[startup+25.5011 s]
/proc/loadavg: 1.95 1.79 1.86 4/218 27539
/proc/meminfo: memFree=29018220/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9824732 CPUtime=22.21 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 20553 0 1 0 2126 95 0 0 20 0 22 0 13105672 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2456183 184327 2287 9 0 2446860 0
[pid=27406/tid=27408] ppid=27403 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/27406/task/27408/stat : 27408 (java) S 27403 27406 16091 0 -1 4202560 2427 0 1 0 56 3 0 0 20 0 22 0 13105673 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139932146856824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27409] ppid=27403 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/27406/task/27409/stat : 27409 (java) S 27403 27406 16091 0 -1 4202560 44 0 0 0 8 2 0 0 20 0 22 0 13105674 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139932119308584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27410] ppid=27403 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/27406/task/27410/stat : 27410 (java) S 27403 27406 16091 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 22 0 13105674 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139932118255784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27411] ppid=27403 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/27406/task/27411/stat : 27411 (java) S 27403 27406 16091 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 22 0 13105674 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139932117203496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27412] ppid=27403 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/27406/task/27412/stat : 27412 (java) S 27403 27406 16091 0 -1 4202560 37 0 0 0 10 2 0 0 20 0 22 0 13105674 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139932116150696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27413] ppid=27403 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/27406/task/27413/stat : 27413 (java) S 27403 27406 16091 0 -1 4202560 48 0 0 0 9 2 0 0 20 0 22 0 13105674 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931986471720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27414] ppid=27403 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/27406/task/27414/stat : 27414 (java) S 27403 27406 16091 0 -1 4202560 30 0 0 0 12 0 0 0 20 0 22 0 13105674 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931985418920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27415] ppid=27403 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/27406/task/27415/stat : 27415 (java) S 27403 27406 16091 0 -1 4202560 31 0 0 0 8 2 0 0 20 0 22 0 13105674 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931984366632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27416] ppid=27403 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/27406/task/27416/stat : 27416 (java) S 27403 27406 16091 0 -1 4202560 50 0 0 0 11 3 0 0 20 0 22 0 13105674 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931983313832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27417] ppid=27403 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/27406/task/27417/stat : 27417 (java) S 27403 27406 16091 0 -1 4202560 450 0 0 0 1 8 0 0 20 0 22 0 13105675 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931500800232 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27418] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27418/stat : 27418 (java) S 27403 27406 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13105676 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931499746296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27419] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27419/stat : 27419 (java) S 27403 27406 16091 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 13105676 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931498693896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27420] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27420/stat : 27420 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13105678 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931497642384 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27421] ppid=27403 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/27406/task/27421/stat : 27421 (java) S 27403 27406 16091 0 -1 4202560 5395 0 0 0 90 1 0 0 20 0 22 0 13105678 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931496590008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27422] ppid=27403 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/27406/task/27422/stat : 27422 (java) S 27403 27406 16091 0 -1 4202560 10055 0 0 0 170 2 0 0 20 0 22 0 13105678 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931495537208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27423] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27423/stat : 27423 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13105678 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931494485112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27424] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27424/stat : 27424 (java) S 27403 27406 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13105678 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931493432520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27428] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27428/stat : 27428 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13105708 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931489219624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27537] ppid=27403 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/27406/task/27537/stat : 27537 (java) R 27403 27406 16091 0 -1 4202560 4 0 0 0 178 0 0 0 20 0 22 0 13108040 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931490262784 139931998002878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27538] ppid=27403 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/27406/task/27538/stat : 27538 (java) R 27403 27406 16091 0 -1 4202560 112 0 0 0 175 4 0 0 20 0 22 0 13108040 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931491323960 139931998391787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27539] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27539/stat : 27539 (java) S 27403 27406 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13108043 10060525568 184327 33554432000 1073741824 1073778376 140735001587536 139931492377768 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 22.21
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27406 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6012 s]
/proc/loadavg: 1.95 1.79 1.86 4/218 27539
/proc/meminfo: memFree=29018220/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9824732 CPUtime=22.24 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 20554 0 1 0 2127 97 0 0 20 0 19 0 13105672 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2456183 184319 2287 9 0 2446860 0
[pid=27406/tid=27408] ppid=27403 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/27406/task/27408/stat : 27408 (java) S 27403 27406 16091 0 -1 4202560 2427 0 1 0 56 3 0 0 20 0 19 0 13105673 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932146856824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27409] ppid=27403 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/27406/task/27409/stat : 27409 (java) S 27403 27406 16091 0 -1 4202560 44 0 0 0 8 2 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932119308584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27410] ppid=27403 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/27406/task/27410/stat : 27410 (java) S 27403 27406 16091 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932118255784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27411] ppid=27403 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/27406/task/27411/stat : 27411 (java) S 27403 27406 16091 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932117203496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27412] ppid=27403 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/27406/task/27412/stat : 27412 (java) S 27403 27406 16091 0 -1 4202560 37 0 0 0 10 2 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932116150696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27413] ppid=27403 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/27406/task/27413/stat : 27413 (java) S 27403 27406 16091 0 -1 4202560 48 0 0 0 9 2 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931986471720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27414] ppid=27403 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/27406/task/27414/stat : 27414 (java) S 27403 27406 16091 0 -1 4202560 30 0 0 0 12 0 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931985418920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27415] ppid=27403 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/27406/task/27415/stat : 27415 (java) S 27403 27406 16091 0 -1 4202560 31 0 0 0 8 2 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931984366632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27416] ppid=27403 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/27406/task/27416/stat : 27416 (java) S 27403 27406 16091 0 -1 4202560 50 0 0 0 11 3 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931983313832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27417] ppid=27403 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/27406/task/27417/stat : 27417 (java) S 27403 27406 16091 0 -1 4202560 450 0 0 0 1 8 0 0 20 0 19 0 13105675 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931500800232 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27418] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27418/stat : 27418 (java) S 27403 27406 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931499746296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27419] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27419/stat : 27419 (java) S 27403 27406 16091 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931498693896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27420] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27420/stat : 27420 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931497642384 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27421] ppid=27403 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/27406/task/27421/stat : 27421 (java) S 27403 27406 16091 0 -1 4202560 5395 0 0 0 90 1 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931496590008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27422] ppid=27403 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/27406/task/27422/stat : 27422 (java) S 27403 27406 16091 0 -1 4202560 10055 0 0 0 170 2 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931495537208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27423] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27423/stat : 27423 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931494485112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27424] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27424/stat : 27424 (java) S 27403 27406 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931493432520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27428] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27428/stat : 27428 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105708 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931489219624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 22.24
Current children cumulated vsize (KiB) 9824732
[startup+25.7008 s]
/proc/loadavg: 1.95 1.79 1.86 4/218 27539
/proc/meminfo: memFree=29018220/32872528 swapFree=1254912/1391860
[pid=27406] ppid=27403 vsize=9824732 CPUtime=22.26 cores=0,2,4,6
/proc/27406/stat : 27406 (java) S 27403 27406 16091 0 -1 4202496 20554 0 1 0 2129 97 0 0 20 0 19 0 13105672 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 140735001578672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27406/statm: 2456183 184319 2287 9 0 2446860 0
[pid=27406/tid=27408] ppid=27403 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/27406/task/27408/stat : 27408 (java) R 27403 27406 16091 0 -1 4202560 2427 0 1 0 57 3 0 0 20 0 19 0 13105673 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932146856824 139931998034626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27409] ppid=27403 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/27406/task/27409/stat : 27409 (java) S 27403 27406 16091 0 -1 4202560 44 0 0 0 8 2 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932119308584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27410] ppid=27403 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/27406/task/27410/stat : 27410 (java) S 27403 27406 16091 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932118255784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27411] ppid=27403 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/27406/task/27411/stat : 27411 (java) S 27403 27406 16091 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932117203496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27412] ppid=27403 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/27406/task/27412/stat : 27412 (java) S 27403 27406 16091 0 -1 4202560 37 0 0 0 10 2 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139932116150696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27413] ppid=27403 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/27406/task/27413/stat : 27413 (java) S 27403 27406 16091 0 -1 4202560 48 0 0 0 9 2 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931986471720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27414] ppid=27403 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/27406/task/27414/stat : 27414 (java) S 27403 27406 16091 0 -1 4202560 30 0 0 0 12 0 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931985418920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27415] ppid=27403 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/27406/task/27415/stat : 27415 (java) S 27403 27406 16091 0 -1 4202560 31 0 0 0 8 2 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931984366632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27416] ppid=27403 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/27406/task/27416/stat : 27416 (java) S 27403 27406 16091 0 -1 4202560 50 0 0 0 11 3 0 0 20 0 19 0 13105674 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931983313832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27417] ppid=27403 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/27406/task/27417/stat : 27417 (java) S 27403 27406 16091 0 -1 4202560 450 0 0 0 1 8 0 0 20 0 19 0 13105675 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931500800232 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27418] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27418/stat : 27418 (java) S 27403 27406 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931499746296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27419] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27419/stat : 27419 (java) S 27403 27406 16091 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 13105676 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931498693896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27420] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27420/stat : 27420 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931497642384 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27421] ppid=27403 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/27406/task/27421/stat : 27421 (java) S 27403 27406 16091 0 -1 4202560 5395 0 0 0 90 1 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931496590008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27406/tid=27422] ppid=27403 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/27406/task/27422/stat : 27422 (java) S 27403 27406 16091 0 -1 4202560 10055 0 0 0 171 2 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931495537208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27406/tid=27423] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27423/stat : 27423 (java) S 27403 27406 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931494485112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27406/tid=27424] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27424/stat : 27424 (java) S 27403 27406 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13105678 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931493432520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27406/tid=27428] ppid=27403 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27406/task/27428/stat : 27428 (java) S 27403 27406 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13105708 10060525568 184319 33554432000 1073741824 1073778376 140735001587536 139931489219624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 22.26
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 25.7787
CPU time (s): 22.4416
CPU user time (s): 21.3298
CPU system time (s): 1.11183
CPU usage (%): 87.0548
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3298
system time used= 1.11183
maximum resident set size= 741092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20561
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2458
involuntary context switches= 1874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132979 second user time and 0.236963 second system time
The end