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-4106434-1466271477/watcher-4106434-1466271477 -o /tmp/evaluation-result-4106434-1466271477/solver-4106434-1466271477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106434-1466271477.opb
pid=32766
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: 4.20 4.16 3.84 4/197 301
/proc/meminfo: memFree=28060380/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/301/stat : 301 (java) R 32766 301 28285 0 -1 4202496 498 0 0 0 0 0 0 0 20 0 1 0 29196127 9515008 151 33554432000 1073741824 1073778376 140736385038224 140736385035352 217410190083 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2323 158 116 9 0 71 0
[pid=301/tid=302] ppid=32766 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) D 32766 301 28285 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 29196128 94019584 917 33554432000 1073741824 1073778376 140736385038224 139675097796136 217401355559 0 0 4096 0 18446744072100588836 0 0 -1 3 0 0 0 0 0
[startup+0.100159 s]
/proc/loadavg: 4.20 4.16 3.84 4/197 301
/proc/meminfo: memFree=28060380/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 4508 0 1 0 9 1 0 0 20 0 18 0 29196127 9787879424 5623 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2389619 5623 2141 9 0 2380296 0
[pid=301/tid=302] ppid=32766 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) R 32766 301 28285 0 -1 4202560 2437 0 1 0 6 1 0 0 20 0 18 0 29196128 9787879424 5623 33554432000 1073741824 1073778376 140736385038224 139675097799584 217413903629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200284 s]
/proc/loadavg: 4.20 4.16 3.84 4/197 301
/proc/meminfo: memFree=28060380/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 4713 0 1 0 23 1 0 0 20 0 18 0 29196127 9787879424 6817 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2389619 6817 2217 9 0 2380296 0
[pid=301/tid=302] ppid=32766 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) R 32766 301 28285 0 -1 4202560 2458 0 1 0 16 1 0 0 20 0 18 0 29196128 9787879424 6817 33554432000 1073741824 1073778376 140736385038224 139675097799584 139674969471216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300298 s]
/proc/loadavg: 4.20 4.16 3.84 4/197 301
/proc/meminfo: memFree=28060380/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 7789 0 1 0 58 2 0 0 20 0 22 0 29196127 10060525568 10488 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2456183 10488 2237 9 0 2446860 0
[pid=301/tid=302] ppid=32766 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) S 32766 301 28285 0 -1 4202560 2463 0 1 0 18 1 0 0 20 0 22 0 29196128 10060525568 10488 33554432000 1073741824 1073778376 140736385038224 139675097801592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9824732
[startup+0.700237 s]
/proc/loadavg: 4.20 4.16 3.84 4/197 301
/proc/meminfo: memFree=28060380/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 19707 0 1 0 214 5 0 0 20 0 22 0 29196127 10060525568 22072 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2456183 22072 2256 9 0 2446860 0
[pid=301/tid=302] ppid=32766 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) S 32766 301 28285 0 -1 4202560 2463 0 1 0 18 1 0 0 20 0 22 0 29196128 10060525568 22072 33554432000 1073741824 1073778376 140736385038224 139675097801592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9824732
[startup+1.50089 s]
/proc/loadavg: 4.20 4.16 3.84 8/219 323
/proc/meminfo: memFree=27887872/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 28283 0 1 0 471 9 0 0 20 0 22 0 29196127 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2456183 48013 2278 9 0 2446860 0
[pid=301/tid=302] ppid=32766 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) S 32766 301 28285 0 -1 4202560 2463 0 1 0 18 1 0 0 20 0 22 0 29196128 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139675097801592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=304] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/304/stat : 304 (java) S 32766 301 28285 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674941782440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=305] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/305/stat : 305 (java) S 32766 301 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674940729896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=306] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/306/stat : 306 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674939676840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=307] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/307/stat : 307 (java) S 32766 301 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674938624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=308] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/308/stat : 308 (java) S 32766 301 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674937572264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=309] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/309/stat : 309 (java) S 32766 301 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674936519720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=310] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/310/stat : 310 (java) S 32766 301 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674935466664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=311] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/311/stat : 311 (java) S 32766 301 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674934414120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=312] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/312/stat : 312 (java) S 32766 301 28285 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 29196130 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674922002792 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=313] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/313/stat : 313 (java) S 32766 301 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29196130 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674920949112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=314] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/314/stat : 314 (java) S 32766 301 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 29196130 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674919895944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=315] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/315/stat : 315 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196133 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674918844688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=316] ppid=32766 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/301/task/316/stat : 316 (java) S 32766 301 28285 0 -1 4202560 11432 0 0 0 101 2 0 0 20 0 22 0 29196133 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674917792568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=317] ppid=32766 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/301/task/317/stat : 317 (java) S 32766 301 28285 0 -1 4202560 12863 0 0 0 99 4 0 0 20 0 22 0 29196133 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674916740024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=318] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/318/stat : 318 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196133 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674915687160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=319] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/319/stat : 319 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196133 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674914634824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=320] ppid=32766 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/301/task/320/stat : 320 (java) R 32766 301 28285 0 -1 4202560 18 0 0 0 121 0 0 0 20 0 22 0 29196150 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674913579576 139674969926658 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=301/tid=321] ppid=32766 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/301/task/321/stat : 321 (java) R 32766 301 28285 0 -1 4202560 122 0 0 0 122 2 0 0 20 0 22 0 29196150 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674912525776 139674969914620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=301/tid=322] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/322/stat : 322 (java) S 32766 301 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29196150 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674911474472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=323] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/323/stat : 323 (java) S 32766 301 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29196150 10060525568 48013 33554432000 1073741824 1073778376 140736385038224 139674910421928 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 9824732
[startup+3.1009 s]
/proc/loadavg: 4.18 4.16 3.84 8/219 323
/proc/meminfo: memFree=27811000/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9824732 CPUtime=8.34 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 32576 0 1 0 819 15 0 0 20 0 22 0 29196127 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2456183 85456 2279 9 0 2446860 0
[pid=301/tid=302] ppid=32766 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) S 32766 301 28285 0 -1 4202560 2463 0 1 0 18 1 0 0 20 0 22 0 29196128 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139675097801592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=304] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/304/stat : 304 (java) S 32766 301 28285 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674941782440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=305] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/305/stat : 305 (java) S 32766 301 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674940729896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=306] ppid=32766 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/301/task/306/stat : 306 (java) S 32766 301 28285 0 -1 4202560 143 0 0 0 1 0 0 0 20 0 22 0 29196129 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674939676840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=307] ppid=32766 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/301/task/307/stat : 307 (java) S 32766 301 28285 0 -1 4202560 113 0 0 0 1 0 0 0 20 0 22 0 29196129 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674938624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=308] ppid=32766 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/301/task/308/stat : 308 (java) S 32766 301 28285 0 -1 4202560 131 0 0 0 0 1 0 0 20 0 22 0 29196129 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674937572264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=309] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/309/stat : 309 (java) S 32766 301 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674936519720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=310] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/310/stat : 310 (java) S 32766 301 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674935466664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=311] ppid=32766 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/301/task/311/stat : 311 (java) S 32766 301 28285 0 -1 4202560 110 0 0 0 1 0 0 0 20 0 22 0 29196129 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674934414120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=312] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/312/stat : 312 (java) S 32766 301 28285 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 22 0 29196130 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674922002792 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=313] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/313/stat : 313 (java) S 32766 301 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29196130 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674920949112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=314] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/314/stat : 314 (java) S 32766 301 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 29196130 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674919895944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=315] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/315/stat : 315 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196133 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674918844688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=316] ppid=32766 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/301/task/316/stat : 316 (java) S 32766 301 28285 0 -1 4202560 11821 0 0 0 118 2 0 0 20 0 22 0 29196133 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674917792568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=317] ppid=32766 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/301/task/317/stat : 317 (java) S 32766 301 28285 0 -1 4202560 16095 0 0 0 114 4 0 0 20 0 22 0 29196133 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674916740024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=318] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/318/stat : 318 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196133 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674915687160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=319] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/319/stat : 319 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196133 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674914634824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=320] ppid=32766 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/301/task/320/stat : 320 (java) R 32766 301 28285 0 -1 4202560 24 0 0 0 276 0 0 0 20 0 22 0 29196150 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674913579616 139674969951315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=301/tid=321] ppid=32766 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/301/task/321/stat : 321 (java) R 32766 301 28285 0 -1 4202560 177 0 0 0 274 3 0 0 20 0 22 0 29196150 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674912527016 139674969936851 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=301/tid=322] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/322/stat : 322 (java) S 32766 301 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29196150 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674911474472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=323] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/323/stat : 323 (java) S 32766 301 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29196150 10060525568 85456 33554432000 1073741824 1073778376 140736385038224 139674910421928 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 9824732
[startup+6.30103 s]
/proc/loadavg: 4.18 4.16 3.84 6/219 326
/proc/meminfo: memFree=27457580/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9824732 CPUtime=15.01 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 39474 0 1 0 1477 24 0 0 20 0 22 0 29196127 10060525568 152131 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2456183 152131 2283 9 0 2446860 0
[pid=301/tid=302] ppid=32766 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) S 32766 301 28285 0 -1 4202560 2464 0 1 0 18 2 0 0 20 0 22 0 29196128 10060525568 152131 33554432000 1073741824 1073778376 140736385038224 139675097801592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=304] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/304/stat : 304 (java) S 32766 301 28285 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 152131 33554432000 1073741824 1073778376 140736385038224 139674941782440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=305] ppid=32766 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/301/task/305/stat : 305 (java) S 32766 301 28285 0 -1 4202560 67 0 0 0 1 1 0 0 20 0 22 0 29196129 10060525568 152131 33554432000 1073741824 1073778376 140736385038224 139674940729896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=306] ppid=32766 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/301/task/306/stat : 306 (java) S 32766 301 28285 0 -1 4202560 202 0 0 0 3 1 0 0 20 0 22 0 29196129 10060525568 152131 33554432000 1073741824 1073778376 140736385038224 139674939676840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=307] ppid=32766 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/301/task/307/stat : 307 (java) S 32766 301 28285 0 -1 4202560 116 0 0 0 1 0 0 0 20 0 22 0 29196129 10060525568 152131 33554432000 1073741824 1073778376 140736385038224 139674938624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=308] ppid=32766 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/301/task/308/stat : 308 (java) S 32766 301 28285 0 -1 4202560 150 0 0 0 1 2 0 0 20 0 22 0 29196129 10060525568 152131 33554432000 1073741824 1073778376 140736385038224 139674937572264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=309] ppid=32766 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/301/task/309/stat : 309 (java) S 32766 301 28285 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 29196129 10060525568 152131 33554432000 1073741824 1073778376 140736385038224 139674936519720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=310] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/310/stat : 310 (java) S 32766 301 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29196129 10060525568 152131 33554432000 1073741824 1073778376 140736385038224 139674935466664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=311] ppid=32766 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
################
# More data... #
################
/proc/301/task/314/stat : 314 (java) S 32766 301 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 29196130 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674919895944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=315] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/315/stat : 315 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196133 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674918844688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=316] ppid=32766 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/301/task/316/stat : 316 (java) S 32766 301 28285 0 -1 4202560 11821 0 0 0 120 2 0 0 20 0 22 0 29196133 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674917792568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=317] ppid=32766 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/301/task/317/stat : 317 (java) S 32766 301 28285 0 -1 4202560 22344 0 0 0 196 5 0 0 20 0 22 0 29196133 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674916740024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=318] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/318/stat : 318 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196133 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674915687160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=319] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/319/stat : 319 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29196133 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674914634824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=322] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/322/stat : 322 (java) S 32766 301 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29196150 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674911474472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=324] ppid=32766 vsize=9824732 CPUtime=5.76 cores=1,3,5,7
/proc/301/task/324/stat : 324 (java) R 32766 301 28285 0 -1 4202560 8 0 0 0 576 0 0 0 20 0 22 0 29196500 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674912518512 139674969914620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=301/tid=325] ppid=32766 vsize=9824732 CPUtime=5.77 cores=1,3,5,7
/proc/301/task/325/stat : 325 (java) R 32766 301 28285 0 -1 4202560 439 0 0 0 566 11 0 0 20 0 22 0 29196500 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674910422072 139674969838765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=301/tid=326] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/326/stat : 326 (java) S 32766 301 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29196500 10060525568 278476 33554432000 1073741824 1073778376 140736385038224 139674913580328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 21.65
Current children cumulated vsize (KiB) 9824732
[startup+11.2008 s]
/proc/loadavg: 4.17 4.16 3.84 3/216 326
/proc/meminfo: memFree=26927032/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9824732 CPUtime=24.44 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 40195 0 1 0 2407 37 0 0 20 0 19 0 29196127 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2456183 285117 2283 9 0 2446860 0
[pid=301/tid=302] ppid=32766 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) S 32766 301 28285 0 -1 4202560 2464 0 1 0 18 2 0 0 20 0 19 0 29196128 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139675097801592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=304] ppid=32766 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/301/task/304/stat : 304 (java) S 32766 301 28285 0 -1 4202560 72 0 0 0 3 0 0 0 20 0 19 0 29196129 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674941782440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=305] ppid=32766 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/301/task/305/stat : 305 (java) S 32766 301 28285 0 -1 4202560 89 0 0 0 2 2 0 0 20 0 19 0 29196129 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674940729896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=306] ppid=32766 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/301/task/306/stat : 306 (java) S 32766 301 28285 0 -1 4202560 211 0 0 0 4 2 0 0 20 0 19 0 29196129 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674939676840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=307] ppid=32766 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/301/task/307/stat : 307 (java) S 32766 301 28285 0 -1 4202560 130 0 0 0 5 0 0 0 20 0 19 0 29196129 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674938624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=308] ppid=32766 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/301/task/308/stat : 308 (java) S 32766 301 28285 0 -1 4202560 161 0 0 0 4 2 0 0 20 0 19 0 29196129 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674937572264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=309] ppid=32766 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/301/task/309/stat : 309 (java) S 32766 301 28285 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 19 0 29196129 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674936519720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=310] ppid=32766 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/301/task/310/stat : 310 (java) S 32766 301 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29196129 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674935466664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=311] ppid=32766 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/301/task/311/stat : 311 (java) S 32766 301 28285 0 -1 4202560 182 0 0 0 3 2 0 0 20 0 19 0 29196129 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674934414120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=312] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/312/stat : 312 (java) S 32766 301 28285 0 -1 4202560 745 0 0 0 0 0 0 0 20 0 19 0 29196130 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674922002792 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=313] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/313/stat : 313 (java) S 32766 301 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29196130 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674920949112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=314] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/314/stat : 314 (java) S 32766 301 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29196130 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674919895944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=315] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/315/stat : 315 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29196133 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674918844688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=316] ppid=32766 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/301/task/316/stat : 316 (java) S 32766 301 28285 0 -1 4202560 11821 0 0 0 122 2 0 0 20 0 19 0 29196133 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674917792568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=317] ppid=32766 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/301/task/317/stat : 317 (java) S 32766 301 28285 0 -1 4202560 22344 0 0 0 210 5 0 0 20 0 19 0 29196133 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674916740024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=318] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/318/stat : 318 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29196133 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674915687160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=319] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/319/stat : 319 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29196133 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674914634824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=322] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/322/stat : 322 (java) S 32766 301 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29196150 10060525568 285117 33554432000 1073741824 1073778376 140736385038224 139674911474472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.44
Current children cumulated vsize (KiB) 9824732
[startup+12.0009 s]
/proc/loadavg: 4.17 4.16 3.84 3/216 326
/proc/meminfo: memFree=26927032/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9824732 CPUtime=24.77 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 40210 0 1 0 2438 39 0 0 20 0 19 0 29196127 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2456183 285118 2284 9 0 2446860 0
[pid=301/tid=302] ppid=32766 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) S 32766 301 28285 0 -1 4202560 2464 0 1 0 18 2 0 0 20 0 19 0 29196128 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139675097801592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=304] ppid=32766 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/301/task/304/stat : 304 (java) S 32766 301 28285 0 -1 4202560 72 0 0 0 3 0 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674941782440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=305] ppid=32766 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/301/task/305/stat : 305 (java) S 32766 301 28285 0 -1 4202560 89 0 0 0 2 2 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674940729896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=306] ppid=32766 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/301/task/306/stat : 306 (java) S 32766 301 28285 0 -1 4202560 211 0 0 0 4 2 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674939676840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=307] ppid=32766 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/301/task/307/stat : 307 (java) S 32766 301 28285 0 -1 4202560 130 0 0 0 5 0 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674938624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=308] ppid=32766 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/301/task/308/stat : 308 (java) S 32766 301 28285 0 -1 4202560 161 0 0 0 4 2 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674937572264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=309] ppid=32766 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/301/task/309/stat : 309 (java) S 32766 301 28285 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674936519720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=310] ppid=32766 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/301/task/310/stat : 310 (java) S 32766 301 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674935466664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=311] ppid=32766 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/301/task/311/stat : 311 (java) S 32766 301 28285 0 -1 4202560 182 0 0 0 3 2 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674934414120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=312] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/312/stat : 312 (java) S 32766 301 28285 0 -1 4202560 745 0 0 0 0 0 0 0 20 0 19 0 29196130 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674922002792 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=313] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/313/stat : 313 (java) S 32766 301 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29196130 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674920949112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=314] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/314/stat : 314 (java) S 32766 301 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29196130 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674919895944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=315] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/315/stat : 315 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674918844688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=316] ppid=32766 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/301/task/316/stat : 316 (java) S 32766 301 28285 0 -1 4202560 11821 0 0 0 122 2 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674917792568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=317] ppid=32766 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/301/task/317/stat : 317 (java) S 32766 301 28285 0 -1 4202560 22344 0 0 0 210 5 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674916740024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=318] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/318/stat : 318 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674915687160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=319] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/319/stat : 319 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674914634824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=322] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/322/stat : 322 (java) S 32766 301 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29196150 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674911474472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 9824732
[startup+12.2079 s]
/proc/loadavg: 4.17 4.16 3.84 3/216 331
/proc/meminfo: memFree=26927056/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=9824732 CPUtime=24.77 cores=1,3,5,7
/proc/301/stat : 301 (java) S 32766 301 28285 0 -1 4202496 40210 0 1 0 2438 39 0 0 20 0 19 0 29196127 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 140736385029360 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 2456183 285118 2284 9 0 2446860 0
[pid=301/tid=302] ppid=32766 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) S 32766 301 28285 0 -1 4202560 2464 0 1 0 18 2 0 0 20 0 19 0 29196128 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139675097801592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=304] ppid=32766 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/301/task/304/stat : 304 (java) S 32766 301 28285 0 -1 4202560 72 0 0 0 3 0 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674941782440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=305] ppid=32766 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/301/task/305/stat : 305 (java) S 32766 301 28285 0 -1 4202560 89 0 0 0 2 2 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674940729896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=306] ppid=32766 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/301/task/306/stat : 306 (java) S 32766 301 28285 0 -1 4202560 211 0 0 0 4 2 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674939676840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=307] ppid=32766 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/301/task/307/stat : 307 (java) S 32766 301 28285 0 -1 4202560 130 0 0 0 5 0 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674938624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=308] ppid=32766 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/301/task/308/stat : 308 (java) S 32766 301 28285 0 -1 4202560 161 0 0 0 4 2 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674937572264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=309] ppid=32766 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/301/task/309/stat : 309 (java) S 32766 301 28285 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674936519720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=310] ppid=32766 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/301/task/310/stat : 310 (java) S 32766 301 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674935466664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=311] ppid=32766 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/301/task/311/stat : 311 (java) S 32766 301 28285 0 -1 4202560 182 0 0 0 3 2 0 0 20 0 19 0 29196129 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674934414120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=312] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/312/stat : 312 (java) S 32766 301 28285 0 -1 4202560 745 0 0 0 0 0 0 0 20 0 19 0 29196130 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674922002792 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=313] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/313/stat : 313 (java) S 32766 301 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29196130 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674920949112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=314] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/314/stat : 314 (java) S 32766 301 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29196130 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674919895944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=315] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/315/stat : 315 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674918844688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=301/tid=316] ppid=32766 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/301/task/316/stat : 316 (java) S 32766 301 28285 0 -1 4202560 11821 0 0 0 122 2 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674917792568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=317] ppid=32766 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/301/task/317/stat : 317 (java) S 32766 301 28285 0 -1 4202560 22344 0 0 0 210 5 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674916740024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=301/tid=318] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/318/stat : 318 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674915687160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=301/tid=319] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/319/stat : 319 (java) S 32766 301 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29196133 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674914634824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=301/tid=322] ppid=32766 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/301/task/322/stat : 322 (java) S 32766 301 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29196150 10060525568 285118 33554432000 1073741824 1073778376 140736385038224 139674911474472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 9824732
[startup+12.3008 s]
/proc/loadavg: 4.17 4.16 3.84 3/216 331
/proc/meminfo: memFree=26927056/32872528 swapFree=1534436/1655032
[pid=301] ppid=32766 vsize=0 CPUtime=24.92 cores=1,3,5,7
/proc/301/stat : 301 (java) Z 32766 301 28285 0 -1 4203532 40221 0 1 0 2445 47 0 0 20 0 2 0 29196127 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/301/statm: 0 0 0 0 0 0 0
[pid=301/tid=302] ppid=32766 vsize=0 CPUtime=0.26 cores=1,3,5,7
/proc/301/task/302/stat : 302 (java) R 32766 301 28285 0 -1 4203588 2464 0 1 0 24 2 0 0 20 0 2 0 29196128 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 12.3068
CPU time (s): 24.9392
CPU user time (s): 24.4473
CPU system time (s): 0.491925
CPU usage (%): 202.646
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.4473
system time used= 0.491925
maximum resident set size= 1140624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40221
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= 1042
involuntary context switches= 703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089986 second user time and 0.105983 second system time
The end