39.16/39.21 c SATzilla is building models for class 2
39.16/39.21 c run presolver march_dl2004 for 5 seconds ...
39.16/39.21 c Bin: Executing march_dl2004
39.16/39.21 c spawning binary file with 5 seconds ...
39.16/39.21 c child exit by a signal
39.16/39.21 c march_dl2004 returned code 137.
39.16/39.21 c run presolver mxc-sr08 for 5 seconds ...
39.16/39.21 c Bin: Executing mxc-sr08
39.16/39.21 c spawning binary file with 5 seconds ...
39.16/39.21 c child exit by a signal
39.16/39.21 c mxc-sr08 returned code 137.
39.16/39.21 c Orignal number of varibales is 926, number of clauses is 372485
39.16/39.21 c predicted feature computation time is 15.001751
39.16/39.21 c Bin: Executing satelite
39.16/39.21 c spawning binary file with 240 seconds ...
39.16/39.21 c child exited successfully
39.16/39.21 c satzilla computing base features
39.16/39.21 c Number of variabe is: 699, Number of clause is : 220957
39.16/39.21 c Initializing...
39.16/39.21 c satzilla compute diameter ...
39.16/39.21 c start diameter features ...
39.16/39.21 c satzilla doing clause learning
39.16/39.21 c start clause learning features ...
39.16/39.21 c Bin: Executing zchaff07
39.16/39.21 c spawning binary file with 2 seconds ...
39.16/39.21 c child exit by a signal
39.16/39.21 c satzilla doing survey propogation probe
39.16/39.21 c do survay propogation for 2 second ...
39.16/39.21 c satzilla doing local search probe
39.16/39.21 c satzilla doing lobjois search-space size estimate
39.16/39.21 c features are:926 372485 699 220957 0.32475 0.68578 0.00316351 0.415495 0.613799 2.08845 0.00872289 0.463105 0.00286123 0.0429185 1.33896 0.0176867 0.0177229 0.00872289 0.80211 4.52577e-06 0.0489145 4.67741 0.204571 0.324839 0 1 2.10167 0.00277625 1.13742 0 0.0459863 4.16539 0.390307 0.00110641 0.567059 0.000113144 0.00278335 3.63095 0.132898 3 4 0.658447 771 0.746821 208 1562 1562 208 1562 208 543 14.6651 0.155423 12.3923 17.781 17.781 12.3923 17.781 12.3923 13.8221 0.336327 1.23136 7.46081e-10 1 0.950926 0.00130212 0.801619 0.00946435 0.0192946 0.104481 1.38215 6.57019e-12 1 0.281134 5.39066e-06 0.268942 0.000339092 0.0123306 238.96 4.59722 135.56 0.232653 141 118 157 43.091 0.235411 0.959975 0.208333 0.252116 0.601452
39.16/39.21 c satzilla's ranking:
39.16/39.21 c 1) vallst: 15.081388
39.16/39.21 c 2) minisat20SAT07: 5.972503
39.16/39.21 c 3) zchaff_rand: 5.402885
39.16/39.21 c 4) minisat20: 5.253964
39.16/39.21 c 5) march_dl2004: 3.712498
39.16/39.21 c 6) mxc-sr08: 2.589768
39.16/39.21 c 7) tts-4-0: 0.301120
39.16/39.21 c 8) SATenstein: -10000.000000
39.16/39.21 c 9) gnovelty+: -10000.000000
39.16/39.21 c 10) adaptg2wsat+: -10000.000000
39.16/39.21 c 11) adaptg2wsat0: -10000.000000
39.16/39.21 c 12) picosat846: -10000.000000
39.16/39.21 c 13) kcnfs04SAT07: -10000.000000
39.16/39.21 c satzilla running vallst ...
4998.35/4999.86 c Bin: Executing vallst
4998.35/4999.86 c spawning binary file with 4960 seconds ...
4998.35/4999.86 c child exit by a signal
4998.35/4999.86 c vallst returned code 137.
4998.35/4999.86 c satzilla running minisat20SAT07 ...
4998.35/4999.86 c Bin: Executing minisat20SAT07
4998.35/4999.86 c minisat20SAT07 returned code 1.
4998.35/4999.86 c satzilla running zchaff_rand ...
4998.35/4999.86 c Bin: Executing zchaff_rand
4998.35/4999.86 c zchaff_rand returned code 1.
4998.35/4999.86 c satzilla running minisat20 ...
4998.35/4999.86 c Bin: Executing minisat20
4998.35/4999.86 c minisat20 returned code 1.
4998.35/4999.86 c satzilla running march_dl2004 ...
4998.35/4999.86 c Bin: Executing march_dl2004
4998.35/4999.86 c march_dl2004 returned code 1.
4998.35/4999.86 c satzilla running mxc-sr08 ...
4998.35/4999.86 c Bin: Executing mxc-sr08
4998.35/4999.86 c mxc-sr08 returned code 1.
4998.35/4999.86 c satzilla running tts-4-0 ...
4998.35/4999.86 c Bin: Executing tts-4-0
4998.35/4999.86 c tts-4-0 returned code 1.
4998.35/4999.86 c satzilla running SATenstein ...
4998.35/4999.86 c Bin: Executing SATenstein
4998.35/4999.86 c SATenstein returned code 1.
4998.35/4999.86 c satzilla running gnovelty+ ...
4998.35/4999.86 c Bin: Executing gnovelty+
4998.35/4999.86 c gnovelty+ returned code 1.
4998.35/4999.86 c satzilla running adaptg2wsat+ ...
4998.35/4999.86 c Bin: Executing adaptg2wsat+
4998.35/4999.86 c adaptg2wsat+ returned code 1.
4998.35/4999.86 c satzilla running adaptg2wsat0 ...
4998.35/4999.86 c Bin: Executing adaptg2wsat0
4998.35/4999.86 c adaptg2wsat0 returned code 1.
4998.35/4999.86 c satzilla running picosat846 ...
4998.35/4999.86 c Bin: Executing picosat846
4998.35/4999.86 c picosat846 returned code 1.
4998.35/4999.86 c satzilla running kcnfs04SAT07 ...
4998.35/4999.86 c Bin: Executing kcnfs04SAT07
4998.35/4999.86 c kcnfs04SAT07 returned code 1.
4998.35/4999.86 c ERROR: All Failed!
4998.35/4999.86 c SATZILLA_TIME=4999.190000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1825811-1242513018/watcher-1825811-1242513018 -o /tmp/evaluation-result-1825811-1242513018/solver-1825811-1242513018 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825811-1242513018.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 6959
/proc/meminfo: memFree=1087960/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=0
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279329054 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 112 96 399 0 111 0
[pid=6960] ppid=6959 vsize=3548 CPUtime=0
/proc/6960/stat : 6960 (march_dl2004) R 6959 6959 6860 0 -1 4194304 450 0 0 0 0 0 0 0 19 0 1 0 279329054 3633152 445 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6960/statm: 887 446 50 118 0 766 0
[startup+0.0352579 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 6959
/proc/meminfo: memFree=1087960/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=0
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279329054 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 112 96 399 0 111 0
[pid=6960] ppid=6959 vsize=3944 CPUtime=0.03
/proc/6960/stat : 6960 (march_dl2004) R 6959 6959 6860 0 -1 4194304 576 0 0 0 3 0 0 0 19 0 1 0 279329054 4038656 571 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6960/statm: 986 571 50 118 0 865 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6000
[startup+0.101262 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 6959
/proc/meminfo: memFree=1087960/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=0
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279329054 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 112 96 399 0 111 0
[pid=6960] ppid=6959 vsize=4868 CPUtime=0.09
/proc/6960/stat : 6960 (march_dl2004) R 6959 6959 6860 0 -1 4194304 824 0 0 0 9 0 0 0 19 0 1 0 279329054 4984832 819 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6960/statm: 1217 819 50 118 0 1096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6924
[startup+0.301281 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 6959
/proc/meminfo: memFree=1087960/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=0
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279329054 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 112 96 399 0 111 0
[pid=6960] ppid=6959 vsize=7508 CPUtime=0.28
/proc/6960/stat : 6960 (march_dl2004) R 6959 6959 6860 0 -1 4194304 1577 0 0 0 28 0 0 0 21 0 1 0 279329054 7688192 1572 1992294400 134512640 134996440 4294956192 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6960/statm: 1877 1572 50 118 0 1756 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9564
[startup+0.701318 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 6959
/proc/meminfo: memFree=1087960/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=0
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279329054 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 112 96 399 0 111 0
[pid=6960] ppid=6959 vsize=12920 CPUtime=0.69
/proc/6960/stat : 6960 (march_dl2004) R 6959 6959 6860 0 -1 4194304 3090 0 0 0 68 1 0 0 24 0 1 0 279329054 13230080 3085 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6960/statm: 3230 3085 50 118 0 3109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14976
[startup+1.50139 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6961
/proc/meminfo: memFree=1073544/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=0
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279329054 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 112 96 399 0 111 0
[pid=6960] ppid=6959 vsize=21292 CPUtime=1.49
/proc/6960/stat : 6960 (march_dl2004) R 6959 6959 6860 0 -1 4194304 12665 0 0 0 143 6 0 0 25 0 1 0 279329054 21803008 3635 1992294400 134512640 134996440 4294956192 18446744073709551615 134544567 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6960/statm: 5323 3635 55 118 0 5202 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23348
[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6961
/proc/meminfo: memFree=1072392/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=0
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279329054 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 112 96 399 0 111 0
[pid=6960] ppid=6959 vsize=22468 CPUtime=3.09
/proc/6960/stat : 6960 (march_dl2004) R 6959 6959 6860 0 -1 4194304 43513 0 0 0 290 19 0 0 25 0 1 0 279329054 23007232 3957 1992294400 134512640 134996440 4294956192 18446744073709551615 134543093 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6960/statm: 5617 3958 65 118 0 5496 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24524
[startup+6.30185 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6962
/proc/meminfo: memFree=1047880/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=4.99
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 152 47511 0 0 0 0 477 22 19 0 1 0 279329054 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 121 104 399 0 111 0
[pid=6962] ppid=6959 vsize=33048 CPUtime=1.28
/proc/6962/stat : 6962 (mxc-sr08) R 6959 6959 6860 0 -1 4194304 10519 0 0 0 124 4 0 0 25 0 1 0 279329554 33841152 7880 1992294400 134512640 135078026 4294956192 18446744073709551615 134560876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6962/statm: 8262 7880 55 138 0 8121 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 35104
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6963
/proc/meminfo: memFree=1055624/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=10
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 179 58060 0 0 0 0 973 27 16 0 1 0 279329054 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 138 120 399 0 111 0
[pid=6963] ppid=6959 vsize=34452 CPUtime=2.67
/proc/6963/stat : 6963 (satelite) R 6959 6959 6860 0 -1 4194304 8253 0 0 0 263 4 0 0 25 0 1 0 279330055 35278848 8243 1992294400 134512640 135037501 4294956176 18446744073709551615 134543322 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6963/statm: 8613 8243 63 128 0 8482 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 36508
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6963
/proc/meminfo: memFree=1049032/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=2056 CPUtime=10
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 179 58060 0 0 0 0 973 27 16 0 1 0 279329054 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 514 138 120 399 0 111 0
[pid=6963] ppid=6959 vsize=43636 CPUtime=15.47
/proc/6963/stat : 6963 (satelite) R 6959 6959 6860 0 -1 4194304 10876 0 0 0 1542 5 0 0 25 0 1 0 279330055 44683264 9700 1992294400 134512640 135037501 4294956176 18446744073709551615 134573900 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6963/statm: 10909 9700 67 128 0 10778 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45692
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6965
/proc/meminfo: memFree=1027592/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=64880 CPUtime=11.71
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 4557 0 14 0 1143 28 0 0 25 0 1 0 279332976 66437120 4554 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 16220 4554 150 55 0 15810 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 102304
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6965
/proc/meminfo: memFree=1025672/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=65548 CPUtime=62.89
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 5035 0 14 0 6184 105 0 0 25 0 1 0 279332976 67121152 5032 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 16387 5032 150 55 0 15977 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 102972
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6965
/proc/meminfo: memFree=1024392/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=66088 CPUtime=122.87
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 5368 0 14 0 12131 156 0 0 25 0 1 0 279332976 67674112 5365 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 16522 5365 150 55 0 16112 0
Current children cumulated CPU time (s) 162.04
Current children cumulated vsize (KiB) 103512
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6965
/proc/meminfo: memFree=1023496/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=66384 CPUtime=182.86
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 5579 0 14 0 18085 201 0 0 25 0 1 0 279332976 67977216 5576 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 16596 5576 150 55 0 16186 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 103808
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6965
/proc/meminfo: memFree=1022728/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=66648 CPUtime=242.85
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 5766 0 14 0 24048 237 0 0 25 0 1 0 279332976 68247552 5763 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 16662 5763 150 55 0 16252 0
Current children cumulated CPU time (s) 282.02
Current children cumulated vsize (KiB) 104072
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 6965
/proc/meminfo: memFree=1022088/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=66916 CPUtime=302.83
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 5934 0 14 0 30013 270 0 0 25 0 1 0 279332976 68521984 5931 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 16729 5931 150 55 0 16319 0
Current children cumulated CPU time (s) 342
################
# More data... #
################
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1005064/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=79232 CPUtime=4681.75
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 23757 0 14 0 466945 1230 0 0 25 0 1 0 279332976 81133568 10059 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 19808 10059 151 55 0 19398 0
Current children cumulated CPU time (s) 4720.92
Current children cumulated vsize (KiB) 116656
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1005064/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=79232 CPUtime=4741.74
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 23757 0 14 0 472936 1238 0 0 25 0 1 0 279332976 81133568 10059 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 19808 10059 151 55 0 19398 0
Current children cumulated CPU time (s) 4780.91
Current children cumulated vsize (KiB) 116656
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003528/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=81416 CPUtime=4801.71
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 24182 0 14 0 478925 1246 0 0 25 0 1 0 279332976 83369984 10484 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20354 10484 151 55 0 19944 0
Current children cumulated CPU time (s) 4840.88
Current children cumulated vsize (KiB) 118840
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1001352/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=83600 CPUtime=4861.7
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 24725 0 14 0 484917 1253 0 0 25 0 1 0 279332976 85606400 11027 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20900 11027 151 55 0 20490 0
Current children cumulated CPU time (s) 4900.87
Current children cumulated vsize (KiB) 121024
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003592/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=80688 CPUtime=4921.68
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25003 0 14 0 490903 1265 0 0 25 0 1 0 279332976 82624512 10428 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20172 10428 151 55 0 19762 0
Current children cumulated CPU time (s) 4960.85
Current children cumulated vsize (KiB) 118112
Solver just ended. Dumping a history of the last processes samples
[startup+4966.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003592/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=80688 CPUtime=4925.69
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25004 0 14 0 491303 1266 0 0 25 0 1 0 279332976 82624512 10429 1992294400 134512640 134738160 4294956192 18446744073709551615 134586160 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20172 10429 151 55 0 19762 0
Current children cumulated CPU time (s) 4964.86
Current children cumulated vsize (KiB) 118112
[startup+4979.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003592/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=80688 CPUtime=4938.48
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25004 0 14 0 492580 1268 0 0 25 0 1 0 279332976 82624512 10429 1992294400 134512640 134738160 4294956192 18446744073709551615 134589855 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20172 10429 151 55 0 19762 0
Current children cumulated CPU time (s) 4977.65
Current children cumulated vsize (KiB) 118112
[startup+4991.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003592/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=81416 CPUtime=4951.29
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25026 0 14 0 493859 1270 0 0 25 0 1 0 279332976 83369984 10451 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20354 10451 151 55 0 19944 0
Current children cumulated CPU time (s) 4990.46
Current children cumulated vsize (KiB) 118840
[startup+4995.11 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003528/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=81416 CPUtime=4954.48
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25076 0 14 0 494178 1270 0 0 25 0 1 0 279332976 83369984 10501 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20354 10501 151 55 0 19944 0
Current children cumulated CPU time (s) 4993.65
Current children cumulated vsize (KiB) 118840
[startup+4998.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003336/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=81416 CPUtime=4957.68
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25118 0 14 0 494498 1270 0 0 25 0 1 0 279332976 83369984 10543 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20354 10543 151 55 0 19944 0
Current children cumulated CPU time (s) 4996.85
Current children cumulated vsize (KiB) 118840
[startup+4999.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003336/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=81416 CPUtime=4958.49
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25128 0 14 0 494578 1271 0 0 25 0 1 0 279332976 83369984 10553 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20354 10553 151 55 0 19944 0
Current children cumulated CPU time (s) 4997.66
Current children cumulated vsize (KiB) 118840
[startup+4999.51 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003272/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=81416 CPUtime=4958.89
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25133 0 14 0 494618 1271 0 0 25 0 1 0 279332976 83369984 10558 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20354 10558 151 55 0 19944 0
Current children cumulated CPU time (s) 4998.06
Current children cumulated vsize (KiB) 118840
[startup+4999.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003272/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=81416 CPUtime=4959.08
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25137 0 14 0 494637 1271 0 0 25 0 1 0 279332976 83369984 10562 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20354 10562 151 55 0 19944 0
Current children cumulated CPU time (s) 4998.25
Current children cumulated vsize (KiB) 118840
[startup+4999.8 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 6975
/proc/meminfo: memFree=1003272/2055920 swapFree=4176708/4192956
[pid=6959] ppid=6957 vsize=37424 CPUtime=39.17
/proc/6959/stat : 6959 (SATzilla2009_C) S 6957 6959 6860 0 -1 4194304 14658 75263 0 0 1025 9 2841 42 25 0 1 0 279329054 38322176 9055 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/6959/statm: 9356 9055 219 399 0 8953 0
[pid=6965] ppid=6959 vsize=81416 CPUtime=4959.18
/proc/6965/stat : 6965 (vallst) R 6959 6959 6860 0 -1 4194304 25138 0 14 0 494647 1271 0 0 25 0 1 0 279332976 83369984 10563 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/6965/statm: 20354 10563 151 55 0 19944 0
Current children cumulated CPU time (s) 4998.35
Current children cumulated vsize (KiB) 118840
Child status: 17
Real time (s): 4999.88
CPU time (s): 4998.45
CPU user time (s): 4985.21
CPU system time (s): 13.243
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 124520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4985.21
system time used= 13.243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115074
page faults= 14
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 10161
runsolver used 5.61215 second user time and 12.5681 second system time
The end
Begin job on node61 at 2009-05-17 00:30:19
IDJOB=1825811
IDBENCH=71140
IDSOLVER=668
FILE ID=node61/1825811-1242513018
PBS_JOBID= 9307057
Free space on /tmp= 66252 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/modcircuits/mod5block_2vars_12gates.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1825811-1242513018/watcher-1825811-1242513018 -o /tmp/evaluation-result-1825811-1242513018/solver-1825811-1242513018 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825811-1242513018.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 97b074a6a073bb165e8c5c9ac040a066
RANDOM SEED=2111625481
node61.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.216
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.216
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: 1088440 kB
Buffers: 73816 kB
Cached: 803268 kB
SwapCached: 10452 kB
Active: 203156 kB
Inactive: 686740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1088440 kB
SwapTotal: 4192956 kB
SwapFree: 4176708 kB
Dirty: 42076 kB
Writeback: 0 kB
Mapped: 13744 kB
Slab: 63756 kB
Committed_AS: 996336 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66220 MiB
End job on node61 at 2009-05-17 01:53:39