22.14/22.25 c SATzilla is building models for class 2
22.14/22.25 c run presolver march_dl2004 for 5 seconds ...
22.14/22.25 c Bin: Executing march_dl2004
22.14/22.25 c spawning binary file with 5 seconds ...
22.14/22.25 c child exit by a signal
22.14/22.25 c march_dl2004 returned code 137.
22.14/22.25 c run presolver mxc-sr08 for 5 seconds ...
22.14/22.25 c Bin: Executing mxc-sr08
22.14/22.25 c spawning binary file with 5 seconds ...
22.14/22.25 c child exit by a signal
22.14/22.25 c mxc-sr08 returned code 137.
22.14/22.25 c Orignal number of varibales is 8713, number of clauses is 129507
22.14/22.25 c predicted feature computation time is 11.077542
22.14/22.25 c Bin: Executing satelite
22.14/22.25 c spawning binary file with 240 seconds ...
22.14/22.25 c child exited successfully
22.14/22.25 c satzilla computing base features
22.14/22.25 c Number of variabe is: 8709, Number of clause is : 129507
22.14/22.25 c Initializing...
22.14/22.25 c satzilla compute diameter ...
22.14/22.25 c start diameter features ...
22.14/22.25 c satzilla doing clause learning
22.14/22.25 c start clause learning features ...
22.14/22.25 c Bin: Executing zchaff07
22.14/22.25 c spawning binary file with 2 seconds ...
22.14/22.25 c child exit by a signal
22.14/22.25 c satzilla doing survey propogation probe
22.14/22.25 c do survay propogation for 2 second ...
22.14/22.25 c satzilla doing local search probe
22.14/22.25 c satzilla doing lobjois search-space size estimate
22.14/22.25 c features are:8713 129507 8709 129507 0.000459295 0 0.0672473 0.540394 0.564404 1.23431 0.000350199 0.980455 0.000229647 0.00930072 1.12781 0.313991 0.833422 0.000350199 2.00225 3.8608e-05 0.00308864 2.87363 0.67894 0.233264 0.171429 0.891892 2.66173 0.00021574 1.9336 1.54432e-05 0.00178369 2.83318 0.704271 0.00121341 0.260754 7.72159e-05 0.00144394 5.0458 0.0592917 5 7 0.109123 76.7692 0.726306 16 160 152 20 125 25 44 64.1395 0.49461 34.9028 151.45 98.5455 35.6118 79.9062 42.7434 53.2821 0.856579 0.275514 0.0473949 0.979897 0.979413 0.538533 0.978707 0.881107 0.976871 0.0479045 2.18533 9.09562e-06 0.410459 0.273927 0.000359093 0.00286257 0.00057485 0.00107503 488.893 4.92431 3668 0.19655 3798.5 3734 3865 2.89433 0.526737 1.05773 0.357883 0.331214 0.70153
22.14/22.25 c satzilla's ranking:
22.14/22.25 c 1) zchaff_rand: 3.258472
22.14/22.25 c 2) mxc-sr08: 3.002244
22.14/22.25 c 3) minisat20: 2.776777
22.14/22.25 c 4) march_dl2004: 2.448595
22.14/22.25 c 5) minisat20SAT07: 2.378760
22.14/22.25 c 6) vallst: 1.544526
22.14/22.25 c 7) tts-4-0: -0.101396
22.14/22.25 c 8) SATenstein: -10000.000000
22.14/22.25 c 9) gnovelty+: -10000.000000
22.14/22.25 c 10) adaptg2wsat+: -10000.000000
22.14/22.25 c 11) adaptg2wsat0: -10000.000000
22.14/22.25 c 12) picosat846: -10000.000000
22.14/22.25 c 13) kcnfs04SAT07: -10000.000000
22.14/22.25 c satzilla running zchaff_rand ...
1199.00/1199.73 c Bin: Executing zchaff_rand
1199.00/1199.73 c spawning binary file with 1177 seconds ...
1199.00/1199.73 c child exit by a signal
1199.00/1199.73 c zchaff_rand returned code 137.
1199.00/1199.73 c satzilla running mxc-sr08 ...
1199.00/1199.73 c Bin: Executing mxc-sr08
1199.00/1199.73 c mxc-sr08 returned code 1.
1199.00/1199.73 c satzilla running minisat20 ...
1199.00/1199.73 c Bin: Executing minisat20
1199.00/1199.73 c minisat20 returned code 1.
1199.00/1199.73 c satzilla running march_dl2004 ...
1199.00/1199.73 c Bin: Executing march_dl2004
1199.00/1199.73 c march_dl2004 returned code 1.
1199.00/1199.73 c satzilla running minisat20SAT07 ...
1199.00/1199.73 c Bin: Executing minisat20SAT07
1199.00/1199.73 c minisat20SAT07 returned code 1.
1199.00/1199.73 c satzilla running vallst ...
1199.00/1199.73 c Bin: Executing vallst
1199.00/1199.73 c vallst returned code 1.
1199.00/1199.73 c satzilla running tts-4-0 ...
1199.00/1199.73 c Bin: Executing tts-4-0
1199.00/1199.73 c tts-4-0 returned code 1.
1199.00/1199.73 c satzilla running SATenstein ...
1199.00/1199.73 c Bin: Executing SATenstein
1199.00/1199.73 c SATenstein returned code 1.
1199.00/1199.73 c satzilla running gnovelty+ ...
1199.00/1199.73 c Bin: Executing gnovelty+
1199.00/1199.73 c gnovelty+ returned code 1.
1199.00/1199.73 c satzilla running adaptg2wsat+ ...
1199.00/1199.73 c Bin: Executing adaptg2wsat+
1199.00/1199.73 c adaptg2wsat+ returned code 1.
1199.00/1199.73 c satzilla running adaptg2wsat0 ...
1199.00/1199.73 c Bin: Executing adaptg2wsat0
1199.00/1199.73 c adaptg2wsat0 returned code 1.
1199.00/1199.73 c satzilla running picosat846 ...
1199.00/1199.73 c Bin: Executing picosat846
1199.00/1199.73 c picosat846 returned code 1.
1199.00/1199.73 c satzilla running kcnfs04SAT07 ...
1199.00/1199.73 c Bin: Executing kcnfs04SAT07
1199.00/1199.73 c kcnfs04SAT07 returned code 1.
1199.00/1199.73 c ERROR: All Failed!
1199.00/1199.73 c SATZILLA_TIME=1199.240000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562584-1238777306/watcher-1562584-1238777306 -o /tmp/evaluation-result-1562584-1238777306/solver-1562584-1238777306 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1562584-1238777306.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.99 1.85 1.45 3/73 6465
/proc/meminfo: memFree=1766256/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=2056 CPUtime=0
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150394539 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 514 112 96 399 0 111 0
[pid=6466] ppid=6465 vsize=2216 CPUtime=0
/proc/6466/stat : 6466 (march_dl2004) R 6465 6465 5783 0 -1 4194304 327 0 0 0 0 0 0 0 19 0 1 0 1150394539 2269184 322 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6466/statm: 554 323 50 118 0 433 0
[startup+0.029103 s]
/proc/loadavg: 1.99 1.85 1.45 3/73 6465
/proc/meminfo: memFree=1766256/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=2056 CPUtime=0
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150394539 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 514 112 96 399 0 111 0
[pid=6466] ppid=6465 vsize=2480 CPUtime=0.02
/proc/6466/stat : 6466 (march_dl2004) R 6465 6465 5783 0 -1 4194304 421 0 0 0 2 0 0 0 19 0 1 0 1150394539 2539520 416 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6466/statm: 620 416 50 118 0 499 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4536
[startup+0.101116 s]
/proc/loadavg: 1.99 1.85 1.45 3/73 6465
/proc/meminfo: memFree=1766256/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=2056 CPUtime=0
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150394539 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 514 112 96 399 0 111 0
[pid=6466] ppid=6465 vsize=3404 CPUtime=0.09
/proc/6466/stat : 6466 (march_dl2004) R 6465 6465 5783 0 -1 4194304 703 0 0 0 9 0 0 0 19 0 1 0 1150394539 3485696 698 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6466/statm: 851 698 50 118 0 730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5460
[startup+0.301157 s]
/proc/loadavg: 1.99 1.85 1.45 3/73 6465
/proc/meminfo: memFree=1766256/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=2056 CPUtime=0
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150394539 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 514 112 96 399 0 111 0
[pid=6466] ppid=6465 vsize=8216 CPUtime=0.28
/proc/6466/stat : 6466 (march_dl2004) R 6465 6465 5783 0 -1 4194304 2810 0 0 0 28 0 0 0 21 0 1 0 1150394539 8413184 1469 1992294400 134512640 134996440 4294956176 18446744073709551615 134542888 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6466/statm: 2054 1469 55 118 0 1933 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10272
[startup+0.701238 s]
/proc/loadavg: 1.99 1.85 1.45 3/73 6465
/proc/meminfo: memFree=1766256/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=2056 CPUtime=0
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150394539 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 514 112 96 399 0 111 0
[pid=6466] ppid=6465 vsize=15564 CPUtime=0.69
/proc/6466/stat : 6466 (march_dl2004) R 6465 6465 5783 0 -1 4194304 9083 0 0 0 66 3 0 0 25 0 1 0 1150394539 15937536 3269 1992294400 134512640 134996440 4294956176 18446744073709551615 134559348 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6466/statm: 3891 3269 65 118 0 3770 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17620
[startup+1.5014 s]
/proc/loadavg: 1.91 1.84 1.45 2/75 6467
/proc/meminfo: memFree=1749664/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=2056 CPUtime=0
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150394539 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 514 112 96 399 0 111 0
[pid=6466] ppid=6465 vsize=24036 CPUtime=1.49
/proc/6466/stat : 6466 (march_dl2004) R 6465 6465 5783 0 -1 4194304 15861 0 0 0 143 6 0 0 25 0 1 0 1150394539 24612864 5388 1992294400 134512640 134996440 4294956176 18446744073709551615 134560269 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6466/statm: 6009 5388 65 118 0 5888 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26092
[startup+3.10273 s]
/proc/loadavg: 1.91 1.84 1.45 2/75 6467
/proc/meminfo: memFree=1748968/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=2056 CPUtime=0
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150394539 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 514 112 96 399 0 111 0
[pid=6466] ppid=6465 vsize=19320 CPUtime=3.09
/proc/6466/stat : 6466 (march_dl2004) R 6465 6465 5783 0 -1 4194304 25742 0 0 0 299 10 0 0 25 0 1 0 1150394539 19783680 4250 1992294400 134512640 134996440 4294956176 18446744073709551615 134651818 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6466/statm: 4830 4250 66 118 0 4709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21376
[startup+6.30138 s]
/proc/loadavg: 1.92 1.84 1.45 2/75 6468
/proc/meminfo: memFree=1755496/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=2056 CPUtime=4.99
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 152 31361 0 0 0 0 484 15 19 0 1 0 1150394539 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 514 121 104 399 0 111 0
[pid=6468] ppid=6465 vsize=12924 CPUtime=1.27
/proc/6468/stat : 6468 (mxc-sr08) R 6465 6465 5783 0 -1 4194304 3926 0 0 0 125 2 0 0 25 0 1 0 1150395041 13234176 3050 1992294400 134512640 135078026 4294956176 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6468/statm: 3231 3050 71 138 0 3090 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14980
[startup+12.7017 s]
/proc/loadavg: 1.85 1.83 1.45 2/74 6469
/proc/meminfo: memFree=1754360/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=12.65
/proc/6465/stat : 6465 (SATzilla2009_C) R 6463 6465 5783 0 -1 4194304 3754 38361 0 0 177 1 1067 20 25 0 1 0 1150394539 11677696 2484 1992294400 134512640 136149437 4294956208 18446744073709551615 134532697 0 0 4096 0 0 0 0 17 0 0 0
/proc/6465/statm: 2851 2484 135 399 0 2448 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 11404
[startup+25.5013 s]
/proc/loadavg: 1.72 1.80 1.45 2/75 6471
/proc/meminfo: memFree=1736048/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=51636 CPUtime=3.23
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 6140 0 0 0 319 4 0 0 25 0 1 0 1150396765 52875264 4887 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 12909 4887 112 208 0 12681 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 63040
[startup+51.1015 s]
/proc/loadavg: 1.43 1.72 1.43 2/75 6471
/proc/meminfo: memFree=1701808/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=109560 CPUtime=28.82
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 14649 0 0 0 2867 15 0 0 25 0 1 0 1150396765 112189440 13396 1992294400 134512640 135365884 4294956160 18446744073709551615 134543954 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 27390 13396 112 208 0 27162 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 120964
[startup+102.307 s]
/proc/loadavg: 1.19 1.61 1.41 2/75 6471
/proc/meminfo: memFree=1673136/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=122560 CPUtime=80
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 22916 0 0 0 7971 29 0 0 25 0 1 0 1150396765 125501440 20382 1992294400 134512640 135365884 4294956160 18446744073709551615 134543560 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 30640 20382 112 208 0 30412 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 133964
[startup+162.301 s]
/proc/loadavg: 1.07 1.49 1.38 2/75 6471
/proc/meminfo: memFree=1655216/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=193396 CPUtime=139.96
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 27377 0 0 0 13956 40 0 0 25 0 1 0 1150396765 198037504 24843 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 48349 24843 112 208 0 48121 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 204800
[startup+222.301 s]
/proc/loadavg: 1.02 1.40 1.35 2/75 6471
/proc/meminfo: memFree=1641456/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=196724 CPUtime=199.93
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 30867 0 0 0 19943 50 0 0 25 0 1 0 1150396765 201445376 28333 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 49181 28333 112 208 0 48953 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 208128
[startup+282.302 s]
/proc/loadavg: 1.01 1.33 1.33 2/75 6471
/proc/meminfo: memFree=1631984/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=199732 CPUtime=259.9
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 33209 0 0 0 25929 61 0 0 25 0 1 0 1150396765 204525568 30675 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 49933 30675 112 208 0 49705 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 211136
[startup+342.302 s]
/proc/loadavg: 1.00 1.26 1.31 2/75 6471
/proc/meminfo: memFree=1622128/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=202388 CPUtime=319.87
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 35622 0 0 0 31917 70 0 0 25 0 1 0 1150396765 207245312 33088 1992294400 134512640 135365884 4294956160 18446744073709551615 134555179 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 50597 33088 112 208 0 50369 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 213792
################
# More data... #
################
[startup+762.306 s]
/proc/loadavg: 1.00 1.05 1.18 2/75 6477
/proc/meminfo: memFree=1578984/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=229592 CPUtime=739.65
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 48850 0 0 0 73832 133 0 0 25 0 1 0 1150396765 235102208 43755 1992294400 134512640 135365884 4294956160 18446744073709551615 135090403 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 57398 43755 112 208 0 57170 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 240996
[startup+822.301 s]
/proc/loadavg: 1.00 1.04 1.16 2/75 6477
/proc/meminfo: memFree=1577264/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=230968 CPUtime=799.62
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 49322 0 0 0 79819 143 0 0 25 0 1 0 1150396765 236511232 44227 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 57742 44227 112 208 0 57514 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 242372
[startup+882.301 s]
/proc/loadavg: 1.00 1.03 1.15 2/75 6477
/proc/meminfo: memFree=1575536/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=232184 CPUtime=859.58
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 49768 0 0 0 85809 149 0 0 25 0 1 0 1150396765 237756416 44673 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 58046 44673 112 208 0 57818 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 243588
[startup+942.303 s]
/proc/loadavg: 1.00 1.02 1.14 2/75 6477
/proc/meminfo: memFree=1573104/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=234364 CPUtime=919.55
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 50390 0 0 0 91797 158 0 0 25 0 1 0 1150396765 239988736 45295 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 58591 45295 112 208 0 58363 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 245768
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.13 2/75 6477
/proc/meminfo: memFree=1570032/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=235908 CPUtime=979.52
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 51148 0 0 0 97784 168 0 0 25 0 1 0 1150396765 241569792 46053 1992294400 134512640 135365884 4294956160 18446744073709551615 134553806 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 58977 46053 112 208 0 58749 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 247312
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/75 6477
/proc/meminfo: memFree=1562352/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=236932 CPUtime=1039.49
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 53081 0 0 0 103773 176 0 0 25 0 1 0 1150396765 242618368 47986 1992294400 134512640 135365884 4294956160 18446744073709551615 134543607 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 59233 47986 112 208 0 59005 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 248336
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/75 6477
/proc/meminfo: memFree=1556080/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=237476 CPUtime=1099.46
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 54629 0 0 0 109761 185 0 0 25 0 1 0 1150396765 243175424 49534 1992294400 134512640 135365884 4294956160 18446744073709551615 134543642 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 59369 49534 112 208 0 59141 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 248880
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/75 6477
/proc/meminfo: memFree=1550704/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=239140 CPUtime=1159.43
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 55966 0 0 0 115751 192 0 0 25 0 1 0 1150396765 244879360 50871 1992294400 134512640 135365884 4294956160 18446744073709551615 134553832 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 59785 50871 112 208 0 59557 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 250544
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/75 6477
/proc/meminfo: memFree=1549040/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=239592 CPUtime=1167.42
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 56361 0 0 0 116549 193 0 0 25 0 1 0 1150396765 245342208 51266 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 59898 51266 112 208 0 59670 0
Current children cumulated CPU time (s) 1189.61
Current children cumulated vsize (KiB) 250996
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.09 2/75 6477
/proc/meminfo: memFree=1548912/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=239656 CPUtime=1173.81
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 56391 0 0 0 117188 193 0 0 25 0 1 0 1150396765 245407744 51296 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 59914 51296 112 208 0 59686 0
Current children cumulated CPU time (s) 1196
Current children cumulated vsize (KiB) 251060
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/75 6477
/proc/meminfo: memFree=1548848/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=239720 CPUtime=1175.42
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 56421 0 0 0 117348 194 0 0 25 0 1 0 1150396765 245473280 51326 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 59930 51326 112 208 0 59702 0
Current children cumulated CPU time (s) 1197.61
Current children cumulated vsize (KiB) 251124
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.09 2/75 6477
/proc/meminfo: memFree=1548784/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=239720 CPUtime=1176.22
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 56424 0 0 0 117428 194 0 0 25 0 1 0 1150396765 245473280 51329 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 59930 51329 112 208 0 59702 0
Current children cumulated CPU time (s) 1198.41
Current children cumulated vsize (KiB) 251124
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.09 2/75 6477
/proc/meminfo: memFree=1548784/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=239848 CPUtime=1176.61
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4194304 56448 0 0 0 117467 194 0 0 25 0 1 0 1150396765 245604352 51353 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 59962 51353 112 208 0 59734 0
Current children cumulated CPU time (s) 1198.8
Current children cumulated vsize (KiB) 251252
[startup+1199.7 s]
/proc/loadavg: 1.00 1.00 1.09 2/75 6477
/proc/meminfo: memFree=1548784/2055920 swapFree=4170064/4192956
[pid=6465] ppid=6463 vsize=11404 CPUtime=22.19
/proc/6465/stat : 6465 (SATzilla2009_C) S 6463 6465 5783 0 -1 4194304 8098 41589 0 0 918 14 1260 27 25 0 1 0 1150394539 11677696 2609 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6465/statm: 2851 2609 220 399 0 2448 0
[pid=6471] ppid=6465 vsize=0 CPUtime=1176.81
/proc/6471/stat : 6471 (zchaff_rand) R 6465 6465 5783 0 -1 4195332 56454 0 0 0 117487 194 0 0 25 0 1 0 1150396765 0 0 1992294400 0 0 0 0 0 256 0 8392704 0 0 0 0 17 0 0 0
/proc/6471/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199
Current children cumulated vsize (KiB) 11404
Child status: 17
Real time (s): 1199.74
CPU time (s): 1199.08
CPU user time (s): 1196.68
CPU system time (s): 2.40563
CPU usage (%): 99.9454
Max. virtual memory (cumulated for all children) (KiB): 251252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.68
system time used= 2.40563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106162
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= 4240
runsolver used 1.05484 second user time and 3.34549 second system time
The end
Begin job on node80 at 2009-04-03 18:48:26
IDJOB=1562584
IDBENCH=70937
IDSOLVER=527
FILE ID=node80/1562584-1238777306
PBS_JOBID= 9085525
Free space on /tmp= 66124 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/fbcolors/em_11_3_4_fbc.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562584-1238777306/watcher-1562584-1238777306 -o /tmp/evaluation-result-1562584-1238777306/solver-1562584-1238777306 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1562584-1238777306.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3f38c028c252f031e9505f68e48a880b
RANDOM SEED=1000313629
node80.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.263
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.263
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1766800 kB
Buffers: 30816 kB
Cached: 167684 kB
SwapCached: 14476 kB
Active: 98336 kB
Inactive: 116516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1766800 kB
SwapTotal: 4192956 kB
SwapFree: 4170064 kB
Dirty: 33836 kB
Writeback: 0 kB
Mapped: 22036 kB
Slab: 59516 kB
Committed_AS: 3099604 kB
PageTables: 2008 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= 66096 MiB
End job on node80 at 2009-04-03 19:08:26