runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455045-1307187925/watcher-3455045-1307187925 -o /tmp/evaluation-result-3455045-1307187925/solver-3455045-1307187925 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455045-1307187925.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.24 1.61 3/502 16133
/proc/meminfo: memFree=26992132/32950928 swapFree=39617324/67111528
[pid=16133] ppid=16131 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16133/stat : 16133 (java) S 16131 16133 13533 0 -1 4202496 4996 0 1 0 0 0 0 0 25 0 2 0 830392130 10694979584 4697 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16133/statm: 2611079 4712 917 9 0 2602235 0
[pid=16133/tid=16134] ppid=16131 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16134/stat : 16134 (java) R 16131 16133 13533 0 -1 4202560 5953 0 1 0 0 0 0 0 25 0 2 0 830392131 10694979584 6769 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0837571 s]
/proc/loadavg: 1.01 1.24 1.61 3/502 16133
/proc/meminfo: memFree=26992132/32950928 swapFree=39617324/67111528
[pid=16133] ppid=16131 vsize=10539376 CPUtime=0.08 cores=1,3,5,7
/proc/16133/stat : 16133 (java) S 16131 16133 13533 0 -1 4202496 12510 0 1 0 7 1 0 0 25 0 18 0 830392130 10792321024 12206 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16133/statm: 2634844 12215 2017 9 0 2625578 0
[pid=16133/tid=16134] ppid=16131 vsize=10539376 CPUtime=0.06 cores=1,3,5,7
/proc/16133/task/16134/stat : 16134 (java) R 16131 16133 13533 0 -1 4202560 10920 0 1 0 6 0 0 0 25 0 18 0 830392131 10792321024 12219 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092057972 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539376
[startup+0.100692 s]
/proc/loadavg: 1.01 1.24 1.61 3/502 16133
/proc/meminfo: memFree=26992132/32950928 swapFree=39617324/67111528
[pid=16133] ppid=16131 vsize=10540352 CPUtime=0.11 cores=1,3,5,7
/proc/16133/stat : 16133 (java) S 16131 16133 13533 0 -1 4202496 13068 0 1 0 10 1 0 0 25 0 18 0 830392130 10793320448 12764 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16133/statm: 2635088 12764 2092 9 0 2625822 0
[pid=16133/tid=16134] ppid=16131 vsize=10540352 CPUtime=0.08 cores=1,3,5,7
/proc/16133/task/16134/stat : 16134 (java) R 16131 16133 13533 0 -1 4202560 11157 0 1 0 8 0 0 0 25 0 18 0 830392131 10793320448 12764 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 46912496208683 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540352
[startup+0.300652 s]
/proc/loadavg: 1.01 1.24 1.61 3/502 16133
/proc/meminfo: memFree=26992132/32950928 swapFree=39617324/67111528
[pid=16133] ppid=16131 vsize=10544648 CPUtime=0.16 cores=1,3,5,7
/proc/16133/stat : 16133 (java) S 16131 16133 13533 0 -1 4202496 13637 0 1 0 15 1 0 0 25 0 19 0 830392130 10797719552 13333 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16133/statm: 2636162 13333 2140 9 0 2626896 0
[pid=16133/tid=16134] ppid=16131 vsize=10544648 CPUtime=0.12 cores=1,3,5,7
/proc/16133/task/16134/stat : 16134 (java) S 16131 16133 13533 0 -1 4202560 11508 0 1 0 11 1 0 0 25 0 19 0 830392131 10797719552 13333 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 4 0 16800975 18446604465987405824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10544648
[startup+0.700577 s]
/proc/loadavg: 1.01 1.24 1.61 3/502 16133
/proc/meminfo: memFree=26992132/32950928 swapFree=39617324/67111528
[pid=16133] ppid=16131 vsize=10544812 CPUtime=0.22 cores=1,3,5,7
/proc/16133/stat : 16133 (java) S 16131 16133 13533 0 -1 4202496 13889 0 1 0 21 1 0 0 25 0 19 0 830392130 10797887488 13554 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16133/statm: 2636203 13554 2161 9 0 2626937 0
[pid=16133/tid=16134] ppid=16131 vsize=10544812 CPUtime=0.12 cores=1,3,5,7
/proc/16133/task/16134/stat : 16134 (java) S 16131 16133 13533 0 -1 4202560 11513 0 1 0 11 1 0 0 21 0 19 0 830392131 10797887488 13554 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10544812
[startup+1.50142 s]
/proc/loadavg: 1.01 1.24 1.61 3/521 16158
/proc/meminfo: memFree=26944684/32950928 swapFree=39617324/67111528
[pid=16133] ppid=16131 vsize=10550792 CPUtime=0.66 cores=1,3,5,7
/proc/16133/stat : 16133 (java) S 16131 16133 13533 0 -1 4202496 18841 0 1 0 65 1 0 0 25 0 19 0 830392130 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16133/statm: 2637698 16052 2194 9 0 2628432 0
[pid=16133/tid=16134] ppid=16131 vsize=10550792 CPUtime=0.12 cores=1,3,5,7
/proc/16133/task/16134/stat : 16134 (java) S 16131 16133 13533 0 -1 4202560 11519 0 1 0 11 1 0 0 17 0 19 0 830392131 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 4 0 16800975 18446604465987405824 0 0 -1 5 0 0 0
[pid=16133/tid=16136] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16136/stat : 16136 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16137] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16137/stat : 16137 (java) S 16131 16133 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16138] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16138/stat : 16138 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16139] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16139/stat : 16139 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16140] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16140/stat : 16140 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16141] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16141/stat : 16141 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16142] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16142/stat : 16142 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16143] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16143/stat : 16143 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16144] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16144/stat : 16144 (java) S 16131 16133 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830392133 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 0 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16145] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16145/stat : 16145 (java) S 16131 16133 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830392134 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16146] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16146/stat : 16146 (java) S 16131 16133 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830392134 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16147] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16147/stat : 16147 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092055985 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16148] ppid=16131 vsize=10550792 CPUtime=0.18 cores=1,3,5,7
/proc/16133/task/16148/stat : 16148 (java) S 16131 16133 13533 0 -1 4202560 2858 0 0 0 18 0 0 0 16 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16149] ppid=16131 vsize=10550792 CPUtime=0.15 cores=1,3,5,7
/proc/16133/task/16149/stat : 16149 (java) S 16131 16133 13533 0 -1 4202560 2711 0 0 0 15 0 0 0 16 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16150] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16150/stat : 16150 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16151] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16151/stat : 16151 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 4 0 16800975 18446604465987405824 0 0 -1 1 0 0 0
[pid=16133/tid=16154] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16154/stat : 16154 (java) S 16131 16133 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830392144 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10550792
Solver just ended. Dumping a history of the last processes samples
[startup+1.6014 s]
/proc/loadavg: 1.01 1.24 1.61 3/521 16158
/proc/meminfo: memFree=26944684/32950928 swapFree=39617324/67111528
[pid=16133] ppid=16131 vsize=10550792 CPUtime=0.66 cores=1,3,5,7
/proc/16133/stat : 16133 (java) S 16131 16133 13533 0 -1 4202496 18841 0 1 0 65 1 0 0 25 0 19 0 830392130 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16133/statm: 2637698 16052 2194 9 0 2628432 0
[pid=16133/tid=16134] ppid=16131 vsize=10550792 CPUtime=0.12 cores=1,3,5,7
/proc/16133/task/16134/stat : 16134 (java) S 16131 16133 13533 0 -1 4202560 11519 0 1 0 11 1 0 0 17 0 19 0 830392131 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 4 0 16800975 18446604465987405824 0 0 -1 5 0 0 0
[pid=16133/tid=16136] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16136/stat : 16136 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16137] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16137/stat : 16137 (java) S 16131 16133 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16138] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16138/stat : 16138 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16139] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16139/stat : 16139 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16140] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16140/stat : 16140 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16141] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16141/stat : 16141 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16142] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16142/stat : 16142 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16143] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16143/stat : 16143 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392132 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16144] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16144/stat : 16144 (java) S 16131 16133 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830392133 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 0 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16145] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16145/stat : 16145 (java) S 16131 16133 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830392134 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16146] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16146/stat : 16146 (java) S 16131 16133 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830392134 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16147] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16147/stat : 16147 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092055985 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16148] ppid=16131 vsize=10550792 CPUtime=0.18 cores=1,3,5,7
/proc/16133/task/16148/stat : 16148 (java) S 16131 16133 13533 0 -1 4202560 2858 0 0 0 18 0 0 0 16 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16149] ppid=16131 vsize=10550792 CPUtime=0.15 cores=1,3,5,7
/proc/16133/task/16149/stat : 16149 (java) S 16131 16133 13533 0 -1 4202560 2711 0 0 0 15 0 0 0 16 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
[pid=16133/tid=16150] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16150/stat : 16150 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048281 0 4 0 16800975 18446604465987405824 0 0 -1 3 0 0 0
[pid=16133/tid=16151] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16151/stat : 16151 (java) S 16131 16133 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830392136 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 4 0 16800975 18446604465987405824 0 0 -1 1 0 0 0
[pid=16133/tid=16154] ppid=16131 vsize=10550792 CPUtime=0 cores=1,3,5,7
/proc/16133/task/16154/stat : 16154 (java) S 16131 16133 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830392144 10804011008 16052 33554432000 1073741824 1073778376 140735551976640 18446744073709551615 208092048896 0 4 0 16800975 18446604465987405824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10550792
Child status: 30
Real time (s): 1.65487
CPU time (s): 0.683895
CPU user time (s): 0.663899
CPU system time (s): 0.019996
CPU usage (%): 41.3261
Max. virtual memory (cumulated for all children) (KiB): 10550792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.663899
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18854
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207
involuntary context switches= 64
runsolver used 0.010998 second user time and 0.026995 second system time
The end