85.63/85.79 c SATzilla is building models for class 2
85.63/85.79 c run presolver march_dl2004 for 5 seconds ...
85.63/85.79 c Bin: Executing march_dl2004
85.63/85.79 c spawning binary file with 5 seconds ...
85.63/85.79 c child exit by a signal
85.63/85.79 c march_dl2004 returned code 137.
85.63/85.79 c run presolver mxc-sr08 for 5 seconds ...
85.63/85.79 c Bin: Executing mxc-sr08
85.63/85.79 c spawning binary file with 5 seconds ...
85.63/85.79 c child exit by a signal
85.63/85.79 c mxc-sr08 returned code 137.
85.63/85.79 c Orignal number of varibales is 1553, number of clauses is 867173
85.63/85.79 c predicted feature computation time is 24.291898
85.63/85.79 c Bin: Executing satelite
85.63/85.79 c spawning binary file with 240 seconds ...
85.63/85.79 c child exited successfully
85.63/85.79 c satzilla computing base features
85.63/85.79 c Number of variabe is: 1088, Number of clause is : 459052
85.63/85.79 c Initializing...
85.63/85.79 c satzilla compute diameter ...
85.63/85.79 c start diameter features ...
85.63/85.79 c satzilla doing clause learning
85.63/85.79 c start clause learning features ...
85.63/85.79 c Bin: Executing zchaff07
85.63/85.79 c spawning binary file with 2 seconds ...
85.63/85.79 c child exit by a signal
85.63/85.79 c satzilla doing survey propogation probe
85.63/85.79 c do survay propogation for 2 second ...
85.63/85.79 c satzilla doing local search probe
85.63/85.79 c satzilla doing lobjois search-space size estimate
85.63/85.79 c features are:1553 867173 1088 459052 0.42739 0.889052 0.0023701 0.402447 0.594942 2.002 0.00537745 0.412889 0.00183824 0.0294118 1.24898 0.0100882 0.0100925 0.00537745 1.11171 2.1784e-06 0.0504823 4.48989 0.15664 0.319341 0 1 1.37092 0.00187434 1.49335 0 0.0488681 4.15149 0.408278 0.000654786 0.760886 5.44601e-05 0.00221544 3.79545 0.106277 3 4 0.50664 98 0 98 98 98 98 98 98 98 10.4898 0 10.4898 10.4898 10.4898 10.4898 10.4898 10.4898 10.4898 0.232065 1.62141 7.68407e-07 1 0.952121 0.00109407 0.508999 0.00425567 0.0163746 0.260307 0.746922 0 1 0.488958 4.73847e-08 0.478212 2.79444e-05 0.233178 21.4286 0.201939 143.714 0.349061 150 126 165 85.0256 0.187913 1.00021 0.000826786 0.191513 0.375242
85.63/85.79 c satzilla's ranking:
85.63/85.79 c 1) vallst: 22.430789
85.63/85.79 c 2) minisat20SAT07: 6.588938
85.63/85.79 c 3) minisat20: 5.838476
85.63/85.79 c 4) zchaff_rand: 5.213754
85.63/85.79 c 5) march_dl2004: 2.658191
85.63/85.79 c 6) mxc-sr08: 1.625031
85.63/85.79 c 7) tts-4-0: 0.140219
85.63/85.79 c 8) SATenstein: -10000.000000
85.63/85.79 c 9) gnovelty+: -10000.000000
85.63/85.79 c 10) adaptg2wsat+: -10000.000000
85.63/85.79 c 11) adaptg2wsat0: -10000.000000
85.63/85.79 c 12) picosat846: -10000.000000
85.63/85.79 c 13) kcnfs04SAT07: -10000.000000
85.63/85.79 c satzilla running vallst ...
1199.49/1199.95 c Bin: Executing vallst
1199.49/1199.95 c spawning binary file with 1114 seconds ...
1199.49/1199.95 c child exit by a signal
1199.49/1199.95 c vallst returned code 137.
1199.49/1199.95 c satzilla running minisat20SAT07 ...
1199.49/1199.95 c Bin: Executing minisat20SAT07
1199.49/1199.95 c minisat20SAT07 returned code 1.
1199.49/1199.95 c satzilla running minisat20 ...
1199.49/1199.95 c Bin: Executing minisat20
1199.49/1199.95 c minisat20 returned code 1.
1199.49/1199.95 c satzilla running zchaff_rand ...
1199.49/1199.95 c Bin: Executing zchaff_rand
1199.49/1199.95 c zchaff_rand returned code 1.
1199.49/1199.95 c satzilla running march_dl2004 ...
1199.49/1199.95 c Bin: Executing march_dl2004
1199.49/1199.95 c march_dl2004 returned code 1.
1199.49/1199.95 c satzilla running mxc-sr08 ...
1199.49/1199.95 c Bin: Executing mxc-sr08
1199.49/1199.95 c mxc-sr08 returned code 1.
1199.49/1199.95 c satzilla running tts-4-0 ...
1199.49/1199.96 c Bin: Executing tts-4-0
1199.49/1199.96 c tts-4-0 returned code 1.
1199.49/1199.96 c satzilla running SATenstein ...
1199.49/1199.96 c Bin: Executing SATenstein
1199.49/1199.96 c SATenstein returned code 1.
1199.49/1199.96 c satzilla running gnovelty+ ...
1199.49/1199.96 c Bin: Executing gnovelty+
1199.49/1199.96 c gnovelty+ returned code 1.
1199.49/1199.96 c satzilla running adaptg2wsat+ ...
1199.49/1199.96 c Bin: Executing adaptg2wsat+
1199.49/1199.96 c adaptg2wsat+ returned code 1.
1199.49/1199.96 c satzilla running adaptg2wsat0 ...
1199.49/1199.96 c Bin: Executing adaptg2wsat0
1199.49/1199.96 c adaptg2wsat0 returned code 1.
1199.49/1199.96 c satzilla running picosat846 ...
1199.49/1199.96 c Bin: Executing picosat846
1199.49/1199.96 c picosat846 returned code 1.
1199.49/1199.96 c satzilla running kcnfs04SAT07 ...
1199.49/1199.96 c Bin: Executing kcnfs04SAT07
1199.49/1199.96 c kcnfs04SAT07 returned code 1.
1199.49/1199.96 c ERROR: All Failed!
1199.49/1199.96 c SATZILLA_TIME=1199.750000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1733716-1240791755/watcher-1733716-1240791755 -o /tmp/evaluation-result-1733716-1240791755/solver-1733716-1240791755 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1733716-1240791755.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: 1.00 1.00 1.09 3/64 3105
/proc/meminfo: memFree=1632208/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=0
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107209656 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 112 96 399 0 111 0
[pid=3106] ppid=3105 vsize=7412 CPUtime=0
/proc/3106/stat : 3106 (march_dl2004) R 3105 3105 2562 0 -1 4194304 910 0 0 0 0 0 0 0 19 0 1 0 107209656 7589888 905 1992294400 134512640 134996440 4294956176 18446744073709551615 134653979 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3106/statm: 1853 912 50 118 0 1732 0
[startup+0.106154 s]
/proc/loadavg: 1.00 1.00 1.09 3/64 3105
/proc/meminfo: memFree=1632208/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=0
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107209656 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 112 96 399 0 111 0
[pid=3106] ppid=3105 vsize=8864 CPUtime=0.1
/proc/3106/stat : 3106 (march_dl2004) R 3105 3105 2562 0 -1 4194304 1347 0 0 0 10 0 0 0 20 0 1 0 107209656 9076736 1342 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3106/statm: 2216 1342 50 118 0 2095 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10920
[startup+0.202163 s]
/proc/loadavg: 1.00 1.00 1.09 3/64 3105
/proc/meminfo: memFree=1632208/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=0
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107209656 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 112 96 399 0 111 0
[pid=3106] ppid=3105 vsize=10316 CPUtime=0.19
/proc/3106/stat : 3106 (march_dl2004) R 3105 3105 2562 0 -1 4194304 1730 0 0 0 19 0 0 0 21 0 1 0 107209656 10563584 1725 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3106/statm: 2579 1725 50 118 0 2458 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12372
[startup+0.302172 s]
/proc/loadavg: 1.00 1.00 1.09 3/64 3105
/proc/meminfo: memFree=1632208/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=0
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107209656 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 112 96 399 0 111 0
[pid=3106] ppid=3105 vsize=11636 CPUtime=0.29
/proc/3106/stat : 3106 (march_dl2004) R 3105 3105 2562 0 -1 4194304 2127 0 0 0 29 0 0 0 22 0 1 0 107209656 11915264 2122 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3106/statm: 2909 2122 50 118 0 2788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13692
[startup+0.702213 s]
/proc/loadavg: 1.00 1.00 1.09 3/64 3105
/proc/meminfo: memFree=1632208/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=0
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107209656 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 112 96 399 0 111 0
[pid=3106] ppid=3105 vsize=16916 CPUtime=0.69
/proc/3106/stat : 3106 (march_dl2004) R 3105 3105 2562 0 -1 4194304 3608 0 0 0 68 1 0 0 25 0 1 0 107209656 17321984 3603 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3106/statm: 4229 3603 50 118 0 4108 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18972
[startup+1.5023 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 3107
/proc/meminfo: memFree=1611968/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=0
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107209656 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 112 96 399 0 111 0
[pid=3106] ppid=3105 vsize=27080 CPUtime=1.49
/proc/3106/stat : 3106 (march_dl2004) R 3105 3105 2562 0 -1 4194304 6454 0 0 0 145 4 0 0 25 0 1 0 107209656 27729920 6449 1992294400 134512640 134996440 4294956176 18446744073709551615 134781592 0 0 8392704 0 0 0 0 17 1 0 0
/proc/3106/statm: 6770 6449 50 118 0 6649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29136
[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 3107
/proc/meminfo: memFree=1593600/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=0
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107209656 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 112 96 399 0 111 0
[pid=3106] ppid=3105 vsize=69668 CPUtime=3.08
/proc/3106/stat : 3106 (march_dl2004) R 3105 3105 2562 0 -1 4194304 24111 0 0 0 293 15 0 0 25 0 1 0 107209656 71340032 12140 1992294400 134512640 134996440 4294956176 18446744073709551615 134543076 0 0 8392704 0 0 0 0 17 1 0 0
/proc/3106/statm: 17417 12140 55 118 0 17296 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71724
[startup+6.30177 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 3108
/proc/meminfo: memFree=1570048/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=5
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 152 53811 0 0 0 0 471 29 19 0 1 0 107209656 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 121 104 399 0 111 0
[pid=3108] ppid=3105 vsize=74752 CPUtime=1.27
/proc/3108/stat : 3108 (mxc-sr08) R 3105 3105 2562 0 -1 4194304 24479 0 0 0 116 11 0 0 25 0 1 0 107210158 76546048 17841 1992294400 134512640 135078026 4294956176 18446744073709551615 134553953 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3108/statm: 18688 17841 55 138 0 18547 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 76808
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 3109
/proc/meminfo: memFree=1557440/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=10
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 179 78290 0 0 0 0 959 41 16 0 1 0 107209656 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 138 120 399 0 111 0
[pid=3109] ppid=3105 vsize=78392 CPUtime=2.65
/proc/3109/stat : 3109 (satelite) R 3105 3105 2562 0 -1 4194304 18855 0 0 0 254 11 0 0 25 0 1 0 107210659 80273408 18824 1992294400 134512640 135037501 4294956160 18446744073709551615 134543068 0 0 8392704 3 0 0 0 17 0 0 0
/proc/3109/statm: 19598 18824 63 128 0 19467 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 80448
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 3109
/proc/meminfo: memFree=1556864/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=10
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 179 78290 0 0 0 0 959 41 16 0 1 0 107209656 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 138 120 399 0 111 0
[pid=3109] ppid=3105 vsize=79244 CPUtime=15.44
/proc/3109/stat : 3109 (satelite) R 3105 3105 2562 0 -1 4194304 19199 0 0 0 1533 11 0 0 25 0 1 0 107210659 81145856 19061 1992294400 134512640 135037501 4294956160 18446744073709551615 134543068 0 0 8392704 3 0 0 0 17 0 0 0
/proc/3109/statm: 19811 19061 63 128 0 19680 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 81300
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 3109
/proc/meminfo: memFree=1545984/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=2056 CPUtime=10
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 179 78290 0 0 0 0 959 41 16 0 1 0 107209656 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 514 138 120 399 0 111 0
[pid=3109] ppid=3105 vsize=90780 CPUtime=41.04
/proc/3109/stat : 3109 (satelite) R 3105 3105 2562 0 -1 4194304 22007 0 0 0 4091 13 0 0 25 0 1 0 107210659 92958720 21750 1992294400 134512640 135037501 4294956160 18446744073709551615 134573945 0 0 8392704 3 0 0 0 17 0 0 0
/proc/3109/statm: 22695 21750 66 128 0 22564 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 92836
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 3111
/proc/meminfo: memFree=1533504/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=149460 CPUtime=16.5
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 10002 0 0 0 1620 30 0 0 25 0 1 0 107218235 153047040 9985 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 37365 9985 151 55 0 36955 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 199204
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/66 3111
/proc/meminfo: memFree=1531904/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=150260 CPUtime=76.47
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 10405 0 0 0 7572 75 0 0 25 0 1 0 107218235 153866240 10388 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 37565 10388 151 55 0 37155 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 200004
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.07 2/66 3111
/proc/meminfo: memFree=1530880/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=150668 CPUtime=136.46
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 10672 0 0 0 13533 113 0 0 25 0 1 0 107218235 154284032 10655 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 37667 10655 151 55 0 37257 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 200412
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 3111
/proc/meminfo: memFree=1529984/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=150956 CPUtime=196.44
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 10886 0 0 0 19497 147 0 0 25 0 1 0 107218235 154578944 10869 1992294400 134512640 134738160 4294956176 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 37739 10869 151 55 0 37329 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 200700
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 3111
/proc/meminfo: memFree=1529344/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=151196 CPUtime=256.42
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 11051 0 0 0 25472 170 0 0 25 0 1 0 107218235 154824704 11034 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 37799 11034 151 55 0 37389 0
################
# More data... #
################
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 3111
/proc/meminfo: memFree=1522752/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=152736 CPUtime=736.29
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 12656 0 0 0 73311 318 0 0 25 0 1 0 107218235 156401664 12639 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38184 12639 151 55 0 37774 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 202480
[startup+882.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3111
/proc/meminfo: memFree=1522752/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=152736 CPUtime=796.27
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 12665 0 0 0 79292 335 0 0 25 0 1 0 107218235 156401664 12648 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38184 12648 151 55 0 37774 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 202480
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1522496/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=152876 CPUtime=856.25
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 12686 0 0 0 85272 353 0 0 25 0 1 0 107218235 156545024 12669 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38219 12669 151 55 0 37809 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 202620
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1522496/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=152876 CPUtime=916.23
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 12732 0 0 0 91254 369 0 0 25 0 1 0 107218235 156545024 12715 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38219 12715 151 55 0 37809 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 202620
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1522368/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153004 CPUtime=976.21
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 12749 0 0 0 97242 379 0 0 25 0 1 0 107218235 156676096 12732 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38251 12732 151 55 0 37841 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 202748
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1521728/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153160 CPUtime=1036.19
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 12925 0 0 0 103225 394 0 0 25 0 1 0 107218235 156835840 12908 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38290 12908 151 55 0 37880 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 202904
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1519232/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153632 CPUtime=1096.18
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 13531 0 0 0 109207 411 0 0 25 0 1 0 107218235 157319168 13514 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38408 13514 151 55 0 37998 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 203376
Solver just ended. Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1519168/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153632 CPUtime=1104.27
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 13531 0 0 0 110015 412 0 0 25 0 1 0 107218235 157319168 13514 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38408 13514 151 55 0 37998 0
Current children cumulated CPU time (s) 1189.98
Current children cumulated vsize (KiB) 203376
[startup+1196.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1519168/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153632 CPUtime=1110.67
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 13533 0 0 0 110653 414 0 0 25 0 1 0 107218235 157319168 13516 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38408 13516 151 55 0 37998 0
Current children cumulated CPU time (s) 1196.38
Current children cumulated vsize (KiB) 203376
[startup+1198.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1519168/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153632 CPUtime=1112.27
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 13533 0 0 0 110813 414 0 0 25 0 1 0 107218235 157319168 13516 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38408 13516 151 55 0 37998 0
Current children cumulated CPU time (s) 1197.98
Current children cumulated vsize (KiB) 203376
[startup+1199.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1519168/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153632 CPUtime=1113.08
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 13534 0 0 0 110893 415 0 0 25 0 1 0 107218235 157319168 13517 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38408 13517 151 55 0 37998 0
Current children cumulated CPU time (s) 1198.79
Current children cumulated vsize (KiB) 203376
[startup+1199.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1519168/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153632 CPUtime=1113.48
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 13534 0 0 0 110933 415 0 0 25 0 1 0 107218235 157319168 13517 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38408 13517 151 55 0 37998 0
Current children cumulated CPU time (s) 1199.19
Current children cumulated vsize (KiB) 203376
[startup+1199.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1519168/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153632 CPUtime=1113.68
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 13534 0 0 0 110953 415 0 0 25 0 1 0 107218235 157319168 13517 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38408 13517 151 55 0 37998 0
Current children cumulated CPU time (s) 1199.39
Current children cumulated vsize (KiB) 203376
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3113
/proc/meminfo: memFree=1519168/2055920 swapFree=4191900/4192956
[pid=3105] ppid=3103 vsize=49744 CPUtime=85.71
/proc/3105/stat : 3105 (SATzilla2009_C) S 3103 3105 2562 0 -1 4194304 30603 116435 0 0 1368 16 7116 71 25 0 1 0 107209656 50937856 11878 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3105/statm: 12436 11878 219 399 0 12033 0
[pid=3111] ppid=3105 vsize=153632 CPUtime=1113.78
/proc/3111/stat : 3111 (vallst) R 3105 3105 2562 0 -1 4194304 13534 0 0 0 110963 415 0 0 25 0 1 0 107218235 157319168 13517 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/3111/statm: 38408 13517 151 55 0 37998 0
Current children cumulated CPU time (s) 1199.49
Current children cumulated vsize (KiB) 203376
Child status: 17
Real time (s): 1199.97
CPU time (s): 1199.6
CPU user time (s): 1194.54
CPU system time (s): 5.05823
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 203376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.54
system time used= 5.05823
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160588
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= 37
involuntary context switches= 2231
runsolver used 0.92086 second user time and 3.45047 second system time
The end
Begin job on node12 at 2009-04-27 02:22:36
IDJOB=1733716
IDBENCH=71146
IDSOLVER=527
FILE ID=node12/1733716-1240791755
PBS_JOBID= 9187290
Free space on /tmp= 66320 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_4vars_12gates_b2.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1733716-1240791755/watcher-1733716-1240791755 -o /tmp/evaluation-result-1733716-1240791755/solver-1733716-1240791755 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1733716-1240791755.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0518a02320d5198cbf8d4b8ec920a5ba
RANDOM SEED=1257968314
node12.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.213
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.213
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: 1632688 kB
Buffers: 50496 kB
Cached: 297076 kB
SwapCached: 384 kB
Active: 174996 kB
Inactive: 185880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1632688 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 57988 kB
Writeback: 0 kB
Mapped: 21768 kB
Slab: 48396 kB
Committed_AS: 531432 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66288 MiB
End job on node12 at 2009-04-27 02:42:37