70.64/70.73 c SATzilla is building models for class 3
70.64/70.73 c run presolver mxc-sr08 for 10 seconds ...
70.64/70.73 c Bin: Executing mxc-sr08
70.64/70.73 c spawning binary file with 10 seconds ...
70.64/70.73 c child exit by a signal
70.64/70.73 c mxc-sr08 returned code 137.
70.64/70.73 c run presolver picosat846 for 5 seconds ...
70.64/70.73 c Bin: Executing picosat846
70.64/70.73 c spawning binary file with 5 seconds ...
70.64/70.73 c child exit by a signal
70.64/70.73 c picosat846 returned code 137.
70.64/70.73 c Orignal number of varibales is 199996, number of clauses is 1019200
70.64/70.73 c predicted feature computation time is 24.160136
70.64/70.73 c Bin: Executing satelite
70.64/70.73 c spawning binary file with 240 seconds ...
70.64/70.73 c child exited successfully
70.64/70.73 c satzilla computing base features
70.64/70.73 c Number of variabe is: 102505, Number of clause is : 668201
70.64/70.73 c Initializing...
70.64/70.73 c satzilla doing clause learning
70.64/70.73 c start clause learning features ...
70.64/70.73 c Bin: Executing zchaff07
70.64/70.73 c spawning binary file with 2 seconds ...
70.64/70.73 c child exit by a signal
70.64/70.73 c satzilla doing survey propogation probe
70.64/70.73 c do survay propogation for 2 second ...
70.64/70.73 c satzilla doing local search probe
70.64/70.73 c features are:199996 1.0192e+06 102505 668201 0.951085 0.52529 0.153404 0.408603 0.924987 1.42628 2.71049e-05 0.443163 1.95112e-05 9.75562e-05 1.08449 0.553413 0.862128 2.71049e-05 0.717224 1.04759e-05 0.000106255 2.95923 0.227754 0.148193 0 0.8 2.851 1.53467e-05 0.84323 4.48967e-06 7.03381e-05 2.65583 0.708716 2.967e-05 0.640795 7.48278e-06 0.000116731 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625258 0.505358 2.43891e-08 1 0.935972 0.135067 0.8863 0.323201 0.780425 0.0194003 0.982289 -1.11022e-16 0.0908293 0.0477387 1.92932e-06 0.035456 0.00232076 0.00982654 23184 0 0 0 0 0 0 3.38611 0 1.24079 0
70.64/70.73 c satzilla's ranking:
70.64/70.73 c 1) mxc-sr08: 3.149779
70.64/70.73 c 2) picosat846: 2.661243
70.64/70.73 c 3) minisat20SAT07: 1.279741
70.64/70.73 c 4) zchaff_rand: 1.095940
70.64/70.73 c 5) march_dl2004: 0.084614
70.64/70.73 c 6) SATenstein: -10000.000000
70.64/70.73 c 7) gnovelty+: -10000.000000
70.64/70.73 c 8) adaptg2wsat+: -10000.000000
70.64/70.73 c 9) adaptg2wsat0: -10000.000000
70.64/70.73 c 10) tts-4-0: -10000.000000
70.64/70.73 c 11) vallst: -10000.000000
70.64/70.73 c 12) minisat20: -10000.000000
70.64/70.73 c 13) kcnfs04SAT07: -10000.000000
70.64/70.73 c satzilla running mxc-sr08 ...
1199.45/1200.08 c Bin: Executing mxc-sr08
1199.45/1200.08 c spawning binary file with 1129 seconds ...
1199.45/1200.08 c child exit by a signal
1199.45/1200.08 c mxc-sr08 returned code 137.
1199.45/1200.08 c satzilla running picosat846 ...
1199.45/1200.08 c Bin: Executing picosat846
1199.45/1200.08 c picosat846 returned code 1.
1199.45/1200.08 c satzilla running minisat20SAT07 ...
1199.45/1200.08 c Bin: Executing minisat20SAT07
1199.45/1200.08 c minisat20SAT07 returned code 1.
1199.45/1200.08 c satzilla running zchaff_rand ...
1199.45/1200.08 c Bin: Executing zchaff_rand
1199.45/1200.08 c zchaff_rand returned code 1.
1199.45/1200.08 c satzilla running march_dl2004 ...
1199.45/1200.08 c Bin: Executing march_dl2004
1199.45/1200.08 c march_dl2004 returned code 1.
1199.45/1200.08 c satzilla running SATenstein ...
1199.45/1200.08 c Bin: Executing SATenstein
1199.45/1200.08 c SATenstein returned code 1.
1199.45/1200.08 c satzilla running gnovelty+ ...
1199.45/1200.08 c Bin: Executing gnovelty+
1199.45/1200.08 c gnovelty+ returned code 1.
1199.45/1200.08 c satzilla running adaptg2wsat+ ...
1199.45/1200.08 c Bin: Executing adaptg2wsat+
1199.45/1200.08 c adaptg2wsat+ returned code 1.
1199.45/1200.08 c satzilla running adaptg2wsat0 ...
1199.45/1200.08 c Bin: Executing adaptg2wsat0
1199.45/1200.08 c adaptg2wsat0 returned code 1.
1199.45/1200.08 c satzilla running tts-4-0 ...
1199.45/1200.08 c Bin: Executing tts-4-0
1199.45/1200.08 c tts-4-0 returned code 1.
1199.45/1200.08 c satzilla running vallst ...
1199.45/1200.08 c Bin: Executing vallst
1199.45/1200.08 c vallst returned code 1.
1199.45/1200.08 c satzilla running minisat20 ...
1199.45/1200.08 c Bin: Executing minisat20
1199.45/1200.08 c minisat20 returned code 1.
1199.45/1200.08 c satzilla running kcnfs04SAT07 ...
1199.45/1200.08 c Bin: Executing kcnfs04SAT07
1199.45/1200.08 c kcnfs04SAT07 returned code 1.
1199.45/1200.08 c ERROR: All Failed!
1199.45/1200.08 c SATZILLA_TIME=1199.730000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1579821-1238911588/watcher-1579821-1238911588 -o /tmp/evaluation-result-1579821-1238911588/solver-1579821-1238911588 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1579821-1238911588.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.00 3/64 6557
/proc/meminfo: memFree=1610816/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=2056 CPUtime=0
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1163821714 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 514 112 96 399 0 111 0
[pid=6558] ppid=6557 vsize=19548 CPUtime=0
/proc/6558/stat : 6558 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 724 0 0 0 0 0 0 0 19 0 1 0 1163821714 20017152 720 1992294400 134512640 135078026 4294956176 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6558/statm: 4887 728 44 138 0 4746 0
[startup+0.0600491 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6557
/proc/meminfo: memFree=1610816/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=2056 CPUtime=0
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1163821714 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 514 112 96 399 0 111 0
[pid=6558] ppid=6557 vsize=43136 CPUtime=0.05
/proc/6558/stat : 6558 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 9326 0 0 0 1 4 0 0 19 0 1 0 1163821714 44171264 9320 1992294400 134512640 135078026 4294956176 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6558/statm: 10802 9320 52 138 0 10661 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 45192
[startup+0.101053 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6557
/proc/meminfo: memFree=1610816/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=2056 CPUtime=0
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1163821714 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 514 112 96 399 0 111 0
[pid=6558] ppid=6557 vsize=58552 CPUtime=0.09
/proc/6558/stat : 6558 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 12516 0 0 0 3 6 0 0 19 0 1 0 1163821714 59957248 12488 1992294400 134512640 135078026 4294956176 18446744073709551615 134555327 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6558/statm: 14638 12490 52 138 0 14497 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 60608
[startup+0.30107 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6557
/proc/meminfo: memFree=1610816/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=2056 CPUtime=0
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1163821714 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 514 112 96 399 0 111 0
[pid=6558] ppid=6557 vsize=69968 CPUtime=0.29
/proc/6558/stat : 6558 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 15653 0 0 0 22 7 0 0 21 0 1 0 1163821714 71647232 15625 1992294400 134512640 135078026 4294956176 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6558/statm: 17492 15625 54 138 0 17351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72024
[startup+0.701106 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6557
/proc/meminfo: memFree=1610816/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=2056 CPUtime=0
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1163821714 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 514 112 96 399 0 111 0
[pid=6558] ppid=6557 vsize=80836 CPUtime=0.69
/proc/6558/stat : 6558 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 18271 0 0 0 61 8 0 0 25 0 1 0 1163821714 82776064 18243 1992294400 134512640 135078026 4294956176 18446744073709551615 134565485 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6558/statm: 20209 18243 54 138 0 20068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82892
[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6559
/proc/meminfo: memFree=1528368/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=2056 CPUtime=0
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1163821714 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 514 112 96 399 0 111 0
[pid=6558] ppid=6557 vsize=105368 CPUtime=1.49
/proc/6558/stat : 6558 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 24011 0 0 0 138 11 0 0 25 0 1 0 1163821714 107896832 23983 1992294400 134512640 135078026 4294956176 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6558/statm: 26342 23983 54 138 0 26201 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 107424
[startup+3.10132 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 6559
/proc/meminfo: memFree=1519088/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=2056 CPUtime=0
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1163821714 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 514 112 96 399 0 111 0
[pid=6558] ppid=6557 vsize=116256 CPUtime=3.09
/proc/6558/stat : 6558 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 31347 0 0 0 294 15 0 0 25 0 1 0 1163821714 119046144 26615 1992294400 134512640 135078026 4294956176 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6558/statm: 29064 26615 55 138 0 28923 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118312
[startup+6.30161 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 6559
/proc/meminfo: memFree=1509872/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=2056 CPUtime=0
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1163821714 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 514 112 96 399 0 111 0
[pid=6558] ppid=6557 vsize=109128 CPUtime=6.29
/proc/6558/stat : 6558 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 33928 0 0 0 613 16 0 0 25 0 1 0 1163821714 111747072 25336 1992294400 134512640 135078026 4294956176 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6558/statm: 27282 25336 71 138 0 27141 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 111184
[startup+12.7022 s]
/proc/loadavg: 1.14 1.03 1.01 2/66 6560
/proc/meminfo: memFree=1561520/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=2056 CPUtime=10
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 152 33959 0 0 0 0 983 17 19 0 1 0 1163821714 2105344 121 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 514 121 104 399 0 111 0
[pid=6560] ppid=6557 vsize=56124 CPUtime=2.67
/proc/6560/stat : 6560 (picosat846) R 6557 6557 5833 0 -1 4194304 12584 0 0 0 259 8 0 0 25 0 1 0 1163822716 57470976 12562 1992294400 134512640 134570484 4294956176 18446744073709551615 134526498 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6560/statm: 14031 12562 85 14 0 13697 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 58180
[startup+25.5013 s]
/proc/loadavg: 1.12 1.03 1.01 2/65 6561
/proc/meminfo: memFree=1538808/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=63356 CPUtime=25.47
/proc/6557/stat : 6557 (SATzilla2009_I) R 6555 6557 5833 0 -1 4194304 14943 84433 0 0 271 8 2213 55 25 0 1 0 1163821714 64876544 14894 1992294400 134512640 136149169 4294956208 18446744073709551615 134535500 0 0 4096 0 0 0 0 17 0 0 0
/proc/6557/statm: 15839 14894 135 399 0 15436 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 63356
[startup+51.1016 s]
/proc/loadavg: 1.08 1.03 1.01 2/65 6561
/proc/meminfo: memFree=1537400/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=63356 CPUtime=51.05
/proc/6557/stat : 6557 (SATzilla2009_I) R 6555 6557 5833 0 -1 4194304 15283 84433 0 0 2829 8 2213 55 25 0 1 0 1163821714 64876544 15234 1992294400 134512640 136149169 4294956208 18446744073709551615 134535500 0 0 4096 0 0 0 0 17 0 0 0
/proc/6557/statm: 15839 15234 135 399 0 15436 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 63356
[startup+102.305 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1422704/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=109128 CPUtime=31.54
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 33962 0 0 0 3138 16 0 0 25 0 1 0 1163828787 111747072 25370 1992294400 134512640 135078026 4294956176 18446744073709551615 134540379 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 27282 25370 71 138 0 27141 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 185172
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1417584/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=114416 CPUtime=91.51
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 35271 0 0 0 9134 17 0 0 25 0 1 0 1163828787 117161984 26679 1992294400 134512640 135078026 4294956176 18446744073709551615 134534246 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 28604 26679 71 138 0 28463 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 190460
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 6563
/proc/meminfo: memFree=1403440/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=128424 CPUtime=151.48
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 38779 0 0 0 15127 21 0 0 25 0 1 0 1163828787 131506176 30187 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 32106 30187 71 138 0 31965 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 204468
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6563
/proc/meminfo: memFree=1400624/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=131464 CPUtime=211.46
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 39522 0 0 0 21124 22 0 0 25 0 1 0 1163828787 134619136 30930 1992294400 134512640 135078026 4294956176 18446744073709551615 134534226 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 32866 30930 71 138 0 32725 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 207508
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6563
/proc/meminfo: memFree=1384624/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=147312 CPUtime=271.44
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 43456 0 0 0 27117 27 0 0 25 0 1 0 1163828787 150847488 34864 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 36828 34864 71 138 0 36687 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 223356
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6563
/proc/meminfo: memFree=1384624/2055920 swapFree=4178364/4192956
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6563
/proc/meminfo: memFree=1333936/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=197968 CPUtime=751.22
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 56084 0 0 0 75081 41 0 0 25 0 1 0 1163828787 202719232 47492 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 49492 47492 71 138 0 49351 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 274012
[startup+882.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1321904/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=209856 CPUtime=811.19
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59079 0 0 0 81075 44 0 0 25 0 1 0 1163828787 214892544 50487 1992294400 134512640 135078026 4294956176 18446744073709551615 134534270 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 52464 50487 71 138 0 52323 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 285900
[startup+942.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/66 6563
/proc/meminfo: memFree=1318576/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213160 CPUtime=871.16
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59887 0 0 0 87070 46 0 0 25 0 1 0 1163828787 218275840 51295 1992294400 134512640 135078026 4294956176 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53290 51295 71 138 0 53149 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 289204
[startup+1002.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 6563
/proc/meminfo: memFree=1318512/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213160 CPUtime=931.14
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59887 0 0 0 93068 46 0 0 25 0 1 0 1163828787 218275840 51295 1992294400 134512640 135078026 4294956176 18446744073709551615 134534011 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53290 51295 71 138 0 53149 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 289204
[startup+1062.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/66 6563
/proc/meminfo: memFree=1318512/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213160 CPUtime=991.12
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59888 0 0 0 99066 46 0 0 25 0 1 0 1163828787 218275840 51296 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53290 51296 71 138 0 53149 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 289204
[startup+1122.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 6563
/proc/meminfo: memFree=1318448/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213160 CPUtime=1051.09
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59890 0 0 0 105063 46 0 0 25 0 1 0 1163828787 218275840 51298 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53290 51298 71 138 0 53149 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 289204
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1318448/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213160 CPUtime=1111.07
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59895 0 0 0 111061 46 0 0 25 0 1 0 1163828787 218275840 51303 1992294400 134512640 135078026 4294956176 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53290 51303 71 138 0 53149 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 289204
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1318448/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213160 CPUtime=1119.07
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59896 0 0 0 111861 46 0 0 25 0 1 0 1163828787 218275840 51304 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53290 51304 71 138 0 53149 0
Current children cumulated CPU time (s) 1189.75
Current children cumulated vsize (KiB) 289204
[startup+1196.7 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1318448/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213160 CPUtime=1125.47
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59896 0 0 0 112501 46 0 0 25 0 1 0 1163828787 218275840 51304 1992294400 134512640 135078026 4294956176 18446744073709551615 134534605 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53290 51304 71 138 0 53149 0
Current children cumulated CPU time (s) 1196.15
Current children cumulated vsize (KiB) 289204
[startup+1198.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1318448/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213292 CPUtime=1127.07
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59926 0 0 0 112661 46 0 0 25 0 1 0 1163828787 218411008 51334 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53323 51334 71 138 0 53182 0
Current children cumulated CPU time (s) 1197.75
Current children cumulated vsize (KiB) 289336
[startup+1199.1 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1318192/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213424 CPUtime=1127.87
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 59977 0 0 0 112741 46 0 0 25 0 1 0 1163828787 218546176 51385 1992294400 134512640 135078026 4294956176 18446744073709551615 134533816 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53356 51385 71 138 0 53215 0
Current children cumulated CPU time (s) 1198.55
Current children cumulated vsize (KiB) 289468
[startup+1199.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1318192/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213556 CPUtime=1128.27
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 60002 0 0 0 112781 46 0 0 25 0 1 0 1163828787 218681344 51410 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53389 51410 71 138 0 53248 0
Current children cumulated CPU time (s) 1198.95
Current children cumulated vsize (KiB) 289600
[startup+1199.9 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1318192/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213688 CPUtime=1128.66
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 60026 0 0 0 112820 46 0 0 25 0 1 0 1163828787 218816512 51434 1992294400 134512640 135078026 4294956176 18446744073709551615 134523894 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53422 51434 71 138 0 53281 0
Current children cumulated CPU time (s) 1199.34
Current children cumulated vsize (KiB) 289732
[startup+1200 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6563
/proc/meminfo: memFree=1317936/2055920 swapFree=4178364/4192956
[pid=6557] ppid=6555 vsize=76044 CPUtime=70.68
/proc/6557/stat : 6557 (SATzilla2009_I) S 6555 6557 5833 0 -1 4194304 30722 102319 0 0 4581 19 2405 63 25 0 1 0 1163821714 77869056 18688 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6557/statm: 19011 18688 216 399 0 18608 0
[pid=6563] ppid=6557 vsize=213688 CPUtime=1128.77
/proc/6563/stat : 6563 (mxc-sr08) R 6557 6557 5833 0 -1 4194304 60033 0 0 0 112831 46 0 0 25 0 1 0 1163828787 218816512 51441 1992294400 134512640 135078026 4294956176 18446744073709551615 134523627 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6563/statm: 53422 51441 71 138 0 53281 0
Current children cumulated CPU time (s) 1199.45
Current children cumulated vsize (KiB) 289732
Child status: 17
Real time (s): 1200.11
CPU time (s): 1199.58
CPU user time (s): 1198.23
CPU system time (s): 1.3458
CPU usage (%): 99.956
Max. virtual memory (cumulated for all children) (KiB): 289732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.23
system time used= 1.34579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193098
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= 16
involuntary context switches= 4289
runsolver used 1.15982 second user time and 3.21451 second system time
The end
Begin job on node43 at 2009-04-05 08:06:29
IDJOB=1579821
IDBENCH=71005
IDSOLVER=528
FILE ID=node43/1579821-1238911588
PBS_JOBID= 9101340
Free space on /tmp= 66544 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-15-10p1.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1579821-1238911588/watcher-1579821-1238911588 -o /tmp/evaluation-result-1579821-1238911588/solver-1579821-1238911588 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1579821-1238911588.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 558e9ecf39a7773e94f4b47eef706f44
RANDOM SEED=2083509798
node43.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.242
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.242
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: 1611296 kB
Buffers: 46292 kB
Cached: 328624 kB
SwapCached: 8536 kB
Active: 191532 kB
Inactive: 193520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1611296 kB
SwapTotal: 4192956 kB
SwapFree: 4178364 kB
Dirty: 50276 kB
Writeback: 0 kB
Mapped: 15852 kB
Slab: 45580 kB
Committed_AS: 2914568 kB
PageTables: 1472 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= 66512 MiB
End job on node43 at 2009-04-05 08:26:29