runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3439557-1306940217/watcher-3439557-1306940217 -o /tmp/evaluation-result-3439557-1306940217/solver-3439557-1306940217 -C 5000 -W 5100 -M 15500 ./jMiniSat -sc-mode HOME/instance-3439557-1306940217.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: 2.02 2.02 2.00 2/433 21461
/proc/meminfo: memFree=25541936/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
[startup+0.0784811 s]
/proc/loadavg: 2.02 2.02 2.00 2/433 21461
/proc/meminfo: memFree=25541936/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100478 s]
/proc/loadavg: 2.02 2.02 2.00 2/433 21461
/proc/meminfo: memFree=25541936/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.346491 s]
/proc/loadavg: 2.02 2.02 2.00 2/433 21461
/proc/meminfo: memFree=25541936/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.70037 s]
/proc/loadavg: 2.02 2.02 2.00 2/433 21461
/proc/meminfo: memFree=25541936/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50123 s]
/proc/loadavg: 2.02 2.02 2.00 3/452 21481
/proc/meminfo: memFree=25499068/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
[pid=21463] ppid=21461 vsize=14656712 CPUtime=2 cores=0,2,4,6
/proc/21463/stat : 21463 (java) S 21461 21461 20825 0 -1 4202496 16355 0 1 0 197 3 0 0 25 0 18 0 261631143 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21463/statm: 3664178 14740 2212 9 0 3654657 0
[pid=21463/tid=21464] ppid=21461 vsize=14656712 CPUtime=1.48 cores=0,2,4,6
/proc/21463/task/21464/stat : 21464 (java) R 21461 21461 20825 0 -1 4202560 9407 0 1 0 146 2 0 0 18 0 18 0 261631143 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 46912505568937 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21463/tid=21465] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21465/stat : 21465 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21466/stat : 21466 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21467/stat : 21467 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21468/stat : 21468 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21469/stat : 21469 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21470/stat : 21470 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21471/stat : 21471 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21472] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21472/stat : 21472 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21474] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21474/stat : 21474 (java) S 21461 21461 20825 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 18 0 261631145 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 0 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21475] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21475/stat : 21475 (java) S 21461 21461 20825 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 2 0 0 0
[pid=21463/tid=21476] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21476/stat : 21476 (java) S 21461 21461 20825 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21477] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21477/stat : 21477 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892388785 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21478] ppid=21461 vsize=14656712 CPUtime=0.22 cores=0,2,4,6
/proc/21463/task/21478/stat : 21478 (java) S 21461 21461 20825 0 -1 4202560 3720 0 0 0 22 0 0 0 15 0 18 0 261631148 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 0 0 0 0
[pid=21463/tid=21479] ppid=21461 vsize=14656712 CPUtime=0.28 cores=0,2,4,6
/proc/21463/task/21479/stat : 21479 (java) S 21461 21461 20825 0 -1 4202560 2083 0 0 0 28 0 0 0 15 0 18 0 261631148 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21480] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21480/stat : 21480 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21481] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21481/stat : 21481 (java) S 21461 21461 20825 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 261631148 15008473088 14740 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 14665412
[startup+3.10095 s]
/proc/loadavg: 2.02 2.02 2.00 3/452 21481
/proc/meminfo: memFree=25483692/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
[pid=21463] ppid=21461 vsize=14656712 CPUtime=3.61 cores=0,2,4,6
/proc/21463/stat : 21463 (java) S 21461 21461 20825 0 -1 4202496 21075 0 1 0 357 4 0 0 25 0 18 0 261631143 15008473088 19460 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21463/statm: 3664178 19460 2212 9 0 3654657 0
[pid=21463/tid=21464] ppid=21461 vsize=14656712 CPUtime=3.07 cores=0,2,4,6
/proc/21463/task/21464/stat : 21464 (java) R 21461 21461 20825 0 -1 4202560 14127 0 1 0 305 2 0 0 22 0 18 0 261631143 15008473088 19460 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 46912505567540 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21463/tid=21465] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21465/stat : 21465 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 19460 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21466/stat : 21466 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 19460 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21467/stat : 21467 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 19460 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21468/stat : 21468 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 19460 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21469/stat : 21469 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 19460 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21470/stat : 21470 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 19460 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21471/stat : 21471 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 19460 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21472] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21472/stat : 21472 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 19461 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21474] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21474/stat : 21474 (java) S 21461 21461 20825 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 261631145 15008473088 19461 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 0 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21475] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21475/stat : 21475 (java) S 21461 21461 20825 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 19461 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 2 0 0 0
[pid=21463/tid=21476] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21476/stat : 21476 (java) S 21461 21461 20825 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 19461 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21477] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21477/stat : 21477 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 19461 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892388785 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21478] ppid=21461 vsize=14656712 CPUtime=0.22 cores=0,2,4,6
/proc/21463/task/21478/stat : 21478 (java) S 21461 21461 20825 0 -1 4202560 3720 0 0 0 22 0 0 0 15 0 18 0 261631148 15008473088 19461 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 0 0 0 0
[pid=21463/tid=21479] ppid=21461 vsize=14656712 CPUtime=0.28 cores=0,2,4,6
/proc/21463/task/21479/stat : 21479 (java) S 21461 21461 20825 0 -1 4202560 2083 0 0 0 28 0 0 0 15 0 18 0 261631148 15008473088 19461 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21480] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21480/stat : 21480 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 19461 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21481] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21481/stat : 21481 (java) S 21461 21461 20825 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 261631148 15008473088 19461 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 14665412
[startup+6.30138 s]
/proc/loadavg: 2.02 2.02 2.00 3/452 21481
/proc/meminfo: memFree=25448564/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
[pid=21463] ppid=21461 vsize=14656712 CPUtime=6.8 cores=0,2,4,6
/proc/21463/stat : 21463 (java) S 21461 21461 20825 0 -1 4202496 28528 0 1 0 676 4 0 0 25 0 18 0 261631143 15008473088 26781 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21463/statm: 3664178 26781 2212 9 0 3654657 0
[pid=21463/tid=21464] ppid=21461 vsize=14656712 CPUtime=6.28 cores=0,2,4,6
/proc/21463/task/21464/stat : 21464 (java) R 21461 21461 20825 0 -1 4202560 21580 0 1 0 625 3 0 0 25 0 18 0 261631143 15008473088 26781 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 46912505566150 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21463/tid=21465] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21465/stat : 21465 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 26781 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21466/stat : 21466 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 26781 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21467/stat : 21467 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 26782 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21468/stat : 21468 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 26782 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21469/stat : 21469 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 26782 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21470/stat : 21470 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 26782 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21471/stat : 21471 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 26782 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21472] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21472/stat : 21472 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 26782 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21474] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21474/stat : 21474 (java) S 21461 21461 20825 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 261631145 15008473088 26783 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 0 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21475] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21475/stat : 21475 (java) S 21461 21461 20825 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 26783 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 2 0 0 0
[pid=21463/tid=21476] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21476/stat : 21476 (java) S 21461 21461 20825 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 26783 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21477] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21477/stat : 21477 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 26783 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892388785 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21478] ppid=21461 vsize=14656712 CPUtime=0.22 cores=0,2,4,6
/proc/21463/task/21478/stat : 21478 (java) S 21461 21461 20825 0 -1 4202560 3720 0 0 0 22 0 0 0 15 0 18 0 261631148 15008473088 26783 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 0 0 0 0
[pid=21463/tid=21479] ppid=21461 vsize=14656712 CPUtime=0.28 cores=0,2,4,6
/proc/21463/task/21479/stat : 21479 (java) S 21461 21461 20825 0 -1 4202560 2083 0 0 0 28 0 0 0 15 0 18 0 261631148 15008473088 26783 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21480] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21480/stat : 21480 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 26783 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21481] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21481/stat : 21481 (java) S 21461 21461 20825 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 261631148 15008473088 26783 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 14665412
[startup+12.7012 s]
/proc/loadavg: 2.01 2.02 2.00 3/452 21481
/proc/meminfo: memFree=25393260/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
[pid=21463] ppid=21461 vsize=14656712 CPUtime=13.2 cores=0,2,4,6
/proc/21463/stat : 21463 (java) S 21461 21461 20825 0 -1 4202496 40007 0 1 0 1315 5 0 0 25 0 18 0 261631143 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21463/statm: 3664178 38260 2212 9 0 3654657 0
[pid=21463/tid=21464] ppid=21461 vsize=14656712 CPUtime=12.68 cores=0,2,4,6
/proc/21463/task/21464/stat : 21464 (java) R 21461 21461 20825 0 -1 4202560 33059 0 1 0 1264 4 0 0 25 0 18 0 261631143 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 46912505567576 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21463/tid=21465] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21465/stat : 21465 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21466/stat : 21466 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21467/stat : 21467 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21468/stat : 21468 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21469/stat : 21469 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21470/stat : 21470 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21471/stat : 21471 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21472] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21472/stat : 21472 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21474] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21474/stat : 21474 (java) S 21461 21461 20825 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 261631145 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 0 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21475] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21475/stat : 21475 (java) S 21461 21461 20825 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 2 0 0 0
[pid=21463/tid=21476] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21476/stat : 21476 (java) S 21461 21461 20825 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21477] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21477/stat : 21477 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892388785 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21478] ppid=21461 vsize=14656712 CPUtime=0.22 cores=0,2,4,6
/proc/21463/task/21478/stat : 21478 (java) S 21461 21461 20825 0 -1 4202560 3720 0 0 0 22 0 0 0 15 0 18 0 261631148 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 0 0 0 0
[pid=21463/tid=21479] ppid=21461 vsize=14656712 CPUtime=0.28 cores=0,2,4,6
/proc/21463/task/21479/stat : 21479 (java) S 21461 21461 20825 0 -1 4202560 2083 0 0 0 28 0 0 0 15 0 18 0 261631148 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21480] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21480/stat : 21480 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21481] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21481/stat : 21481 (java) S 21461 21461 20825 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 261631148 15008473088 38260 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.2
Current children cumulated vsize (KiB) 14665412
Solver just ended. Dumping a history of the last processes samples
[startup+13.5011 s]
/proc/loadavg: 2.01 2.02 2.00 3/452 21481
/proc/meminfo: memFree=25389796/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
[pid=21463] ppid=21461 vsize=14656712 CPUtime=14 cores=0,2,4,6
/proc/21463/stat : 21463 (java) S 21461 21461 20825 0 -1 4202496 40610 0 1 0 1395 5 0 0 25 0 18 0 261631143 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21463/statm: 3664178 38863 2212 9 0 3654657 0
[pid=21463/tid=21464] ppid=21461 vsize=14656712 CPUtime=13.47 cores=0,2,4,6
/proc/21463/task/21464/stat : 21464 (java) R 21461 21461 20825 0 -1 4202560 33662 0 1 0 1343 4 0 0 25 0 18 0 261631143 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 46912505567977 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21463/tid=21465] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21465/stat : 21465 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21466/stat : 21466 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21467/stat : 21467 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21468/stat : 21468 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21469/stat : 21469 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21470/stat : 21470 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21471/stat : 21471 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21472] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21472/stat : 21472 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21474] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21474/stat : 21474 (java) S 21461 21461 20825 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 261631145 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 0 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21475] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21475/stat : 21475 (java) S 21461 21461 20825 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 2 0 0 0
[pid=21463/tid=21476] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21476/stat : 21476 (java) S 21461 21461 20825 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 38863 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21477] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21477/stat : 21477 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 38864 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892388785 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21478] ppid=21461 vsize=14656712 CPUtime=0.22 cores=0,2,4,6
/proc/21463/task/21478/stat : 21478 (java) S 21461 21461 20825 0 -1 4202560 3720 0 0 0 22 0 0 0 15 0 18 0 261631148 15008473088 38864 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 0 0 0 0
[pid=21463/tid=21479] ppid=21461 vsize=14656712 CPUtime=0.28 cores=0,2,4,6
/proc/21463/task/21479/stat : 21479 (java) S 21461 21461 20825 0 -1 4202560 2083 0 0 0 28 0 0 0 15 0 18 0 261631148 15008473088 38864 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21480] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21480/stat : 21480 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 38864 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21481] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21481/stat : 21481 (java) S 21461 21461 20825 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 261631148 15008473088 38864 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14
Current children cumulated vsize (KiB) 14665412
[startup+13.7011 s]
/proc/loadavg: 2.01 2.02 2.00 3/452 21481
/proc/meminfo: memFree=25389796/32950928 swapFree=52006644/67111528
[pid=21461] ppid=21459 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21461/stat : 21461 (jMiniSat) S 21459 21461 20825 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 261631142 8908800 250 33554432000 4194304 4922060 140733209628768 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21461/statm: 2175 250 209 178 0 68 0
[pid=21463] ppid=21461 vsize=14656712 CPUtime=14.21 cores=0,2,4,6
/proc/21463/stat : 21463 (java) S 21461 21461 20825 0 -1 4202496 40891 0 1 0 1415 6 0 0 25 0 18 0 261631143 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21463/statm: 3664178 39144 2212 9 0 3654657 0
[pid=21463/tid=21464] ppid=21461 vsize=14656712 CPUtime=13.68 cores=0,2,4,6
/proc/21463/task/21464/stat : 21464 (java) R 21461 21461 20825 0 -1 4202560 33940 0 1 0 1363 5 0 0 18 0 18 0 261631143 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892391755 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21463/tid=21465] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21465/stat : 21465 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21466/stat : 21466 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21467/stat : 21467 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21468/stat : 21468 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21469/stat : 21469 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21470/stat : 21470 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21471/stat : 21471 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21472] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21472/stat : 21472 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631144 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21474] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21474/stat : 21474 (java) S 21461 21461 20825 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 261631145 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 0 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21475] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21475/stat : 21475 (java) S 21461 21461 20825 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 2 0 0 0
[pid=21463/tid=21476] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21476/stat : 21476 (java) S 21461 21461 20825 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 261631145 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21477] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21477/stat : 21477 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892388785 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21478] ppid=21461 vsize=14656712 CPUtime=0.22 cores=0,2,4,6
/proc/21463/task/21478/stat : 21478 (java) S 21461 21461 20825 0 -1 4202560 3720 0 0 0 22 0 0 0 15 0 18 0 261631148 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 0 0 0 0
[pid=21463/tid=21479] ppid=21461 vsize=14656712 CPUtime=0.28 cores=0,2,4,6
/proc/21463/task/21479/stat : 21479 (java) S 21461 21461 20825 0 -1 4202560 2086 0 0 0 28 0 0 0 15 0 18 0 261631148 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21480] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21480/stat : 21480 (java) S 21461 21461 20825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 261631148 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381081 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
[pid=21463/tid=21481] ppid=21461 vsize=14656712 CPUtime=0 cores=0,2,4,6
/proc/21463/task/21481/stat : 21481 (java) S 21461 21461 20825 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 261631148 15008473088 39144 33554432000 1073741824 1073778376 140735937287584 18446744073709551615 218892381696 0 4 0 16800975 18446604444186689792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14.21
Current children cumulated vsize (KiB) 14665412
Child status: 10
Real time (s): 13.7533
CPU time (s): 14.2998
CPU user time (s): 14.2248
CPU system time (s): 0.074988
CPU usage (%): 103.974
Max. virtual memory (cumulated for all children) (KiB): 14665412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2248
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41587
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= 468
involuntary context switches= 31
runsolver used 0.081987 second user time and 0.147977 second system time
The end