Trace number 1717370

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SATzilla2009_C 2009-03-22? (exit code) 1199.71 1200.33

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
MD5SUM409f4401e9e8b60ee665ac5567a13e41
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables359341
Number of clauses1254773
Sum of the clauses size3046189
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2896240
Number of clauses of size 3346435
Number of clauses of size 4830
Number of clauses of size 5571
Number of clauses of size over 510441

Solver Data 

54.81/54.91	c SATzilla is building models for class 2
54.81/54.91	c run presolver march_dl2004 for 5 seconds ... 
54.81/54.91	c Bin: Executing march_dl2004
54.81/54.91	c spawning binary file with 5 seconds ...
54.81/54.91	c child exit by a signal
54.81/54.91	c march_dl2004 returned code 137.
54.81/54.91	c run presolver mxc-sr08 for 5 seconds ... 
54.81/54.91	c Bin: Executing mxc-sr08
54.81/54.91	c spawning binary file with 5 seconds ...
54.81/54.91	c child exit by a signal
54.81/54.91	c mxc-sr08 returned code 137.
54.81/54.91	c Orignal number of varibales is 361125, number of clauses is 1254773 
54.81/54.91	c predicted feature computation time is 42.022624 
54.81/54.91	c Bin: Executing satelite
54.81/54.91	c spawning binary file with 240 seconds ...
54.81/54.91	c child exited successfully
54.81/54.91	c satzilla computing base features
54.81/54.91	c Number of variabe is: 43082, Number of clause is : 600262 
54.81/54.91	c Initializing...
54.81/54.91	c satzilla compute diameter ...
54.81/54.91	c start diameter features ...
54.81/54.91	c satzilla doing clause learning
54.81/54.91	c start clause learning features ...
54.81/54.91	c Bin: Executing zchaff07
54.81/54.91	c spawning binary file with 2 seconds ...
54.81/54.91	c child exit by a signal
54.81/54.91	c satzilla doing survey propogation probe
54.81/54.91	c do survay propogation for 2 second ...
54.81/54.91	c satzilla doing local search probe
54.81/54.91	c satzilla doing lobjois search-space size estimate
54.81/54.91	c features are:361125 1.25477e+06 43082 600262 7.38227 1.09038 0.071772 0.337327 0.92146 1.99573 0.000103791 1.00232 4.64231e-05 0.00132306 1.98388 0.401028 0.581275 0.000103791 4.1274 1.16616e-05 0.00786323 4.1473 0.249015 0.248954 0 0.948718 3.79862 6.80691e-05 5.68824 4.99782e-06 0.00769831 3.17442 0.651389 0.000116316 2.32538 1.33275e-05 0.00521439 20.4444 0.0243051 20 21 0.686962 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596225 0.512189 0 0.999999 0.968497 0.141322 0.87851 0.337946 0.63858 0.168449 0.778929 1.83852e-10 0.5 0.339812 0.00281162 0.276438 0.0395606 0.166767 5050 0 0 0 0 0 0 5.67553 0 1.06663 0 0.234276 0.406978 
54.81/54.91	c satzilla's ranking:
54.81/54.91	c 1) minisat20: 3.113771
54.81/54.91	c 2) minisat20SAT07: 3.082300
54.81/54.91	c 3) vallst: 2.566226
54.81/54.91	c 4) mxc-sr08: 2.020479
54.81/54.91	c 5) march_dl2004: 1.573644
54.81/54.91	c 6) zchaff_rand: 0.616774
54.81/54.91	c 7) tts-4-0: -0.126106
54.81/54.91	c 8) SATenstein: -10000.000000
54.81/54.91	c 9) gnovelty+: -10000.000000
54.81/54.91	c 10) adaptg2wsat+: -10000.000000
54.81/54.91	c 11) adaptg2wsat0: -10000.000000
54.81/54.91	c 12) picosat846: -10000.000000
54.81/54.91	c 13) kcnfs04SAT07: -10000.000000
54.81/54.91	c satzilla running minisat20 ... 
54.81/54.92	This is MiniSat 2.0 beta
54.81/54.92	WARNING: for repeatability, setting FPU to use double precision
54.81/54.92	============================[ Problem Statistics ]=============================
54.81/54.92	|                                                                             |
54.81/54.92	|  Number of variables:  361125                                               |
54.81/54.92	|  Number of clauses:    1254773                                              |
54.82/55.78	|  Parsing time:         0.76         s                                       |
54.82/55.83	============================[ Search Statistics ]==============================
54.82/55.83	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
54.82/55.83	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
54.82/55.83	===============================================================================
54.82/55.83	|         0 |  360869  1254005  3044653 |   418001        0    nan |  0.000 % |
56.69/56.81	|       100 |  360869  1254005  3044653 |   459801      100     13 |  0.071 % |
58.19/58.36	|       250 |  360855  1254005  3044653 |   505782      221     29 |  0.079 % |
59.49/59.68	|       475 |  360840  1253135  3042913 |   556360      434     45 |  0.079 % |
63.08/63.22	|       813 |  360827  1253135  3042913 |   611996      757    102 |  0.083 % |
67.08/67.23	|      1319 |  360825  1252498  3041639 |   673195     1260     85 |  0.083 % |
75.79/75.94	|      2078 |  360813  1252464  3041571 |   740515     1994     85 |  0.090 % |
85.69/85.87	|      3217 |  360797  1251643  3039929 |   814566     3127    131 |  0.091 % |
103.57/103.79	|      4926 |  360795  1251538  3039719 |   896023     4833    127 |  0.091 % |
123.87/124.04	|      7488 |  360773  1251415  3039473 |   985626     7367    117 |  0.100 % |
170.14/170.40	|     11334 |  360756  1250242  3037127 |  1084188    11186    106 |  0.105 % |
257.59/257.88	|     17100 |  360744  1249471  3035585 |  1192607    16937    148 |  0.106 % |
368.63/368.97	|     25749 |  360737  1249281  3035205 |  1311868    25574    138 |  0.107 % |
517.76/518.19	|     38723 |  360733  1249124  3034891 |  1443055    38536    149 |  0.109 % |
757.46/757.97	|     58184 |  360730  1248960  3034563 |  1587360    57989    171 |  0.109 % |
1199.65/1200.31	c Bin: Executing minisat20
1199.65/1200.31	c spawning binary file with 1145 seconds ...
1199.65/1200.31	c child exit by a signal
1199.65/1200.31	c minisat20 returned code 137.
1199.65/1200.31	c satzilla running minisat20SAT07 ... 
1199.65/1200.31	c Bin: Executing minisat20SAT07
1199.65/1200.31	c minisat20SAT07 returned code 1.
1199.65/1200.31	c satzilla running vallst ... 
1199.65/1200.31	c Bin: Executing vallst
1199.65/1200.31	c vallst returned code 1.
1199.65/1200.31	c satzilla running mxc-sr08 ... 
1199.65/1200.31	c Bin: Executing mxc-sr08
1199.65/1200.31	c mxc-sr08 returned code 1.
1199.65/1200.31	c satzilla running march_dl2004 ... 
1199.65/1200.31	c Bin: Executing march_dl2004
1199.65/1200.31	c march_dl2004 returned code 1.
1199.65/1200.31	c satzilla running zchaff_rand ... 
1199.65/1200.31	c Bin: Executing zchaff_rand
1199.65/1200.31	c zchaff_rand returned code 1.
1199.65/1200.31	c satzilla running tts-4-0 ... 
1199.65/1200.31	c Bin: Executing tts-4-0
1199.65/1200.31	c tts-4-0 returned code 1.
1199.65/1200.31	c satzilla running SATenstein ... 
1199.65/1200.31	c Bin: Executing SATenstein
1199.65/1200.31	c SATenstein returned code 1.
1199.65/1200.31	c satzilla running gnovelty+ ... 
1199.65/1200.31	c Bin: Executing gnovelty+
1199.65/1200.31	c gnovelty+ returned code 1.
1199.65/1200.31	c satzilla running adaptg2wsat+ ... 
1199.65/1200.31	c Bin: Executing adaptg2wsat+
1199.65/1200.31	c adaptg2wsat+ returned code 1.
1199.65/1200.31	c satzilla running adaptg2wsat0 ... 
1199.65/1200.31	c Bin: Executing adaptg2wsat0
1199.65/1200.31	c adaptg2wsat0 returned code 1.
1199.65/1200.31	c satzilla running picosat846 ... 
1199.65/1200.31	c Bin: Executing picosat846
1199.65/1200.31	c picosat846 returned code 1.
1199.65/1200.31	c satzilla running kcnfs04SAT07 ... 
1199.65/1200.31	c Bin: Executing kcnfs04SAT07
1199.65/1200.31	c kcnfs04SAT07 returned code 1.
1199.65/1200.31	c ERROR: All Failed! 
1199.65/1200.31	c SATZILLA_TIME=1199.870000

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1717370-1240627735/watcher-1717370-1240627735 -o /tmp/evaluation-result-1717370-1240627735/solver-1717370-1240627735 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1717370-1240627735.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 11329
/proc/meminfo: memFree=956336/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=0
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 90806317 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 112 96 399 0 111 0
[pid=11330] ppid=11329 vsize=6952 CPUtime=0
/proc/11330/stat : 11330 (march_dl2004) R 11329 11329 10630 0 -1 4194304 910 0 0 0 0 0 0 0 19 0 1 0 90806317 7118848 905 1992294400 134512640 134996440 4294956192 18446744073709551615 134549401 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11330/statm: 1738 913 49 118 0 1617 0

