97.00/97.16 c SATzilla is building models for class 3
97.00/97.16 c run presolver mxc-sr08 for 10 seconds ...
97.00/97.16 c Bin: Executing mxc-sr08
97.00/97.16 c spawning binary file with 10 seconds ...
97.00/97.16 c child exit by a signal
97.00/97.16 c mxc-sr08 returned code 137.
97.00/97.16 c run presolver picosat846 for 5 seconds ...
97.00/97.16 c Bin: Executing picosat846
97.00/97.16 c spawning binary file with 5 seconds ...
97.00/97.16 c child exit by a signal
97.00/97.16 c picosat846 returned code 137.
97.00/97.16 c Orignal number of varibales is 78, number of clauses is 2162160
97.00/97.16 c predicted feature computation time is 44.724502
97.00/97.16 c Bin: Executing satelite
97.00/97.16 c spawning binary file with 240 seconds ...
97.00/97.16 c child exited successfully
97.00/97.16 c satzilla computing base features
97.00/97.16 c Number of variabe is: 78, Number of clause is : 2162160
97.00/97.16 c Initializing...
97.00/97.16 c satzilla doing clause learning
97.00/97.16 c start clause learning features ...
97.00/97.16 c Bin: Executing zchaff07
97.00/97.16 c spawning binary file with 2 seconds ...
97.00/97.16 c child exit by a signal
97.00/97.16 c satzilla doing survey propogation probe
97.00/97.16 c do survay propogation for 2 second ...
97.00/97.16 c satzilla doing local search probe
97.00/97.16 c features are:78 2.16216e+06 78 2.16216e+06 0 0 3.6075e-05 1 0 -0 0.153846 2.45359e-14 0.153846 0.153846 -0 0 0 0.153846 0 0.153846 0.153846 -0 0 0 0 0 -0 0.0769231 0 0.0769231 0.0769231 -0 0.5 3.56125e-05 0 3.56125e-05 3.56125e-05 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498315 0.00772236 0.479436 0.5 0.5 0.493674 0.5 0.498925 0.499983 40 1.08513 6.66667 0.866025 10 0 10 19.2512 0.0868894 1.49029 0.701902
97.00/97.16 c satzilla's ranking:
97.00/97.16 c 1) march_dl2004: 14.665539
97.00/97.16 c 2) picosat846: 2.429036
97.00/97.16 c 3) mxc-sr08: 1.628727
97.00/97.16 c 4) zchaff_rand: 0.389889
97.00/97.16 c 5) minisat20SAT07: -797.856148
97.00/97.16 c 6) SATenstein: -10000.000000
97.00/97.16 c 7) gnovelty+: -10000.000000
97.00/97.16 c 8) adaptg2wsat+: -10000.000000
97.00/97.16 c 9) adaptg2wsat0: -10000.000000
97.00/97.16 c 10) tts-4-0: -10000.000000
97.00/97.16 c 11) vallst: -10000.000000
97.00/97.16 c 12) minisat20: -10000.000000
97.00/97.16 c 13) kcnfs04SAT07: -10000.000000
97.00/97.16 c satzilla running march_dl2004 ...
1198.92/1199.56 c Bin: Executing march_dl2004
1198.92/1199.56 c spawning binary file with 1102 seconds ...
1198.92/1199.56 c child exit by a signal
1198.92/1199.56 c march_dl2004 returned code 137.
1198.92/1199.56 c satzilla running picosat846 ...
1198.92/1199.56 c Bin: Executing picosat846
1198.92/1199.56 c picosat846 returned code 1.
1198.92/1199.56 c satzilla running mxc-sr08 ...
1198.92/1199.56 c Bin: Executing mxc-sr08
1198.92/1199.56 c mxc-sr08 returned code 1.
1198.92/1199.56 c satzilla running zchaff_rand ...
1198.92/1199.56 c Bin: Executing zchaff_rand
1198.92/1199.56 c zchaff_rand returned code 1.
1198.92/1199.56 c satzilla running minisat20SAT07 ...
1198.92/1199.56 c Bin: Executing minisat20SAT07
1198.92/1199.56 c minisat20SAT07 returned code 1.
1198.92/1199.56 c satzilla running SATenstein ...
1198.92/1199.56 c Bin: Executing SATenstein
1198.92/1199.56 c SATenstein returned code 1.
1198.92/1199.56 c satzilla running gnovelty+ ...
1198.92/1199.56 c Bin: Executing gnovelty+
1198.92/1199.56 c gnovelty+ returned code 1.
1198.92/1199.56 c satzilla running adaptg2wsat+ ...
1198.92/1199.56 c Bin: Executing adaptg2wsat+
1198.92/1199.56 c adaptg2wsat+ returned code 1.
1198.92/1199.56 c satzilla running adaptg2wsat0 ...
1198.92/1199.56 c Bin: Executing adaptg2wsat0
1198.92/1199.56 c adaptg2wsat0 returned code 1.
1198.92/1199.56 c satzilla running tts-4-0 ...
1198.92/1199.56 c Bin: Executing tts-4-0
1198.92/1199.56 c tts-4-0 returned code 1.
1198.92/1199.56 c satzilla running vallst ...
1198.92/1199.57 c Bin: Executing vallst
1198.92/1199.57 c vallst returned code 1.
1198.92/1199.57 c satzilla running minisat20 ...
1198.92/1199.57 c Bin: Executing minisat20
1198.92/1199.57 c minisat20 returned code 1.
1198.92/1199.57 c satzilla running kcnfs04SAT07 ...
1198.92/1199.57 c Bin: Executing kcnfs04SAT07
1198.92/1199.57 c kcnfs04SAT07 returned code 1.
1198.92/1199.57 c ERROR: All Failed!
1198.92/1199.57 c SATZILLA_TIME=1199.170000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1732767-1240782910/watcher-1732767-1240782910 -o /tmp/evaluation-result-1732767-1240782910/solver-1732767-1240782910 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1732767-1240782910.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 24914
/proc/meminfo: memFree=1290304/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=0
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106320166 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 112 96 399 0 111 0
[pid=24915] ppid=24914 vsize=90716 CPUtime=0
/proc/24915/stat : 24915 (mxc-sr08) R 24914 24914 24600 0 -1 4194304 787 0 0 0 0 0 0 0 19 0 1 0 106320166 92893184 783 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24915/statm: 22679 791 44 138 0 22538 0
[startup+0.107727 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 24914
/proc/meminfo: memFree=1290304/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=0
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106320166 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 112 96 399 0 111 0
[pid=24915] ppid=24914 vsize=90716 CPUtime=0.1
/proc/24915/stat : 24915 (mxc-sr08) R 24914 24914 24600 0 -1 4194304 18905 0 0 0 0 10 0 0 20 0 1 0 106320166 92893184 18902 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24915/statm: 22679 18909 44 138 0 22538 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 92772
[startup+0.25071 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 24914
/proc/meminfo: memFree=1290304/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=0
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106320166 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 112 96 399 0 111 0
[pid=24915] ppid=24914 vsize=99632 CPUtime=0.24
/proc/24915/stat : 24915 (mxc-sr08) R 24914 24914 24600 0 -1 4194304 24689 0 0 0 11 13 0 0 21 0 1 0 106320166 102023168 24685 1992294400 134512640 135078026 4294956192 18446744073709551615 134735920 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24915/statm: 24908 24685 54 138 0 24767 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 101688
[startup+0.301716 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 24914
/proc/meminfo: memFree=1290304/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=0
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106320166 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 112 96 399 0 111 0
[pid=24915] ppid=24914 vsize=103068 CPUtime=0.29
/proc/24915/stat : 24915 (mxc-sr08) R 24914 24914 24600 0 -1 4194304 25538 0 0 0 15 14 0 0 21 0 1 0 106320166 105541632 25534 1992294400 134512640 135078026 4294956192 18446744073709551615 134566028 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24915/statm: 25767 25534 54 138 0 25626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 105124
[startup+0.701767 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 24914
/proc/meminfo: memFree=1290304/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=0
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106320166 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 112 96 399 0 111 0
[pid=24915] ppid=24914 vsize=131328 CPUtime=0.69
/proc/24915/stat : 24915 (mxc-sr08) R 24914 24914 24600 0 -1 4194304 32074 0 0 0 52 17 0 0 25 0 1 0 106320166 134479872 32070 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24915/statm: 32832 32070 54 138 0 32691 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 133384
[startup+1.50187 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 24916
/proc/meminfo: memFree=1133424/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=0
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106320166 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 112 96 399 0 111 0
[pid=24915] ppid=24914 vsize=189748 CPUtime=1.49
/proc/24915/stat : 24915 (mxc-sr08) R 24914 24914 24600 0 -1 4194304 45009 0 0 0 126 23 0 0 25 0 1 0 106320166 194301952 45005 1992294400 134512640 135078026 4294956192 18446744073709551615 134566028 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24915/statm: 47437 45005 54 138 0 47296 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 191804
[startup+3.10107 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 24916
/proc/meminfo: memFree=1062640/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=0
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106320166 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 112 96 399 0 111 0
[pid=24915] ppid=24914 vsize=315156 CPUtime=3.09
/proc/24915/stat : 24915 (mxc-sr08) R 24914 24914 24600 0 -1 4194304 71399 0 0 0 273 36 0 0 25 0 1 0 106320166 322719744 71395 1992294400 134512640 135078026 4294956192 18446744073709551615 134735986 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24915/statm: 78789 71400 54 138 0 78648 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 317212
[startup+6.30148 s]
/proc/loadavg: 1.07 0.99 0.98 2/67 24916
/proc/meminfo: memFree=1019760/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=0
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106320166 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 112 96 399 0 111 0
[pid=24915] ppid=24914 vsize=317700 CPUtime=6.29
/proc/24915/stat : 24915 (mxc-sr08) R 24914 24914 24600 0 -1 4194304 90231 0 0 0 583 46 0 0 25 0 1 0 106320166 325324800 67731 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24915/statm: 79425 67731 55 138 0 79284 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 319756
[startup+12.7013 s]
/proc/loadavg: 1.07 0.99 0.98 2/67 24917
/proc/meminfo: memFree=1229872/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=10.03
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 152 90231 0 0 0 0 953 50 19 0 1 0 106320166 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 121 104 399 0 111 0
[pid=24917] ppid=24914 vsize=85876 CPUtime=2.64
/proc/24917/stat : 24917 (picosat846) R 24914 24914 24600 0 -1 4194304 20225 0 0 0 252 12 0 0 25 0 1 0 106321171 87937024 20214 1992294400 134512640 134570484 4294956192 18446744073709551615 2254459 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24917/statm: 21469 20214 83 14 0 21135 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 87932
[startup+25.5019 s]
/proc/loadavg: 1.05 0.99 0.98 2/67 24918
/proc/meminfo: memFree=934320/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=2056 CPUtime=15.05
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 179 128830 0 0 0 0 1431 74 16 0 1 0 106320166 2105344 138 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 514 138 120 399 0 111 0
[pid=24918] ppid=24914 vsize=296396 CPUtime=10.39
/proc/24918/stat : 24918 (satelite) R 24914 24914 24600 0 -1 4194304 69924 0 0 0 974 65 0 0 25 0 1 0 106321674 303509504 69919 1992294400 134512640 135037501 4294956176 18446744073709551615 134698573 0 0 8392704 3 0 0 0 17 0 0 0
/proc/24918/statm: 74099 69919 66 128 0 73968 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 298452
[startup+51.1011 s]
/proc/loadavg: 1.09 1.00 0.99 2/66 24919
/proc/meminfo: memFree=769912/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=515484 CPUtime=51.03
/proc/24914/stat : 24914 (SATzilla2009_I) R 24912 24914 24600 0 -1 4194304 145144 207872 0 0 2170 79 2700 154 25 0 1 0 106320166 527855616 108524 1992294400 134512640 136149169 4294956224 18446744073709551615 134858995 0 0 4096 3 0 0 0 17 0 0 0
/proc/24914/statm: 128871 108524 150 399 0 128468 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 515484
[startup+102.302 s]
/proc/loadavg: 1.04 1.00 0.99 2/67 24920
/proc/meminfo: memFree=857904/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=94620 CPUtime=5.11
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 22854 0 0 0 499 12 0 0 25 0 1 0 106329883 96890880 22849 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 23655 22850 50 118 0 23534 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 401692
[startup+162.301 s]
/proc/loadavg: 1.01 1.00 0.99 2/67 24920
/proc/meminfo: memFree=397040/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1040848 CPUtime=65.09
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 793335 0 0 0 6181 328 0 0 25 0 1 0 106329883 1065828352 137656 1992294400 134512640 134996440 4294956192 18446744073709551615 134584248 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 260212 137656 67 118 0 260091 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 1347920
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24920
/proc/meminfo: memFree=394096/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1043688 CPUtime=125.06
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 794082 0 0 0 12178 328 0 0 25 0 1 0 106329883 1068736512 138403 1992294400 134512640 134996440 4294956192 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 260922 138403 67 118 0 260801 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 1350760
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24920
/proc/meminfo: memFree=391536/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1046288 CPUtime=185.04
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 794730 0 0 0 18175 329 0 0 25 0 1 0 106329883 1071398912 139051 1992294400 134512640 134996440 4294956192 18446744073709551615 134584230 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 261572 139051 67 118 0 261451 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 1353360
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24920
/proc/meminfo: memFree=389040/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1048888 CPUtime=245.02
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 795353 0 0 0 24173 329 0 0 25 0 1 0 106329883 1074061312 139674 1992294400 134512640 134996440 4294956192 18446744073709551615 134584232 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 262222 139674 67 118 0 262101 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 1355960
################
# More data... #
################
/proc/24920/statm: 266863 144325 67 118 0 266742 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 1374524
[startup+762.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=366896/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1070704 CPUtime=664.83
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 800841 0 0 0 66149 334 0 0 25 0 1 0 106329883 1096400896 145162 1992294400 134512640 134996440 4294956192 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 267676 145162 67 118 0 267555 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 1377776
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=363632/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1074088 CPUtime=724.8
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 801681 0 0 0 72146 334 0 0 25 0 1 0 106329883 1099866112 146002 1992294400 134512640 134996440 4294956192 18446744073709551615 134584232 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 268522 146002 67 118 0 268401 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 1381160
[startup+882.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=361200/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1076660 CPUtime=784.78
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 802296 0 0 0 78144 334 0 0 25 0 1 0 106329883 1102499840 146617 1992294400 134512640 134996440 4294956192 18446744073709551615 134584239 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 269165 146617 67 118 0 269044 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 1383732
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=359216/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1078492 CPUtime=844.75
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 802770 0 0 0 84141 334 0 0 25 0 1 0 106329883 1104375808 147091 1992294400 134512640 134996440 4294956192 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 269623 147091 67 118 0 269502 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 1385564
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=357680/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1080000 CPUtime=904.73
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 803164 0 0 0 90138 335 0 0 25 0 1 0 106329883 1105920000 147485 1992294400 134512640 134996440 4294956192 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 270000 147485 67 118 0 269879 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 1387072
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=356400/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1081368 CPUtime=964.7
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 803503 0 0 0 96135 335 0 0 25 0 1 0 106329883 1107320832 147824 1992294400 134512640 134996440 4294956192 18446744073709551615 134583356 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 270342 147824 67 118 0 270221 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 1388440
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=355056/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1082600 CPUtime=1024.67
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 803816 0 0 0 102131 336 0 0 25 0 1 0 106329883 1108582400 148137 1992294400 134512640 134996440 4294956192 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 270650 148137 67 118 0 270529 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 1389672
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=353776/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1083968 CPUtime=1084.65
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 804134 0 0 0 108129 336 0 0 25 0 1 0 106329883 1109983232 148455 1992294400 134512640 134996440 4294956192 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 270992 148455 67 118 0 270871 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 1391040
Solver just ended. Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=353648/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1084100 CPUtime=1092.74
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 804168 0 0 0 108938 336 0 0 25 0 1 0 106329883 1110118400 148489 1992294400 134512640 134996440 4294956192 18446744073709551615 134583376 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 271025 148489 67 118 0 270904 0
Current children cumulated CPU time (s) 1189.82
Current children cumulated vsize (KiB) 1391172
[startup+1193.61 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=353520/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1084100 CPUtime=1095.95
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 804192 0 0 0 109259 336 0 0 25 0 1 0 106329883 1110118400 148513 1992294400 134512640 134996440 4294956192 18446744073709551615 134583376 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 271025 148513 67 118 0 270904 0
Current children cumulated CPU time (s) 1193.03
Current children cumulated vsize (KiB) 1391172
[startup+1196.8 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=353456/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1084240 CPUtime=1099.15
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 804213 0 0 0 109579 336 0 0 25 0 1 0 106329883 1110261760 148534 1992294400 134512640 134996440 4294956192 18446744073709551615 134584236 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 271060 148534 67 118 0 270939 0
Current children cumulated CPU time (s) 1196.23
Current children cumulated vsize (KiB) 1391312
[startup+1198.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=353456/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1084240 CPUtime=1100.74
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 804222 0 0 0 109738 336 0 0 25 0 1 0 106329883 1110261760 148543 1992294400 134512640 134996440 4294956192 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 271060 148543 67 118 0 270939 0
Current children cumulated CPU time (s) 1197.82
Current children cumulated vsize (KiB) 1391312
[startup+1199.2 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=353392/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=307072 CPUtime=97.08
/proc/24914/stat : 24914 (SATzilla2009_I) S 24912 24914 24600 0 -1 4194304 223993 207872 0 0 6726 128 2700 154 25 0 1 0 106320166 314441728 62537 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24914/statm: 76768 62537 216 399 0 76365 0
[pid=24920] ppid=24914 vsize=1084240 CPUtime=1101.54
/proc/24920/stat : 24920 (march_dl2004) R 24914 24914 24600 0 -1 4194304 804227 0 0 0 109818 336 0 0 25 0 1 0 106329883 1110261760 148548 1992294400 134512640 134996440 4294956192 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24920/statm: 271060 148548 67 118 0 270939 0
Current children cumulated CPU time (s) 1198.62
Current children cumulated vsize (KiB) 1391312
[startup+1199.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 24926
/proc/meminfo: memFree=353392/2055920 swapFree=4192812/4192956
[pid=24914] ppid=24912 vsize=0 CPUtime=1199.02
/proc/24914/stat : 24914 (SATzilla2009_I) R 24912 24914 24600 0 -1 4194308 224017 1012102 0 0 6726 131 112546 499 16 0 1 0 106320166 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/24914/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.02
Current children cumulated vsize (KiB) 0
Child status: 17
Real time (s): 1199.65
CPU time (s): 1199.1
CPU user time (s): 1192.74
CPU system time (s): 6.36303
CPU usage (%): 99.9539
Max. virtual memory (cumulated for all children) (KiB): 1499004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1192.74
system time used= 6.36303
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1236119
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= 17
involuntary context switches= 3074
runsolver used 1.21981 second user time and 3.16352 second system time
The end
Begin job on node54 at 2009-04-26 23:55:18
IDJOB=1732767
IDBENCH=71127
IDSOLVER=528
FILE ID=node54/1732767-1240782910
PBS_JOBID= 9187288
Free space on /tmp= 66196 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/CRAFTED/ramseycube/Q3inK13.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1732767-1240782910/watcher-1732767-1240782910 -o /tmp/evaluation-result-1732767-1240782910/solver-1732767-1240782910 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1732767-1240782910.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ee4a2d6030f643cfa5b109579b0e5c45
RANDOM SEED=135798820
node54.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1290784 kB
Buffers: 75608 kB
Cached: 594528 kB
SwapCached: 140 kB
Active: 396088 kB
Inactive: 289496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1290784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 121612 kB
Writeback: 0 kB
Mapped: 25044 kB
Slab: 65520 kB
Committed_AS: 422528 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66164 MiB
End job on node54 at 2009-04-27 00:15:18