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-4100650-1466210655/watcher-4100650-1466210655 -o /tmp/evaluation-result-4100650-1466210655/solver-4100650-1466210655 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15309 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100650-1466210655.opb
pid=19359
running on 8 cores: 4-7,12-15
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: 3.97 4.02 4.00 4/284 19362
/proc/meminfo: memFree=29231616/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=91816 CPUtime=0 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 1283 0 0 0 0 0 0 0 20 0 2 0 23110075 94019584 917 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 22954 917 697 9 0 16769 0
[pid=19362/tid=19363] ppid=19359 vsize=91816 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) D 19359 19362 15292 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 23110076 94019584 917 33554432000 1073741824 1073778376 140734798744304 140151432904232 216799472935 0 0 4096 0 18446744072100756772 0 0 -1 6 0 0 0 0 0
[startup+0.100063 s]
/proc/loadavg: 3.97 4.02 4.00 4/284 19362
/proc/meminfo: memFree=29231616/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=9896436 CPUtime=0.09 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 4474 0 1 0 8 1 0 0 20 0 23 0 23110075 10133950464 6109 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 2474109 6109 2126 9 0 2464786 0
[pid=19362/tid=19363] ppid=19359 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) R 19359 19362 15292 0 -1 4202560 2443 0 1 0 5 1 0 0 20 0 23 0 23110076 10133950464 6109 33554432000 1073741824 1073778376 140734798744304 140151432909144 216812021005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9896436
[startup+0.200279 s]
/proc/loadavg: 3.97 4.02 4.00 4/284 19362
/proc/meminfo: memFree=29231616/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=9896436 CPUtime=0.27 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 4985 0 1 0 26 1 0 0 20 0 23 0 23110075 10133950464 7505 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 2474109 7505 2217 9 0 2464786 0
[pid=19362/tid=19363] ppid=19359 vsize=9896436 CPUtime=0.16 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) R 19359 19362 15292 0 -1 4202560 2456 0 1 0 15 1 0 0 20 0 23 0 23110076 10133950464 7505 33554432000 1073741824 1073778376 140734798744304 140151432909144 140151304936070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9896436
[startup+0.300279 s]
/proc/loadavg: 3.97 4.02 4.00 4/284 19362
/proc/meminfo: memFree=29231616/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=9896436 CPUtime=0.53 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 7236 0 1 0 51 2 0 0 20 0 23 0 23110075 10133950464 10746 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 2474109 10746 2235 9 0 2464786 0
[pid=19362/tid=19363] ppid=19359 vsize=9896436 CPUtime=0.26 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) R 19359 19362 15292 0 -1 4202560 2483 0 1 0 25 1 0 0 20 0 23 0 23110076 10133950464 10746 33554432000 1073741824 1073778376 140734798744304 140151432898648 140151305006412 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9896436
[startup+0.700299 s]
/proc/loadavg: 3.97 4.02 4.00 4/284 19362
/proc/meminfo: memFree=29231616/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=9896436 CPUtime=1.49 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 16119 0 1 0 143 6 0 0 20 0 23 0 23110075 10133950464 42541 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 2474109 42541 2247 9 0 2464786 0
[pid=19362/tid=19363] ppid=19359 vsize=9896436 CPUtime=0.66 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) R 19359 19362 15292 0 -1 4202560 2535 0 1 0 63 3 0 0 20 0 23 0 23110076 10133950464 42541 33554432000 1073741824 1073778376 140734798744304 140151432898648 216812021005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9896436
[startup+1.50091 s]
/proc/loadavg: 4.13 4.05 4.01 4/307 19385
/proc/meminfo: memFree=28968120/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=10162692 CPUtime=3.82 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 18384 0 1 0 328 54 0 0 20 0 27 0 23110075 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 2540673 68367 2274 9 0 2531350 0
[pid=19362/tid=19363] ppid=19359 vsize=10162692 CPUtime=1.1 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) S 19359 19362 15292 0 -1 4202560 2559 0 1 0 107 3 0 0 20 0 27 0 23110076 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151432909688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19365] ppid=19359 vsize=10162692 CPUtime=0.07 cores=4-7,12-15
/proc/19362/task/19365/stat : 19365 (java) S 19359 19362 15292 0 -1 4202560 71 0 0 0 3 4 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151276550952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19366] ppid=19359 vsize=10162692 CPUtime=0.09 cores=4-7,12-15
/proc/19362/task/19366/stat : 19366 (java) S 19359 19362 15292 0 -1 4202560 91 0 0 0 4 5 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151275498152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19367] ppid=19359 vsize=10162692 CPUtime=0.08 cores=4-7,12-15
/proc/19362/task/19367/stat : 19367 (java) S 19359 19362 15292 0 -1 4202560 48 0 0 0 4 4 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151274445864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19368] ppid=19359 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
/proc/19362/task/19368/stat : 19368 (java) S 19359 19362 15292 0 -1 4202560 34 0 0 0 2 4 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151273393064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19362/tid=19369] ppid=19359 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
/proc/19362/task/19369/stat : 19369 (java) S 19359 19362 15292 0 -1 4202560 33 0 0 0 2 4 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151272339752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19370] ppid=19359 vsize=10162692 CPUtime=0.11 cores=4-7,12-15
/proc/19362/task/19370/stat : 19370 (java) S 19359 19362 15292 0 -1 4202560 85 0 0 0 5 6 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151271286952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19362/tid=19371] ppid=19359 vsize=10162692 CPUtime=0.05 cores=4-7,12-15
/proc/19362/task/19371/stat : 19371 (java) S 19359 19362 15292 0 -1 4202560 27 0 0 0 2 3 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151270234664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19372] ppid=19359 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
/proc/19362/task/19372/stat : 19372 (java) S 19359 19362 15292 0 -1 4202560 32 0 0 0 2 4 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151269181864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19362/tid=19373] ppid=19359 vsize=10162692 CPUtime=0.05 cores=4-7,12-15
/proc/19362/task/19373/stat : 19373 (java) S 19359 19362 15292 0 -1 4202560 61 0 0 0 2 3 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151268129576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19374] ppid=19359 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/19362/task/19374/stat : 19374 (java) S 19359 19362 15292 0 -1 4202560 92 0 0 0 2 2 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151267076776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19362/tid=19375] ppid=19359 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/19362/task/19375/stat : 19375 (java) S 19359 19362 15292 0 -1 4202560 64 0 0 0 1 3 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151266024488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19362/tid=19376] ppid=19359 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/19362/task/19376/stat : 19376 (java) S 19359 19362 15292 0 -1 4202560 64 0 0 0 1 3 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151264971688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19377] ppid=19359 vsize=10162692 CPUtime=0.08 cores=4-7,12-15
/proc/19362/task/19377/stat : 19377 (java) S 19359 19362 15292 0 -1 4202560 77 0 0 0 4 4 0 0 20 0 27 0 23110077 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151263918376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19378] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19378/stat : 19378 (java) S 19359 19362 15292 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151246456936 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19379] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19379/stat : 19379 (java) S 19359 19362 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151245403512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19380] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19380/stat : 19380 (java) S 19359 19362 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151244350600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19381] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19381/stat : 19381 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151243299600 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19382] ppid=19359 vsize=10162692 CPUtime=0.72 cores=4-7,12-15
/proc/19362/task/19382/stat : 19382 (java) R 19359 19362 15292 0 -1 4202560 9006 0 0 0 70 2 0 0 20 0 27 0 23110081 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151242234080 140151439710776 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19383] ppid=19359 vsize=10162692 CPUtime=0.49 cores=4-7,12-15
/proc/19362/task/19383/stat : 19383 (java) R 19359 19362 15292 0 -1 4202560 4657 0 0 0 49 0 0 0 20 0 27 0 23110081 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151241194424 140151440672504 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19384] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19384/stat : 19384 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151240141816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19385] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19385/stat : 19385 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 68367 33554432000 1073741824 1073778376 140734798744304 140151239088712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 10162692
[startup+3.10111 s]
/proc/loadavg: 4.13 4.05 4.01 5/311 19389
/proc/meminfo: memFree=28888456/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=10162692 CPUtime=8.33 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 22890 0 1 0 751 82 0 0 20 0 27 0 23110075 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 2540673 107196 2279 9 0 2531350 0
[pid=19362/tid=19363] ppid=19359 vsize=10162692 CPUtime=1.1 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) S 19359 19362 15292 0 -1 4202560 2559 0 1 0 107 3 0 0 20 0 27 0 23110076 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151432909688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19365] ppid=19359 vsize=10162692 CPUtime=0.1 cores=4-7,12-15
/proc/19362/task/19365/stat : 19365 (java) S 19359 19362 15292 0 -1 4202560 83 0 0 0 5 5 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151276550952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19366] ppid=19359 vsize=10162692 CPUtime=0.16 cores=4-7,12-15
/proc/19362/task/19366/stat : 19366 (java) S 19359 19362 15292 0 -1 4202560 120 0 0 0 8 8 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151275498152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19367] ppid=19359 vsize=10162692 CPUtime=0.1 cores=4-7,12-15
/proc/19362/task/19367/stat : 19367 (java) S 19359 19362 15292 0 -1 4202560 57 0 0 0 5 5 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151274445864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19368] ppid=19359 vsize=10162692 CPUtime=0.13 cores=4-7,12-15
/proc/19362/task/19368/stat : 19368 (java) S 19359 19362 15292 0 -1 4202560 63 0 0 0 7 6 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151273393064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19362/tid=19369] ppid=19359 vsize=10162692 CPUtime=0.12 cores=4-7,12-15
/proc/19362/task/19369/stat : 19369 (java) S 19359 19362 15292 0 -1 4202560 55 0 0 0 6 6 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151272339752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19370] ppid=19359 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/19362/task/19370/stat : 19370 (java) S 19359 19362 15292 0 -1 4202560 118 0 0 0 8 7 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151271286952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19362/tid=19371] ppid=19359 vsize=10162692 CPUtime=0.08 cores=4-7,12-15
/proc/19362/task/19371/stat : 19371 (java) S 19359 19362 15292 0 -1 4202560 40 0 0 0 4 4 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151270234664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19372] ppid=19359 vsize=10162692 CPUtime=0.08 cores=4-7,12-15
/proc/19362/task/19372/stat : 19372 (java) S 19359 19362 15292 0 -1 4202560 41 0 0 0 4 4 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151269181864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19373] ppid=19359 vsize=10162692 CPUtime=0.09 cores=4-7,12-15
/proc/19362/task/19373/stat : 19373 (java) S 19359 19362 15292 0 -1 4202560 77 0 0 0 4 5 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151268129576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19374] ppid=19359 vsize=10162692 CPUtime=0.08 cores=4-7,12-15
/proc/19362/task/19374/stat : 19374 (java) S 19359 19362 15292 0 -1 4202560 103 0 0 0 4 4 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151267076776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19362/tid=19375] ppid=19359 vsize=10162692 CPUtime=0.08 cores=4-7,12-15
/proc/19362/task/19375/stat : 19375 (java) S 19359 19362 15292 0 -1 4202560 74 0 0 0 4 4 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151266024488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19362/tid=19376] ppid=19359 vsize=10162692 CPUtime=0.12 cores=4-7,12-15
/proc/19362/task/19376/stat : 19376 (java) S 19359 19362 15292 0 -1 4202560 103 0 0 0 6 6 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151264971688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19377] ppid=19359 vsize=10162692 CPUtime=0.12 cores=4-7,12-15
/proc/19362/task/19377/stat : 19377 (java) S 19359 19362 15292 0 -1 4202560 89 0 0 0 6 6 0 0 20 0 27 0 23110077 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151263918376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19378] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19378/stat : 19378 (java) S 19359 19362 15292 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151246456936 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19379] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19379/stat : 19379 (java) S 19359 19362 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151245403512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19380] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19380/stat : 19380 (java) S 19359 19362 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151244350600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19381] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19381/stat : 19381 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151243299600 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19382] ppid=19359 vsize=10162692 CPUtime=1.18 cores=4-7,12-15
/proc/19362/task/19382/stat : 19382 (java) S 19359 19362 15292 0 -1 4202560 9010 0 0 0 116 2 0 0 20 0 27 0 23110081 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151242246712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19383] ppid=19359 vsize=10162692 CPUtime=0.9 cores=4-7,12-15
/proc/19362/task/19383/stat : 19383 (java) S 19359 19362 15292 0 -1 4202560 8732 0 0 0 88 2 0 0 20 0 27 0 23110081 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151241194424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19384] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19384/stat : 19384 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151240141816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19385] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19385/stat : 19385 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151239088712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19386] ppid=19359 vsize=10162692 CPUtime=1.73 cores=4-7,12-15
/proc/19362/task/19386/stat : 19386 (java) R 19359 19362 15292 0 -1 4202560 32 0 0 0 173 0 0 0 20 0 27 0 23110202 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151237935624 140151305743160 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=19362/tid=19387] ppid=19359 vsize=10162692 CPUtime=1.74 cores=4-7,12-15
/proc/19362/task/19387/stat : 19387 (java) R 19359 19362 15292 0 -1 4202560 71 0 0 0 172 2 0 0 20 0 27 0 23110202 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151236882312 140151306059710 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=19362/tid=19388] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19388/stat : 19388 (java) S 19359 19362 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23110214 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151235830824 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19389] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19389/stat : 19389 (java) S 19359 19362 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23110217 10406596608 107196 33554432000 1073741824 1073778376 140734798744304 140151234778536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (KiB) 10162692
[startup+6.30114 s]
/proc/loadavg: 4.12 4.05 4.01 5/311 19389
/proc/meminfo: memFree=28740632/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=10162692 CPUtime=15.52 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 25315 0 1 0 1456 96 0 0 20 0 27 0 23110075 10406596608 160801 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 2540673 160801 2283 9 0 2531350 0
[pid=19362/tid=19363] ppid=19359 vsize=10162692 CPUtime=1.1 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) S 19359 19362 15292 0 -1 4202560 2560 0 1 0 107 3 0 0 20 0 27 0 23110076 10406596608 160801 33554432000 1073741824 1073778376 140734798744304 140151432909688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19365] ppid=19359 vsize=10162692 CPUtime=0.12 cores=4-7,12-15
/proc/19362/task/19365/stat : 19365 (java) S 19359 19362 15292 0 -1 4202560 89 0 0 0 7 5 0 0 20 0 27 0 23110077 10406596608 160801 33554432000 1073741824 1073778376 140734798744304 140151276550952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19366] ppid=19359 vsize=10162692 CPUtime=0.18 cores=4-7,12-15
################
# More data... #
################
/proc/19362/task/19382/stat : 19382 (java) S 19359 19362 15292 0 -1 4202560 11019 0 0 0 181 3 0 0 20 0 27 0 23110081 10406596608 751751 33554432000 1073741824 1073778376 140734798744304 140151242246712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19383] ppid=19359 vsize=10162692 CPUtime=0.98 cores=4-7,12-15
/proc/19362/task/19383/stat : 19383 (java) S 19359 19362 15292 0 -1 4202560 8736 0 0 0 96 2 0 0 20 0 27 0 23110081 10406596608 751751 33554432000 1073741824 1073778376 140734798744304 140151241194424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19384] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19384/stat : 19384 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 751751 33554432000 1073741824 1073778376 140734798744304 140151240141816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19385] ppid=19359 vsize=10162692 CPUtime=0.21 cores=4-7,12-15
/proc/19362/task/19385/stat : 19385 (java) S 19359 19362 15292 0 -1 4202560 47 0 0 0 7 14 0 0 20 0 27 0 23110081 10406596608 751751 33554432000 1073741824 1073778376 140734798744304 140151239088712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19386] ppid=19359 vsize=10162692 CPUtime=816.95 cores=4-7,12-15
/proc/19362/task/19386/stat : 19386 (java) R 19359 19362 15292 0 -1 4202560 339 0 0 0 81672 23 0 0 20 0 27 0 23110202 10406596608 751751 33554432000 1073741824 1073778376 140734798744304 140151237926544 140151305742912 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19387] ppid=19359 vsize=10162692 CPUtime=817.05 cores=4-7,12-15
/proc/19362/task/19387/stat : 19387 (java) R 19359 19362 15292 0 -1 4202560 1397 0 0 0 81671 34 0 0 20 0 27 0 23110202 10406596608 751751 33554432000 1073741824 1073778376 140734798744304 140151236880752 140151306032571 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=19362/tid=19388] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19388/stat : 19388 (java) S 19359 19362 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23110214 10406596608 751751 33554432000 1073741824 1073778376 140734798744304 140151235830824 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19389] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19389/stat : 19389 (java) S 19359 19362 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23110217 10406596608 751751 33554432000 1073741824 1073778376 140734798744304 140151234778536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1652.21
Current children cumulated vsize (KiB) 10162692
[startup+882.312 s]
/proc/loadavg: 3.92 4.05 4.04 5/311 19493
/proc/meminfo: memFree=26627464/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=10162692 CPUtime=1772.19 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 31002 0 1 0 176792 427 0 0 20 0 27 0 23110075 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 2540673 750886 2292 9 0 2531350 0
[pid=19362/tid=19363] ppid=19359 vsize=10162692 CPUtime=1.14 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) S 19359 19362 15292 0 -1 4202560 2566 0 1 0 109 5 0 0 20 0 27 0 23110076 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151432909688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19365] ppid=19359 vsize=10162692 CPUtime=0.73 cores=4-7,12-15
/proc/19362/task/19365/stat : 19365 (java) S 19359 19362 15292 0 -1 4202560 283 0 0 0 44 29 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151276550952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19366] ppid=19359 vsize=10162692 CPUtime=0.64 cores=4-7,12-15
/proc/19362/task/19366/stat : 19366 (java) S 19359 19362 15292 0 -1 4202560 336 0 0 0 41 23 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151275498152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19367] ppid=19359 vsize=10162692 CPUtime=0.61 cores=4-7,12-15
/proc/19362/task/19367/stat : 19367 (java) S 19359 19362 15292 0 -1 4202560 256 0 0 0 38 23 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151274445864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19368] ppid=19359 vsize=10162692 CPUtime=0.94 cores=4-7,12-15
/proc/19362/task/19368/stat : 19368 (java) S 19359 19362 15292 0 -1 4202560 337 0 0 0 60 34 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151273393064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19369] ppid=19359 vsize=10162692 CPUtime=0.81 cores=4-7,12-15
/proc/19362/task/19369/stat : 19369 (java) S 19359 19362 15292 0 -1 4202560 275 0 0 0 54 27 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151272339752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19370] ppid=19359 vsize=10162692 CPUtime=0.84 cores=4-7,12-15
/proc/19362/task/19370/stat : 19370 (java) S 19359 19362 15292 0 -1 4202560 327 0 0 0 53 31 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151271286952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19371] ppid=19359 vsize=10162692 CPUtime=0.7 cores=4-7,12-15
/proc/19362/task/19371/stat : 19371 (java) S 19359 19362 15292 0 -1 4202560 271 0 0 0 46 24 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151270234664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19372] ppid=19359 vsize=10162692 CPUtime=0.82 cores=4-7,12-15
/proc/19362/task/19372/stat : 19372 (java) S 19359 19362 15292 0 -1 4202560 286 0 0 0 51 31 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151269181864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19362/tid=19373] ppid=19359 vsize=10162692 CPUtime=0.7 cores=4-7,12-15
/proc/19362/task/19373/stat : 19373 (java) S 19359 19362 15292 0 -1 4202560 322 0 0 0 43 27 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151268129576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19374] ppid=19359 vsize=10162692 CPUtime=0.79 cores=4-7,12-15
/proc/19362/task/19374/stat : 19374 (java) S 19359 19362 15292 0 -1 4202560 353 0 0 0 48 31 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151267076776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19362/tid=19375] ppid=19359 vsize=10162692 CPUtime=1.03 cores=4-7,12-15
/proc/19362/task/19375/stat : 19375 (java) S 19359 19362 15292 0 -1 4202560 377 0 0 0 66 37 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151266024488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19376] ppid=19359 vsize=10162692 CPUtime=0.79 cores=4-7,12-15
/proc/19362/task/19376/stat : 19376 (java) S 19359 19362 15292 0 -1 4202560 355 0 0 0 51 28 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151264971688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19362/tid=19377] ppid=19359 vsize=10162692 CPUtime=0.7 cores=4-7,12-15
/proc/19362/task/19377/stat : 19377 (java) S 19359 19362 15292 0 -1 4202560 283 0 0 0 45 25 0 0 20 0 27 0 23110077 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151263918376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19378] ppid=19359 vsize=10162692 CPUtime=1.55 cores=4-7,12-15
/proc/19362/task/19378/stat : 19378 (java) S 19359 19362 15292 0 -1 4202560 1567 0 0 0 155 0 0 0 20 0 27 0 23110078 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151246456936 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19379] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19379/stat : 19379 (java) S 19359 19362 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151245403512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19380] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19380/stat : 19380 (java) S 19359 19362 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151244350600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19381] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19381/stat : 19381 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151243299600 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19382] ppid=19359 vsize=10162692 CPUtime=1.84 cores=4-7,12-15
/proc/19362/task/19382/stat : 19382 (java) S 19359 19362 15292 0 -1 4202560 11019 0 0 0 181 3 0 0 20 0 27 0 23110081 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151242246712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19383] ppid=19359 vsize=10162692 CPUtime=0.98 cores=4-7,12-15
/proc/19362/task/19383/stat : 19383 (java) S 19359 19362 15292 0 -1 4202560 8736 0 0 0 96 2 0 0 20 0 27 0 23110081 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151241194424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19384] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19384/stat : 19384 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151240141816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19385] ppid=19359 vsize=10162692 CPUtime=0.22 cores=4-7,12-15
/proc/19362/task/19385/stat : 19385 (java) S 19359 19362 15292 0 -1 4202560 51 0 0 0 8 14 0 0 20 0 27 0 23110081 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151239088712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19386] ppid=19359 vsize=10162692 CPUtime=875.89 cores=4-7,12-15
/proc/19362/task/19386/stat : 19386 (java) R 19359 19362 15292 0 -1 4202560 339 0 0 0 87565 24 0 0 20 0 27 0 23110202 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151237933472 140151305815288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19387] ppid=19359 vsize=10162692 CPUtime=876 cores=4-7,12-15
/proc/19362/task/19387/stat : 19387 (java) R 19359 19362 15292 0 -1 4202560 1398 0 0 0 87565 35 0 0 20 0 27 0 23110202 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151236881904 140151305546316 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19388] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19388/stat : 19388 (java) S 19359 19362 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23110214 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151235830824 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19389] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19389/stat : 19389 (java) S 19359 19362 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23110217 10406596608 750886 33554432000 1073741824 1073778376 140734798744304 140151234778536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1772.19
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.201 s]
/proc/loadavg: 3.93 4.05 4.04 5/311 19493
/proc/meminfo: memFree=26515448/32872528 swapFree=7804/7804
[pid=19362] ppid=19359 vsize=10162692 CPUtime=1800.12 cores=4-7,12-15
/proc/19362/stat : 19362 (java) S 19359 19362 15292 0 -1 4202496 31003 0 1 0 179585 427 0 0 20 0 27 0 23110075 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140734798735440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19362/statm: 2540673 738702 2292 9 0 2531350 0
[pid=19362/tid=19363] ppid=19359 vsize=10162692 CPUtime=1.14 cores=4-7,12-15
/proc/19362/task/19363/stat : 19363 (java) S 19359 19362 15292 0 -1 4202560 2566 0 1 0 109 5 0 0 20 0 27 0 23110076 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151432909688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19365] ppid=19359 vsize=10162692 CPUtime=0.74 cores=4-7,12-15
/proc/19362/task/19365/stat : 19365 (java) S 19359 19362 15292 0 -1 4202560 283 0 0 0 45 29 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151276550952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19366] ppid=19359 vsize=10162692 CPUtime=0.65 cores=4-7,12-15
/proc/19362/task/19366/stat : 19366 (java) S 19359 19362 15292 0 -1 4202560 336 0 0 0 42 23 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151275498152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19362/tid=19367] ppid=19359 vsize=10162692 CPUtime=0.62 cores=4-7,12-15
/proc/19362/task/19367/stat : 19367 (java) S 19359 19362 15292 0 -1 4202560 256 0 0 0 39 23 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151274445864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19368] ppid=19359 vsize=10162692 CPUtime=0.97 cores=4-7,12-15
/proc/19362/task/19368/stat : 19368 (java) S 19359 19362 15292 0 -1 4202560 337 0 0 0 63 34 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151273393064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19362/tid=19369] ppid=19359 vsize=10162692 CPUtime=0.83 cores=4-7,12-15
/proc/19362/task/19369/stat : 19369 (java) S 19359 19362 15292 0 -1 4202560 275 0 0 0 56 27 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151272339752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19370] ppid=19359 vsize=10162692 CPUtime=0.85 cores=4-7,12-15
/proc/19362/task/19370/stat : 19370 (java) S 19359 19362 15292 0 -1 4202560 327 0 0 0 54 31 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151271286952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19371] ppid=19359 vsize=10162692 CPUtime=0.73 cores=4-7,12-15
/proc/19362/task/19371/stat : 19371 (java) S 19359 19362 15292 0 -1 4202560 271 0 0 0 49 24 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151270234664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19372] ppid=19359 vsize=10162692 CPUtime=0.85 cores=4-7,12-15
/proc/19362/task/19372/stat : 19372 (java) S 19359 19362 15292 0 -1 4202560 286 0 0 0 54 31 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151269181864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19362/tid=19373] ppid=19359 vsize=10162692 CPUtime=0.72 cores=4-7,12-15
/proc/19362/task/19373/stat : 19373 (java) S 19359 19362 15292 0 -1 4202560 322 0 0 0 45 27 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151268129576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19374] ppid=19359 vsize=10162692 CPUtime=0.82 cores=4-7,12-15
/proc/19362/task/19374/stat : 19374 (java) S 19359 19362 15292 0 -1 4202560 353 0 0 0 51 31 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151267076776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19362/tid=19375] ppid=19359 vsize=10162692 CPUtime=1.04 cores=4-7,12-15
/proc/19362/task/19375/stat : 19375 (java) S 19359 19362 15292 0 -1 4202560 377 0 0 0 67 37 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151266024488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19376] ppid=19359 vsize=10162692 CPUtime=0.8 cores=4-7,12-15
/proc/19362/task/19376/stat : 19376 (java) S 19359 19362 15292 0 -1 4202560 355 0 0 0 52 28 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151264971688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19362/tid=19377] ppid=19359 vsize=10162692 CPUtime=0.71 cores=4-7,12-15
/proc/19362/task/19377/stat : 19377 (java) S 19359 19362 15292 0 -1 4202560 283 0 0 0 46 25 0 0 20 0 27 0 23110077 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151263918376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19378] ppid=19359 vsize=10162692 CPUtime=1.55 cores=4-7,12-15
/proc/19362/task/19378/stat : 19378 (java) S 19359 19362 15292 0 -1 4202560 1567 0 0 0 155 0 0 0 20 0 27 0 23110078 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151246456936 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19379] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19379/stat : 19379 (java) S 19359 19362 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151245403512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19380] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19380/stat : 19380 (java) S 19359 19362 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23110078 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151244350600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19381] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19381/stat : 19381 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151243299600 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19362/tid=19382] ppid=19359 vsize=10162692 CPUtime=1.84 cores=4-7,12-15
/proc/19362/task/19382/stat : 19382 (java) S 19359 19362 15292 0 -1 4202560 11019 0 0 0 181 3 0 0 20 0 27 0 23110081 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151242246712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19362/tid=19383] ppid=19359 vsize=10162692 CPUtime=0.98 cores=4-7,12-15
/proc/19362/task/19383/stat : 19383 (java) S 19359 19362 15292 0 -1 4202560 8736 0 0 0 96 2 0 0 20 0 27 0 23110081 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151241194424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19384] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19384/stat : 19384 (java) S 19359 19362 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23110081 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151240141816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19362/tid=19385] ppid=19359 vsize=10162692 CPUtime=0.23 cores=4-7,12-15
/proc/19362/task/19385/stat : 19385 (java) S 19359 19362 15292 0 -1 4202560 51 0 0 0 8 15 0 0 20 0 27 0 23110081 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151239088712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19362/tid=19386] ppid=19359 vsize=10162692 CPUtime=889.72 cores=4-7,12-15
/proc/19362/task/19386/stat : 19386 (java) R 19359 19362 15292 0 -1 4202560 339 0 0 0 88948 24 0 0 20 0 27 0 23110202 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151237933472 140151305743035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19387] ppid=19359 vsize=10162692 CPUtime=889.82 cores=4-7,12-15
/proc/19362/task/19387/stat : 19387 (java) R 19359 19362 15292 0 -1 4202560 1399 0 0 0 88947 35 0 0 20 0 27 0 23110202 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151236881744 140151305757892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19362/tid=19388] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19388/stat : 19388 (java) S 19359 19362 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23110214 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151235830824 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19362/tid=19389] ppid=19359 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19362/task/19389/stat : 19389 (java) S 19359 19362 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23110217 10406596608 738702 33554432000 1073741824 1073778376 140734798744304 140151234778536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10162692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19362 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19362 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=340674
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=760276
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 896.248
CPU time (s): 1800.12
CPU user time (s): 1795.85
CPU system time (s): 4.27
CPU usage (%): 200.851
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.34
system time used= 4.76028
maximum resident set size= 3064596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31049
page faults= 1
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22062
involuntary context switches= 13245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.68368 second user time and 8.59869 second system time
The end