[startup+0.052389 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 11329
/proc/meminfo: memFree=956336/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=0
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 90806317 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 112 96 399 0 111 0
[pid=11330] ppid=11329 vsize=26876 CPUtime=0.04
/proc/11330/stat : 11330 (march_dl2004) R 11329 11329 10630 0 -1 4194304 4829 0 0 0 3 1 0 0 19 0 1 0 90806317 27521024 4824 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11330/statm: 6719 4828 49 118 0 6598 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28932

[startup+0.101394 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 11329
/proc/meminfo: memFree=956336/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=0
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 90806317 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 112 96 399 0 111 0
[pid=11330] ppid=11329 vsize=33488 CPUtime=0.09
/proc/11330/stat : 11330 (march_dl2004) R 11329 11329 10630 0 -1 4194304 6735 0 0 0 7 2 0 0 19 0 1 0 90806317 34291712 6730 1992294400 134512640 134996440 4294956192 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11330/statm: 8372 6730 50 118 0 8251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35544

[startup+0.301417 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 11329
/proc/meminfo: memFree=956336/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=0
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 90806317 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 112 96 399 0 111 0
[pid=11330] ppid=11329 vsize=36128 CPUtime=0.29
/proc/11330/stat : 11330 (march_dl2004) R 11329 11329 10630 0 -1 4194304 7565 0 0 0 27 2 0 0 21 0 1 0 90806317 36995072 7560 1992294400 134512640 134996440 4294956192 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11330/statm: 9032 7561 50 118 0 8911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38184

[startup+0.701475 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 11329
/proc/meminfo: memFree=956336/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=0
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 90806317 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 112 96 399 0 111 0
[pid=11330] ppid=11329 vsize=41144 CPUtime=0.69
/proc/11330/stat : 11330 (march_dl2004) R 11329 11329 10630 0 -1 4194304 9105 0 0 0 65 4 0 0 25 0 1 0 90806317 42131456 9100 1992294400 134512640 134996440 4294956192 18446744073709551615 134775689 0 0 8392704 0 0 0 0 17 1 0 0
/proc/11330/statm: 10286 9100 50 118 0 10165 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43200

[startup+1.50156 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11331
/proc/meminfo: memFree=913760/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=0
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 90806317 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 112 96 399 0 111 0
[pid=11330] ppid=11329 vsize=51044 CPUtime=1.49
/proc/11330/stat : 11330 (march_dl2004) R 11329 11329 10630 0 -1 4194304 12208 0 0 0 141 8 0 0 25 0 1 0 90806317 52269056 12203 1992294400 134512640 134996440 4294956192 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11330/statm: 12761 12204 50 118 0 12640 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53100

[startup+3.10176 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11331
/proc/meminfo: memFree=869216/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=0
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 90806317 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 112 96 399 0 111 0
[pid=11330] ppid=11329 vsize=105960 CPUtime=3.09
/proc/11330/stat : 11330 (march_dl2004) R 11329 11329 10630 0 -1 4194304 24164 0 0 0 296 13 0 0 25 0 1 0 90806317 108503040 21515 1992294400 134512640 134996440 4294956192 18446744073709551615 134546253 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11330/statm: 26490 21515 53 118 0 26369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108016

[startup+6.30115 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11332
/proc/meminfo: memFree=864288/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=5.01
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 152 38493 0 0 0 0 480 21 16 0 1 0 90806317 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 121 104 399 0 111 0
[pid=11332] ppid=11329 vsize=166636 CPUtime=1.26
/proc/11332/stat : 11332 (mxc-sr08) R 11329 11329 10630 0 -1 4194304 35872 0 0 0 111 15 0 0 25 0 1 0 90806819 170635264 35724 1992294400 134512640 135078026 4294956192 18446744073709551615 134566063 0 0 8392704 0 0 0 0 17 1 0 0
/proc/11332/statm: 41659 35724 54 138 0 41518 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 168692

[startup+12.7029 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11333
/proc/meminfo: memFree=800480/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=10.03
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 179 98352 0 0 0 0 953 50 19 0 1 0 90806317 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 138 120 399 0 111 0
[pid=11333] ppid=11329 vsize=180104 CPUtime=2.62
/proc/11333/stat : 11333 (satelite) R 11329 11329 10630 0 -1 4194304 39776 0 0 0 239 23 0 0 25 0 1 0 90807324 184426496 38888 1992294400 134512640 135037501 4294956176 18446744073709551615 134543046 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11333/statm: 45026 38888 67 128 0 44895 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 182160

[startup+25.5015 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11333
/proc/meminfo: memFree=735136/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=2056 CPUtime=10.03
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 179 98352 0 0 0 0 953 50 19 0 1 0 90806317 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 514 138 120 399 0 111 0
[pid=11333] ppid=11329 vsize=211884 CPUtime=15.41
/proc/11333/stat : 11333 (satelite) R 11329 11329 10630 0 -1 4194304 47243 0 0 0 1495 46 0 0 25 0 1 0 90807324 216969216 45639 1992294400 134512640 135037501 4294956176 18446744073709551615 134551758 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11333/statm: 52971 45639 67 128 0 52840 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 213940

[startup+51.1016 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 11334
/proc/meminfo: memFree=884464/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=89704 CPUtime=51.02
/proc/11329/stat : 11329 (SATzilla2009_C) R 11327 11329 10630 0 -1 4194304 39498 167684 0 0 1694 22 3267 119 25 0 1 0 90806317 91856896 19266 1992294400 134512640 136149437 4294956224 18446744073709551615 134710284 0 0 4096 3 0 0 0 17 1 0 0
/proc/11329/statm: 22426 19266 206 399 0 22023 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 89704

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11335
/proc/meminfo: memFree=819048/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=83980 CPUtime=47.36
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 18792 0 0 0 4724 12 0 0 25 0 1 0 90811808 85995520 18778 1992294400 134512640 134998072 4294956192 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 20995 18778 59 118 0 20873 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 132772

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11335
/proc/meminfo: memFree=816680/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=86356 CPUtime=107.33
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 19394 0 0 0 10720 13 0 0 25 0 1 0 90811808 88428544 19380 1992294400 134512640 134998072 4294956192 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 21589 19380 59 118 0 21467 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 135148

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11335
/proc/meminfo: memFree=814248/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=88732 CPUtime=167.29
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 20011 0 0 0 16716 13 0 0 25 0 1 0 90811808 90861568 19997 1992294400 134512640 134998072 4294956192 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 22183 19997 59 118 0 22061 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 137524

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11335
/proc/meminfo: memFree=809768/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=93324 CPUtime=227.25
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 21133 0 0 0 22711 14 0 0 25 0 1 0 90811808 95563776 21119 1992294400 134512640 134998072 4294956192 18446744073709551615 134529985 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 23331 21119 59 118 0 23209 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 142116

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 11335
/proc/meminfo: memFree=807144/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=95832 CPUtime=287.22
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 21777 0 0 0 28707 15 0 0 25 0 1 0 90811808 98131968 21763 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 23958 21763 59 118 0 23836 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 144624


################
# More data... #
################


[startup+762.305 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 11341
/proc/meminfo: memFree=779240/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=123588 CPUtime=707.04
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 28705 0 0 0 70681 23 0 0 25 0 1 0 90811808 126554112 28691 1992294400 134512640 134998072 4294956192 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 30897 28691 59 118 0 30775 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 172380

[startup+822.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 11341
/proc/meminfo: memFree=771624/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=131508 CPUtime=767
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 30665 0 0 0 76676 24 0 0 25 0 1 0 90811808 134664192 30651 1992294400 134512640 134998072 4294956192 18446744073709551615 134525816 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 32877 30651 59 118 0 32755 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 180300

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=761448/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=141576 CPUtime=826.98
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 33180 0 0 0 82671 27 0 0 25 0 1 0 90811808 144973824 33166 1992294400 134512640 134998072 4294956192 18446744073709551615 134525636 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 35394 33166 59 118 0 35272 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 190368

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=747432/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=155760 CPUtime=886.96
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 36740 0 0 0 88665 31 0 0 25 0 1 0 90811808 159498240 36726 1992294400 134512640 134998072 4294956192 18446744073709551615 134525417 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 38940 36726 59 118 0 38818 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 204552

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=742184/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=160696 CPUtime=946.93
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 37986 0 0 0 94661 32 0 0 25 0 1 0 90811808 164552704 37972 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 40174 37972 59 118 0 40052 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 209488

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=737192/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=165732 CPUtime=1006.9
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 39238 0 0 0 100657 33 0 0 25 0 1 0 90811808 169709568 39224 1992294400 134512640 134998072 4294956192 18446744073709551615 134527405 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 41433 39224 59 118 0 41311 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 214524

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=732456/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=170360 CPUtime=1066.87
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 40415 0 0 0 106653 34 0 0 25 0 1 0 90811808 174448640 40401 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 42590 40401 59 118 0 42468 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 219152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=727976/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=174900 CPUtime=1126.83
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 41546 0 0 0 112649 34 0 0 25 0 1 0 90811808 179097600 41532 1992294400 134512640 134998072 4294956192 18446744073709551615 134649756 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 43725 41532 59 118 0 43603 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 223692

Solver just ended. Dumping a history of the last processes samples

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=727464/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=175436 CPUtime=1134.83
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 41658 0 0 0 113449 34 0 0 25 0 1 0 90811808 179646464 41644 1992294400 134512640 134998072 4294956192 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 43859 41644 59 118 0 43737 0
Current children cumulated CPU time (s) 1189.65
Current children cumulated vsize (KiB) 224228

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=727144/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=175700 CPUtime=1141.23
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 41730 0 0 0 114089 34 0 0 25 0 1 0 90811808 179916800 41716 1992294400 134512640 134998072 4294956192 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 43925 41716 59 118 0 43803 0
Current children cumulated CPU time (s) 1196.05
Current children cumulated vsize (KiB) 224492

[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=727080/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=175832 CPUtime=1142.84
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 41757 0 0 0 114249 35 0 0 25 0 1 0 90811808 180051968 41743 1992294400 134512640 134998072 4294956192 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 43958 41743 59 118 0 43836 0
Current children cumulated CPU time (s) 1197.66
Current children cumulated vsize (KiB) 224624

[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=727016/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=175832 CPUtime=1143.64
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 41769 0 0 0 114329 35 0 0 25 0 1 0 90811808 180051968 41755 1992294400 134512640 134998072 4294956192 18446744073709551615 134529985 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 43958 41756 59 118 0 43836 0
Current children cumulated CPU time (s) 1198.46
Current children cumulated vsize (KiB) 224624

[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=727016/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=175832 CPUtime=1144.44
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4194304 41779 0 0 0 114409 35 0 0 25 0 1 0 90811808 180051968 41765 1992294400 134512640 134998072 4294956192 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 43958 41765 59 118 0 43836 0
Current children cumulated CPU time (s) 1199.26
Current children cumulated vsize (KiB) 224624

[startup+1200.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11341
/proc/meminfo: memFree=726952/2055920 swapFree=4192956/4192956
[pid=11329] ppid=11327 vsize=48792 CPUtime=54.82
/proc/11329/stat : 11329 (SATzilla2009_C) S 11327 11329 10630 0 -1 4194304 41414 167684 0 0 2073 23 3267 119 25 0 1 0 90806317 49963008 11821 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11329/statm: 12198 11821 219 399 0 11795 0
[pid=11335] ppid=11329 vsize=0 CPUtime=1144.83
/proc/11335/stat : 11335 (minisat20) R 11329 11329 10630 0 -1 4195332 41786 0 0 0 114447 36 0 0 25 0 1 0 90811808 0 0 1992294400 0 0 0 0 0 256 0 8392704 3 0 0 0 17 0 0 0
/proc/11335/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.65
Current children cumulated vsize (KiB) 48792

Child status: 17
Real time (s): 1200.33
CPU time (s): 1199.71
CPU user time (s): 1197.88
CPU system time (s): 1.82472
CPU usage (%): 99.9482
Max. virtual memory (cumulated for all children) (KiB): 241772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.88
system time used= 1.82472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250900
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= 3383

runsolver used 1.00485 second user time and 3.37049 second system time

The end

Launcher Data 

Begin job on node33 at 2009-04-25 04:48:57
IDJOB=1717370
IDBENCH=20410
IDSOLVER=527
FILE ID=node33/1717370-1240627735
PBS_JOBID= 9186362
Free space on /tmp= 66356 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1717370-1240627735/watcher-1717370-1240627735 -o /tmp/evaluation-result-1717370-1240627735/solver-1717370-1240627735 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_C HOME/instance-1717370-1240627735.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED=2096129703

node33.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.212
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.212
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:        956880 kB
Buffers:         84780 kB
Cached:         909856 kB
SwapCached:          0 kB
Active:         187384 kB
Inactive:       821092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        956880 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           54188 kB
Writeback:           0 kB
Mapped:          23652 kB
Slab:            76648 kB
Committed_AS:   270572 kB
PageTables:       1388 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= 66328 MiB
End job on node33 at 2009-04-25 05:08:57