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-4095851-1466098134/watcher-4095851-1466098134 -o /tmp/evaluation-result-4095851-1466098134/solver-4095851-1466098134 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466098131-17935 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4095851-1466098134.opb
pid=18054
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: 1.95 2.01 1.99 3/281 18057
/proc/meminfo: memFree=31997556/32872528 swapFree=7036/7036
[pid=18057] ppid=18054 vsize=8952324 CPUtime=0 cores=4-7,12-15
/proc/18057/stat : 18057 (java) S 18054 18057 17918 0 -1 4202496 2114 0 1 0 0 0 0 0 20 0 13 0 11857965 9167179776 1718 33554432000 1073741824 1073778376 140735178039008 140735178030144 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18057/statm: 2238338 1722 951 9 0 2229447 0
[pid=18057/tid=18058] ppid=18054 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18058/stat : 18058 (java) S 18054 18057 17918 0 -1 4202560 887 0 1 0 0 0 0 0 20 0 15 0 11857965 9169285120 1727 33554432000 1073741824 1073778376 140735178039008 139825751205840 216812019764 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18059] ppid=18054 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18059/stat : 18059 (java) R 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9169285120 1727 33554432000 1073741824 1073778376 140735178039008 139825595010280 216812008508 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18060] ppid=18054 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18060/stat : 18060 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9169285120 1727 33554432000 1073741824 1073778376 140735178039008 139825593957416 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18061] ppid=18054 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18061/stat : 18061 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9169285120 1727 33554432000 1073741824 1073778376 140735178039008 139825592904360 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18062] ppid=18054 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18062/stat : 18062 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9169285120 1727 33554432000 1073741824 1073778376 140735178039008 139825591851816 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18063] ppid=18054 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18063/stat : 18063 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9169285120 1727 33554432000 1073741824 1073778376 140735178039008 139825590798760 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18064] ppid=18054 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18064/stat : 18064 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9169285120 1727 33554432000 1073741824 1073778376 140735178039008 139825589746216 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18065] ppid=18054 vsize=9019916 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18065/stat : 18065 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9236393984 1729 33554432000 1073741824 1073778376 140735178039008 139825588693160 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18066] ppid=18054 vsize=9019916 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18066/stat : 18066 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 11857966 9236393984 1729 33554432000 1073741824 1073778376 140735178039008 139825587640616 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18067] ppid=18054 vsize=9019916 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18067/stat : 18067 (java) R 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9236393984 1729 33554432000 1073741824 1073778376 140735178039008 139825751205720 216808637824 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18068] ppid=18054 vsize=9019916 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18068/stat : 18068 (java) R 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9236393984 1729 33554432000 1073741824 1073778376 140735178039008 139825751205720 216808637824 0 4 0 16784584 0 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18069] ppid=18054 vsize=9019916 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18069/stat : 18069 (java) R 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9236393984 1729 33554432000 1073741824 1073778376 140735178039008 139825751205720 216808637824 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0
[pid=18057/tid=18070] ppid=18054 vsize=9019916 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18070/stat : 18070 (java) R 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9236393984 1729 33554432000 1073741824 1073778376 140735178039008 139825751205720 216808637824 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18071] ppid=18054 vsize=9019916 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18071/stat : 18071 (java) R 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 11857966 9236393984 1730 33554432000 1073741824 1073778376 140735178039008 139825751205720 216808637824 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0
[startup+0.100101 s]
/proc/loadavg: 1.95 2.01 1.99 3/281 18057
/proc/meminfo: memFree=31997556/32872528 swapFree=7036/7036
[pid=18057] ppid=18054 vsize=9896436 CPUtime=0.12 cores=4-7,12-15
/proc/18057/stat : 18057 (java) S 18054 18057 17918 0 -1 4202496 4585 0 1 0 10 2 0 0 20 0 23 0 11857965 10133950464 6201 33554432000 1073741824 1073778376 140735178039008 140735178030144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18057/statm: 2474109 6202 2157 9 0 2464786 0
[pid=18057/tid=18058] ppid=18054 vsize=9896436 CPUtime=0.08 cores=4-7,12-15
/proc/18057/task/18058/stat : 18058 (java) R 18054 18057 17918 0 -1 4202560 2448 0 1 0 6 2 0 0 20 0 23 0 11857965 10133950464 6203 33554432000 1073741824 1073778376 140735178039008 139825751202720 216808263499 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18059] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18059/stat : 18059 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6203 33554432000 1073741824 1073778376 140735178039008 139825595009960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18060] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18060/stat : 18060 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6203 33554432000 1073741824 1073778376 140735178039008 139825593957416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18061] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18061/stat : 18061 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6203 33554432000 1073741824 1073778376 140735178039008 139825592904360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18062] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18062/stat : 18062 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6204 33554432000 1073741824 1073778376 140735178039008 139825591851816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18063] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18063/stat : 18063 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6204 33554432000 1073741824 1073778376 140735178039008 139825590798760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18064] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18064/stat : 18064 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6204 33554432000 1073741824 1073778376 140735178039008 139825589746216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18065] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18065/stat : 18065 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6204 33554432000 1073741824 1073778376 140735178039008 139825588693160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18066] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18066/stat : 18066 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6204 33554432000 1073741824 1073778376 140735178039008 139825587640616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18067] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18067/stat : 18067 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6204 33554432000 1073741824 1073778376 140735178039008 139825586588584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18068] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18068/stat : 18068 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6204 33554432000 1073741824 1073778376 140735178039008 139825585536040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18069] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18069/stat : 18069 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6206 33554432000 1073741824 1073778376 140735178039008 139825584482984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18057/tid=18070] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18070/stat : 18070 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6206 33554432000 1073741824 1073778376 140735178039008 139825583430440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18071] ppid=18054 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18071/stat : 18071 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 11857966 10133950464 6206 33554432000 1073741824 1073778376 140735178039008 139825582377384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9896436
[startup+0.201297 s]
/proc/loadavg: 1.95 2.01 1.99 3/281 18057
/proc/meminfo: memFree=31997556/32872528 swapFree=7036/7036
[pid=18057] ppid=18054 vsize=9963000 CPUtime=0.32 cores=4-7,12-15
/proc/18057/stat : 18057 (java) S 18054 18057 17918 0 -1 4202496 7214 0 1 0 30 2 0 0 20 0 24 0 11857965 10202112000 7719 33554432000 1073741824 1073778376 140735178039008 140735178030144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18057/statm: 2490750 7719 2223 9 0 2481427 0
[pid=18057/tid=18058] ppid=18054 vsize=9963000 CPUtime=0.18 cores=4-7,12-15
/proc/18057/task/18058/stat : 18058 (java) R 18054 18057 17918 0 -1 4202560 2469 0 1 0 16 2 0 0 20 0 24 0 11857965 10202112000 7723 33554432000 1073741824 1073778376 140735178039008 139825751204480 139825754489808 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18059] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18059/stat : 18059 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7745 33554432000 1073741824 1073778376 140735178039008 139825595009960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18060] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18060/stat : 18060 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7745 33554432000 1073741824 1073778376 140735178039008 139825593957416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18061] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18061/stat : 18061 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7745 33554432000 1073741824 1073778376 140735178039008 139825592904360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18062] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18062/stat : 18062 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7745 33554432000 1073741824 1073778376 140735178039008 139825591851816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18063] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18063/stat : 18063 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7745 33554432000 1073741824 1073778376 140735178039008 139825590798760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18064] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18064/stat : 18064 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7745 33554432000 1073741824 1073778376 140735178039008 139825589746216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18065] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18065/stat : 18065 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7745 33554432000 1073741824 1073778376 140735178039008 139825588693160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18066] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18066/stat : 18066 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7745 33554432000 1073741824 1073778376 140735178039008 139825587640616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18067] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18067/stat : 18067 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7745 33554432000 1073741824 1073778376 140735178039008 139825586588584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18068] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18068/stat : 18068 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7746 33554432000 1073741824 1073778376 140735178039008 139825585536040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18069] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18069/stat : 18069 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7747 33554432000 1073741824 1073778376 140735178039008 139825584482984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18057/tid=18070] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18070/stat : 18070 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7747 33554432000 1073741824 1073778376 140735178039008 139825583430440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18071] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18071/stat : 18071 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7747 33554432000 1073741824 1073778376 140735178039008 139825582377384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9963000
[startup+0.301291 s]
/proc/loadavg: 1.95 2.01 1.99 3/281 18057
/proc/meminfo: memFree=31997556/32872528 swapFree=7036/7036
[pid=18057] ppid=18054 vsize=9963000 CPUtime=0.53 cores=4-7,12-15
/proc/18057/stat : 18057 (java) S 18054 18057 17918 0 -1 4202496 7486 0 1 0 51 2 0 0 20 0 24 0 11857965 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 140735178030144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18057/statm: 2490750 7831 2225 9 0 2481427 0
[pid=18057/tid=18058] ppid=18054 vsize=9963000 CPUtime=0.28 cores=4-7,12-15
/proc/18057/task/18058/stat : 18058 (java) R 18054 18057 17918 0 -1 4202560 2469 0 1 0 26 2 0 0 20 0 24 0 11857965 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825751204480 139825623789082 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18059] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18059/stat : 18059 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825595009960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18060] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18060/stat : 18060 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825593957416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18061] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18061/stat : 18061 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825592904360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18062] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18062/stat : 18062 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825591851816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18063] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18063/stat : 18063 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825590798760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18064] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18064/stat : 18064 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825589746216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18065] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18065/stat : 18065 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825588693160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18066] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18066/stat : 18066 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825587640616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18067] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18067/stat : 18067 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825586588584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18068] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18068/stat : 18068 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825585536040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18069] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18069/stat : 18069 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825584482984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18057/tid=18070] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18070/stat : 18070 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825583430440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18071] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18071/stat : 18071 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 7831 33554432000 1073741824 1073778376 140735178039008 139825582377384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9963000
[startup+0.701002 s]
/proc/loadavg: 1.95 2.01 1.99 3/281 18057
/proc/meminfo: memFree=31997556/32872528 swapFree=7036/7036
[pid=18057] ppid=18054 vsize=9963000 CPUtime=1.14 cores=4-7,12-15
/proc/18057/stat : 18057 (java) S 18054 18057 17918 0 -1 4202496 9900 0 1 0 111 3 0 0 20 0 24 0 11857965 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 140735178030144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18057/statm: 2490750 8791 2240 9 0 2481427 0
[pid=18057/tid=18058] ppid=18054 vsize=9963000 CPUtime=0.68 cores=4-7,12-15
/proc/18057/task/18058/stat : 18058 (java) R 18054 18057 17918 0 -1 4202560 2470 0 1 0 66 2 0 0 20 0 24 0 11857965 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825751204480 139825623844149 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18059] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18059/stat : 18059 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825595009960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18060] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18060/stat : 18060 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825593957416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18061] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18061/stat : 18061 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825592904360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18062] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18062/stat : 18062 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825591851816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18063] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18063/stat : 18063 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825590798760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18064] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18064/stat : 18064 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825589746216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18065] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18065/stat : 18065 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825588693160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18066] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18066/stat : 18066 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825587640616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18067] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18067/stat : 18067 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825586588584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18068] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18068/stat : 18068 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825585536040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18069] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18069/stat : 18069 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825584482984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18057/tid=18070] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18070/stat : 18070 (java) S 18054 18057 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857966 10202112000 8791 33554432000 1073741824 1073778376 140735178039008 139825583430440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/18057/task/18059/stat : 18059 (java) S 18054 18057 17918 0 -1 4202560 20 0 0 0 3 3 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825595009960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18057/tid=18060] ppid=18054 vsize=9963000 CPUtime=0.06 cores=4-7,12-15
/proc/18057/task/18060/stat : 18060 (java) S 18054 18057 17918 0 -1 4202560 77 0 0 0 3 3 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825593957416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18061] ppid=18054 vsize=9963000 CPUtime=0.08 cores=4-7,12-15
/proc/18057/task/18061/stat : 18061 (java) S 18054 18057 17918 0 -1 4202560 78 0 0 0 6 2 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825592904360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18062] ppid=18054 vsize=9963000 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18062/stat : 18062 (java) S 18054 18057 17918 0 -1 4202560 14 0 0 0 2 2 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825591851816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18063] ppid=18054 vsize=9963000 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18063/stat : 18063 (java) S 18054 18057 17918 0 -1 4202560 12 0 0 0 2 2 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825590798760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18064] ppid=18054 vsize=9963000 CPUtime=0.06 cores=4-7,12-15
/proc/18057/task/18064/stat : 18064 (java) S 18054 18057 17918 0 -1 4202560 80 0 0 0 5 1 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825589746216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18065] ppid=18054 vsize=9963000 CPUtime=0.07 cores=4-7,12-15
/proc/18057/task/18065/stat : 18065 (java) S 18054 18057 17918 0 -1 4202560 75 0 0 0 5 2 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825588693160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18066] ppid=18054 vsize=9963000 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18066/stat : 18066 (java) S 18054 18057 17918 0 -1 4202560 75 0 0 0 2 2 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825587640616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18067] ppid=18054 vsize=9963000 CPUtime=0.05 cores=4-7,12-15
/proc/18057/task/18067/stat : 18067 (java) S 18054 18057 17918 0 -1 4202560 73 0 0 0 3 2 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825586588584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18068] ppid=18054 vsize=9963000 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18068/stat : 18068 (java) S 18054 18057 17918 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825585536040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18069] ppid=18054 vsize=9963000 CPUtime=0.05 cores=4-7,12-15
/proc/18057/task/18069/stat : 18069 (java) S 18054 18057 17918 0 -1 4202560 84 0 0 0 3 2 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825584482984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18070] ppid=18054 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18057/task/18070/stat : 18070 (java) S 18054 18057 17918 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825583430440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18071] ppid=18054 vsize=9963000 CPUtime=0.07 cores=4-7,12-15
/proc/18057/task/18071/stat : 18071 (java) S 18054 18057 17918 0 -1 4202560 76 0 0 0 5 2 0 0 20 0 24 0 11857966 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825582377384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18057/tid=18073] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18073/stat : 18073 (java) S 18054 18057 17918 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 24 0 11857967 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825564916200 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18057/tid=18074] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18074/stat : 18074 (java) S 18054 18057 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 11857968 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825563862008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18075] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18075/stat : 18075 (java) S 18054 18057 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 11857968 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825562809352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18076] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18076/stat : 18076 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857970 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825561758608 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18077] ppid=18054 vsize=9963000 CPUtime=0.16 cores=4-7,12-15
/proc/18057/task/18077/stat : 18077 (java) S 18054 18057 17918 0 -1 4202560 1994 0 0 0 16 0 0 0 20 0 24 0 11857970 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825560705976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18078] ppid=18054 vsize=9963000 CPUtime=0.3 cores=4-7,12-15
/proc/18057/task/18078/stat : 18078 (java) S 18054 18057 17918 0 -1 4202560 4159 0 0 0 30 0 0 0 20 0 24 0 11857970 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825559652920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18079] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18079/stat : 18079 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857970 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825558600568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18080] ppid=18054 vsize=9963000 CPUtime=0.32 cores=4-7,12-15
/proc/18057/task/18080/stat : 18080 (java) S 18054 18057 17918 0 -1 4202560 70 0 0 0 13 19 0 0 20 0 24 0 11857970 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825557547720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18081] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18081/stat : 18081 (java) S 18054 18057 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 11857978 10202112000 56899 33554432000 1073741824 1073778376 140735178039008 139825556493480 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1199.18
Current children cumulated vsize (KiB) 9963000
[startup+1238.4 s]
/proc/loadavg: 2.01 2.09 2.04 5/305 18112
/proc/meminfo: memFree=31575940/32872528 swapFree=7036/7036
[pid=18057] ppid=18054 vsize=9963000 CPUtime=1239.77 cores=4-7,12-15
/proc/18057/stat : 18057 (java) S 18054 18057 17918 0 -1 4202496 10754 0 1 0 123928 49 0 0 20 0 24 0 11857965 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 140735178030144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18057/statm: 2490750 56905 2263 9 0 2481427 0
[pid=18057/tid=18058] ppid=18054 vsize=9963000 CPUtime=1235.06 cores=4-7,12-15
/proc/18057/task/18058/stat : 18058 (java) R 18054 18057 17918 0 -1 4202560 2547 0 1 0 123483 23 0 0 20 0 24 0 11857965 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825751203096 139825623828080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18057/tid=18059] ppid=18054 vsize=9963000 CPUtime=0.06 cores=4-7,12-15
/proc/18057/task/18059/stat : 18059 (java) S 18054 18057 17918 0 -1 4202560 20 0 0 0 3 3 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825595009960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18057/tid=18060] ppid=18054 vsize=9963000 CPUtime=0.06 cores=4-7,12-15
/proc/18057/task/18060/stat : 18060 (java) S 18054 18057 17918 0 -1 4202560 77 0 0 0 3 3 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825593957416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18061] ppid=18054 vsize=9963000 CPUtime=0.08 cores=4-7,12-15
/proc/18057/task/18061/stat : 18061 (java) S 18054 18057 17918 0 -1 4202560 78 0 0 0 6 2 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825592904360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18062] ppid=18054 vsize=9963000 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18062/stat : 18062 (java) S 18054 18057 17918 0 -1 4202560 14 0 0 0 2 2 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825591851816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18063] ppid=18054 vsize=9963000 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18063/stat : 18063 (java) S 18054 18057 17918 0 -1 4202560 12 0 0 0 2 2 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825590798760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18064] ppid=18054 vsize=9963000 CPUtime=0.06 cores=4-7,12-15
/proc/18057/task/18064/stat : 18064 (java) S 18054 18057 17918 0 -1 4202560 80 0 0 0 5 1 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825589746216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18065] ppid=18054 vsize=9963000 CPUtime=0.07 cores=4-7,12-15
/proc/18057/task/18065/stat : 18065 (java) S 18054 18057 17918 0 -1 4202560 75 0 0 0 5 2 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825588693160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18066] ppid=18054 vsize=9963000 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18066/stat : 18066 (java) S 18054 18057 17918 0 -1 4202560 75 0 0 0 2 2 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825587640616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18067] ppid=18054 vsize=9963000 CPUtime=0.05 cores=4-7,12-15
/proc/18057/task/18067/stat : 18067 (java) S 18054 18057 17918 0 -1 4202560 73 0 0 0 3 2 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825586588584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18068] ppid=18054 vsize=9963000 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18068/stat : 18068 (java) S 18054 18057 17918 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825585536040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18069] ppid=18054 vsize=9963000 CPUtime=0.05 cores=4-7,12-15
/proc/18057/task/18069/stat : 18069 (java) S 18054 18057 17918 0 -1 4202560 84 0 0 0 3 2 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825584482984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18070] ppid=18054 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18057/task/18070/stat : 18070 (java) S 18054 18057 17918 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825583430440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18071] ppid=18054 vsize=9963000 CPUtime=0.07 cores=4-7,12-15
/proc/18057/task/18071/stat : 18071 (java) S 18054 18057 17918 0 -1 4202560 76 0 0 0 5 2 0 0 20 0 24 0 11857966 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825582377384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18057/tid=18073] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18073/stat : 18073 (java) S 18054 18057 17918 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 24 0 11857967 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825564916200 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18057/tid=18074] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18074/stat : 18074 (java) S 18054 18057 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 11857968 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825563862008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18075] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18075/stat : 18075 (java) S 18054 18057 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 11857968 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825562809352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18076] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18076/stat : 18076 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857970 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825561758608 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18077] ppid=18054 vsize=9963000 CPUtime=0.16 cores=4-7,12-15
/proc/18057/task/18077/stat : 18077 (java) S 18054 18057 17918 0 -1 4202560 1994 0 0 0 16 0 0 0 20 0 24 0 11857970 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825560705976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18078] ppid=18054 vsize=9963000 CPUtime=0.35 cores=4-7,12-15
/proc/18057/task/18078/stat : 18078 (java) S 18054 18057 17918 0 -1 4202560 4161 0 0 0 35 0 0 0 20 0 24 0 11857970 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825559652920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18079] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18079/stat : 18079 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857970 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825558600568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18080] ppid=18054 vsize=9963000 CPUtime=0.32 cores=4-7,12-15
/proc/18057/task/18080/stat : 18080 (java) S 18054 18057 17918 0 -1 4202560 72 0 0 0 13 19 0 0 20 0 24 0 11857970 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825557547720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18081] ppid=18054 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18081/stat : 18081 (java) S 18054 18057 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 11857978 10202112000 56905 33554432000 1073741824 1073778376 140735178039008 139825556493480 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1239.77
Current children cumulated vsize (KiB) 9963000
[startup+1241.7 s]
/proc/loadavg: 2.01 2.09 2.04 5/305 18112
/proc/meminfo: memFree=31575940/32872528 swapFree=7036/7036
[pid=18057] ppid=18054 vsize=9964028 CPUtime=1243.25 cores=4-7,12-15
/proc/18057/stat : 18057 (java) S 18054 18057 17918 0 -1 4202496 11294 0 1 0 124276 49 0 0 20 0 24 0 11857965 10203164672 56944 33554432000 1073741824 1073778376 140735178039008 140735178030144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18057/statm: 2491007 56944 2263 9 0 2481684 0
[pid=18057/tid=18058] ppid=18054 vsize=9964028 CPUtime=1238.35 cores=4-7,12-15
/proc/18057/task/18058/stat : 18058 (java) S 18054 18057 17918 0 -1 4202560 2549 0 1 0 123811 24 0 0 20 0 25 0 11857965 10203164672 56944 33554432000 1073741824 1073778376 140735178039008 139825751204648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18059] ppid=18054 vsize=10029564 CPUtime=0.06 cores=4-7,12-15
/proc/18057/task/18059/stat : 18059 (java) S 18054 18057 17918 0 -1 4202560 20 0 0 0 3 3 0 0 20 0 25 0 11857966 10270273536 56945 33554432000 1073741824 1073778376 140735178039008 139825595009960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18057/tid=18060] ppid=18054 vsize=10029564 CPUtime=0.06 cores=4-7,12-15
/proc/18057/task/18060/stat : 18060 (java) S 18054 18057 17918 0 -1 4202560 77 0 0 0 3 3 0 0 20 0 25 0 11857966 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825593957416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18061] ppid=18054 vsize=10029564 CPUtime=0.08 cores=4-7,12-15
/proc/18057/task/18061/stat : 18061 (java) S 18054 18057 17918 0 -1 4202560 78 0 0 0 6 2 0 0 20 0 25 0 11857966 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825592904360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18057/tid=18062] ppid=18054 vsize=10029564 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18062/stat : 18062 (java) S 18054 18057 17918 0 -1 4202560 14 0 0 0 2 2 0 0 20 0 25 0 11857966 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825591851816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18063] ppid=18054 vsize=10029564 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18063/stat : 18063 (java) S 18054 18057 17918 0 -1 4202560 12 0 0 0 2 2 0 0 20 0 25 0 11857966 10270273536 56950 33554432000 1073741824 1073778376 140735178039008 139825590798760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18064] ppid=18054 vsize=10029564 CPUtime=0.06 cores=4-7,12-15
/proc/18057/task/18064/stat : 18064 (java) S 18054 18057 17918 0 -1 4202560 80 0 0 0 5 1 0 0 20 0 24 0 11857966 10270273536 56950 33554432000 1073741824 1073778376 140735178039008 139825589746216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18065] ppid=18054 vsize=10029564 CPUtime=0.07 cores=4-7,12-15
/proc/18057/task/18065/stat : 18065 (java) S 18054 18057 17918 0 -1 4202560 75 0 0 0 5 2 0 0 20 0 24 0 11857966 10270273536 56950 33554432000 1073741824 1073778376 140735178039008 139825588693160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18066] ppid=18054 vsize=10029564 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18066/stat : 18066 (java) S 18054 18057 17918 0 -1 4202560 75 0 0 0 2 2 0 0 20 0 24 0 11857966 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825587640616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18067] ppid=18054 vsize=10029564 CPUtime=0.05 cores=4-7,12-15
/proc/18057/task/18067/stat : 18067 (java) S 18054 18057 17918 0 -1 4202560 73 0 0 0 3 2 0 0 20 0 24 0 11857966 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825586588584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18068] ppid=18054 vsize=10029564 CPUtime=0.04 cores=4-7,12-15
/proc/18057/task/18068/stat : 18068 (java) S 18054 18057 17918 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 24 0 11857966 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825585536040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18069] ppid=18054 vsize=10029564 CPUtime=0.05 cores=4-7,12-15
/proc/18057/task/18069/stat : 18069 (java) S 18054 18057 17918 0 -1 4202560 84 0 0 0 3 2 0 0 20 0 24 0 11857966 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825584482984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18057/tid=18070] ppid=18054 vsize=10029564 CPUtime=0.01 cores=4-7,12-15
/proc/18057/task/18070/stat : 18070 (java) S 18054 18057 17918 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 11857966 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825583430440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18071] ppid=18054 vsize=10029564 CPUtime=0.07 cores=4-7,12-15
/proc/18057/task/18071/stat : 18071 (java) S 18054 18057 17918 0 -1 4202560 76 0 0 0 5 2 0 0 20 0 24 0 11857966 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825582377384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18057/tid=18073] ppid=18054 vsize=10029564 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18073/stat : 18073 (java) S 18054 18057 17918 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 24 0 11857967 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825564916200 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18057/tid=18074] ppid=18054 vsize=10029564 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18074/stat : 18074 (java) S 18054 18057 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 11857968 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825563862008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18075] ppid=18054 vsize=10029564 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18075/stat : 18075 (java) S 18054 18057 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 11857968 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825562809352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18076] ppid=18054 vsize=10029564 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18076/stat : 18076 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857970 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825561758608 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18077] ppid=18054 vsize=10029564 CPUtime=0.31 cores=4-7,12-15
/proc/18057/task/18077/stat : 18077 (java) S 18054 18057 17918 0 -1 4202560 2533 0 0 0 31 0 0 0 20 0 24 0 11857970 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825560705976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18057/tid=18078] ppid=18054 vsize=10029564 CPUtime=0.37 cores=4-7,12-15
/proc/18057/task/18078/stat : 18078 (java) S 18054 18057 17918 0 -1 4202560 4161 0 0 0 37 0 0 0 20 0 24 0 11857970 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825559652920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18057/tid=18079] ppid=18054 vsize=10029564 CPUtime=0 cores=4-7,12-15
/proc/18057/task/18079/stat : 18079 (java) S 18054 18057 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857970 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825558600568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18057/tid=18080] ppid=18054 vsize=10029564 CPUtime=0.32 cores=4-7,12-15
/proc/18057/task/18080/stat : 18080 (java) S 18054 18057 17918 0 -1 4202560 72 0 0 0 13 19 0 0 20 0 24 0 11857970 10270273536 56951 33554432000 1073741824 1073778376 140735178039008 139825557547720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1243.25
Current children cumulated vsize (KiB) 9964028
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18057 and gives
# childrusage.ru_utime.tv_sec=1239
# childrusage.ru_utime.tv_usec=543560
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=872867
# CPU time returned by wait4() is 1240.42
# while last known CPU time is 1243.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1241.74
CPU time (s): 1243.25
CPU user time (s): 1242.76
CPU system time (s): 0.49
CPU usage (%): 100.122
Max. virtual memory (cumulated for all children) (KiB): 9964028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1239.54
system time used= 0.872867
maximum resident set size= 227976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11322
page faults= 1
swaps= 0
block input operations= 0
block output operations= 760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24207
involuntary context switches= 3315
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57554 second user time and 10.8783 second system time
The end