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-4109545-1467321311/watcher-4109545-1467321311 -o /tmp/evaluation-result-4109545-1467321311/solver-4109545-1467321311 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1467319216-8602 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109545-1467321311.wbo
pid=13198
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.71 1.97 2.03 2/194 13201
/proc/meminfo: memFree=28407748/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 2810134 98570240 977 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 24065 977 743 9 0 16771 0
[pid=13201/tid=13202] ppid=13198 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) R 13198 13201 3195 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 2810134 98570240 977 33554432000 1073741824 1073778376 140734038811280 139764978601512 217410520448 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 1.71 1.97 2.03 2/194 13201
/proc/meminfo: memFree=28407748/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 4493 0 1 0 10 1 0 0 20 0 18 0 2810134 9787879424 6133 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2389619 6133 2158 9 0 2380296 0
[pid=13201/tid=13202] ppid=13198 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) R 13198 13201 3195 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 2810134 9787879424 6133 33554432000 1073741824 1073778376 140734038811280 139764978604960 217413905453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200288 s]
/proc/loadavg: 1.71 1.97 2.03 2/194 13201
/proc/meminfo: memFree=28407748/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 4825 0 1 0 26 2 0 0 20 0 22 0 2810134 10060525568 7946 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2456183 7954 2219 9 0 2446860 0
[pid=13201/tid=13202] ppid=13198 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) S 13198 13201 3195 0 -1 4202560 2415 0 1 0 15 0 0 0 20 0 22 0 2810134 10060525568 7954 33554432000 1073741824 1073778376 140734038811280 139764978606968 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732
[startup+0.300284 s]
/proc/loadavg: 1.71 1.97 2.03 2/194 13201
/proc/meminfo: memFree=28407748/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 8409 0 1 0 65 2 0 0 20 0 22 0 2810134 10060525568 10057 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2456183 10057 2247 9 0 2446860 0
[pid=13201/tid=13202] ppid=13198 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) S 13198 13201 3195 0 -1 4202560 2415 0 1 0 15 0 0 0 20 0 22 0 2810134 10060525568 10061 33554432000 1073741824 1073778376 140734038811280 139764978606968 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9824732
[startup+0.700274 s]
/proc/loadavg: 1.71 1.97 2.03 2/194 13201
/proc/meminfo: memFree=28407748/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 14452 0 1 0 125 6 0 0 20 0 19 0 2810134 10060525568 14414 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2456183 14414 2253 9 0 2446860 0
[pid=13201/tid=13202] ppid=13198 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) S 13198 13201 3195 0 -1 4202560 2415 0 1 0 15 0 0 0 20 0 19 0 2810134 10060525568 14414 33554432000 1073741824 1073778376 140734038811280 139764978606968 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9824732
[startup+1.50076 s]
/proc/loadavg: 1.71 1.97 2.03 3/216 13235
/proc/meminfo: memFree=28358600/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 14462 0 1 0 128 8 0 0 20 0 19 0 2810134 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2456183 15950 2253 9 0 2446860 0
[pid=13201/tid=13202] ppid=13198 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) S 13198 13201 3195 0 -1 4202560 2416 0 1 0 15 0 0 0 20 0 19 0 2810134 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764978606968 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13204] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764951059368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13205] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13205/stat : 13205 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764950006824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13206] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13206/stat : 13206 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764948953768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13207] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13207/stat : 13207 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764947901224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13208] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13208/stat : 13208 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764818291112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13209] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13209/stat : 13209 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764817238568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13210] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13210/stat : 13210 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764816185512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13211] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13211/stat : 13211 (java) S 13198 13201 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764815132968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13212] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13212/stat : 13212 (java) S 13198 13201 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2810136 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764332620648 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13213] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13213/stat : 13213 (java) S 13198 13201 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764331566968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13214] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13214/stat : 13214 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764330513800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13215] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13215/stat : 13215 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764329462544 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13216] ppid=13198 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/13201/task/13216/stat : 13216 (java) S 13198 13201 3195 0 -1 4202560 6270 0 0 0 42 1 0 0 20 0 19 0 2810139 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764328409400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13217] ppid=13198 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/13201/task/13217/stat : 13217 (java) S 13198 13201 3195 0 -1 4202560 4430 0 0 0 28 1 0 0 20 0 19 0 2810139 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764327356856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13218] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13218/stat : 13218 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764326303992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13219] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13219/stat : 13219 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764325251656 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13225] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13225/stat : 13225 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810152 10060525568 15950 33554432000 1073741824 1073778376 140734038811280 139764322092328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9824732
[startup+3.10081 s]
/proc/loadavg: 1.71 1.97 2.03 4/216 13250
/proc/meminfo: memFree=28338384/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 14524 0 1 0 156 12 0 0 20 0 19 0 2810134 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2456183 21102 2256 9 0 2446860 0
[pid=13201/tid=13202] ppid=13198 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) S 13198 13201 3195 0 -1 4202560 2417 0 1 0 16 0 0 0 20 0 19 0 2810134 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764978606968 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13204] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764951059368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13205] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13205/stat : 13205 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764950006824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13206] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13206/stat : 13206 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764948953768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13207] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13207/stat : 13207 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764947901224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13208] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13208/stat : 13208 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764818291112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13209] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13209/stat : 13209 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764817238568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13210] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13210/stat : 13210 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764816185512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13211] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13211/stat : 13211 (java) S 13198 13201 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764815132968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13212] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13212/stat : 13212 (java) S 13198 13201 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2810136 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764332620648 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13213] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13213/stat : 13213 (java) S 13198 13201 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764331566968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13214] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13214/stat : 13214 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764330513800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13215] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13215/stat : 13215 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764329462544 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13216] ppid=13198 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/13201/task/13216/stat : 13216 (java) S 13198 13201 3195 0 -1 4202560 6298 0 0 0 54 1 0 0 20 0 19 0 2810139 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764328409400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13217] ppid=13198 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/13201/task/13217/stat : 13217 (java) S 13198 13201 3195 0 -1 4202560 4433 0 0 0 36 1 0 0 20 0 19 0 2810139 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764327356856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13218] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13218/stat : 13218 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764326303992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13219] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13219/stat : 13219 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764325251656 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13225] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13225/stat : 13225 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810152 10060525568 21102 33554432000 1073741824 1073778376 140734038811280 139764322092328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=28 pid=1814 uid=0 cmd=
[startup+6.30088 s]
/proc/loadavg: 1.57 1.93 2.02 1/213 13286
/proc/meminfo: memFree=28294740/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 14638 0 1 0 190 23 0 0 20 0 19 0 2810134 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2456183 33443 2267 9 0 2446860 0
[pid=13201/tid=13202] ppid=13198 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) S 13198 13201 3195 0 -1 4202560 2419 0 1 0 16 0 0 0 20 0 19 0 2810134 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764978606968 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13204] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764951059368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13205] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13205/stat : 13205 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764950006824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13206] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13206/stat : 13206 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764948953768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13207] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13207/stat : 13207 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764947901224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13208] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13208/stat : 13208 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764818291112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13209] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13209/stat : 13209 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764817238568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13210] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13210/stat : 13210 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764816185512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13211] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13211/stat : 13211 (java) S 13198 13201 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764815132968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13212] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13212/stat : 13212 (java) S 13198 13201 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2810136 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764332620648 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13213] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13213/stat : 13213 (java) S 13198 13201 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764331566968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13214] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13214/stat : 13214 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764330513800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13215] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13215/stat : 13215 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 33443 33554432000 1073741824 1073778376 140734038811280 139764329462544 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13216] ppid=13198 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
################
# More data... #
################
/proc/13201/task/13216/stat : 13216 (java) S 13198 13201 3195 0 -1 4202560 6305 0 0 0 67 2 0 0 20 0 19 0 2810139 10060525568 37539 33554432000 1073741824 1073778376 140734038811280 139764328409400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13217] ppid=13198 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/13201/task/13217/stat : 13217 (java) S 13198 13201 3195 0 -1 4202560 4447 0 0 0 40 2 0 0 20 0 19 0 2810139 10060525568 37539 33554432000 1073741824 1073778376 140734038811280 139764327356856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13218] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13218/stat : 13218 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 37539 33554432000 1073741824 1073778376 140734038811280 139764326303992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13219] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13219/stat : 13219 (java) S 13198 13201 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 37539 33554432000 1073741824 1073778376 140734038811280 139764325251656 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13225] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13225/stat : 13225 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810152 10060525568 37539 33554432000 1073741824 1073778376 140734038811280 139764322092328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9824732
#
############
[startup+12.7008 s]
/proc/loadavg: 1.60 1.93 2.02 3/216 13352
/proc/meminfo: memFree=28048012/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 15244 0 1 0 243 36 0 0 20 0 19 0 2810134 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2456183 42188 2280 9 0 2446860 0
[pid=13201/tid=13202] ppid=13198 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) S 13198 13201 3195 0 -1 4202560 2419 0 1 0 16 1 0 0 20 0 19 0 2810134 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764978606968 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13204] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764951059368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13205] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13205/stat : 13205 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764950006824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13206] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13206/stat : 13206 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764948953768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13207] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13207/stat : 13207 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764947901224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13208] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13208/stat : 13208 (java) S 13198 13201 3195 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764818291112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13209] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13209/stat : 13209 (java) S 13198 13201 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764817238568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13210] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13210/stat : 13210 (java) S 13198 13201 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764816185512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13211] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13211/stat : 13211 (java) S 13198 13201 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2810135 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764815132968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13212] ppid=13198 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13201/task/13212/stat : 13212 (java) S 13198 13201 3195 0 -1 4202560 10 0 0 0 0 1 0 0 20 0 19 0 2810136 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764332620648 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13213] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13213/stat : 13213 (java) S 13198 13201 3195 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764331566968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13214] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13214/stat : 13214 (java) S 13198 13201 3195 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764330513800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13215] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13215/stat : 13215 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764329462544 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13216] ppid=13198 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/13201/task/13216/stat : 13216 (java) S 13198 13201 3195 0 -1 4202560 6307 0 0 0 82 2 0 0 20 0 19 0 2810139 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764328409400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13217] ppid=13198 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/13201/task/13217/stat : 13217 (java) S 13198 13201 3195 0 -1 4202560 4872 0 0 0 51 2 0 0 20 0 19 0 2810139 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764327356856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13218] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13218/stat : 13218 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764326303992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13219] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13219/stat : 13219 (java) S 13198 13201 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764325251656 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13225] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13225/stat : 13225 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810152 10060525568 42188 33554432000 1073741824 1073778376 140734038811280 139764322092328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=28 pid=1814 uid=0 cmd=/usr/local/sbin/pbs_mom
[startup+25.501 s]
/proc/loadavg: 1.83 1.97 2.02 3/216 13534
/proc/meminfo: memFree=28131908/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9824732 CPUtime=21.67 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 26799 0 1 0 2086 81 0 0 20 0 19 0 2810134 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2456183 84681 2286 9 0 2446860 0
[pid=13201/tid=13202] ppid=13198 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) S 13198 13201 3195 0 -1 4202560 2420 0 1 0 17 2 0 0 20 0 19 0 2810134 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764978606968 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13204] ppid=13198 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (java) S 13198 13201 3195 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764951059368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13205] ppid=13198 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13201/task/13205/stat : 13205 (java) S 13198 13201 3195 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764950006824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13206] ppid=13198 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13201/task/13206/stat : 13206 (java) S 13198 13201 3195 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764948953768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13207] ppid=13198 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/13201/task/13207/stat : 13207 (java) S 13198 13201 3195 0 -1 4202560 48 0 0 0 6 1 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764947901224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13208] ppid=13198 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13201/task/13208/stat : 13208 (java) S 13198 13201 3195 0 -1 4202560 40 0 0 0 5 1 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764818291112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13209] ppid=13198 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/13201/task/13209/stat : 13209 (java) S 13198 13201 3195 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764817238568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13210] ppid=13198 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13201/task/13210/stat : 13210 (java) S 13198 13201 3195 0 -1 4202560 38 0 0 0 3 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764816185512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13211] ppid=13198 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/13201/task/13211/stat : 13211 (java) S 13198 13201 3195 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764815132968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13212] ppid=13198 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13201/task/13212/stat : 13212 (java) S 13198 13201 3195 0 -1 4202560 145 0 0 0 1 5 0 0 20 0 19 0 2810136 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764332620648 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13213] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13213/stat : 13213 (java) S 13198 13201 3195 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764331566968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13214] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13214/stat : 13214 (java) S 13198 13201 3195 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764330513800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13215] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13215/stat : 13215 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764329462544 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13216] ppid=13198 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/13201/task/13216/stat : 13216 (java) S 13198 13201 3195 0 -1 4202560 7714 0 0 0 111 2 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764328409400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13217] ppid=13198 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/13201/task/13217/stat : 13217 (java) S 13198 13201 3195 0 -1 4202560 14405 0 0 0 132 2 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764327356856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13218] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13218/stat : 13218 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764326303992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13219] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13219/stat : 13219 (java) S 13198 13201 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764325251656 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13225] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13225/stat : 13225 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810152 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764322092328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 21.67
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13201 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.601 s]
/proc/loadavg: 1.83 1.97 2.02 3/216 13534
/proc/meminfo: memFree=28131908/32872528 swapFree=1522152/1652968
[pid=13201] ppid=13198 vsize=9824732 CPUtime=21.7 cores=1,3,5,7
/proc/13201/stat : 13201 (java) S 13198 13201 3195 0 -1 4202496 26799 0 1 0 2089 81 0 0 20 0 19 0 2810134 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 140734038802416 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13201/statm: 2456183 84681 2286 9 0 2446860 0
[pid=13201/tid=13202] ppid=13198 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (java) R 13198 13201 3195 0 -1 4202560 2420 0 1 0 18 2 0 0 20 0 19 0 2810134 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764978606480 139764829906183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13204] ppid=13198 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (java) S 13198 13201 3195 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764951059368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13205] ppid=13198 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13201/task/13205/stat : 13205 (java) S 13198 13201 3195 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764950006824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13206] ppid=13198 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13201/task/13206/stat : 13206 (java) S 13198 13201 3195 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764948953768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13207] ppid=13198 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/13201/task/13207/stat : 13207 (java) S 13198 13201 3195 0 -1 4202560 48 0 0 0 6 1 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764947901224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13208] ppid=13198 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13201/task/13208/stat : 13208 (java) S 13198 13201 3195 0 -1 4202560 40 0 0 0 5 1 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764818291112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13209] ppid=13198 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/13201/task/13209/stat : 13209 (java) S 13198 13201 3195 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764817238568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13210] ppid=13198 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13201/task/13210/stat : 13210 (java) S 13198 13201 3195 0 -1 4202560 38 0 0 0 3 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764816185512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13211] ppid=13198 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/13201/task/13211/stat : 13211 (java) S 13198 13201 3195 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 19 0 2810135 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764815132968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13212] ppid=13198 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13201/task/13212/stat : 13212 (java) S 13198 13201 3195 0 -1 4202560 145 0 0 0 1 5 0 0 20 0 19 0 2810136 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764332620648 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13201/tid=13213] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13213/stat : 13213 (java) S 13198 13201 3195 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764331566968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13214] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13214/stat : 13214 (java) S 13198 13201 3195 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 2810137 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764330513800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13215] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13215/stat : 13215 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764329462544 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13216] ppid=13198 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/13201/task/13216/stat : 13216 (java) R 13198 13201 3195 0 -1 4202560 7714 0 0 0 112 2 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764328409240 139764984632049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13201/tid=13217] ppid=13198 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/13201/task/13217/stat : 13217 (java) S 13198 13201 3195 0 -1 4202560 14405 0 0 0 132 2 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764327356856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13218] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13218/stat : 13218 (java) S 13198 13201 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764326303992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13201/tid=13219] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13219/stat : 13219 (java) S 13198 13201 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2810139 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764325251656 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13201/tid=13225] ppid=13198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13225/stat : 13225 (java) S 13198 13201 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2810152 10060525568 84681 33554432000 1073741824 1073778376 140734038811280 139764322092328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 21.7
Current children cumulated vsize (KiB) 9824732
Child status: 30
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.00999999
# lost CPU user time (s): 0.00999999
# lost CPU system time (s): 0
Real time (s): 25.613
CPU time (s): 21.7917
CPU user time (s): 20.9078
CPU system time (s): 0.883865
CPU usage (%): 85.0807
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8978
system time used= 0.883865
maximum resident set size= 338752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26810
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= 2465
involuntary context switches= 1744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.135979 second user time and 0.233964 second system time
The end