21.25/21.38 c SATzilla is building models for class 2
21.25/21.38 c run presolver march_dl2004 for 5 seconds ...
21.25/21.38 c Bin: Executing march_dl2004
21.25/21.38 c spawning binary file with 5 seconds ...
21.25/21.38 c child exit by a signal
21.25/21.38 c march_dl2004 returned code 137.
21.25/21.38 c run presolver mxc-sr08 for 5 seconds ...
21.25/21.38 c Bin: Executing mxc-sr08
21.25/21.38 c spawning binary file with 5 seconds ...
21.25/21.38 c child exit by a signal
21.25/21.38 c mxc-sr08 returned code 137.
21.25/21.38 c Orignal number of varibales is 18000, number of clauses is 75600
21.25/21.38 c predicted feature computation time is 11.411302
21.25/21.38 c Bin: Executing satelite
21.25/21.38 c spawning binary file with 240 seconds ...
21.25/21.38 c child exited successfully
21.25/21.38 c satzilla computing base features
21.25/21.38 c Number of variabe is: 17551, Number of clause is : 75090
21.25/21.38 c Initializing...
21.25/21.38 c satzilla compute diameter ...
21.25/21.38 c start diameter features ...
21.25/21.38 c satzilla doing clause learning
21.25/21.38 c start clause learning features ...
21.25/21.38 c Bin: Executing zchaff07
21.25/21.38 c spawning binary file with 2 seconds ...
21.25/21.38 c child exit by a signal
21.25/21.38 c satzilla doing survey propogation probe
21.25/21.38 c do survay propogation for 2 second ...
21.25/21.38 c satzilla doing local search probe
21.25/21.38 c satzilla doing lobjois search-space size estimate
21.25/21.38 c features are:18000 75600 17551 75090 0.0255826 0.00679185 0.233733 0.497398 0.586149 0.707282 0.000172891 0.0624339 0.00017093 0.000284884 0.150874 0 0.96692 0.000172891 0.286963 1.33174e-05 0.00045279 2.70853 0.229075 0.171052 0 1 3.36692 8.47383e-05 0.398478 0 0.000292982 2.32802 0.492143 0.000350141 0.290181 2.66347e-05 0.000932215 5.26437 0.08377 5 6 0.577576 10.1017 0.374721 4 17 16 5 13 7 10 70.4417 0.235603 37.125 115.25 93.25 50.3333 81.1429 58.0714 70.5556 0.393111 0.580855 6.54646e-05 1 0.70616 0.0858271 0.569371 0.204246 0.386219 0.0922633 0.657316 0.00167341 0.837491 0.17497 0.0282904 0.124282 0.0469247 0.0786168 387.8 0.101134 3818.8 0.0106408 3816 3763 3855 0.162813 0.260972 0.834034 0.0102941 0.227651 0.272303
21.25/21.38 c satzilla's ranking:
21.25/21.38 c 1) march_dl2004: 3.123368
21.25/21.38 c 2) minisat20SAT07: 2.890396
21.25/21.38 c 3) mxc-sr08: 2.659633
21.25/21.38 c 4) minisat20: 2.499921
21.25/21.38 c 5) zchaff_rand: 1.747615
21.25/21.38 c 6) vallst: 0.307833
21.25/21.38 c 7) tts-4-0: 0.273389
21.25/21.38 c 8) SATenstein: -10000.000000
21.25/21.38 c 9) gnovelty+: -10000.000000
21.25/21.38 c 10) adaptg2wsat+: -10000.000000
21.25/21.38 c 11) adaptg2wsat0: -10000.000000
21.25/21.38 c 12) picosat846: -10000.000000
21.25/21.38 c 13) kcnfs04SAT07: -10000.000000
21.25/21.38 c satzilla running march_dl2004 ...
1199.09/1199.55 c Bin: Executing march_dl2004
1199.09/1199.55 c spawning binary file with 1178 seconds ...
1199.09/1199.55 c child exit by a signal
1199.09/1199.55 c march_dl2004 returned code 137.
1199.09/1199.55 c satzilla running minisat20SAT07 ...
1199.09/1199.55 c Bin: Executing minisat20SAT07
1199.09/1199.55 c minisat20SAT07 returned code 1.
1199.09/1199.55 c satzilla running mxc-sr08 ...
1199.09/1199.55 c Bin: Executing mxc-sr08
1199.09/1199.55 c mxc-sr08 returned code 1.
1199.09/1199.55 c satzilla running minisat20 ...
1199.09/1199.55 c Bin: Executing minisat20
1199.09/1199.55 c minisat20 returned code 1.
1199.09/1199.55 c satzilla running zchaff_rand ...
1199.09/1199.55 c Bin: Executing zchaff_rand
1199.09/1199.55 c zchaff_rand returned code 1.
1199.09/1199.55 c satzilla running vallst ...
1199.09/1199.55 c Bin: Executing vallst
1199.09/1199.55 c vallst returned code 1.
1199.09/1199.55 c satzilla running tts-4-0 ...
1199.09/1199.55 c Bin: Executing tts-4-0
1199.09/1199.55 c tts-4-0 returned code 1.
1199.09/1199.55 c satzilla running SATenstein ...
1199.09/1199.55 c Bin: Executing SATenstein
1199.09/1199.55 c SATenstein returned code 1.
1199.09/1199.55 c satzilla running gnovelty+ ...
1199.09/1199.55 c Bin: Executing gnovelty+
1199.09/1199.55 c gnovelty+ returned code 1.
1199.09/1199.55 c satzilla running adaptg2wsat+ ...
1199.09/1199.55 c Bin: Executing adaptg2wsat+
1199.09/1199.55 c adaptg2wsat+ returned code 1.
1199.09/1199.55 c satzilla running adaptg2wsat0 ...
1199.09/1199.55 c Bin: Executing adaptg2wsat0
1199.09/1199.55 c adaptg2wsat0 returned code 1.
1199.09/1199.55 c satzilla running picosat846 ...
1199.09/1199.55 c Bin: Executing picosat846
1199.09/1199.55 c picosat846 returned code 1.
1199.09/1199.55 c satzilla running kcnfs04SAT07 ...
1199.09/1199.55 c Bin: Executing kcnfs04SAT07
1199.09/1199.55 c kcnfs04SAT07 returned code 1.
1199.09/1199.55 c ERROR: All Failed!
1199.09/1199.55 c SATZILLA_TIME=1199.340000
runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1538748-1238440191/watcher-1538748-1238440191 -o /tmp/evaluation-result-1538748-1238440191/solver-1538748-1238440191 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1538748-1238440191.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.11 1.54 1.38 3/69 14411
/proc/meminfo: memFree=1496344/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=2056 CPUtime=0
/proc/14411/stat : 14411 (SATzilla2009_C) R 14409 14411 14164 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 1116682312 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/14411/statm: 514 112 96 399 0 111 0
[pid=14412] ppid=14411 vsize=2364 CPUtime=0
/proc/14412/stat : 14412 (march_dl2004) R 14411 14411 14164 0 -1 4194304 409 0 0 0 0 0 0 0 18 0 1 0 1116682312 2420736 404 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14412/statm: 591 404 50 118 0 470 0
[startup+0.0813949 s]
/proc/loadavg: 1.11 1.54 1.38 3/69 14411
/proc/meminfo: memFree=1496344/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=2056 CPUtime=0
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116682312 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14411/statm: 514 112 96 399 0 111 0
[pid=14412] ppid=14411 vsize=3156 CPUtime=0.07
/proc/14412/stat : 14412 (march_dl2004) R 14411 14411 14164 0 -1 4194304 668 0 0 0 7 0 0 0 19 0 1 0 1116682312 3231744 663 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14412/statm: 789 663 50 118 0 668 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5212
[startup+0.102396 s]
/proc/loadavg: 1.11 1.54 1.38 3/69 14411
/proc/meminfo: memFree=1496344/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=2056 CPUtime=0
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116682312 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14411/statm: 514 112 96 399 0 111 0
[pid=14412] ppid=14411 vsize=3420 CPUtime=0.09
/proc/14412/stat : 14412 (march_dl2004) R 14411 14411 14164 0 -1 4194304 739 0 0 0 9 0 0 0 19 0 1 0 1116682312 3502080 734 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14412/statm: 855 735 50 118 0 734 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5476
[startup+0.302416 s]
/proc/loadavg: 1.11 1.54 1.38 3/69 14411
/proc/meminfo: memFree=1496344/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=2056 CPUtime=0
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116682312 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14411/statm: 514 112 96 399 0 111 0
[pid=14412] ppid=14411 vsize=6680 CPUtime=0.29
/proc/14412/stat : 14412 (march_dl2004) R 14411 14411 14164 0 -1 4194304 2541 0 0 0 29 0 0 0 21 0 1 0 1116682312 6840320 1279 1992294400 134512640 134996440 4294956176 18446744073709551615 134542305 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14412/statm: 1670 1279 55 118 0 1549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8736
[startup+0.701458 s]
/proc/loadavg: 1.11 1.54 1.38 3/69 14411
/proc/meminfo: memFree=1496344/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=2056 CPUtime=0
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116682312 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14411/statm: 514 112 96 399 0 111 0
[pid=14412] ppid=14411 vsize=8736 CPUtime=0.69
/proc/14412/stat : 14412 (march_dl2004) R 14411 14411 14164 0 -1 4194304 5716 0 0 0 67 2 0 0 25 0 1 0 1116682312 8945664 1820 1992294400 134512640 134996440 4294956176 18446744073709551615 134543089 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14412/statm: 2184 1820 57 118 0 2063 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10792
[startup+1.50154 s]
/proc/loadavg: 1.11 1.54 1.38 2/71 14413
/proc/meminfo: memFree=1485512/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=2056 CPUtime=0
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116682312 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14411/statm: 514 112 96 399 0 111 0
[pid=14412] ppid=14411 vsize=21316 CPUtime=1.49
/proc/14412/stat : 14412 (march_dl2004) R 14411 14411 14164 0 -1 4194304 12936 0 0 0 130 19 0 0 25 0 1 0 1116682312 21827584 4808 1992294400 134512640 134996440 4294956176 18446744073709551615 134675049 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14412/statm: 5329 4808 72 118 0 5208 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23372
[startup+3.1017 s]
/proc/loadavg: 1.11 1.54 1.38 2/71 14413
/proc/meminfo: memFree=1476872/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=2056 CPUtime=0
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116682312 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14411/statm: 514 112 96 399 0 111 0
[pid=14412] ppid=14411 vsize=19964 CPUtime=3.09
/proc/14412/stat : 14412 (march_dl2004) R 14411 14411 14164 0 -1 4194304 14558 0 0 0 266 43 0 0 25 0 1 0 1116682312 20443136 4548 1992294400 134512640 134996440 4294956176 18446744073709551615 134527810 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14412/statm: 4991 4548 74 118 0 4870 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22020
[startup+6.30103 s]
/proc/loadavg: 1.10 1.53 1.38 2/71 14414
/proc/meminfo: memFree=1488456/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=2056 CPUtime=4.99
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 156 14562 0 0 0 0 456 43 16 0 1 0 1116682312 2105344 125 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 514 125 107 399 0 111 0
[pid=14414] ppid=14411 vsize=10804 CPUtime=1.27
/proc/14414/stat : 14414 (mxc-sr08) R 14411 14411 14164 0 -1 4194304 3081 0 0 0 126 1 0 0 25 0 1 0 1116682813 11063296 2437 1992294400 134512640 135078026 4294956176 18446744073709551615 134538517 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14414/statm: 2701 2437 71 138 0 2560 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12860
[startup+12.7017 s]
/proc/loadavg: 1.09 1.52 1.38 2/70 14415
/proc/meminfo: memFree=1488464/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=8572 CPUtime=12.66
/proc/14411/stat : 14411 (SATzilla2009_C) R 14409 14411 14164 0 -1 4194304 2649 20612 0 0 227 1 990 48 25 0 1 0 1116682312 8777728 1777 1992294400 134512640 136149437 4294956208 18446744073709551615 134532697 0 0 4096 0 0 0 0 17 0 0 0
/proc/14411/statm: 2143 1777 135 399 0 1740 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 8572
[startup+25.503 s]
/proc/loadavg: 1.07 1.50 1.37 2/71 14417
/proc/meminfo: memFree=1467656/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=19968 CPUtime=4.1
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 14559 0 0 0 372 38 0 0 25 0 1 0 1116684450 20447232 4549 1992294400 134512640 134996440 4294956176 18446744073709551615 134527886 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 4992 4549 74 118 0 4871 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 31244
[startup+51.1026 s]
/proc/loadavg: 1.05 1.45 1.36 2/71 14417
/proc/meminfo: memFree=1464904/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=23380 CPUtime=29.69
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15245 0 0 0 2930 39 0 0 25 0 1 0 1116684450 23941120 5235 1992294400 134512640 134996440 4294956176 18446744073709551615 134526923 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 5845 5235 74 118 0 5724 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 34656
[startup+102.307 s]
/proc/loadavg: 1.02 1.38 1.34 2/71 14417
/proc/meminfo: memFree=1464264/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=24012 CPUtime=80.88
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15413 0 0 0 8049 39 0 0 25 0 1 0 1116684450 24588288 5403 1992294400 134512640 134996440 4294956176 18446744073709551615 134514060 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6003 5403 74 118 0 5882 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 35288
[startup+162.303 s]
/proc/loadavg: 1.00 1.31 1.32 2/71 14417
/proc/meminfo: memFree=1463944/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=24268 CPUtime=140.86
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15491 0 0 0 14047 39 0 0 25 0 1 0 1116684450 24850432 5481 1992294400 134512640 134996440 4294956176 18446744073709551615 134526923 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6067 5481 74 118 0 5946 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 35544
[startup+222.302 s]
/proc/loadavg: 1.00 1.25 1.29 2/71 14417
/proc/meminfo: memFree=1463624/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=24644 CPUtime=200.84
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15578 0 0 0 20045 39 0 0 25 0 1 0 1116684450 25235456 5568 1992294400 134512640 134996440 4294956176 18446744073709551615 134526954 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6161 5568 74 118 0 6040 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 35920
[startup+282.302 s]
/proc/loadavg: 1.00 1.20 1.27 2/71 14417
/proc/meminfo: memFree=1463432/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=24892 CPUtime=260.83
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15628 0 0 0 26044 39 0 0 25 0 1 0 1116684450 25489408 5618 1992294400 134512640 134996440 4294956176 18446744073709551615 134588254 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6223 5618 74 118 0 6102 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 36168
[startup+342.302 s]
/proc/loadavg: 1.00 1.16 1.25 2/71 14417
/proc/meminfo: memFree=1463304/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=25016 CPUtime=320.81
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15663 0 0 0 32042 39 0 0 25 0 1 0 1116684450 25616384 5653 1992294400 134512640 134996440 4294956176 18446744073709551615 134526917 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6254 5653 74 118 0 6133 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 36292
################
# More data... #
################
[startup+762.305 s]
/proc/loadavg: 1.00 1.03 1.15 2/71 14417
/proc/meminfo: memFree=1462472/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=25744 CPUtime=740.69
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15860 0 0 0 74029 40 0 0 25 0 1 0 1116684450 26361856 5850 1992294400 134512640 134996440 4294956176 18446744073709551615 134514052 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6436 5850 74 118 0 6315 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 37020
[startup+822.302 s]
/proc/loadavg: 1.00 1.02 1.14 2/71 14417
/proc/meminfo: memFree=1462408/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=25872 CPUtime=800.67
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15875 0 0 0 80026 41 0 0 25 0 1 0 1116684450 26492928 5865 1992294400 134512640 134996440 4294956176 18446744073709551615 134513985 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6468 5865 74 118 0 6347 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 37148
[startup+882.302 s]
/proc/loadavg: 1.00 1.02 1.12 2/71 14417
/proc/meminfo: memFree=1462408/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=25872 CPUtime=860.66
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15891 0 0 0 86025 41 0 0 25 0 1 0 1116684450 26492928 5881 1992294400 134512640 134996440 4294956176 18446744073709551615 134514206 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6468 5881 74 118 0 6347 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 37148
[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.11 2/71 14417
/proc/meminfo: memFree=1462344/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=25988 CPUtime=920.64
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15912 0 0 0 92023 41 0 0 25 0 1 0 1116684450 26611712 5902 1992294400 134512640 134996440 4294956176 18446744073709551615 134514060 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6497 5902 74 118 0 6376 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 37264
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/71 14417
/proc/meminfo: memFree=1462216/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26112 CPUtime=980.62
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15932 0 0 0 98021 41 0 0 25 0 1 0 1116684450 26738688 5922 1992294400 134512640 134996440 4294956176 18446744073709551615 134514087 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6528 5922 74 118 0 6407 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 37388
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/71 14417
/proc/meminfo: memFree=1462216/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26112 CPUtime=1040.6
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15946 0 0 0 104019 41 0 0 25 0 1 0 1116684450 26738688 5936 1992294400 134512640 134996440 4294956176 18446744073709551615 134532980 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6528 5936 74 118 0 6407 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 37388
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/71 14417
/proc/meminfo: memFree=1462152/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26236 CPUtime=1100.58
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15962 0 0 0 110017 41 0 0 25 0 1 0 1116684450 26865664 5952 1992294400 134512640 134996440 4294956176 18446744073709551615 134526996 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6559 5952 74 118 0 6438 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 37512
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/71 14417
/proc/meminfo: memFree=1462088/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26236 CPUtime=1160.57
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15975 0 0 0 116016 41 0 0 25 0 1 0 1116684450 26865664 5965 1992294400 134512640 134996440 4294956176 18446744073709551615 134526942 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6559 5965 74 118 0 6438 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 37512
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/71 14417
/proc/meminfo: memFree=1462088/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26236 CPUtime=1168.56
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15979 0 0 0 116815 41 0 0 25 0 1 0 1116684450 26865664 5969 1992294400 134512640 134996440 4294956176 18446744073709551615 134514060 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6559 5969 74 118 0 6438 0
Current children cumulated CPU time (s) 1189.89
Current children cumulated vsize (KiB) 37512
[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 1.08 2/71 14417
/proc/meminfo: memFree=1462088/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26236 CPUtime=1171.77
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15979 0 0 0 117136 41 0 0 25 0 1 0 1116684450 26865664 5969 1992294400 134512640 134996440 4294956176 18446744073709551615 134526956 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6559 5969 74 118 0 6438 0
Current children cumulated CPU time (s) 1193.1
Current children cumulated vsize (KiB) 37512
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.08 2/71 14417
/proc/meminfo: memFree=1462088/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26236 CPUtime=1174.97
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15979 0 0 0 117456 41 0 0 25 0 1 0 1116684450 26865664 5969 1992294400 134512640 134996440 4294956176 18446744073709551615 134526996 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6559 5969 74 118 0 6438 0
Current children cumulated CPU time (s) 1196.3
Current children cumulated vsize (KiB) 37512
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/71 14417
/proc/meminfo: memFree=1462088/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26236 CPUtime=1176.56
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15979 0 0 0 117615 41 0 0 25 0 1 0 1116684450 26865664 5969 1992294400 134512640 134996440 4294956176 18446744073709551615 134514077 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6559 5969 74 118 0 6438 0
Current children cumulated CPU time (s) 1197.89
Current children cumulated vsize (KiB) 37512
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.08 2/71 14417
/proc/meminfo: memFree=1462088/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26236 CPUtime=1177.36
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15979 0 0 0 117695 41 0 0 25 0 1 0 1116684450 26865664 5969 1992294400 134512640 134996440 4294956176 18446744073709551615 134526923 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6559 5969 74 118 0 6438 0
Current children cumulated CPU time (s) 1198.69
Current children cumulated vsize (KiB) 37512
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.08 2/71 14417
/proc/meminfo: memFree=1462088/2055920 swapFree=4171336/4192956
[pid=14411] ppid=14409 vsize=11276 CPUtime=21.33
/proc/14411/stat : 14411 (SATzilla2009_C) S 14409 14411 14164 0 -1 4194304 6087 23571 0 0 881 14 1173 65 25 0 1 0 1116682312 11546624 2581 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14411/statm: 2819 2581 220 399 0 2416 0
[pid=14417] ppid=14411 vsize=26236 CPUtime=1177.76
/proc/14417/stat : 14417 (march_dl2004) R 14411 14411 14164 0 -1 4194304 15979 0 0 0 117735 41 0 0 25 0 1 0 1116684450 26865664 5969 1992294400 134512640 134996440 4294956176 18446744073709551615 134514206 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14417/statm: 6559 5969 74 118 0 6438 0
Current children cumulated CPU time (s) 1199.09
Current children cumulated vsize (KiB) 37512
Child status: 17
Real time (s): 1199.56
CPU time (s): 1199.18
CPU user time (s): 1197.95
CPU system time (s): 1.23081
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 37512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.95
system time used= 1.23081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45659
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= 3219
runsolver used 1.05684 second user time and 3.3205 second system time
The end
Begin job on node44 at 2009-03-30 21:09:51
IDJOB=1538748
IDBENCH=70362
IDSOLVER=527
FILE ID=node44/1538748-1238440191
PBS_JOBID= 9061609
Free space on /tmp= 66396 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1538748-1238440191/watcher-1538748-1238440191 -o /tmp/evaluation-result-1538748-1238440191/solver-1538748-1238440191 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1538748-1238440191.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 727f10970711b4154a45c3b50e2e1fe7
RANDOM SEED=1017995094
node44.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.241
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.241
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: 1496824 kB
Buffers: 82372 kB
Cached: 370796 kB
SwapCached: 11068 kB
Active: 182448 kB
Inactive: 283320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1496824 kB
SwapTotal: 4192956 kB
SwapFree: 4171336 kB
Dirty: 32900 kB
Writeback: 0 kB
Mapped: 18244 kB
Slab: 78772 kB
Committed_AS: 2637596 kB
PageTables: 1800 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= 66368 MiB
End job on node44 at 2009-03-30 21:29:51