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-3438902-1306905024/watcher-3438902-1306905024 -o /tmp/evaluation-result-3438902-1306905024/solver-3438902-1306905024 -C 5000 -W 5100 -M 15500 ./jMiniSat -sc-mode HOME/instance-3438902-1306905024.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.96 2.01 1.98 2/291 22746
/proc/meminfo: memFree=13547336/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
[startup+0.0768531 s]
/proc/loadavg: 1.96 2.01 1.98 2/291 22746
/proc/meminfo: memFree=13547336/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100825 s]
/proc/loadavg: 1.96 2.01 1.98 2/291 22746
/proc/meminfo: memFree=13547336/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300765 s]
/proc/loadavg: 1.96 2.01 1.98 2/291 22746
/proc/meminfo: memFree=13547336/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700751 s]
/proc/loadavg: 1.96 2.01 1.98 2/291 22746
/proc/meminfo: memFree=13547336/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50159 s]
/proc/loadavg: 1.96 2.01 1.98 4/310 22766
/proc/meminfo: memFree=13484948/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
[pid=22748] ppid=22746 vsize=14656548 CPUtime=1.95 cores=0,2,4,6
/proc/22748/stat : 22748 (java) S 22746 22746 19410 0 -1 4202496 27705 0 1 0 191 4 0 0 25 0 18 0 802103193 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22748/statm: 3664137 25790 2204 9 0 3654616 0
[pid=22748/tid=22749] ppid=22746 vsize=14656548 CPUtime=1.48 cores=0,2,4,6
/proc/22748/task/22749/stat : 22749 (java) R 22746 22746 19410 0 -1 4202560 19640 0 1 0 145 3 0 0 25 0 18 0 802103193 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 46912505508461 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22748/tid=22751] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22751/stat : 22751 (java) S 22746 22746 19410 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22752] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22752/stat : 22752 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22753] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22753/stat : 22753 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22754] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22754/stat : 22754 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22755] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22755/stat : 22755 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22756] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22756/stat : 22756 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22757] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22757/stat : 22757 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22758] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22758/stat : 22758 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22759] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22759/stat : 22759 (java) S 22746 22746 19410 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 802103195 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 0 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22760] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22760/stat : 22760 (java) S 22746 22746 19410 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 802103195 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22761] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22761/stat : 22761 (java) S 22746 22746 19410 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 802103195 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22762] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22762/stat : 22762 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 802103197 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933600689 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22763] ppid=22746 vsize=14656548 CPUtime=0.26 cores=0,2,4,6
/proc/22748/task/22763/stat : 22763 (java) S 22746 22746 19410 0 -1 4202560 5505 0 0 0 25 1 0 0 15 0 18 0 802103197 15008305152 25790 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22764] ppid=22746 vsize=14656548 CPUtime=0.21 cores=0,2,4,6
/proc/22748/task/22764/stat : 22764 (java) S 22746 22746 19410 0 -1 4202560 1414 0 0 0 21 0 0 0 15 0 18 0 802103197 15008305152 25791 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22765] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22765/stat : 22765 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 802103197 15008305152 25791 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22766] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22766/stat : 22766 (java) S 22746 22746 19410 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 802103197 15008305152 25791 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 14665248
[startup+3.1013 s]
/proc/loadavg: 1.96 2.01 1.98 4/310 22767
/proc/meminfo: memFree=13404968/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
[pid=22748] ppid=22746 vsize=14656548 CPUtime=3.62 cores=0,2,4,6
/proc/22748/stat : 22748 (java) S 22746 22746 19410 0 -1 4202496 53344 0 1 0 354 8 0 0 25 0 18 0 802103193 15008305152 51429 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22748/statm: 3664137 51431 2204 9 0 3654616 0
[pid=22748/tid=22749] ppid=22746 vsize=14656548 CPUtime=3.07 cores=0,2,4,6
/proc/22748/task/22749/stat : 22749 (java) R 22746 22746 19410 0 -1 4202560 45273 0 1 0 301 6 0 0 25 0 18 0 802103193 15008305152 51431 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 46912505508461 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22748/tid=22751] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22751/stat : 22751 (java) S 22746 22746 19410 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 51431 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22752] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22752/stat : 22752 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 51433 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22753] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22753/stat : 22753 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 51433 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22754] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22754/stat : 22754 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 51433 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22755] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22755/stat : 22755 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 51434 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22756] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22756/stat : 22756 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 51434 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22757] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22757/stat : 22757 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 51435 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22758] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22758/stat : 22758 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802103194 15008305152 51436 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22759] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22759/stat : 22759 (java) S 22746 22746 19410 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 802103195 15008305152 51436 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 0 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22760] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22760/stat : 22760 (java) S 22746 22746 19410 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 802103195 15008305152 51438 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22761] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22761/stat : 22761 (java) S 22746 22746 19410 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 802103195 15008305152 51438 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22762] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22762/stat : 22762 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 802103197 15008305152 51438 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933600689 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22763] ppid=22746 vsize=14656548 CPUtime=0.31 cores=0,2,4,6
/proc/22748/task/22763/stat : 22763 (java) S 22746 22746 19410 0 -1 4202560 5513 0 0 0 30 1 0 0 15 0 18 0 802103197 15008305152 51440 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22764] ppid=22746 vsize=14656548 CPUtime=0.21 cores=0,2,4,6
/proc/22748/task/22764/stat : 22764 (java) S 22746 22746 19410 0 -1 4202560 1414 0 0 0 21 0 0 0 15 0 18 0 802103197 15008305152 51440 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22765] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22765/stat : 22765 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 802103197 15008305152 51441 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22766] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22766/stat : 22766 (java) S 22746 22746 19410 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 802103197 15008305152 51442 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 14665248
[startup+6.30072 s]
/proc/loadavg: 1.96 2.00 1.98 4/310 22767
/proc/meminfo: memFree=13333424/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
[pid=22748] ppid=22746 vsize=14656548 CPUtime=6.87 cores=0,2,4,6
/proc/22748/stat : 22748 (java) S 22746 22746 19410 0 -1 4202496 56157 0 1 0 679 8 0 0 25 0 18 0 802103193 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22748/statm: 3664137 53932 2218 9 0 3654616 0
[pid=22748/tid=22749] ppid=22746 vsize=14656548 CPUtime=6.27 cores=0,2,4,6
/proc/22748/task/22749/stat : 22749 (java) R 22746 22746 19410 0 -1 4202560 45967 0 1 0 620 7 0 0 25 0 18 0 802103193 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 46912505761105 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22748/tid=22751] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22751/stat : 22751 (java) S 22746 22746 19410 0 -1 4202560 342 0 0 0 0 0 0 0 16 0 18 0 802103194 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22752] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22752/stat : 22752 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 802103194 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22753] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22753/stat : 22753 (java) S 22746 22746 19410 0 -1 4202560 533 0 0 0 0 0 0 0 18 0 18 0 802103194 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22754] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22754/stat : 22754 (java) S 22746 22746 19410 0 -1 4202560 181 0 0 0 0 0 0 0 18 0 18 0 802103194 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22755] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22755/stat : 22755 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 802103194 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22756] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22756/stat : 22756 (java) S 22746 22746 19410 0 -1 4202560 336 0 0 0 0 0 0 0 18 0 18 0 802103194 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22757] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22757/stat : 22757 (java) S 22746 22746 19410 0 -1 4202560 472 0 0 0 0 0 0 0 18 0 18 0 802103194 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22758] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22758/stat : 22758 (java) S 22746 22746 19410 0 -1 4202560 250 0 0 0 0 0 0 0 18 0 18 0 802103194 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22759] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22759/stat : 22759 (java) S 22746 22746 19410 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 802103195 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 0 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22760] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22760/stat : 22760 (java) S 22746 22746 19410 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22761] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22761/stat : 22761 (java) S 22746 22746 19410 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22762] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22762/stat : 22762 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 802103197 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933600689 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22763] ppid=22746 vsize=14656548 CPUtime=0.34 cores=0,2,4,6
/proc/22748/task/22763/stat : 22763 (java) S 22746 22746 19410 0 -1 4202560 5515 0 0 0 33 1 0 0 15 0 18 0 802103197 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22764] ppid=22746 vsize=14656548 CPUtime=0.22 cores=0,2,4,6
/proc/22748/task/22764/stat : 22764 (java) S 22746 22746 19410 0 -1 4202560 1415 0 0 0 22 0 0 0 15 0 18 0 802103197 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22765] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22765/stat : 22765 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 802103197 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22766] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22766/stat : 22766 (java) S 22746 22746 19410 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 802103197 15008305152 53932 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.87
################
# More data... #
################
[pid=22748/tid=22752] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22752/stat : 22752 (java) S 22746 22746 19410 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22753] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22753/stat : 22753 (java) S 22746 22746 19410 0 -1 4202560 823 0 0 0 0 0 0 0 16 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22754] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22754/stat : 22754 (java) S 22746 22746 19410 0 -1 4202560 855 0 0 0 0 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22755] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22755/stat : 22755 (java) S 22746 22746 19410 0 -1 4202560 422 0 0 0 1 0 0 0 16 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22756] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22756/stat : 22756 (java) S 22746 22746 19410 0 -1 4202560 556 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22757] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22757/stat : 22757 (java) S 22746 22746 19410 0 -1 4202560 776 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22758] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22758/stat : 22758 (java) S 22746 22746 19410 0 -1 4202560 857 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22759] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22759/stat : 22759 (java) S 22746 22746 19410 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 802103195 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 0 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22760] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22760/stat : 22760 (java) S 22746 22746 19410 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22761] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22761/stat : 22761 (java) S 22746 22746 19410 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22762] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22762/stat : 22762 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933600689 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22763] ppid=22746 vsize=14656548 CPUtime=0.34 cores=0,2,4,6
/proc/22748/task/22763/stat : 22763 (java) S 22746 22746 19410 0 -1 4202560 5520 0 0 0 33 1 0 0 15 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22764] ppid=22746 vsize=14656548 CPUtime=0.22 cores=0,2,4,6
/proc/22748/task/22764/stat : 22764 (java) S 22746 22746 19410 0 -1 4202560 1415 0 0 0 22 0 0 0 15 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22765] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22765/stat : 22765 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22766] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22766/stat : 22766 (java) S 22746 22746 19410 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 43.71
Current children cumulated vsize (KiB) 14665248
[startup+43.5009 s]
/proc/loadavg: 1.98 2.00 1.98 4/310 22768
/proc/meminfo: memFree=13149632/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
[pid=22748] ppid=22746 vsize=14656548 CPUtime=44.11 cores=0,2,4,6
/proc/22748/stat : 22748 (java) S 22746 22746 19410 0 -1 4202496 96846 0 1 0 4397 14 0 0 25 0 18 0 802103193 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22748/statm: 3664137 94602 2223 9 0 3654616 0
[pid=22748/tid=22749] ppid=22746 vsize=14656548 CPUtime=43.44 cores=0,2,4,6
/proc/22748/task/22749/stat : 22749 (java) R 22746 22746 19410 0 -1 4202560 83813 0 1 0 4331 13 0 0 25 0 18 0 802103193 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 46912505561316 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22748/tid=22751] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22751/stat : 22751 (java) S 22746 22746 19410 0 -1 4202560 445 0 0 0 0 0 0 0 16 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22752] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22752/stat : 22752 (java) S 22746 22746 19410 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22753] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22753/stat : 22753 (java) S 22746 22746 19410 0 -1 4202560 823 0 0 0 0 0 0 0 16 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22754] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22754/stat : 22754 (java) S 22746 22746 19410 0 -1 4202560 855 0 0 0 0 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22755] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22755/stat : 22755 (java) S 22746 22746 19410 0 -1 4202560 422 0 0 0 1 0 0 0 16 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22756] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22756/stat : 22756 (java) S 22746 22746 19410 0 -1 4202560 556 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22757] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22757/stat : 22757 (java) S 22746 22746 19410 0 -1 4202560 776 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22758] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22758/stat : 22758 (java) S 22746 22746 19410 0 -1 4202560 857 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22759] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22759/stat : 22759 (java) S 22746 22746 19410 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 802103195 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 0 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22760] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22760/stat : 22760 (java) S 22746 22746 19410 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22761] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22761/stat : 22761 (java) S 22746 22746 19410 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22762] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22762/stat : 22762 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933600689 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22763] ppid=22746 vsize=14656548 CPUtime=0.34 cores=0,2,4,6
/proc/22748/task/22763/stat : 22763 (java) S 22746 22746 19410 0 -1 4202560 5520 0 0 0 33 1 0 0 15 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22764] ppid=22746 vsize=14656548 CPUtime=0.22 cores=0,2,4,6
/proc/22748/task/22764/stat : 22764 (java) S 22746 22746 19410 0 -1 4202560 1415 0 0 0 22 0 0 0 15 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22765] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22765/stat : 22765 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22766] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22766/stat : 22766 (java) S 22746 22746 19410 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 44.11
Current children cumulated vsize (KiB) 14665248
[startup+43.9008 s]
/proc/loadavg: 1.98 2.00 1.98 4/310 22768
/proc/meminfo: memFree=13149632/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
[pid=22748] ppid=22746 vsize=14656548 CPUtime=44.52 cores=0,2,4,6
/proc/22748/stat : 22748 (java) S 22746 22746 19410 0 -1 4202496 96846 0 1 0 4438 14 0 0 25 0 18 0 802103193 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22748/statm: 3664137 94602 2223 9 0 3654616 0
[pid=22748/tid=22749] ppid=22746 vsize=14656548 CPUtime=43.85 cores=0,2,4,6
/proc/22748/task/22749/stat : 22749 (java) R 22746 22746 19410 0 -1 4202560 83813 0 1 0 4372 13 0 0 25 0 18 0 802103193 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 46912505561723 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22748/tid=22751] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22751/stat : 22751 (java) S 22746 22746 19410 0 -1 4202560 445 0 0 0 0 0 0 0 16 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22752] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22752/stat : 22752 (java) S 22746 22746 19410 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22753] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22753/stat : 22753 (java) S 22746 22746 19410 0 -1 4202560 823 0 0 0 0 0 0 0 16 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22754] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22754/stat : 22754 (java) S 22746 22746 19410 0 -1 4202560 855 0 0 0 0 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22755] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22755/stat : 22755 (java) S 22746 22746 19410 0 -1 4202560 422 0 0 0 1 0 0 0 16 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22756] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22756/stat : 22756 (java) S 22746 22746 19410 0 -1 4202560 556 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22757] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22757/stat : 22757 (java) S 22746 22746 19410 0 -1 4202560 776 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22758] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22758/stat : 22758 (java) S 22746 22746 19410 0 -1 4202560 857 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22759] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22759/stat : 22759 (java) S 22746 22746 19410 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 802103195 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 0 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22760] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22760/stat : 22760 (java) S 22746 22746 19410 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22761] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22761/stat : 22761 (java) S 22746 22746 19410 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22762] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22762/stat : 22762 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933600689 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22763] ppid=22746 vsize=14656548 CPUtime=0.34 cores=0,2,4,6
/proc/22748/task/22763/stat : 22763 (java) S 22746 22746 19410 0 -1 4202560 5520 0 0 0 33 1 0 0 15 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22764] ppid=22746 vsize=14656548 CPUtime=0.22 cores=0,2,4,6
/proc/22748/task/22764/stat : 22764 (java) S 22746 22746 19410 0 -1 4202560 1415 0 0 0 22 0 0 0 15 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22765] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22765/stat : 22765 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22766] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22766/stat : 22766 (java) S 22746 22746 19410 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 802103197 15008305152 94602 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 44.52
Current children cumulated vsize (KiB) 14665248
[startup+44.0108 s]
/proc/loadavg: 1.98 2.00 1.98 4/310 22768
/proc/meminfo: memFree=13149632/32951124 swapFree=55664332/67111528
[pid=22746] ppid=22744 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22746/stat : 22746 (jMiniSat) S 22744 22746 19410 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802103192 8908800 250 33554432000 4194304 4922060 140737260454112 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22746/statm: 2175 250 209 178 0 68 0
[pid=22748] ppid=22746 vsize=14656548 CPUtime=44.63 cores=0,2,4,6
/proc/22748/stat : 22748 (java) S 22746 22746 19410 0 -1 4202496 96850 0 1 0 4449 14 0 0 25 0 18 0 802103193 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22748/statm: 3664137 94604 2223 9 0 3654616 0
[pid=22748/tid=22749] ppid=22746 vsize=14656548 CPUtime=43.95 cores=0,2,4,6
/proc/22748/task/22749/stat : 22749 (java) R 22746 22746 19410 0 -1 4202560 83815 0 1 0 4382 13 0 0 18 0 18 0 802103193 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933603659 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22748/tid=22751] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22751/stat : 22751 (java) S 22746 22746 19410 0 -1 4202560 445 0 0 0 0 0 0 0 16 0 18 0 802103194 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22752] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22752/stat : 22752 (java) S 22746 22746 19410 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 18 0 802103194 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22753] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22753/stat : 22753 (java) S 22746 22746 19410 0 -1 4202560 823 0 0 0 0 0 0 0 16 0 18 0 802103194 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22754] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22754/stat : 22754 (java) S 22746 22746 19410 0 -1 4202560 855 0 0 0 0 0 0 0 15 0 18 0 802103194 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22755] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22755/stat : 22755 (java) S 22746 22746 19410 0 -1 4202560 422 0 0 0 1 0 0 0 16 0 18 0 802103194 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22756] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22756/stat : 22756 (java) S 22746 22746 19410 0 -1 4202560 556 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22757] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22757/stat : 22757 (java) S 22746 22746 19410 0 -1 4202560 776 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 2 0 0 0
[pid=22748/tid=22758] ppid=22746 vsize=14656548 CPUtime=0.01 cores=0,2,4,6
/proc/22748/task/22758/stat : 22758 (java) S 22746 22746 19410 0 -1 4202560 857 0 0 0 1 0 0 0 15 0 18 0 802103194 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22759] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22759/stat : 22759 (java) S 22746 22746 19410 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 802103195 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 0 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22760] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22760/stat : 22760 (java) S 22746 22746 19410 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22761] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22761/stat : 22761 (java) S 22746 22746 19410 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 802103195 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22762] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22762/stat : 22762 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 802103197 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933600689 0 4 0 16800975 18446604451659733760 0 0 -1 4 0 0 0
[pid=22748/tid=22763] ppid=22746 vsize=14656548 CPUtime=0.35 cores=0,2,4,6
/proc/22748/task/22763/stat : 22763 (java) R 22746 22746 19410 0 -1 4202560 5522 0 0 0 34 1 0 0 15 0 18 0 802103197 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 47182739561931 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22748/tid=22764] ppid=22746 vsize=14656548 CPUtime=0.22 cores=0,2,4,6
/proc/22748/task/22764/stat : 22764 (java) S 22746 22746 19410 0 -1 4202560 1415 0 0 0 22 0 0 0 15 0 18 0 802103197 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22765] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22765/stat : 22765 (java) S 22746 22746 19410 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 802103197 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933592985 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
[pid=22748/tid=22766] ppid=22746 vsize=14656548 CPUtime=0 cores=0,2,4,6
/proc/22748/task/22766/stat : 22766 (java) S 22746 22746 19410 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 802103197 15008305152 94604 33554432000 1073741824 1073778376 140733423010512 18446744073709551615 222933593600 0 4 0 16800975 18446604451659733760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 44.63
Current children cumulated vsize (KiB) 14665248
Child status: 10
Real time (s): 44.066
CPU time (s): 44.7172
CPU user time (s): 44.5482
CPU system time (s): 0.168974
CPU usage (%): 101.478
Max. virtual memory (cumulated for all children) (KiB): 14665248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.5482
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97465
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= 1283
involuntary context switches= 179
runsolver used 0.143978 second user time and 0.307953 second system time
The end