runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3499612-1308495405/watcher-3499612-1308495405 -o /tmp/evaluation-result-3499612-1308495405/solver-3499612-1308495405 -C 5000 -W 5100 -M 15500 HOME/SATzilla2009_C HOME/instance-3499612-1308495405.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.00 1.92 2/175 10773
/proc/meminfo: memFree=29005236/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 961140963 2187264 115 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 534 115 97 400 0 131 0
[startup+0.0305461 s]
/proc/loadavg: 1.96 2.00 1.92 2/175 10773
/proc/meminfo: memFree=29005236/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 961140963 2187264 115 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.100534 s]
/proc/loadavg: 1.96 2.00 1.92 2/175 10773
/proc/meminfo: memFree=29005236/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 961140963 2187264 115 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.300495 s]
/proc/loadavg: 1.96 2.00 1.92 2/175 10773
/proc/meminfo: memFree=29005236/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 961140963 2187264 115 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.700422 s]
/proc/loadavg: 1.96 2.00 1.92 2/175 10773
/proc/meminfo: memFree=29005236/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 961140963 2187264 115 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+1.50028 s]
/proc/loadavg: 1.96 2.00 1.92 3/177 10775
/proc/meminfo: memFree=29002648/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 961140963 2187264 115 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 534 115 97 400 0 131 0
[pid=10774] ppid=10773 vsize=2556 CPUtime=1.49 cores=1,3,5,7
/proc/10774/stat : 10774 (march_dl2004) R 10773 10773 10454 0 -1 4202496 706 0 0 0 149 0 0 0 25 0 1 0 961140963 2617344 572 33554432000 134512640 134996440 4289014272 18446744073709551615 134565049 0 0 8392704 0 0 0 0 17 1 0 0 0
/proc/10774/statm: 639 572 74 119 0 518 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4692
[startup+3.10099 s]
/proc/loadavg: 1.96 2.00 1.92 3/177 10775
/proc/meminfo: memFree=29002296/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 961140963 2187264 115 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 534 115 97 400 0 131 0
[pid=10774] ppid=10773 vsize=2556 CPUtime=3.09 cores=1,3,5,7
/proc/10774/stat : 10774 (march_dl2004) R 10773 10773 10454 0 -1 4202496 706 0 0 0 309 0 0 0 25 0 1 0 961140963 2617344 572 33554432000 134512640 134996440 4289014272 18446744073709551615 134565036 0 0 8392704 0 0 0 0 17 1 0 0 0
/proc/10774/statm: 639 572 74 119 0 518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4692
[startup+6.30042 s]
/proc/loadavg: 1.96 2.00 1.92 3/176 10777
/proc/meminfo: memFree=29003504/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=2136 CPUtime=4.99 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 189 706 0 0 0 0 499 0 18 0 1 0 961140963 2187264 128 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/10773/statm: 534 128 108 400 0 131 0
[pid=10777] ppid=10773 vsize=1604 CPUtime=1.3 cores=1,3,5,7
/proc/10777/stat : 10777 (mxc-sr08) R 10773 10773 10454 0 -1 4202496 319 0 0 0 130 0 0 0 22 0 1 0 961141463 1642496 292 33554432000 134512640 135078026 4289705184 18446744073709551615 134534619 0 0 8392704 0 0 0 0 17 3 0 0 0
/proc/10777/statm: 401 292 73 139 0 260 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3740
[startup+12.7002 s]
/proc/loadavg: 1.96 2.00 1.92 3/177 10781
/proc/meminfo: memFree=28997044/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=7544 CPUtime=12.69 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) R 10771 10773 10454 0 -1 4202496 583 2737 0 0 58 11 1197 3 18 0 1 0 961140963 7725056 440 33554432000 134512640 136149437 4293771776 18446744073709551615 135542670 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10773/statm: 1886 440 208 400 0 1483 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7544
[startup+25.5009 s]
/proc/loadavg: 1.97 2.00 1.92 3/177 10782
/proc/meminfo: memFree=28997040/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=2396 CPUtime=8.94 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 300 0 0 0 894 0 0 0 25 0 1 0 961142618 2453504 273 33554432000 134512640 135078472 4294430864 18446744073709551615 134559854 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/10782/statm: 599 273 73 139 0 458 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5840
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 1.93 3/177 10783
/proc/meminfo: memFree=28994600/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=2916 CPUtime=34.54 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 438 0 0 0 3454 0 0 0 25 0 1 0 961142618 2985984 411 33554432000 134512640 135078472 4294430864 18446744073709551615 134551880 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/10782/statm: 729 411 73 139 0 588 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6360
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 10784
/proc/meminfo: memFree=28991356/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=3452 CPUtime=85.75 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 561 0 0 0 8575 0 0 0 25 0 1 0 961142618 3534848 534 33554432000 134512640 135078472 4294430864 18446744073709551615 134550584 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/10782/statm: 863 534 73 139 0 722 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 6896
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 10786
/proc/meminfo: memFree=28988720/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=3856 CPUtime=145.74 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 661 0 0 0 14574 0 0 0 25 0 1 0 961142618 3948544 634 33554432000 134512640 135078472 4294430864 18446744073709551615 134550637 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/10782/statm: 964 634 73 139 0 823 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 7300
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10787
/proc/meminfo: memFree=28987828/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=4124 CPUtime=205.75 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 739 0 0 0 20575 0 0 0 25 0 1 0 961142618 4222976 712 33554432000 134512640 135078472 4294430864 18446744073709551615 134556306 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/10782/statm: 1031 712 73 139 0 890 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 7568
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10798
/proc/meminfo: memFree=28986548/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=4540 CPUtime=265.75 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 847 0 0 0 26575 0 0 0 25 0 1 0 961142618 4648960 820 33554432000 134512640 135078472 4294430864 18446744073709551615 134550593 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/10782/statm: 1135 820 73 139 0 994 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 7984
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10800
/proc/meminfo: memFree=28986004/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=4680 CPUtime=325.75 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 878 0 0 0 32575 0 0 0 25 0 1 0 961142618 4792320 851 33554432000 134512640 135078472 4294430864 18446744073709551615 134550726 0 0 8392704 3 0 0 0 17 5 0 0 0
/proc/10782/statm: 1170 851 73 139 0 1029 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 8124
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10801
/proc/meminfo: memFree=28983496/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=4948 CPUtime=385.75 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10830
/proc/meminfo: memFree=28973924/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=6484 CPUtime=1345.77 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1329 0 0 0 134577 0 0 0 25 0 1 0 961142618 6639616 1302 33554432000 134512640 135078472 4294430864 18446744073709551615 134550985 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1621 1302 73 139 0 1480 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 9928
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 10831
/proc/meminfo: memFree=28971428/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=6764 CPUtime=1405.78 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1376 0 0 0 140578 0 0 0 25 0 1 0 961142618 6926336 1349 33554432000 134512640 135078472 4294430864 18446744073709551615 134550637 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1691 1349 73 139 0 1550 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 10208
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 10833
/proc/meminfo: memFree=28971280/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=6764 CPUtime=1465.78 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1397 0 0 0 146578 0 0 0 25 0 1 0 961142618 6926336 1370 33554432000 134512640 135078472 4294430864 18446744073709551615 134552276 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1691 1370 73 139 0 1550 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 10208
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10835
/proc/meminfo: memFree=28971008/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=6764 CPUtime=1525.78 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1397 0 0 0 152578 0 0 0 25 0 1 0 961142618 6926336 1370 33554432000 134512640 135078472 4294430864 18446744073709551615 134550593 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1691 1370 73 139 0 1550 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 10208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10836
/proc/meminfo: memFree=28970980/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=6896 CPUtime=1585.78 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1409 0 0 0 158578 0 0 0 25 0 1 0 961142618 7061504 1382 33554432000 134512640 135078472 4294430864 18446744073709551615 134550556 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1724 1382 73 139 0 1583 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 10340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10838
/proc/meminfo: memFree=28970464/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=6896 CPUtime=1645.78 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1431 0 0 0 164578 0 0 0 25 0 1 0 961142618 7061504 1404 33554432000 134512640 135078472 4294430864 18446744073709551615 134556024 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1724 1404 73 139 0 1583 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 10340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10839
/proc/meminfo: memFree=28970444/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=7040 CPUtime=1705.78 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1462 0 0 0 170578 0 0 0 25 0 1 0 961142618 7208960 1435 33554432000 134512640 135078472 4294430864 18446744073709551615 134556711 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1760 1435 73 139 0 1619 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 10484
Solver just ended. Dumping a history of the last processes samples
[startup+1740.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10840
/proc/meminfo: memFree=28970304/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=7188 CPUtime=1724.18 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1475 0 0 0 172418 0 0 0 25 0 1 0 961142618 7360512 1448 33554432000 134512640 135078472 4294430864 18446744073709551615 134552338 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1797 1448 73 139 0 1656 0
Current children cumulated CPU time (s) 1740.72
Current children cumulated vsize (KiB) 10632
[startup+1753.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10840
/proc/meminfo: memFree=28970300/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=7188 CPUtime=1736.98 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1475 0 0 0 173698 0 0 0 25 0 1 0 961142618 7360512 1448 33554432000 134512640 135078472 4294430864 18446744073709551615 134550635 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1797 1448 73 139 0 1656 0
Current children cumulated CPU time (s) 1753.52
Current children cumulated vsize (KiB) 10632
[startup+1756.71 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10840
/proc/meminfo: memFree=28970176/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=7188 CPUtime=1740.19 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1475 0 0 0 174019 0 0 0 25 0 1 0 961142618 7360512 1448 33554432000 134512640 135078472 4294430864 18446744073709551615 134550720 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1797 1448 73 139 0 1656 0
Current children cumulated CPU time (s) 1756.73
Current children cumulated vsize (KiB) 10632
[startup+1758.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10840
/proc/meminfo: memFree=28970296/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=7188 CPUtime=1741.78 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1475 0 0 0 174178 0 0 0 25 0 1 0 961142618 7360512 1448 33554432000 134512640 135078472 4294430864 18446744073709551615 134550743 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1797 1448 73 139 0 1656 0
Current children cumulated CPU time (s) 1758.32
Current children cumulated vsize (KiB) 10632
[startup+1759.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10840
/proc/meminfo: memFree=28970172/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=7188 CPUtime=1743.39 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1475 0 0 0 174339 0 0 0 25 0 1 0 961142618 7360512 1448 33554432000 134512640 135078472 4294430864 18446744073709551615 134550551 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1797 1448 73 139 0 1656 0
Current children cumulated CPU time (s) 1759.93
Current children cumulated vsize (KiB) 10632
[startup+1760.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10840
/proc/meminfo: memFree=28970172/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=7188 CPUtime=1743.78 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1475 0 0 0 174378 0 0 0 25 0 1 0 961142618 7360512 1448 33554432000 134512640 135078472 4294430864 18446744073709551615 134551032 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1797 1448 73 139 0 1656 0
Current children cumulated CPU time (s) 1760.32
Current children cumulated vsize (KiB) 10632
[startup+1760.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10840
/proc/meminfo: memFree=28970172/32951124 swapFree=67060192/67111528
[pid=10773] ppid=10771 vsize=3444 CPUtime=16.54 cores=1,3,5,7
/proc/10773/stat : 10773 (SATzilla2009_C) S 10771 10773 10454 0 -1 4202496 631 2737 0 0 412 42 1197 3 25 0 1 0 961140963 3526656 410 33554432000 134512640 136149437 4293771776 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/10773/statm: 861 410 220 400 0 458 0
[pid=10782] ppid=10773 vsize=7188 CPUtime=1743.98 cores=1,3,5,7
/proc/10782/stat : 10782 (minisat20SAT07) R 10773 10773 10454 0 -1 4202496 1475 0 0 0 174398 0 0 0 25 0 1 0 961142618 7360512 1448 33554432000 134512640 135078472 4294430864 18446744073709551615 134550596 0 0 8392704 3 0 0 0 17 3 0 0 0
/proc/10782/statm: 1797 1448 73 139 0 1656 0
Current children cumulated CPU time (s) 1760.52
Current children cumulated vsize (KiB) 10632
Child status: 10
Real time (s): 1760.52
CPU time (s): 1760.55
CPU user time (s): 1760.09
CPU system time (s): 0.460929
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 10632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.09
system time used= 0.460929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4863
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 4044
runsolver used 2.23466 second user time and 5.77312 second system time
The end