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-4096047-1466101729/watcher-4096047-1466101729 -o /tmp/evaluation-result-4096047-1466101729/solver-4096047-1466101729 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466098131-17934 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4096047-1466101729.opb
pid=18519
running on 8 cores: 0-3,8-11
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: 2.00 2.00 2.06 3/281 18522
/proc/meminfo: memFree=31821556/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=89736 CPUtime=0 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 1231 0 0 0 0 0 0 0 20 0 2 0 12217546 91889664 873 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 4096 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 22434 882 667 9 0 16769 0
[pid=18522/tid=18523] ppid=18519 vsize=91880 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 2 0 12217547 94085120 906 33554432000 1073741824 1073778376 140734203800336 140734203789400 216799474538 0 0 4096 0 0 0 0 -1 9 0 0 0 0 0
[startup+0.100146 s]
/proc/loadavg: 2.00 2.00 2.06 3/281 18522
/proc/meminfo: memFree=31821556/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=9896436 CPUtime=0.1 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 4453 0 1 0 8 2 0 0 20 0 23 0 12217546 10133950464 6077 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 2474109 6077 2125 9 0 2464786 0
[pid=18522/tid=18523] ppid=18519 vsize=9896436 CPUtime=0.06 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 2411 0 1 0 5 1 0 0 20 0 23 0 12217547 10133950464 6077 33554432000 1073741824 1073778376 140734203800336 140269092289440 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9896436
[startup+0.200271 s]
/proc/loadavg: 2.00 2.00 2.06 3/281 18522
/proc/meminfo: memFree=31821556/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=9963000 CPUtime=0.29 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 7389 0 1 0 27 2 0 0 20 0 24 0 12217546 10202112000 7932 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 2490750 7932 2223 9 0 2481427 0
[pid=18522/tid=18523] ppid=18519 vsize=9963000 CPUtime=0.16 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 2437 0 1 0 15 1 0 0 20 0 24 0 12217547 10202112000 7932 33554432000 1073741824 1073778376 140734203800336 140269092291200 140268951146093 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9963000
[startup+0.300269 s]
/proc/loadavg: 2.00 2.00 2.06 3/281 18522
/proc/meminfo: memFree=31821556/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=9963000 CPUtime=0.56 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 8432 0 1 0 53 3 0 0 20 0 24 0 12217546 10202112000 8435 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 2490750 8435 2233 9 0 2481427 0
[pid=18522/tid=18523] ppid=18519 vsize=9963000 CPUtime=0.26 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 2443 0 1 0 25 1 0 0 20 0 24 0 12217547 10202112000 8435 33554432000 1073741824 1073778376 140734203800336 140269092290744 140268951481324 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9963000
[startup+0.700305 s]
/proc/loadavg: 2.00 2.00 2.06 3/281 18522
/proc/meminfo: memFree=31821556/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=9963000 CPUtime=1.16 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 9767 0 1 0 113 3 0 0 20 0 24 0 12217546 10202112000 9061 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 2490750 9061 2246 9 0 2481427 0
[pid=18522/tid=18523] ppid=18519 vsize=9963000 CPUtime=0.66 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 2444 0 1 0 65 1 0 0 20 0 24 0 12217547 10202112000 9061 33554432000 1073741824 1073778376 140734203800336 140269092290744 140268951572278 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9963000
[startup+1.50091 s]
/proc/loadavg: 2.00 2.00 2.06 3/305 18546
/proc/meminfo: memFree=31790624/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=9963000 CPUtime=1.97 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 9772 0 1 0 194 3 0 0 20 0 24 0 12217546 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 2490750 9576 2248 9 0 2481427 0
[pid=18522/tid=18523] ppid=18519 vsize=9963000 CPUtime=1.46 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 2446 0 1 0 145 1 0 0 20 0 24 0 12217547 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140269092282064 140268951520691 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18525] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18525/stat : 18525 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140269070392104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18522/tid=18526] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18526/stat : 18526 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268867152552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18527] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18527/stat : 18527 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268866100264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18528] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18528/stat : 18528 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268865047464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18529] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18529/stat : 18529 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268863994152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18530] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18530/stat : 18530 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268862941352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18531] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18531/stat : 18531 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268861889064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18532] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18532/stat : 18532 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268860836264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18533] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18533/stat : 18533 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268859783976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18534] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18534/stat : 18534 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268858731176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18522/tid=18535] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18535/stat : 18535 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268857678888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18536] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18536/stat : 18536 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268856626088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18522/tid=18537] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18537/stat : 18537 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268855572776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18538] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18538/stat : 18538 (java) S 18519 18522 17918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268838111336 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18522/tid=18539] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18539/stat : 18539 (java) S 18519 18522 17918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268837057912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18540] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18540/stat : 18540 (java) S 18519 18522 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268836005000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18541] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18541/stat : 18541 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268834954000 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18542] ppid=18519 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/18522/task/18542/stat : 18542 (java) S 18519 18522 17918 0 -1 4202560 3170 0 0 0 22 0 0 0 20 0 24 0 12217553 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268833901112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18543] ppid=18519 vsize=9963000 CPUtime=0.24 cores=0-3,8-11
/proc/18522/task/18543/stat : 18543 (java) S 18519 18522 17918 0 -1 4202560 2868 0 0 0 24 0 0 0 20 0 24 0 12217553 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268832848824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18544] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18544/stat : 18544 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268831796216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18545] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18545/stat : 18545 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268830743112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18546] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18546/stat : 18546 (java) S 18519 18522 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12217560 10202112000 9576 33554432000 1073741824 1073778376 140734203800336 140268829688616 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9963000
[startup+3.10092 s]
/proc/loadavg: 2.00 2.00 2.06 3/305 18546
/proc/meminfo: memFree=31788384/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=9963000 CPUtime=3.58 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 9775 0 1 0 355 3 0 0 20 0 24 0 12217546 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 2490750 10601 2248 9 0 2481427 0
[pid=18522/tid=18523] ppid=18519 vsize=9963000 CPUtime=3.05 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 2448 0 1 0 304 1 0 0 20 0 24 0 12217547 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140269092282064 140268951572278 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18525] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18525/stat : 18525 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140269070392104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18522/tid=18526] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18526/stat : 18526 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268867152552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18527] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18527/stat : 18527 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268866100264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18528] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18528/stat : 18528 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268865047464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18529] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18529/stat : 18529 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268863994152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18530] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18530/stat : 18530 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268862941352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18531] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18531/stat : 18531 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268861889064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18532] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18532/stat : 18532 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268860836264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18533] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18533/stat : 18533 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268859783976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18534] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18534/stat : 18534 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268858731176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18522/tid=18535] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18535/stat : 18535 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268857678888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18536] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18536/stat : 18536 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268856626088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18522/tid=18537] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18537/stat : 18537 (java) S 18519 18522 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268855572776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18538] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18538/stat : 18538 (java) S 18519 18522 17918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268838111336 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18522/tid=18539] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18539/stat : 18539 (java) S 18519 18522 17918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268837057912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18540] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18540/stat : 18540 (java) S 18519 18522 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268836005000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18541] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18541/stat : 18541 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268834954000 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18542] ppid=18519 vsize=9963000 CPUtime=0.24 cores=0-3,8-11
/proc/18522/task/18542/stat : 18542 (java) S 18519 18522 17918 0 -1 4202560 3171 0 0 0 24 0 0 0 20 0 24 0 12217553 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268833901112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18543] ppid=18519 vsize=9963000 CPUtime=0.24 cores=0-3,8-11
/proc/18522/task/18543/stat : 18543 (java) S 18519 18522 17918 0 -1 4202560 2868 0 0 0 24 0 0 0 20 0 24 0 12217553 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268832848824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18544] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18544/stat : 18544 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268831796216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18545] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18545/stat : 18545 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268830743112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18546] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18546/stat : 18546 (java) S 18519 18522 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12217560 10202112000 10601 33554432000 1073741824 1073778376 140734203800336 140268829688616 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 9963000
[startup+6.30094 s]
/proc/loadavg: 2.00 2.00 2.06 3/305 18546
/proc/meminfo: memFree=31783944/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=9963000 CPUtime=6.78 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 9779 0 1 0 675 3 0 0 20 0 24 0 12217546 10202112000 11498 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 2490750 11498 2249 9 0 2481427 0
[pid=18522/tid=18523] ppid=18519 vsize=9963000 CPUtime=6.25 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 2451 0 1 0 624 1 0 0 20 0 24 0 12217547 10202112000 11498 33554432000 1073741824 1073778376 140734203800336 140269092282064 140268951572196 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18525] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18525/stat : 18525 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 11498 33554432000 1073741824 1073778376 140734203800336 140269070392104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18522/tid=18526] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18526/stat : 18526 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 11498 33554432000 1073741824 1073778376 140734203800336 140268867152552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18527] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18527/stat : 18527 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 11498 33554432000 1073741824 1073778376 140734203800336 140268866100264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18528] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
################
# More data... #
################
/proc/18522/task/18533/stat : 18533 (java) S 18519 18522 17918 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268859783976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18534] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18534/stat : 18534 (java) S 18519 18522 17918 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268858731176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18535] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18535/stat : 18535 (java) S 18519 18522 17918 0 -1 4202560 12 0 0 0 0 1 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268857678888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18536] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18536/stat : 18536 (java) S 18519 18522 17918 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268856626088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18537] ppid=18519 vsize=9963000 CPUtime=0.03 cores=0-3,8-11
/proc/18522/task/18537/stat : 18537 (java) S 18519 18522 17918 0 -1 4202560 15 0 0 0 2 1 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268855572776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18538] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18538/stat : 18538 (java) S 18519 18522 17918 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 24 0 12217550 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268838111336 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18539] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18539/stat : 18539 (java) S 18519 18522 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268837057912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18540] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18540/stat : 18540 (java) S 18519 18522 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268836005000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18541] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18541/stat : 18541 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268834954000 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18542] ppid=18519 vsize=9963000 CPUtime=0.24 cores=0-3,8-11
/proc/18522/task/18542/stat : 18542 (java) S 18519 18522 17918 0 -1 4202560 3171 0 0 0 24 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268833901112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18543] ppid=18519 vsize=9963000 CPUtime=0.26 cores=0-3,8-11
/proc/18522/task/18543/stat : 18543 (java) S 18519 18522 17918 0 -1 4202560 2871 0 0 0 26 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268832848824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18544] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18544/stat : 18544 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268831796216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18545] ppid=18519 vsize=9963000 CPUtime=0.59 cores=0-3,8-11
/proc/18522/task/18545/stat : 18545 (java) S 18519 18522 17918 0 -1 4202560 100 0 0 0 35 24 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268830743112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18546] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18546/stat : 18546 (java) S 18519 18522 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12217560 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268829688616 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1723.49
Current children cumulated vsize (KiB) 9963000
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/305 18662
/proc/meminfo: memFree=31610036/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=9963000 CPUtime=1783.5 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 10061 0 1 0 178307 43 0 0 20 0 24 0 12217546 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 2490750 52238 2263 9 0 2481427 0
[pid=18522/tid=18523] ppid=18519 vsize=9963000 CPUtime=1777.65 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 2512 0 1 0 177734 31 0 0 20 0 24 0 12217547 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140269092282064 140268951572278 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18525] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18525/stat : 18525 (java) S 18519 18522 17918 0 -1 4202560 9 0 0 0 0 2 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140269070392104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18522/tid=18526] ppid=18519 vsize=9963000 CPUtime=0.03 cores=0-3,8-11
/proc/18522/task/18526/stat : 18526 (java) S 18519 18522 17918 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268867152552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18527] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18527/stat : 18527 (java) S 18519 18522 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268866100264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18528] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18528/stat : 18528 (java) S 18519 18522 17918 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268865047464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18529] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18529/stat : 18529 (java) S 18519 18522 17918 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268863994152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18530] ppid=18519 vsize=9963000 CPUtime=0.03 cores=0-3,8-11
/proc/18522/task/18530/stat : 18530 (java) S 18519 18522 17918 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268862941352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18531] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18531/stat : 18531 (java) S 18519 18522 17918 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268861889064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18522/tid=18532] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18532/stat : 18532 (java) S 18519 18522 17918 0 -1 4202560 10 0 0 0 0 1 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268860836264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18522/tid=18533] ppid=18519 vsize=9963000 CPUtime=0.03 cores=0-3,8-11
/proc/18522/task/18533/stat : 18533 (java) S 18519 18522 17918 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268859783976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18534] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18534/stat : 18534 (java) S 18519 18522 17918 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268858731176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18535] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18535/stat : 18535 (java) S 18519 18522 17918 0 -1 4202560 12 0 0 0 0 1 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268857678888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18536] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18536/stat : 18536 (java) S 18519 18522 17918 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268856626088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18537] ppid=18519 vsize=9963000 CPUtime=0.03 cores=0-3,8-11
/proc/18522/task/18537/stat : 18537 (java) S 18519 18522 17918 0 -1 4202560 15 0 0 0 2 1 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268855572776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18538] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18538/stat : 18538 (java) S 18519 18522 17918 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 24 0 12217550 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268838111336 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18539] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18539/stat : 18539 (java) S 18519 18522 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268837057912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18540] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18540/stat : 18540 (java) S 18519 18522 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268836005000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18541] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18541/stat : 18541 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268834954000 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18542] ppid=18519 vsize=9963000 CPUtime=0.24 cores=0-3,8-11
/proc/18522/task/18542/stat : 18542 (java) S 18519 18522 17918 0 -1 4202560 3171 0 0 0 24 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268833901112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18543] ppid=18519 vsize=9963000 CPUtime=0.26 cores=0-3,8-11
/proc/18522/task/18543/stat : 18543 (java) S 18519 18522 17918 0 -1 4202560 2871 0 0 0 26 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268832848824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18544] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18544/stat : 18544 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268831796216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18545] ppid=18519 vsize=9963000 CPUtime=0.61 cores=0-3,8-11
/proc/18522/task/18545/stat : 18545 (java) S 18519 18522 17918 0 -1 4202560 104 0 0 0 35 26 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268830743112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18546] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18546/stat : 18546 (java) S 18519 18522 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12217560 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268829688616 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1783.5
Current children cumulated vsize (KiB) 9963000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/305 18662
/proc/meminfo: memFree=31610660/32872528 swapFree=7036/7036
[pid=18522] ppid=18519 vsize=9963000 CPUtime=1800 cores=0-3,8-11
/proc/18522/stat : 18522 (java) S 18519 18522 17918 0 -1 4202496 10061 0 1 0 179957 43 0 0 20 0 24 0 12217546 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140734203791472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18522/statm: 2490750 52238 2263 9 0 2481427 0
[pid=18522/tid=18523] ppid=18519 vsize=9963000 CPUtime=1794.11 cores=0-3,8-11
/proc/18522/task/18523/stat : 18523 (java) R 18519 18522 17918 0 -1 4202560 2512 0 1 0 179380 31 0 0 20 0 24 0 12217547 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140269092282064 140268951571744 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=18522/tid=18525] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18525/stat : 18525 (java) S 18519 18522 17918 0 -1 4202560 9 0 0 0 0 2 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140269070392104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18522/tid=18526] ppid=18519 vsize=9963000 CPUtime=0.03 cores=0-3,8-11
/proc/18522/task/18526/stat : 18526 (java) S 18519 18522 17918 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268867152552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18527] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18527/stat : 18527 (java) S 18519 18522 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268866100264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18528] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18528/stat : 18528 (java) S 18519 18522 17918 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268865047464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18529] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18529/stat : 18529 (java) S 18519 18522 17918 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268863994152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18530] ppid=18519 vsize=9963000 CPUtime=0.03 cores=0-3,8-11
/proc/18522/task/18530/stat : 18530 (java) S 18519 18522 17918 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268862941352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18522/tid=18531] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18531/stat : 18531 (java) S 18519 18522 17918 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268861889064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18522/tid=18532] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18532/stat : 18532 (java) S 18519 18522 17918 0 -1 4202560 10 0 0 0 0 1 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268860836264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18522/tid=18533] ppid=18519 vsize=9963000 CPUtime=0.03 cores=0-3,8-11
/proc/18522/task/18533/stat : 18533 (java) S 18519 18522 17918 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268859783976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18534] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18534/stat : 18534 (java) S 18519 18522 17918 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268858731176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18535] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18535/stat : 18535 (java) S 18519 18522 17918 0 -1 4202560 12 0 0 0 0 1 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268857678888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18536] ppid=18519 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/18522/task/18536/stat : 18536 (java) S 18519 18522 17918 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268856626088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18537] ppid=18519 vsize=9963000 CPUtime=0.03 cores=0-3,8-11
/proc/18522/task/18537/stat : 18537 (java) S 18519 18522 17918 0 -1 4202560 15 0 0 0 2 1 0 0 20 0 24 0 12217549 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268855572776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18522/tid=18538] ppid=18519 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/18522/task/18538/stat : 18538 (java) S 18519 18522 17918 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 24 0 12217550 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268838111336 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18539] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18539/stat : 18539 (java) S 18519 18522 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268837057912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18540] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18540/stat : 18540 (java) S 18519 18522 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 12217550 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268836005000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18541] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18541/stat : 18541 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268834954000 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18542] ppid=18519 vsize=9963000 CPUtime=0.24 cores=0-3,8-11
/proc/18522/task/18542/stat : 18542 (java) S 18519 18522 17918 0 -1 4202560 3171 0 0 0 24 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268833901112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18522/tid=18543] ppid=18519 vsize=9963000 CPUtime=0.26 cores=0-3,8-11
/proc/18522/task/18543/stat : 18543 (java) S 18519 18522 17918 0 -1 4202560 2871 0 0 0 26 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268832848824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18544] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18544/stat : 18544 (java) S 18519 18522 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268831796216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18522/tid=18545] ppid=18519 vsize=9963000 CPUtime=0.62 cores=0-3,8-11
/proc/18522/task/18545/stat : 18545 (java) S 18519 18522 17918 0 -1 4202560 104 0 0 0 35 27 0 0 20 0 24 0 12217553 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268830743112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18522/tid=18546] ppid=18519 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/18522/task/18546/stat : 18546 (java) S 18519 18522 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12217560 10202112000 52238 33554432000 1073741824 1073778376 140734203800336 140268829688616 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9963000
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 18522 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 18522 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=50110
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=842871
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1798.84
CPU time (s): 1800
CPU user time (s): 1799.57
CPU system time (s): 0.43
CPU usage (%): 100.065
Max. virtual memory (cumulated for all children) (KiB): 9963000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 0.842871
maximum resident set size= 209104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10106
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38182
involuntary context switches= 2254
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0829 second user time and 18.1342 second system time
The end