runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3438342-1307745282/watcher-3438342-1307745282 -o /tmp/evaluation-result-3438342-1307745282/solver-3438342-1307745282 -C 5000 -W 5100 -M 15500 ./jMiniSat -sc-mode HOME/instance-3438342-1307745282.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: 3.99 3.90 3.46 4/197 16581
/proc/meminfo: memFree=30450492/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
[startup+0.046723 s]
/proc/loadavg: 3.99 3.90 3.46 4/197 16581
/proc/meminfo: memFree=30450492/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.105901 s]
/proc/loadavg: 3.99 3.90 3.46 4/197 16581
/proc/meminfo: memFree=30450492/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300865 s]
/proc/loadavg: 3.99 3.90 3.46 4/197 16581
/proc/meminfo: memFree=30450492/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.70079 s]
/proc/loadavg: 3.99 3.90 3.46 4/197 16581
/proc/meminfo: memFree=30450492/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50164 s]
/proc/loadavg: 3.99 3.90 3.46 5/216 16601
/proc/meminfo: memFree=30400948/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
[pid=16583] ppid=16581 vsize=14661516 CPUtime=1.98 cores=0,2,4,6
/proc/16583/stat : 16583 (java) S 16581 16581 16434 0 -1 4202496 19097 0 1 0 196 2 0 0 25 0 18 0 886124947 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16583/statm: 3665379 17489 2204 9 0 3655858 0
[pid=16583/tid=16585] ppid=16581 vsize=14661516 CPUtime=1.47 cores=0,2,4,6
/proc/16583/task/16585/stat : 16585 (java) R 16581 16581 16434 0 -1 4202560 12176 0 1 0 146 1 0 0 25 0 18 0 886124948 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 46912505655002 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16583/tid=16586] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16586/stat : 16586 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16587] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16587/stat : 16587 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16588] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16588/stat : 16588 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16589] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16589/stat : 16589 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16590] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16590/stat : 16590 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16591] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16591/stat : 16591 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16592] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16592/stat : 16592 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16593] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16593/stat : 16593 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16594] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16594/stat : 16594 (java) S 16581 16581 16434 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 886124949 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16595] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16595/stat : 16595 (java) S 16581 16581 16434 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 886124950 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16596] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16596/stat : 16596 (java) S 16581 16581 16434 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 886124950 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16597] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16597/stat : 16597 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16598] ppid=16581 vsize=14661516 CPUtime=0.2 cores=0,2,4,6
/proc/16583/task/16598/stat : 16598 (java) S 16581 16581 16434 0 -1 4202560 3607 0 0 0 20 0 0 0 15 0 18 0 886124952 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16599] ppid=16581 vsize=14661516 CPUtime=0.29 cores=0,2,4,6
/proc/16583/task/16599/stat : 16599 (java) S 16581 16581 16434 0 -1 4202560 2169 0 0 0 29 0 0 0 15 0 18 0 886124952 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16600] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16600/stat : 16600 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16601] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16601/stat : 16601 (java) S 16581 16581 16434 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 886124952 15013392384 17489 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 14670216
[startup+3.10132 s]
/proc/loadavg: 3.99 3.90 3.47 5/216 16601
/proc/meminfo: memFree=30372304/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
[pid=16583] ppid=16581 vsize=14661516 CPUtime=3.6 cores=0,2,4,6
/proc/16583/stat : 16583 (java) S 16581 16581 16434 0 -1 4202496 28113 0 1 0 356 4 0 0 25 0 18 0 886124947 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16583/statm: 3665379 26505 2204 9 0 3655858 0
[pid=16583/tid=16585] ppid=16581 vsize=14661516 CPUtime=3.08 cores=0,2,4,6
/proc/16583/task/16585/stat : 16585 (java) R 16581 16581 16434 0 -1 4202560 21190 0 1 0 305 3 0 0 25 0 18 0 886124948 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 46912505593578 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16583/tid=16586] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16586/stat : 16586 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16587] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16587/stat : 16587 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16588] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16588/stat : 16588 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16589] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16589/stat : 16589 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16590] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16590/stat : 16590 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16591] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16591/stat : 16591 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16592] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16592/stat : 16592 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16593] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16593/stat : 16593 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 26505 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16594] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16594/stat : 16594 (java) S 16581 16581 16434 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 886124949 15013392384 26506 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16595] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16595/stat : 16595 (java) S 16581 16581 16434 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 886124950 15013392384 26506 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16596] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16596/stat : 16596 (java) S 16581 16581 16434 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 886124950 15013392384 26506 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16597] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16597/stat : 16597 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15013392384 26506 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16598] ppid=16581 vsize=14661516 CPUtime=0.21 cores=0,2,4,6
/proc/16583/task/16598/stat : 16598 (java) S 16581 16581 16434 0 -1 4202560 3609 0 0 0 21 0 0 0 15 0 18 0 886124952 15013392384 26506 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16599] ppid=16581 vsize=14661516 CPUtime=0.3 cores=0,2,4,6
/proc/16583/task/16599/stat : 16599 (java) S 16581 16581 16434 0 -1 4202560 2169 0 0 0 30 0 0 0 15 0 18 0 886124952 15013392384 26506 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16600] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16600/stat : 16600 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15013392384 26506 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16601] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16601/stat : 16601 (java) S 16581 16581 16434 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 886124952 15013392384 26506 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 14670216
[startup+6.30067 s]
/proc/loadavg: 3.99 3.90 3.47 5/216 16601
/proc/meminfo: memFree=30302604/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
[pid=16583] ppid=16581 vsize=14661516 CPUtime=6.99 cores=0,2,4,6
/proc/16583/stat : 16583 (java) S 16581 16581 16434 0 -1 4202496 48617 0 1 0 691 8 0 0 25 0 18 0 886124947 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16583/statm: 3665379 44096 2211 9 0 3655858 0
[pid=16583/tid=16585] ppid=16581 vsize=14661516 CPUtime=6.28 cores=0,2,4,6
/proc/16583/task/16585/stat : 16585 (java) R 16581 16581 16434 0 -1 4202560 35862 0 1 0 622 6 0 0 25 0 18 0 886124948 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 46912505524880 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16583/tid=16586] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16586/stat : 16586 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16587] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16587/stat : 16587 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16588] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16588/stat : 16588 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16589] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16589/stat : 16589 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16590] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16590/stat : 16590 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16591] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16591/stat : 16591 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16592] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16592/stat : 16592 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16593] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16593/stat : 16593 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124948 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16594] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16594/stat : 16594 (java) S 16581 16581 16434 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 886124949 15013392384 44096 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16595] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16595/stat : 16595 (java) S 16581 16581 16434 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 886124950 15013392384 44097 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16596] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16596/stat : 16596 (java) S 16581 16581 16434 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 886124950 15013392384 44097 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16597] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16597/stat : 16597 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15013392384 44097 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16598] ppid=16581 vsize=14661516 CPUtime=0.34 cores=0,2,4,6
/proc/16583/task/16598/stat : 16598 (java) S 16581 16581 16434 0 -1 4202560 9315 0 0 0 33 1 0 0 16 0 18 0 886124952 15013392384 44097 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16599] ppid=16581 vsize=14661516 CPUtime=0.35 cores=0,2,4,6
/proc/16583/task/16599/stat : 16599 (java) S 16581 16581 16434 0 -1 4202560 2295 0 0 0 35 0 0 0 15 0 18 0 886124952 15013392384 44097 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16600] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16600/stat : 16600 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15013392384 44097 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16601] ppid=16581 vsize=14661516 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16601/stat : 16601 (java) S 16581 16581 16434 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 886124952 15013392384 44097 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.99
################
# More data... #
################
[pid=16583/tid=16587] ppid=16581 vsize=14656588 CPUtime=1.1 cores=0,2,4,6
/proc/16583/task/16587/stat : 16587 (java) S 16581 16581 16434 0 -1 4202560 18748 0 0 0 105 5 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16588] ppid=16581 vsize=14656588 CPUtime=0.92 cores=0,2,4,6
/proc/16583/task/16588/stat : 16588 (java) S 16581 16581 16434 0 -1 4202560 21573 0 0 0 88 4 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16589] ppid=16581 vsize=14656588 CPUtime=0.95 cores=0,2,4,6
/proc/16583/task/16589/stat : 16589 (java) S 16581 16581 16434 0 -1 4202560 25290 0 0 0 91 4 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16590] ppid=16581 vsize=14656588 CPUtime=1.16 cores=0,2,4,6
/proc/16583/task/16590/stat : 16590 (java) S 16581 16581 16434 0 -1 4202560 33215 0 0 0 110 6 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16591] ppid=16581 vsize=14656588 CPUtime=1.11 cores=0,2,4,6
/proc/16583/task/16591/stat : 16591 (java) S 16581 16581 16434 0 -1 4202560 20803 0 0 0 107 4 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=16583/tid=16592] ppid=16581 vsize=14656588 CPUtime=1.1 cores=0,2,4,6
/proc/16583/task/16592/stat : 16592 (java) S 16581 16581 16434 0 -1 4202560 34097 0 0 0 102 8 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16593] ppid=16581 vsize=14656588 CPUtime=1.09 cores=0,2,4,6
/proc/16583/task/16593/stat : 16593 (java) S 16581 16581 16434 0 -1 4202560 34466 0 0 0 103 6 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=16583/tid=16594] ppid=16581 vsize=14656588 CPUtime=0.52 cores=0,2,4,6
/proc/16583/task/16594/stat : 16594 (java) S 16581 16581 16434 0 -1 4202560 365 0 0 0 51 1 0 0 15 0 18 0 886124949 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16595] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16595/stat : 16595 (java) S 16581 16581 16434 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 886124950 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16596] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16596/stat : 16596 (java) S 16581 16581 16434 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 886124950 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16597] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16597/stat : 16597 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16598] ppid=16581 vsize=14656588 CPUtime=0.34 cores=0,2,4,6
/proc/16583/task/16598/stat : 16598 (java) S 16581 16581 16434 0 -1 4202560 9315 0 0 0 33 1 0 0 16 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16599] ppid=16581 vsize=14656588 CPUtime=0.36 cores=0,2,4,6
/proc/16583/task/16599/stat : 16599 (java) S 16581 16581 16434 0 -1 4202560 2300 0 0 0 36 0 0 0 15 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16600] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16600/stat : 16600 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16601] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16601/stat : 16601 (java) S 16581 16581 16434 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3016.66
Current children cumulated vsize (KiB) 14665288
[startup+3011.1 s]
/proc/loadavg: 2.04 2.05 2.52 3/214 16693
/proc/meminfo: memFree=29701016/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
[pid=16583] ppid=16581 vsize=14656588 CPUtime=3018.25 cores=0,2,4,6
/proc/16583/stat : 16583 (java) S 16581 16581 16434 0 -1 4202496 290855 0 1 0 301764 61 0 0 25 0 18 0 886124947 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16583/statm: 3664147 261038 2238 9 0 3654626 0
[pid=16583/tid=16585] ppid=16581 vsize=14656588 CPUtime=3008.34 cores=0,2,4,6
/proc/16583/task/16585/stat : 16585 (java) R 16581 16581 16434 0 -1 4202560 61295 0 1 0 300824 10 0 0 25 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 46912505674514 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16583/tid=16586] ppid=16581 vsize=14656588 CPUtime=1.13 cores=0,2,4,6
/proc/16583/task/16586/stat : 16586 (java) S 16581 16581 16434 0 -1 4202560 28080 0 0 0 108 5 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16587] ppid=16581 vsize=14656588 CPUtime=1.1 cores=0,2,4,6
/proc/16583/task/16587/stat : 16587 (java) S 16581 16581 16434 0 -1 4202560 18748 0 0 0 105 5 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16588] ppid=16581 vsize=14656588 CPUtime=0.92 cores=0,2,4,6
/proc/16583/task/16588/stat : 16588 (java) S 16581 16581 16434 0 -1 4202560 21573 0 0 0 88 4 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16589] ppid=16581 vsize=14656588 CPUtime=0.95 cores=0,2,4,6
/proc/16583/task/16589/stat : 16589 (java) S 16581 16581 16434 0 -1 4202560 25290 0 0 0 91 4 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16590] ppid=16581 vsize=14656588 CPUtime=1.16 cores=0,2,4,6
/proc/16583/task/16590/stat : 16590 (java) S 16581 16581 16434 0 -1 4202560 33215 0 0 0 110 6 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16591] ppid=16581 vsize=14656588 CPUtime=1.11 cores=0,2,4,6
/proc/16583/task/16591/stat : 16591 (java) S 16581 16581 16434 0 -1 4202560 20803 0 0 0 107 4 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=16583/tid=16592] ppid=16581 vsize=14656588 CPUtime=1.1 cores=0,2,4,6
/proc/16583/task/16592/stat : 16592 (java) S 16581 16581 16434 0 -1 4202560 34097 0 0 0 102 8 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16593] ppid=16581 vsize=14656588 CPUtime=1.09 cores=0,2,4,6
/proc/16583/task/16593/stat : 16593 (java) S 16581 16581 16434 0 -1 4202560 34466 0 0 0 103 6 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=16583/tid=16594] ppid=16581 vsize=14656588 CPUtime=0.52 cores=0,2,4,6
/proc/16583/task/16594/stat : 16594 (java) S 16581 16581 16434 0 -1 4202560 365 0 0 0 51 1 0 0 15 0 18 0 886124949 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16595] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16595/stat : 16595 (java) S 16581 16581 16434 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 886124950 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16596] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16596/stat : 16596 (java) S 16581 16581 16434 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 886124950 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16597] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16597/stat : 16597 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16598] ppid=16581 vsize=14656588 CPUtime=0.34 cores=0,2,4,6
/proc/16583/task/16598/stat : 16598 (java) S 16581 16581 16434 0 -1 4202560 9315 0 0 0 33 1 0 0 16 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16599] ppid=16581 vsize=14656588 CPUtime=0.36 cores=0,2,4,6
/proc/16583/task/16599/stat : 16599 (java) S 16581 16581 16434 0 -1 4202560 2300 0 0 0 36 0 0 0 15 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16600] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16600/stat : 16600 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16601] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16601/stat : 16601 (java) S 16581 16581 16434 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3018.25
Current children cumulated vsize (KiB) 14665288
[startup+3011.9 s]
/proc/loadavg: 2.04 2.05 2.52 3/214 16693
/proc/meminfo: memFree=29701016/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
[pid=16583] ppid=16581 vsize=14656588 CPUtime=3019.05 cores=0,2,4,6
/proc/16583/stat : 16583 (java) S 16581 16581 16434 0 -1 4202496 290855 0 1 0 301844 61 0 0 25 0 18 0 886124947 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16583/statm: 3664147 261038 2238 9 0 3654626 0
[pid=16583/tid=16585] ppid=16581 vsize=14656588 CPUtime=3009.14 cores=0,2,4,6
/proc/16583/task/16585/stat : 16585 (java) R 16581 16581 16434 0 -1 4202560 61295 0 1 0 300904 10 0 0 25 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 46912505593273 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16583/tid=16586] ppid=16581 vsize=14656588 CPUtime=1.13 cores=0,2,4,6
/proc/16583/task/16586/stat : 16586 (java) S 16581 16581 16434 0 -1 4202560 28080 0 0 0 108 5 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16587] ppid=16581 vsize=14656588 CPUtime=1.1 cores=0,2,4,6
/proc/16583/task/16587/stat : 16587 (java) S 16581 16581 16434 0 -1 4202560 18748 0 0 0 105 5 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16588] ppid=16581 vsize=14656588 CPUtime=0.92 cores=0,2,4,6
/proc/16583/task/16588/stat : 16588 (java) S 16581 16581 16434 0 -1 4202560 21573 0 0 0 88 4 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16589] ppid=16581 vsize=14656588 CPUtime=0.95 cores=0,2,4,6
/proc/16583/task/16589/stat : 16589 (java) S 16581 16581 16434 0 -1 4202560 25290 0 0 0 91 4 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16590] ppid=16581 vsize=14656588 CPUtime=1.16 cores=0,2,4,6
/proc/16583/task/16590/stat : 16590 (java) S 16581 16581 16434 0 -1 4202560 33215 0 0 0 110 6 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16591] ppid=16581 vsize=14656588 CPUtime=1.11 cores=0,2,4,6
/proc/16583/task/16591/stat : 16591 (java) S 16581 16581 16434 0 -1 4202560 20803 0 0 0 107 4 0 0 16 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=16583/tid=16592] ppid=16581 vsize=14656588 CPUtime=1.1 cores=0,2,4,6
/proc/16583/task/16592/stat : 16592 (java) S 16581 16581 16434 0 -1 4202560 34097 0 0 0 102 8 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16593] ppid=16581 vsize=14656588 CPUtime=1.09 cores=0,2,4,6
/proc/16583/task/16593/stat : 16593 (java) S 16581 16581 16434 0 -1 4202560 34466 0 0 0 103 6 0 0 15 0 18 0 886124948 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=16583/tid=16594] ppid=16581 vsize=14656588 CPUtime=0.52 cores=0,2,4,6
/proc/16583/task/16594/stat : 16594 (java) S 16581 16581 16434 0 -1 4202560 365 0 0 0 51 1 0 0 15 0 18 0 886124949 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16595] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16595/stat : 16595 (java) S 16581 16581 16434 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 886124950 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16596] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16596/stat : 16596 (java) S 16581 16581 16434 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 886124950 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16597] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16597/stat : 16597 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16598] ppid=16581 vsize=14656588 CPUtime=0.34 cores=0,2,4,6
/proc/16583/task/16598/stat : 16598 (java) S 16581 16581 16434 0 -1 4202560 9315 0 0 0 33 1 0 0 16 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16599] ppid=16581 vsize=14656588 CPUtime=0.36 cores=0,2,4,6
/proc/16583/task/16599/stat : 16599 (java) S 16581 16581 16434 0 -1 4202560 2300 0 0 0 36 0 0 0 15 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16600] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16600/stat : 16600 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16601] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16601/stat : 16601 (java) S 16581 16581 16434 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 18 0 886124952 15008346112 261038 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3019.05
Current children cumulated vsize (KiB) 14665288
[startup+3012.3 s]
/proc/loadavg: 2.04 2.05 2.52 3/214 16693
/proc/meminfo: memFree=29701016/32950928 swapFree=67053888/67111528
[pid=16581] ppid=16579 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16581/stat : 16581 (jMiniSat) S 16579 16581 16434 0 -1 4202496 349 232 0 0 0 0 0 0 25 0 1 0 886124947 8908800 249 33554432000 4194304 4922060 140737087544880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16581/statm: 2175 249 209 178 0 68 0
[pid=16583] ppid=16581 vsize=14656588 CPUtime=3019.45 cores=0,2,4,6
/proc/16583/stat : 16583 (java) S 16581 16581 16434 0 -1 4202496 290862 0 1 0 301883 62 0 0 25 0 18 0 886124947 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16583/statm: 3664147 261044 2239 9 0 3654626 0
[pid=16583/tid=16585] ppid=16581 vsize=14656588 CPUtime=3009.51 cores=0,2,4,6
/proc/16583/task/16585/stat : 16585 (java) R 16581 16581 16434 0 -1 4202560 61299 0 1 0 300940 11 0 0 25 0 18 0 886124948 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512518475 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16583/tid=16586] ppid=16581 vsize=14656588 CPUtime=1.13 cores=0,2,4,6
/proc/16583/task/16586/stat : 16586 (java) S 16581 16581 16434 0 -1 4202560 28080 0 0 0 108 5 0 0 15 0 18 0 886124948 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16587] ppid=16581 vsize=14656588 CPUtime=1.1 cores=0,2,4,6
/proc/16583/task/16587/stat : 16587 (java) S 16581 16581 16434 0 -1 4202560 18748 0 0 0 105 5 0 0 16 0 18 0 886124948 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16588] ppid=16581 vsize=14656588 CPUtime=0.92 cores=0,2,4,6
/proc/16583/task/16588/stat : 16588 (java) S 16581 16581 16434 0 -1 4202560 21573 0 0 0 88 4 0 0 16 0 18 0 886124948 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16589] ppid=16581 vsize=14656588 CPUtime=0.95 cores=0,2,4,6
/proc/16583/task/16589/stat : 16589 (java) S 16581 16581 16434 0 -1 4202560 25290 0 0 0 91 4 0 0 15 0 18 0 886124948 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16590] ppid=16581 vsize=14656588 CPUtime=1.16 cores=0,2,4,6
/proc/16583/task/16590/stat : 16590 (java) S 16581 16581 16434 0 -1 4202560 33215 0 0 0 110 6 0 0 16 0 18 0 886124948 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16591] ppid=16581 vsize=14656588 CPUtime=1.11 cores=0,2,4,6
/proc/16583/task/16591/stat : 16591 (java) S 16581 16581 16434 0 -1 4202560 20803 0 0 0 107 4 0 0 16 0 18 0 886124948 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=16583/tid=16592] ppid=16581 vsize=14656588 CPUtime=1.1 cores=0,2,4,6
/proc/16583/task/16592/stat : 16592 (java) S 16581 16581 16434 0 -1 4202560 34097 0 0 0 102 8 0 0 15 0 18 0 886124948 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16593] ppid=16581 vsize=14656588 CPUtime=1.09 cores=0,2,4,6
/proc/16583/task/16593/stat : 16593 (java) S 16581 16581 16434 0 -1 4202560 34466 0 0 0 103 6 0 0 15 0 18 0 886124948 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=16583/tid=16594] ppid=16581 vsize=14656588 CPUtime=0.52 cores=0,2,4,6
/proc/16583/task/16594/stat : 16594 (java) S 16581 16581 16434 0 -1 4202560 365 0 0 0 51 1 0 0 15 0 18 0 886124949 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16595] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16595/stat : 16595 (java) S 16581 16581 16434 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 886124950 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16596] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16596/stat : 16596 (java) S 16581 16581 16434 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 886124950 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16597] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16597/stat : 16597 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16598] ppid=16581 vsize=14656588 CPUtime=0.34 cores=0,2,4,6
/proc/16583/task/16598/stat : 16598 (java) S 16581 16581 16434 0 -1 4202560 9315 0 0 0 33 1 0 0 15 0 18 0 886124952 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=16583/tid=16599] ppid=16581 vsize=14656588 CPUtime=0.38 cores=0,2,4,6
/proc/16583/task/16599/stat : 16599 (java) S 16581 16581 16434 0 -1 4202560 2303 0 0 0 38 0 0 0 15 0 18 0 886124952 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=16583/tid=16600] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16600/stat : 16600 (java) S 16581 16581 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886124952 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=16583/tid=16601] ppid=16581 vsize=14656588 CPUtime=0 cores=0,2,4,6
/proc/16583/task/16601/stat : 16601 (java) S 16581 16581 16434 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 18 0 886124952 15008346112 261044 33554432000 1073741824 1073778376 140736619803952 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3019.45
Current children cumulated vsize (KiB) 14665288
Child status: 10
Real time (s): 3012.4
CPU time (s): 3019.53
CPU user time (s): 3018.86
CPU system time (s): 0.667898
CPU usage (%): 100.237
Max. virtual memory (cumulated for all children) (KiB): 14670216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3018.86
system time used= 0.667898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291472
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= 64376
involuntary context switches= 25630
runsolver used 5.66614 second user time and 10.8394 second system time
The end