runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3279965-1303728244/watcher-3279965-1303728244 -o /tmp/evaluation-result-3279965-1303728244/solver-3279965-1303728244 -C 2400 -W 1300 -M 7680 ./jMiniSat -sc-mode HOME/instance-3279965-1303728244.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 3.40 3.71 2/179 4578
/proc/meminfo: memFree=27730600/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=11800 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (runsolver) R 4576 4578 3621 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 465240268 12083200 51 33554432000 4194304 5434984 140736631673120 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/4578/statm: 2950 51 31 303 0 2644 0
[startup+0.065703 s]
/proc/loadavg: 1.89 3.40 3.71 2/179 4578
/proc/meminfo: memFree=27730600/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.118247 s]
/proc/loadavg: 1.89 3.40 3.71 2/179 4578
/proc/meminfo: memFree=27730600/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.386351 s]
/proc/loadavg: 1.89 3.40 3.71 2/179 4578
/proc/meminfo: memFree=27730600/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700286 s]
/proc/loadavg: 1.89 3.40 3.71 2/179 4578
/proc/meminfo: memFree=27730600/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50119 s]
/proc/loadavg: 1.89 3.40 3.71 7/262 4698
/proc/meminfo: memFree=27484108/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
[pid=4583] ppid=4578 vsize=7470176 CPUtime=1.88 cores=0,2
/proc/4583/stat : 4583 (java) S 4578 4578 3621 0 -1 4202496 22053 0 1 0 185 3 0 0 18 0 18 0 465240269 7649460224 21647 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4583/statm: 1867544 21647 2203 9 0 1858023 0
[pid=4583/tid=4584] ppid=4578 vsize=7470176 CPUtime=1.41 cores=0,2
/proc/4583/task/4584/stat : 4584 (java) R 4578 4578 3621 0 -1 4202560 17012 0 1 0 139 2 0 0 18 0 18 0 465240269 7649460224 21648 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 46912505492636 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4583/tid=4590] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4590/stat : 4590 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 465240271 7649460224 21649 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4591] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4591/stat : 4591 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240271 7649460224 21649 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4592] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4592/stat : 4592 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240271 7649460224 21649 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4593] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4593/stat : 4593 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 21650 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4594] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4594/stat : 4594 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 21650 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4595] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4595/stat : 4595 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 21650 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4596] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4596/stat : 4596 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 21650 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4597] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4597/stat : 4597 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 21650 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4601] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4601/stat : 4601 (java) S 4578 4578 3621 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 465240272 7649460224 21650 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 0 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4609] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4609/stat : 4609 (java) S 4578 4578 3621 0 -1 4202560 11 0 0 0 0 0 0 0 24 0 18 0 465240272 7649460224 21651 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4610] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4610/stat : 4610 (java) S 4578 4578 3621 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 465240272 7649460224 21651 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4640] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4640/stat : 4640 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 465240274 7649460224 21653 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828060081 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4641] ppid=4578 vsize=7470176 CPUtime=0.19 cores=0,2
/proc/4583/task/4641/stat : 4641 (java) S 4578 4578 3621 0 -1 4202560 1619 0 0 0 19 0 0 0 18 0 18 0 465240274 7649460224 21653 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4642] ppid=4578 vsize=7470176 CPUtime=0.26 cores=0,2
/proc/4583/task/4642/stat : 4642 (java) S 4578 4578 3621 0 -1 4202560 2278 0 0 0 26 0 0 0 15 0 18 0 465240274 7649460224 21653 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4643] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4643/stat : 4643 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240274 7649460224 21653 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4644] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4644/stat : 4644 (java) S 4578 4578 3621 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 465240274 7649460224 21656 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 7478876
[startup+3.10091 s]
/proc/loadavg: 1.89 3.40 3.71 5/262 4698
/proc/meminfo: memFree=27357636/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
[pid=4583] ppid=4578 vsize=7470176 CPUtime=3.52 cores=0,2
/proc/4583/stat : 4583 (java) S 4578 4578 3621 0 -1 4202496 32597 0 1 0 348 4 0 0 18 0 18 0 465240269 7649460224 32017 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4583/statm: 1867544 32017 2204 9 0 1858023 0
[pid=4583/tid=4584] ppid=4578 vsize=7470176 CPUtime=3.02 cores=0,2
/proc/4583/task/4584/stat : 4584 (java) R 4578 4578 3621 0 -1 4202560 27373 0 1 0 298 4 0 0 21 0 18 0 465240269 7649460224 32018 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 46912505595853 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4583/tid=4590] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4590/stat : 4590 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 465240271 7649460224 32018 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4591] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4591/stat : 4591 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240271 7649460224 32018 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4592] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4592/stat : 4592 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240271 7649460224 32018 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4593] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4593/stat : 4593 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 32018 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4594] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4594/stat : 4594 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 32019 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4595] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4595/stat : 4595 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4596] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4596/stat : 4596 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4597] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4597/stat : 4597 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 465240271 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4601] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4601/stat : 4601 (java) S 4578 4578 3621 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 465240272 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 0 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4609] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4609/stat : 4609 (java) S 4578 4578 3621 0 -1 4202560 11 0 0 0 0 0 0 0 24 0 18 0 465240272 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4610] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4610/stat : 4610 (java) S 4578 4578 3621 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 465240272 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4640] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4640/stat : 4640 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 465240274 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828060081 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4641] ppid=4578 vsize=7470176 CPUtime=0.22 cores=0,2
/proc/4583/task/4641/stat : 4641 (java) S 4578 4578 3621 0 -1 4202560 1801 0 0 0 22 0 0 0 15 0 18 0 465240274 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4642] ppid=4578 vsize=7470176 CPUtime=0.27 cores=0,2
/proc/4583/task/4642/stat : 4642 (java) S 4578 4578 3621 0 -1 4202560 2279 0 0 0 27 0 0 0 15 0 18 0 465240274 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4643] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4643/stat : 4643 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240274 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4644] ppid=4578 vsize=7470176 CPUtime=0 cores=0,2
/proc/4583/task/4644/stat : 4644 (java) S 4578 4578 3621 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 465240274 7649460224 32020 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 7478876
[startup+6.30131 s]
/proc/loadavg: 2.14 3.43 3.72 5/262 4698
/proc/meminfo: memFree=27096064/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
[pid=4583] ppid=4578 vsize=7463856 CPUtime=6.73 cores=0,2
/proc/4583/stat : 4583 (java) S 4578 4578 3621 0 -1 4202496 52365 0 1 0 665 8 0 0 18 0 18 0 465240269 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4583/statm: 1865964 50213 2218 9 0 1856443 0
[pid=4583/tid=4584] ppid=4578 vsize=7463856 CPUtime=6.21 cores=0,2
/proc/4583/task/4584/stat : 4584 (java) R 4578 4578 3621 0 -1 4202560 45956 0 1 0 614 7 0 0 25 0 18 0 465240269 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 46912505552401 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4583/tid=4590] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4590/stat : 4590 (java) S 4578 4578 3621 0 -1 4202560 417 0 0 0 0 0 0 0 18 0 18 0 465240271 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4591] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4591/stat : 4591 (java) S 4578 4578 3621 0 -1 4202560 678 0 0 0 0 0 0 0 18 0 18 0 465240271 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4592] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4592/stat : 4592 (java) S 4578 4578 3621 0 -1 4202560 84 0 0 0 0 0 0 0 18 0 18 0 465240271 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4593] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4593/stat : 4593 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 465240271 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4594] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4594/stat : 4594 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 465240271 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4595] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4595/stat : 4595 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 465240271 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4596] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4596/stat : 4596 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 465240271 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4597] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4597/stat : 4597 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 465240271 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4601] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4601/stat : 4601 (java) S 4578 4578 3621 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 465240272 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 0 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4609] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4609/stat : 4609 (java) S 4578 4578 3621 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4610] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4610/stat : 4610 (java) S 4578 4578 3621 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4640] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4640/stat : 4640 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 465240274 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828060081 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4641] ppid=4578 vsize=7463856 CPUtime=0.22 cores=0,2
/proc/4583/task/4641/stat : 4641 (java) S 4578 4578 3621 0 -1 4202560 1801 0 0 0 22 0 0 0 15 0 18 0 465240274 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4642] ppid=4578 vsize=7463856 CPUtime=0.27 cores=0,2
/proc/4583/task/4642/stat : 4642 (java) S 4578 4578 3621 0 -1 4202560 2279 0 0 0 27 0 0 0 15 0 18 0 465240274 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4643] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4643/stat : 4643 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240274 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4644] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4644/stat : 4644 (java) S 4578 4578 3621 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 465240274 7642988544 50213 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.73
################
# More data... #
################
[pid=4583/tid=4591] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4591/stat : 4591 (java) S 4578 4578 3621 0 -1 4202560 678 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4592] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4592/stat : 4592 (java) S 4578 4578 3621 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4593] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4593/stat : 4593 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4594] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4594/stat : 4594 (java) S 4578 4578 3621 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4595] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4595/stat : 4595 (java) S 4578 4578 3621 0 -1 4202560 748 0 0 0 0 0 0 0 16 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4596] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4596/stat : 4596 (java) S 4578 4578 3621 0 -1 4202560 388 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4597] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4597/stat : 4597 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4601] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4601/stat : 4601 (java) S 4578 4578 3621 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 465240272 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 0 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4609] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4609/stat : 4609 (java) S 4578 4578 3621 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4610] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4610/stat : 4610 (java) S 4578 4578 3621 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4640] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4640/stat : 4640 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828060081 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4641] ppid=4578 vsize=7463856 CPUtime=0.22 cores=0,2
/proc/4583/task/4641/stat : 4641 (java) S 4578 4578 3621 0 -1 4202560 1801 0 0 0 22 0 0 0 15 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4642] ppid=4578 vsize=7463856 CPUtime=0.27 cores=0,2
/proc/4583/task/4642/stat : 4642 (java) S 4578 4578 3621 0 -1 4202560 2279 0 0 0 27 0 0 0 15 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4643] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4643/stat : 4643 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4644] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4644/stat : 4644 (java) S 4578 4578 3621 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.14
Current children cumulated vsize (KiB) 7472556
[startup+21.5015 s]
/proc/loadavg: 2.55 3.45 3.72 5/262 4698
/proc/meminfo: memFree=26811484/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
[pid=4583] ppid=4578 vsize=7463856 CPUtime=21.94 cores=0,2
/proc/4583/stat : 4583 (java) S 4578 4578 3621 0 -1 4202496 53518 0 1 0 2186 8 0 0 18 0 18 0 465240269 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4583/statm: 1865964 51364 2218 9 0 1856443 0
[pid=4583/tid=4584] ppid=4578 vsize=7463856 CPUtime=21.39 cores=0,2
/proc/4583/task/4584/stat : 4584 (java) R 4578 4578 3621 0 -1 4202560 45962 0 1 0 2132 7 0 0 25 0 18 0 465240269 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 46912505692929 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4583/tid=4590] ppid=4578 vsize=7463856 CPUtime=0.01 cores=0,2
/proc/4583/task/4590/stat : 4590 (java) S 4578 4578 3621 0 -1 4202560 426 0 0 0 1 0 0 0 16 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4591] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4591/stat : 4591 (java) S 4578 4578 3621 0 -1 4202560 678 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4592] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4592/stat : 4592 (java) S 4578 4578 3621 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4593] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4593/stat : 4593 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4594] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4594/stat : 4594 (java) S 4578 4578 3621 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4595] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4595/stat : 4595 (java) S 4578 4578 3621 0 -1 4202560 748 0 0 0 0 0 0 0 16 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4596] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4596/stat : 4596 (java) S 4578 4578 3621 0 -1 4202560 388 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4597] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4597/stat : 4597 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4601] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4601/stat : 4601 (java) S 4578 4578 3621 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 465240272 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 0 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4609] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4609/stat : 4609 (java) S 4578 4578 3621 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4610] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4610/stat : 4610 (java) S 4578 4578 3621 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4640] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4640/stat : 4640 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828060081 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4641] ppid=4578 vsize=7463856 CPUtime=0.22 cores=0,2
/proc/4583/task/4641/stat : 4641 (java) S 4578 4578 3621 0 -1 4202560 1801 0 0 0 22 0 0 0 15 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4642] ppid=4578 vsize=7463856 CPUtime=0.27 cores=0,2
/proc/4583/task/4642/stat : 4642 (java) S 4578 4578 3621 0 -1 4202560 2279 0 0 0 27 0 0 0 15 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4643] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4643/stat : 4643 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4644] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4644/stat : 4644 (java) S 4578 4578 3621 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.94
Current children cumulated vsize (KiB) 7472556
[startup+21.9014 s]
/proc/loadavg: 2.55 3.45 3.72 5/262 4698
/proc/meminfo: memFree=26811484/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
[pid=4583] ppid=4578 vsize=7463856 CPUtime=22.35 cores=0,2
/proc/4583/stat : 4583 (java) S 4578 4578 3621 0 -1 4202496 53518 0 1 0 2227 8 0 0 18 0 18 0 465240269 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4583/statm: 1865964 51364 2218 9 0 1856443 0
[pid=4583/tid=4584] ppid=4578 vsize=7463856 CPUtime=21.8 cores=0,2
/proc/4583/task/4584/stat : 4584 (java) R 4578 4578 3621 0 -1 4202560 45962 0 1 0 2173 7 0 0 25 0 18 0 465240269 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 46912505553373 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4583/tid=4590] ppid=4578 vsize=7463856 CPUtime=0.01 cores=0,2
/proc/4583/task/4590/stat : 4590 (java) S 4578 4578 3621 0 -1 4202560 426 0 0 0 1 0 0 0 16 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4591] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4591/stat : 4591 (java) S 4578 4578 3621 0 -1 4202560 678 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4592] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4592/stat : 4592 (java) S 4578 4578 3621 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4593] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4593/stat : 4593 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4594] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4594/stat : 4594 (java) S 4578 4578 3621 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4595] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4595/stat : 4595 (java) S 4578 4578 3621 0 -1 4202560 748 0 0 0 0 0 0 0 16 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4596] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4596/stat : 4596 (java) S 4578 4578 3621 0 -1 4202560 388 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4597] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4597/stat : 4597 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4601] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4601/stat : 4601 (java) S 4578 4578 3621 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 465240272 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 0 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4609] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4609/stat : 4609 (java) S 4578 4578 3621 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4610] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4610/stat : 4610 (java) S 4578 4578 3621 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4640] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4640/stat : 4640 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828060081 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4641] ppid=4578 vsize=7463856 CPUtime=0.22 cores=0,2
/proc/4583/task/4641/stat : 4641 (java) S 4578 4578 3621 0 -1 4202560 1801 0 0 0 22 0 0 0 15 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4642] ppid=4578 vsize=7463856 CPUtime=0.27 cores=0,2
/proc/4583/task/4642/stat : 4642 (java) S 4578 4578 3621 0 -1 4202560 2279 0 0 0 27 0 0 0 15 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4643] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4643/stat : 4643 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4644] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4644/stat : 4644 (java) S 4578 4578 3621 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 465240274 7642988544 51364 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.35
Current children cumulated vsize (KiB) 7472556
[startup+22.319 s]
/proc/loadavg: 2.55 3.45 3.72 5/262 4698
/proc/meminfo: memFree=26811484/32951124 swapFree=67111524/67111528
[pid=4578] ppid=4576 vsize=8700 CPUtime=0 cores=0,2
/proc/4578/stat : 4578 (jMiniSat) S 4576 4578 3621 0 -1 4202496 350 233 0 0 0 0 0 0 18 0 1 0 465240268 8908800 250 33554432000 4194304 4922060 140733416091344 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4578/statm: 2175 250 209 178 0 68 0
[pid=4583] ppid=4578 vsize=7463856 CPUtime=22.79 cores=0,2
/proc/4583/stat : 4583 (java) S 4578 4578 3621 0 -1 4202496 54140 0 1 0 2270 9 0 0 18 0 18 0 465240269 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4583/statm: 1865964 51954 2219 9 0 1856443 0
[pid=4583/tid=4584] ppid=4578 vsize=7463856 CPUtime=22.22 cores=0,2
/proc/4583/task/4584/stat : 4584 (java) R 4578 4578 3621 0 -1 4202560 45967 0 1 0 2214 8 0 0 25 0 18 0 465240269 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828063051 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4583/tid=4590] ppid=4578 vsize=7463856 CPUtime=0.01 cores=0,2
/proc/4583/task/4590/stat : 4590 (java) S 4578 4578 3621 0 -1 4202560 426 0 0 0 1 0 0 0 16 0 18 0 465240271 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4591] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4591/stat : 4591 (java) S 4578 4578 3621 0 -1 4202560 678 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4592] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4592/stat : 4592 (java) S 4578 4578 3621 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4593] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4593/stat : 4593 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4594] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4594/stat : 4594 (java) S 4578 4578 3621 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 465240271 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4595] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4595/stat : 4595 (java) S 4578 4578 3621 0 -1 4202560 748 0 0 0 0 0 0 0 16 0 18 0 465240271 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4596] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4596/stat : 4596 (java) S 4578 4578 3621 0 -1 4202560 388 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4597] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4597/stat : 4597 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 465240271 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4601] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4601/stat : 4601 (java) S 4578 4578 3621 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 465240272 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 0 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4609] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4609/stat : 4609 (java) S 4578 4578 3621 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4610] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4610/stat : 4610 (java) S 4578 4578 3621 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 465240272 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4640] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4640/stat : 4640 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 465240274 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828060081 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4641] ppid=4578 vsize=7463856 CPUtime=0.24 cores=0,2
/proc/4583/task/4641/stat : 4641 (java) S 4578 4578 3621 0 -1 4202560 2418 0 0 0 24 0 0 0 15 0 18 0 465240274 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4642] ppid=4578 vsize=7463856 CPUtime=0.27 cores=0,2
/proc/4583/task/4642/stat : 4642 (java) S 4578 4578 3621 0 -1 4202560 2279 0 0 0 27 0 0 0 15 0 18 0 465240274 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 0 0 0 0
[pid=4583/tid=4643] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4643/stat : 4643 (java) S 4578 4578 3621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 465240274 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052377 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
[pid=4583/tid=4644] ppid=4578 vsize=7463856 CPUtime=0 cores=0,2
/proc/4583/task/4644/stat : 4644 (java) S 4578 4578 3621 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 465240274 7642988544 51954 33554432000 1073741824 1073778376 140736415669264 18446744073709551615 220828052992 0 4 0 16800975 18446604453931496768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.79
Current children cumulated vsize (KiB) 7472556
Child status: 10
Real time (s): 22.3739
CPU time (s): 22.8545
CPU user time (s): 22.7445
CPU system time (s): 0.109983
CPU usage (%): 102.148
Max. virtual memory (cumulated for all children) (KiB): 7478876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7445
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54764
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= 759
involuntary context switches= 213
runsolver used 0.046992 second user time and 0.083987 second system time
The end