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-4109993-1467321546/watcher-4109993-1467321546 -o /tmp/evaluation-result-4109993-1467321546/solver-4109993-1467321546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467319102-29021 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109993-1467321546.wbo
pid=5590
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: 1.41 1.46 1.70 3/194 5593
/proc/meminfo: memFree=30039540/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 11174522 98570240 977 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 24065 977 743 9 0 16771 0
[pid=5593/tid=5594] ppid=5590 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) R 5590 5593 23565 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 11174522 98570240 978 33554432000 1073741824 1073778376 140733508186016 140689876958760 211458803072 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100157 s]
/proc/loadavg: 1.41 1.46 1.70 3/194 5593
/proc/meminfo: memFree=30039540/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 4479 0 1 0 9 1 0 0 20 0 18 0 11174522 9787879424 6110 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2389619 6110 2156 9 0 2380296 0
[pid=5593/tid=5594] ppid=5590 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) R 5590 5593 23565 0 -1 4202560 2383 0 1 0 6 1 0 0 20 0 18 0 11174522 9787879424 6110 33554432000 1073741824 1073778376 140733508186016 140689876962208 211462186253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200323 s]
/proc/loadavg: 1.41 1.46 1.70 3/194 5593
/proc/meminfo: memFree=30039540/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 4739 0 1 0 23 2 0 0 20 0 18 0 11174522 9787879424 6833 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2389619 6833 2213 9 0 2380296 0
[pid=5593/tid=5594] ppid=5590 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) R 5590 5593 23565 0 -1 4202560 2399 0 1 0 16 1 0 0 20 0 18 0 11174522 9787879424 6833 33554432000 1073741824 1073778376 140733508186016 140689876962208 140689723700577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300364 s]
/proc/loadavg: 1.41 1.46 1.70 3/194 5593
/proc/meminfo: memFree=30039540/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 5836 0 1 0 45 2 0 0 20 0 18 0 11174522 9787879424 8428 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2389619 8428 2231 9 0 2380296 0
[pid=5593/tid=5594] ppid=5590 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) R 5590 5593 23565 0 -1 4202560 2401 0 1 0 26 1 0 0 20 0 18 0 11174522 9787879424 8428 33554432000 1073741824 1073778376 140733508186016 140689876962208 140689723733480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700298 s]
/proc/loadavg: 1.41 1.46 1.70 3/194 5593
/proc/meminfo: memFree=30039540/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 8501 0 1 0 97 4 0 0 20 0 19 0 11174522 10060525568 11888 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2456183 11888 2258 9 0 2446860 0
[pid=5593/tid=5594] ppid=5590 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) S 5590 5593 23565 0 -1 4202560 2419 0 1 0 29 1 0 0 20 0 19 0 11174522 10060525568 11888 33554432000 1073741824 1073778376 140733508186016 140689876964216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 1.41 1.46 1.70 1/213 5624
/proc/meminfo: memFree=29995432/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 13607 0 1 0 151 9 0 0 20 0 19 0 11174522 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2456183 16322 2261 9 0 2446860 0
[pid=5593/tid=5594] ppid=5590 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) S 5590 5593 23565 0 -1 4202560 2421 0 1 0 30 2 0 0 20 0 19 0 11174522 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689876964216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5596] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5596/stat : 5596 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689849416616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5597] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5597/stat : 5597 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689848364072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5598] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5598/stat : 5598 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689847311016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5599] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5599/stat : 5599 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689846258472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5600] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5600/stat : 5600 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689845205416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5601] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5601/stat : 5601 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689844152872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5602] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5602/stat : 5602 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689843099816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5603] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5603/stat : 5603 (java) S 5590 5593 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689712654632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5604] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5604/stat : 5604 (java) S 5590 5593 23565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689229708136 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5605] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5605/stat : 5605 (java) S 5590 5593 23565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689228654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5606] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5606/stat : 5606 (java) S 5590 5593 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689227601288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5607] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5607/stat : 5607 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689226550032 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5608] ppid=5590 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/5593/task/5608/stat : 5608 (java) S 5590 5593 23565 0 -1 4202560 4669 0 0 0 44 0 0 0 20 0 19 0 11174527 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689225496888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5609] ppid=5590 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/5593/task/5609/stat : 5609 (java) S 5590 5593 23565 0 -1 4202560 5170 0 0 0 47 0 0 0 20 0 19 0 11174527 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689224444344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5610] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5610/stat : 5610 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689223391480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5611] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5611/stat : 5611 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689222339144 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5617] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5617/stat : 5617 (java) S 5590 5593 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11174555 10060525568 16322 33554432000 1073741824 1073778376 140733508186016 140689219179816 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9824732
[startup+3.10075 s]
/proc/loadavg: 1.30 1.44 1.69 1/213 5636
/proc/meminfo: memFree=29979360/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 14236 0 1 0 172 10 0 0 20 0 19 0 11174522 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2456183 19418 2264 9 0 2446860 0
[pid=5593/tid=5594] ppid=5590 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) S 5590 5593 23565 0 -1 4202560 2422 0 1 0 31 2 0 0 20 0 19 0 11174522 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689876964216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5596] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5596/stat : 5596 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689849416616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5597] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5597/stat : 5597 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689848364072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5598] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5598/stat : 5598 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689847311016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5599] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5599/stat : 5599 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689846258472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5600] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5600/stat : 5600 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689845205416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5601] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5601/stat : 5601 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689844152872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5602] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5602/stat : 5602 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689843099816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5603] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5603/stat : 5603 (java) S 5590 5593 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689712654632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5604] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5604/stat : 5604 (java) S 5590 5593 23565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689229708136 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5605] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5605/stat : 5605 (java) S 5590 5593 23565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689228654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5606] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5606/stat : 5606 (java) S 5590 5593 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689227601288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5607] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5607/stat : 5607 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689226550032 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5608] ppid=5590 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/5593/task/5608/stat : 5608 (java) S 5590 5593 23565 0 -1 4202560 5249 0 0 0 52 0 0 0 20 0 19 0 11174527 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689225496888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5609] ppid=5590 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/5593/task/5609/stat : 5609 (java) S 5590 5593 23565 0 -1 4202560 5193 0 0 0 57 0 0 0 20 0 19 0 11174527 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689224444344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5610] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5610/stat : 5610 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689223391480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5611] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5611/stat : 5611 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689222339144 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5617] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5617/stat : 5617 (java) S 5590 5593 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11174555 10060525568 19418 33554432000 1073741824 1073778376 140733508186016 140689219179816 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=14 pid=1810 uid=0 cmd=
[startup+6.30081 s]
/proc/loadavg: 1.30 1.44 1.69 1/213 5672
/proc/meminfo: memFree=29667956/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 16897 0 1 0 268 23 0 0 20 0 19 0 11174522 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2456183 42680 2283 9 0 2446860 0
[pid=5593/tid=5594] ppid=5590 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) S 5590 5593 23565 0 -1 4202560 2425 0 1 0 33 2 0 0 20 0 19 0 11174522 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689876964216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5596] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5596/stat : 5596 (java) S 5590 5593 23565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689849416616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5597] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5597/stat : 5597 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689848364072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5598] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5598/stat : 5598 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689847311016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5599] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5599/stat : 5599 (java) S 5590 5593 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689846258472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5600] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5600/stat : 5600 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689845205416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5601] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5601/stat : 5601 (java) S 5590 5593 23565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689844152872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5602] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5602/stat : 5602 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689843099816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5603] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5603/stat : 5603 (java) S 5590 5593 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11174523 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689712654632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5604] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5604/stat : 5604 (java) S 5590 5593 23565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689229708136 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5605] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5605/stat : 5605 (java) S 5590 5593 23565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689228654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5606] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5606/stat : 5606 (java) S 5590 5593 23565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689227601288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5607] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5607/stat : 5607 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 42680 33554432000 1073741824 1073778376 140733508186016 140689226550032 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5608] ppid=5590 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
################
# More data... #
################
/proc/5593/task/5602/stat : 5602 (java) S 5590 5593 23565 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689843099816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5603] ppid=5590 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5593/task/5603/stat : 5603 (java) S 5590 5593 23565 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689712654632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5604] ppid=5590 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5593/task/5604/stat : 5604 (java) S 5590 5593 23565 0 -1 4202560 359 0 0 0 0 3 0 0 20 0 19 0 11174524 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689229708136 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5605] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5605/stat : 5605 (java) S 5590 5593 23565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689228654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5606] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5606/stat : 5606 (java) S 5590 5593 23565 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689227601288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5607] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5607/stat : 5607 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689226550032 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5608] ppid=5590 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/5593/task/5608/stat : 5608 (java) S 5590 5593 23565 0 -1 4202560 13781 0 0 0 123 3 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689225496888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5609] ppid=5590 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/5593/task/5609/stat : 5609 (java) S 5590 5593 23565 0 -1 4202560 10032 0 0 0 154 2 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689224444344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5610] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5610/stat : 5610 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689223391480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5611] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5611/stat : 5611 (java) S 5590 5593 23565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689222339144 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5791] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5791/stat : 5791 (java) S 5590 5593 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11175661 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689219179688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 17.55
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=14 pid=1810 uid=0 cmd=/usr/local/sbin/pbs_mom
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5593 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6079 s]
/proc/loadavg: 1.20 1.41 1.67 5/216 6184
/proc/meminfo: memFree=29754036/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9824732 CPUtime=17.62 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 28924 0 1 0 1647 115 0 0 20 0 22 0 11174522 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2456183 157682 2288 9 0 2446860 0
[pid=5593/tid=5594] ppid=5590 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) S 5590 5593 23565 0 -1 4202560 2441 0 1 0 51 3 0 0 20 0 22 0 11174522 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689876964216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5596] ppid=5590 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/5593/task/5596/stat : 5596 (java) S 5590 5593 23565 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 22 0 11174523 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689849416616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5597] ppid=5590 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/5593/task/5597/stat : 5597 (java) S 5590 5593 23565 0 -1 4202560 51 0 0 0 9 3 0 0 20 0 22 0 11174523 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689848364072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5598] ppid=5590 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/5593/task/5598/stat : 5598 (java) S 5590 5593 23565 0 -1 4202560 28 0 0 0 6 2 0 0 20 0 22 0 11174523 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689847311016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5599] ppid=5590 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/5593/task/5599/stat : 5599 (java) S 5590 5593 23565 0 -1 4202560 50 0 0 0 9 2 0 0 20 0 22 0 11174523 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689846258472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5600] ppid=5590 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/5593/task/5600/stat : 5600 (java) S 5590 5593 23565 0 -1 4202560 36 0 0 0 8 2 0 0 20 0 22 0 11174523 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689845205416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5601] ppid=5590 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/5593/task/5601/stat : 5601 (java) S 5590 5593 23565 0 -1 4202560 48 0 0 0 6 3 0 0 20 0 22 0 11174523 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689844152872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5602] ppid=5590 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5593/task/5602/stat : 5602 (java) S 5590 5593 23565 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 22 0 11174523 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689843099816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5603] ppid=5590 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5593/task/5603/stat : 5603 (java) S 5590 5593 23565 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 22 0 11174523 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689712654632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5604] ppid=5590 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/5593/task/5604/stat : 5604 (java) S 5590 5593 23565 0 -1 4202560 359 0 0 0 0 4 0 0 20 0 22 0 11174524 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689229708136 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5605] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5605/stat : 5605 (java) S 5590 5593 23565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11174524 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689228654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5606] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5606/stat : 5606 (java) S 5590 5593 23565 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 22 0 11174524 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689227601288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5607] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5607/stat : 5607 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11174527 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689226550032 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5608] ppid=5590 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/5593/task/5608/stat : 5608 (java) S 5590 5593 23565 0 -1 4202560 13781 0 0 0 123 3 0 0 20 0 22 0 11174527 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689225496888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5609] ppid=5590 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/5593/task/5609/stat : 5609 (java) S 5590 5593 23565 0 -1 4202560 10032 0 0 0 154 2 0 0 20 0 22 0 11174527 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689224444344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5610] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5610/stat : 5610 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11174527 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689223391480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5611] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5611/stat : 5611 (java) S 5590 5593 23565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11174527 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689222339144 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5791] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5791/stat : 5791 (java) S 5590 5593 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11175661 10060525568 157682 33554432000 1073741824 1073778376 140733508186016 140689219179688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 17.62
Current children cumulated vsize (KiB) 9824732
[startup+26.0007 s]
/proc/loadavg: 1.20 1.41 1.67 5/216 6184
/proc/meminfo: memFree=29754036/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9824732 CPUtime=17.96 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 28927 0 1 0 1679 117 0 0 20 0 19 0 11174522 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2456183 157676 2288 9 0 2446860 0
[pid=5593/tid=5594] ppid=5590 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) S 5590 5593 23565 0 -1 4202560 2441 0 1 0 51 3 0 0 20 0 19 0 11174522 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689876964216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5596] ppid=5590 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/5593/task/5596/stat : 5596 (java) S 5590 5593 23565 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689849416616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5597] ppid=5590 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/5593/task/5597/stat : 5597 (java) S 5590 5593 23565 0 -1 4202560 51 0 0 0 9 3 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689848364072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5598] ppid=5590 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/5593/task/5598/stat : 5598 (java) S 5590 5593 23565 0 -1 4202560 28 0 0 0 6 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689847311016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5599] ppid=5590 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/5593/task/5599/stat : 5599 (java) S 5590 5593 23565 0 -1 4202560 50 0 0 0 9 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689846258472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5600] ppid=5590 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/5593/task/5600/stat : 5600 (java) S 5590 5593 23565 0 -1 4202560 36 0 0 0 8 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689845205416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5601] ppid=5590 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/5593/task/5601/stat : 5601 (java) S 5590 5593 23565 0 -1 4202560 48 0 0 0 6 3 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689844152872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5602] ppid=5590 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5593/task/5602/stat : 5602 (java) S 5590 5593 23565 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689843099816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5603] ppid=5590 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5593/task/5603/stat : 5603 (java) S 5590 5593 23565 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689712654632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5604] ppid=5590 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/5593/task/5604/stat : 5604 (java) S 5590 5593 23565 0 -1 4202560 359 0 0 0 0 4 0 0 20 0 19 0 11174524 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689229708136 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5605] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5605/stat : 5605 (java) S 5590 5593 23565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689228654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5606] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5606/stat : 5606 (java) S 5590 5593 23565 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689227601288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5607] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5607/stat : 5607 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689226550032 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5608] ppid=5590 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/5593/task/5608/stat : 5608 (java) S 5590 5593 23565 0 -1 4202560 13781 0 0 0 123 3 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689225496888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5609] ppid=5590 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/5593/task/5609/stat : 5609 (java) S 5590 5593 23565 0 -1 4202560 10032 0 0 0 154 2 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689224444344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5610] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5610/stat : 5610 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689223391480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5611] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5611/stat : 5611 (java) S 5590 5593 23565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689222339144 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5791] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5791/stat : 5791 (java) S 5590 5593 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11175661 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689219179688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 17.96
Current children cumulated vsize (KiB) 9824732
[startup+26.1007 s]
/proc/loadavg: 1.20 1.41 1.67 5/216 6184
/proc/meminfo: memFree=29754036/32872528 swapFree=480748/529804
[pid=5593] ppid=5590 vsize=9824732 CPUtime=17.98 cores=1,3,5,7
/proc/5593/stat : 5593 (java) S 5590 5593 23565 0 -1 4202496 28927 0 1 0 1681 117 0 0 20 0 19 0 11174522 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140733508177152 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5593/statm: 2456183 157676 2288 9 0 2446860 0
[pid=5593/tid=5594] ppid=5590 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/5593/task/5594/stat : 5594 (java) R 5590 5593 23565 0 -1 4202560 2441 0 1 0 53 3 0 0 20 0 19 0 11174522 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689876964216 140689723889602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5596] ppid=5590 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/5593/task/5596/stat : 5596 (java) S 5590 5593 23565 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689849416616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5597] ppid=5590 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/5593/task/5597/stat : 5597 (java) S 5590 5593 23565 0 -1 4202560 51 0 0 0 9 3 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689848364072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5598] ppid=5590 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/5593/task/5598/stat : 5598 (java) S 5590 5593 23565 0 -1 4202560 28 0 0 0 6 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689847311016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5599] ppid=5590 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/5593/task/5599/stat : 5599 (java) S 5590 5593 23565 0 -1 4202560 50 0 0 0 9 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689846258472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5600] ppid=5590 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/5593/task/5600/stat : 5600 (java) S 5590 5593 23565 0 -1 4202560 36 0 0 0 8 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689845205416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5601] ppid=5590 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/5593/task/5601/stat : 5601 (java) S 5590 5593 23565 0 -1 4202560 48 0 0 0 6 3 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689844152872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5602] ppid=5590 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5593/task/5602/stat : 5602 (java) S 5590 5593 23565 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689843099816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5603] ppid=5590 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5593/task/5603/stat : 5603 (java) S 5590 5593 23565 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 19 0 11174523 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689712654632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5604] ppid=5590 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/5593/task/5604/stat : 5604 (java) S 5590 5593 23565 0 -1 4202560 359 0 0 0 0 4 0 0 20 0 19 0 11174524 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689229708136 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5605] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5605/stat : 5605 (java) S 5590 5593 23565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689228654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5606] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5606/stat : 5606 (java) S 5590 5593 23565 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 11174524 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689227601288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5607] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5607/stat : 5607 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689226550032 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5608] ppid=5590 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/5593/task/5608/stat : 5608 (java) S 5590 5593 23565 0 -1 4202560 13781 0 0 0 123 3 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689225496888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5593/tid=5609] ppid=5590 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/5593/task/5609/stat : 5609 (java) S 5590 5593 23565 0 -1 4202560 10032 0 0 0 154 2 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689224444344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5593/tid=5610] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5610/stat : 5610 (java) S 5590 5593 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689223391480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5593/tid=5611] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5611/stat : 5611 (java) S 5590 5593 23565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11174527 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689222339144 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5593/tid=5791] ppid=5590 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5593/task/5791/stat : 5791 (java) S 5590 5593 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11175661 10060525568 157676 33554432000 1073741824 1073778376 140733508186016 140689219179688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 17.98
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 26.1497
CPU time (s): 18.1202
CPU user time (s): 16.7884
CPU system time (s): 1.3318
CPU usage (%): 69.2944
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7884
system time used= 1.3318
maximum resident set size= 630748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28933
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= 2551
involuntary context switches= 1200
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.101984 second user time and 0.136979 second system time
The end