Trace number 3290116

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
CryptoMiniSat Strange-Night-2-mtSAT 216.347 54.1647

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
MD5SUM9e18e0ee8a56ea2c59fe8e682ff6c747
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.783
Satisfiable
(Un)Satisfiability was proved
Number of variables596
Number of clauses2780
Sum of the clauses size10460
Maximum clause length5
Minimum clause length1
Number of clauses of size 1132
Number of clauses of size 280
Number of clauses of size 31168
Number of clauses of size 4336
Number of clauses of size 51064
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290116-1304124023.cnf'
0.00/0.00	c -- header says num vars:            596
0.00/0.00	c -- header says num clauses:        2780
0.00/0.01	c -- clauses added:            0 learnts,         2780 normals,            0 xors
0.00/0.01	c -- vars added        596
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       596      2552        80         0     10248         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2040/2040 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  160 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing      160 vars Replaced     3688 lits Time:     0.00 s 
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    304 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.90	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.90	c Finding non-binary XORs:     0.00 s (found:     160, avg size: 3.8)
0.00/0.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     28 locsubst:     0 time:   0.00
0.00/0.90	c calculated reachability. Time: 0.00
0.00/0.90	c Calc default polars -  time:   0.00 s pos:       2 undec:     320 neg:     274
0.00/0.90	c =========================================================================================
0.00/0.90	c types(t): F = full restart, N = normal restart
0.00/0.90	c types(t): S = simplification begin/end, E = solution found
0.00/0.90	c restart types(rt): st = static, dy = dynamic
0.00/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.90	c  B st     0         0       276       632        16         0      2864         0   no data   no data
0.00/0.90	c Decided on static restart strategy
0.00/0.90	c  N st     8      4915       276       632        25      4603      2864    102864   no data   no data
0.00/0.90	c  N st    10     11298       276       632        35      4283      2864     70311   no data   no data
0.00/0.90	c  N st    11     17042       276       632        35      9751      2864    203819   no data   no data
3.97/1.00	c  F st    12     25000       276       632        37     11958      2864    238803   no data   no data
3.97/1.00	c  N st    12     25000       276       632        37     11958      2864    238803   no data   no data
4.77/1.20	c Decided on static restart strategy
4.77/1.20	c  N st    18     30000       276       632        40     10336      2864    193092   no data   no data
4.77/1.20	c  S st    18     30000       276       632        40     10336      2864    193092   no data   no data
5.17/1.30	c  S st    18     30504       276       632        43     10815      2864    200952   no data   no data
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      4 locsubst:     0 time:   0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   18 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.30	c Replacing       18 vars Replaced    28765 lits Time:     0.01 s 
5.17/1.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    254 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.30	c subs with bin:        6  lits-rem:        55  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:      1697  cl-subs:     1558  v-elim:      0  v-fix:    0  time:  0.17 s
5.97/1.50	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.00
5.97/1.50	c calculated reachability. Time: 0.00
5.97/1.50	c  N st    18     30504       254       632         7      7927      2824    140667   no data   no data
6.38/1.60	c Finding binary XORs  T:     0.00 s  found:       3
6.38/1.60	c Replacing        3 vars Replaced     1856 lits Time:     0.00 s 
7.17/1.82	c  N st    20     37615       251       632         5      7844      2824    125089   no data   no data
8.37/2.17	c  N st    21     44015       251       632         5     13710      2824    255762   no data   no data
9.16/2.31	c  S st    22     45757       251       632         8     15318      2824    293286   no data   no data
9.16/2.34	c  S st    22     46260       251       632        12     15795      2824    300466   no data   no data
9.16/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.16/2.35	c Replacing        3 vars Replaced     2001 lits Time:     0.00 s 
9.16/2.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    248 time:  0.00 s
9.16/2.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.36	c subs with bin:        4  lits-rem:        52  v-fix:    0  time:  0.00 s
11.57/2.93	c lits-rem:       766  cl-subs:     3436  v-elim:      0  v-fix:    0  time:  0.56 s
11.57/2.93	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
11.57/2.93	c vivif2 --  cl tried    12353 cl shrink        0 lits rem          0 time: 0.00
11.57/2.93	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.00
11.57/2.93	c calculated reachability. Time: 0.00
11.57/2.93	c  N st    22     46260       248       632         6     12353      2824    227862   no data   no data
16.38/4.19	c  N st    23     60657       248       632         6     17891      2824    359962   no data   no data
16.38/4.19	c Finding binary XORs  T:     0.00 s  found:       3
16.38/4.19	c Replacing        3 vars Replaced      604 lits Time:     0.00 s 
18.75/4.73	c  N st    24     69391       245       632         4     17089      2824    317025   no data   no data
18.75/4.73	c  S st    24     69391       245       632         4     17089      2824    317025   no data   no data
18.75/4.76	c  S st    24     69891       245       632         4     17568      2824    325071   no data   no data
18.75/4.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.75/4.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
18.75/4.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18.75/4.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.75/4.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.75/4.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    245 time:  0.00 s
18.75/4.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.75/4.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
18.75/4.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.77/5.30	c lits-rem:      1480  cl-subs:     2695  v-elim:      0  v-fix:    0  time:  0.52 s
20.77/5.30	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
20.77/5.30	c vivif2 --  cl tried    14873 cl shrink        0 lits rem          0 time: 0.00
21.17/5.31	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.01
21.17/5.31	c calculated reachability. Time: 0.00
21.17/5.31	c  N st    24     69891       245       632         4     14873      2824    271613   no data   no data
26.34/6.66	c  F st    25     87500       245       632         4     21337      2824    412230   no data   no data
26.34/6.66	c  N st    25     87500       245       632         4     21337      2824    412230   no data   no data
27.94/7.03	c Decided on static restart strategy
28.74/7.25	c  N st    32     95538       245       632         6     17820      2824    319770   no data   no data
31.54/7.96	c  N st    34    104836       245       632         6     14371      2824    223672   no data   no data
31.54/7.96	c  S st    34    104836       245       632         6     14371      2824    223672   no data   no data
31.54/7.98	c  S st    34    105338       245       632         6     14850      2824    231950   no data   no data
31.54/7.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.54/7.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
31.54/7.99	c Replacing        2 vars Replaced     1013 lits Time:     0.00 s 
31.54/7.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
31.54/7.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.54/7.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.54/7.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    243 time:  0.00 s
31.54/7.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.54/7.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
31.54/7.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.34/8.14	c lits-rem:       447  cl-subs:     1064  v-elim:      0  v-fix:    0  time:  0.15 s
32.34/8.14	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
32.34/8.14	c vivif2 --  cl tried    13786 cl shrink        0 lits rem          0 time: 0.00
32.34/8.15	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.01
32.34/8.15	c calculated reachability. Time: 0.00
32.34/8.15	c  N st    34    105338       243       632         2     13786      2824    212024   no data   no data
34.73/8.79	c  N st    35    114937       243       632         2     22698      2824    413152   no data   no data
39.52/9.91	c  N st    36    129335       243       632         3     23269      2824    418247   no data   no data
46.71/11.79	c  N st    37    150931       243       632         3     29334      2824    545927   no data   no data
46.71/11.79	c Finding binary XORs  T:     0.00 s  found:       2
49.11/12.32	c  S st    38    158007       243       632         5     21018      2824    350441   no data   no data
49.11/12.37	c  S st    38    158510       243       632         5     21501      2824    358956   no data   no data
49.11/12.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.11/12.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
49.11/12.38	c Replacing        2 vars Replaced      166 lits Time:     0.00 s 
49.11/12.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.11/12.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.11/12.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.11/12.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    241 time:  0.00 s
49.11/12.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.11/12.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
49.11/12.39	c subs with bin:        0  lits-rem:       158  v-fix:    0  time:  0.00 s
51.52/12.95	c lits-rem:       460  cl-subs:     2687  v-elim:      0  v-fix:    0  time:  0.56 s
51.52/12.95	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
51.52/12.95	c vivif2 --  cl tried    18814 cl shrink        0 lits rem          0 time: 0.00
51.52/12.96	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.01
51.52/12.96	c calculated reachability. Time: 0.00
51.52/12.96	c  N st    38    158510       241       632         1     18814      2824    305420   no data   no data
67.89/17.03	c  N st    39    207099       241       632         1     31408      2824    567635   no data   no data
77.90/19.53	c  N st    40    237767       241       632         2     23897      2824    387915   no data   no data
77.90/19.53	c  S st    40    237767       241       632         2     23897      2824    387915   no data   no data
77.90/19.57	c  S st    40    238269       241       632         2     24383      2824    396658   no data   no data
77.90/19.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.90/19.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
77.90/19.58	c Replacing        1 vars Replaced      975 lits Time:     0.00 s 
77.90/19.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.90/19.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.90/19.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.90/19.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
77.90/19.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.90/19.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.90/19.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.68/20.20	c lits-rem:       883  cl-subs:     2197  v-elim:      0  v-fix:    0  time:  0.60 s
80.68/20.20	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
80.68/20.21	c vivif2 --  cl tried    22185 cl shrink        0 lits rem          0 time: 0.00
80.68/20.22	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.01
80.68/20.22	c calculated reachability. Time: 0.00
80.68/20.22	c  N st    40    238269       240       632         0     22185      2824    352882   no data   no data
110.23/27.64	c  F st    41    306250       240       632         0     23899      2824    359229   no data   no data
110.23/27.64	c  N st    41    306250       240       632         0     23899      2824    359229   no data   no data
111.83/28.09	c Decided on static restart strategy
122.24/30.62	c  N st    51    334553       240       632         0     28249      2824    452902   no data   no data
131.80/33.01	c  N st    53    357403       240       632         0     26358      2824    403505   no data   no data
131.80/33.01	c  S st    53    357403       240       632         0     26358      2824    403505   no data   no data
131.80/33.06	c  S st    53    357907       240       632         0     26841      2824    411705   no data   no data
131.80/33.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
131.80/33.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
131.80/33.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.80/33.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131.80/33.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.80/33.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
131.80/33.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131.80/33.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
131.80/33.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.80/33.55	c lits-rem:       811  cl-subs:     1951  v-elim:      0  v-fix:    0  time:  0.47 s
133.80/33.55	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
133.80/33.56	c vivif2 --  cl tried    24890 cl shrink        0 lits rem          0 time: 0.00
133.80/33.57	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.01
133.80/33.57	c calculated reachability. Time: 0.00
133.80/33.57	c  N st    53    357907       240       632         0     24890      2824    375181   no data   no data
147.39/36.95	c  N st    54    390299       240       632         0     30929      2824    496112   no data   no data
170.18/42.67	c  N st    55    438887       240       632         0     50773      2824    913884   no data   no data
205.73/51.58	c  N st    56    511770       240       632         0     38073      2824    613865   no data   no data
216.10/54.15	c Following stats are for *FIRST FINISHED THREAD ONLY*
216.10/54.15	c num threads              : 4          
216.10/54.15	c restarts                 : 56         
216.10/54.15	c dynamic restarts         : 0          
216.10/54.15	c static restarts          : 56         
216.10/54.15	c full restarts            : 3          
216.10/54.15	c total simplify time      : 0.00       
216.10/54.15	c learnts DL2              : 0          
216.10/54.15	c learnts size 2           : 384        
216.10/54.15	c learnts size 1           : 132         (22.15     % of vars)
216.10/54.15	c filedLit time            : 0.02        (0.04      % time)
216.10/54.15	c v-elim SatELite          : 0           (0.00      % vars)
216.10/54.15	c SatELite time            : 6.53        (12.07     % time)
216.10/54.15	c v-elim xor               : 0           (0.00      % vars)
216.10/54.15	c xor elim time            : 0.00        (0.01      % time)
216.10/54.15	c num binary xor trees     : 192        
216.10/54.15	c binxor trees' crown      : 192         (1.00      leafs/tree)
216.10/54.15	c bin xor find time        : 0.00       
216.10/54.15	c OTF clause improved      : 30674       (0.06      clauses/conflict)
216.10/54.15	c OTF impr. size diff      : 31746       (1.03       lits/clause)
216.10/54.15	c OTF cl watch-shrink      : 140834      (0.29      clauses/conflict)
216.10/54.15	c OTF cl watch-sh-lit      : 236240      (1.68       lits/clause)
216.10/54.15	c tried to recurMin cls    : 21216       (4.43       % of conflicts)
216.10/54.15	c updated cache            : 796         (0.04       lits/tried recurMin)
216.10/54.15	c unit cls recevied        : 0           (0.00      % of units)
216.10/54.15	c unit cls sent            : 0           (0.00      % of units)
216.10/54.15	c bin cls recevied         : 51         
216.10/54.15	c bin cls sent             : 7          
216.10/54.15	c clauses over max glue    : 0           (0.00      % of all clauses)
216.10/54.15	c conflicts                : 478525      (8842.94   / sec)
216.10/54.15	c decisions                : 531356      (2.33      % random)
216.10/54.15	c bogo-props               : 10250475996 (189424529.61 / sec)
216.10/54.15	c conflict literals        : 10521442    (31.56     % deleted)
216.10/54.15	c Memory used              : 287.29      MB
216.10/54.15	c single-thread CPU time   : 54.11       s
216.10/54.15	c all-threads sum CPU time : 216.20      s
216.10/54.15	s SATISFIABLE
216.10/54.15	v -1 2 -3 4 5 6 7 8 9 10 11 12 13 14 -15 -16 17 -18 19 20 21 -22 -23 24 -25 -26 -27 -28 -29 30 31 32 33 34 -35 -36 37 -38 39 40 -41 -42 -43 -44 45 46 -47 48 49 -50 -51 -52 -53 54 -55 56 -57 -58 -59 60 61 62 -63 -64 -65 66 67 -68 69 70 71 -72 73 -74 75 76 77 78 -79 80 81 -82 -83 84 -85 86 -87 88 89 90 -91 -92 93 94 95 -96 -97 -98 99 -100 -101 -102 103 -104 105 -106 107 -108 -109 -110 111 -112 -113 114 -115 -116 -117 118 -119 -120 121 122 -123 -124 -125 126 -127 -128 129 130 131 -132 -133 134 -135 -136 137 -138 139 140 141 142 143 -144 145 -146 -147 -148 149 150 -151 -152 -153 -154 -155 156 -157 158 159 160 161 162 163 164 -165 166 -167 -168 -169 170 -171 -172 -173 -174 175 176 177 -178 -179 180 -181 182 -183 184 -185 186 187 -188 189 -190 -191 192 -193 -194 195 196 -197 -198 -199 200 -201 202 -203 -204 -205 -206 -207 208 -209 -210 211 -212 213 214 -215 -216 217 218 -219 -220 221 -222 -223 224 225 226 227 -228 229 -230 -231 232 233 -234 235 -236 237 238 239 240 241 242 -243 -244 -245 -246 -247 248 249 250 -251 252 253 -254 -255 -256 -257 258 -259 260 261 262 -263 264 265 -266 -267 268 269 270 271 272 273 274 -275 -276 277 -278 -279 -280 -281 282 -283 284 -285 -286 -287 288 289 290 291 -292 293 -294 295 -296 297 298 299 300 -301 -302 303 304 305 -306 307 -308 309 310 311 -312 -313 -314 315 316 -317 318 319 320 321 -322 323 324 325 -326 -327 328 -329 -330 331 -332 -333 -334 -335 336 -337 338 -339 -340 -341 342 -343 -344 -345 346 -347 -348 -349 350 351 -352 -353 -354 -355 356 357 358 359 -360 361 -362 363 364 -365 -366 -367 -368 -369 -370 371 372 373 -374 375 376 -377 378 -379 380 381 382 383 -384 -385 386 -387 -388 -389 -390 391 392 393 394 395 396 397 -398 -399 400 -401 402 -403 404 405 406 -407 408 -409 -410 -411 412 413 -414 415 416 -417 -418 -419 -420 421 -422 423 424 -425 -426 427 -428 429 430 -431 432 -433 -434 435 436 437 -438 439 440 -441 -442 443 444 445 -446 -447 -448 -449 -450 -451 452 453 454 -455 -456 457 -458 -459 -460 461 462 -463 464 -465 -466 467 -468 -469 470 471 -472 -473 474 -475 476 477 -478 -479 -480 -481 482 -483 484 485 486 487 488 489 490 491 -492 -493 -494 495 -496 -497 -498 499 500 501 -502 -503 504 -505 506 -507 -508 509 -510 511 -512 513 -514 -515 516 -517 -518 -519 -520 -521 522 -523 -524 -525 526 -527 -528 -529 530 531 -532 -533 534 -535 536 537 538 539 -540 -541 -542 -543 -544 -545 -546 547 548 -549 550 -551 552 553 -554 555 556 -557 558 559 -560 -561 562 -563 564 -565 566 -567 568 569 570 571 -572 -573 574 575 -576 -577 -578 -579 580 -581 -582 583 -584 -585 -586 587 588 -589 -590 591 -592 -593 -594 595 -596 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290116-1304124023/watcher-3290116-1304124023 -o /tmp/evaluation-result-3290116-1304124023/solver-3290116-1304124023 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3290116-1304124023.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.12 8.07 7.74 7/180 29853
/proc/meminfo: memFree=30177788/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 523999351 52441088 352 33554432000 4194304 4627427 140735907851184 18446744073709551615 239476694971 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 12803 352 303 106 0 7774 0
[pid=29853/tid=29854] ppid=29851 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523999351 52441088 352 33554432000 4194304 4627427 140735907851184 18446744073709551615 47780448294832 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523999351 52441088 352 33554432000 4194304 4627427 140735907851184 18446744073709551615 47780448294828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523999351 52441088 352 33554432000 4194304 4627427 140735907851184 18446744073709551615 239471742038 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.907622 s]
/proc/loadavg: 8.12 8.07 7.74 7/180 29853
/proc/meminfo: memFree=30177788/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=284740 CPUtime=3.6 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 5226 0 0 0 360 0 0 0 19 0 4 0 523999351 291573760 2806 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 71185 2806 389 106 0 66156 0
[pid=29853/tid=29854] ppid=29851 vsize=284740 CPUtime=0.9 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1290 0 0 0 90 0 0 0 19 0 4 0 523999351 291573760 2806 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=284740 CPUtime=0.89 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1182 0 0 0 89 0 0 0 19 0 4 0 523999351 291573760 2806 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=284740 CPUtime=0.89 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1107 0 0 0 89 0 0 0 19 0 4 0 523999351 291573760 2806 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 284740

[startup+1.0006 s]
/proc/loadavg: 8.12 8.07 7.74 7/180 29853
/proc/meminfo: memFree=30177788/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=284852 CPUtime=3.97 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 5603 0 0 0 397 0 0 0 19 0 4 0 523999351 291688448 2888 33554432000 4194304 4627427 140735907851184 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 71213 2888 389 106 0 66184 0
[pid=29853/tid=29854] ppid=29851 vsize=284852 CPUtime=0.99 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1481 0 0 0 99 0 0 0 19 0 4 0 523999351 291688448 2888 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=284852 CPUtime=0.99 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1240 0 0 0 99 0 0 0 19 0 4 0 523999351 291688448 2888 33554432000 4194304 4627427 140735907851184 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=284852 CPUtime=0.99 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1152 0 0 0 99 0 0 0 19 0 4 0 523999351 291688448 2888 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 284852

[startup+1.10059 s]
/proc/loadavg: 8.12 8.07 7.74 7/180 29853
/proc/meminfo: memFree=30177788/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=285028 CPUtime=4.37 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 6083 0 0 0 437 0 0 0 19 0 4 0 523999351 291868672 2786 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 71257 2786 389 106 0 66228 0
[pid=29853/tid=29854] ppid=29851 vsize=285028 CPUtime=1.09 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1540 0 0 0 109 0 0 0 19 0 4 0 523999351 291868672 2786 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=285028 CPUtime=1.09 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1437 0 0 0 109 0 0 0 19 0 4 0 523999351 291868672 2786 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=285028 CPUtime=1.09 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1198 0 0 0 109 0 0 0 19 0 4 0 523999351 291868672 2787 33554432000 4194304 4627427 140735907851184 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 285028

[startup+1.20057 s]
/proc/loadavg: 8.12 8.07 7.74 7/180 29853
/proc/meminfo: memFree=30177788/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=285204 CPUtime=4.77 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 6320 0 0 0 477 0 0 0 19 0 4 0 523999351 292048896 3023 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 71301 3023 389 106 0 66272 0
[pid=29853/tid=29854] ppid=29851 vsize=285204 CPUtime=1.19 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1608 0 0 0 119 0 0 0 19 0 4 0 523999351 292048896 3023 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=285204 CPUtime=1.19 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1489 0 0 0 119 0 0 0 19 0 4 0 523999351 292048896 3023 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=285204 CPUtime=1.19 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1257 0 0 0 119 0 0 0 19 0 4 0 523999351 292048896 3023 33554432000 4194304 4627427 140735907851184 18446744073709551615 4310580 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 285204

[startup+1.50051 s]
/proc/loadavg: 8.12 8.07 7.74 7/180 29853
/proc/meminfo: memFree=30177788/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=285576 CPUtime=5.97 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 8178 0 0 0 597 0 0 0 20 0 4 0 523999351 292429824 4170 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 71394 4170 390 106 0 66365 0
[pid=29853/tid=29854] ppid=29851 vsize=285576 CPUtime=1.49 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1888 0 0 0 149 0 0 0 20 0 4 0 523999351 292429824 4170 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=285576 CPUtime=1.49 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1609 0 0 0 149 0 0 0 20 0 4 0 523999351 292429824 4170 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=285576 CPUtime=1.48 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 1579 0 0 0 148 0 0 0 20 0 4 0 523999351 292429824 4170 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285576

[startup+3.1062 s]
/proc/loadavg: 8.51 8.15 7.77 9/184 29858
/proc/meminfo: memFree=30106116/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=275192 CPUtime=12.38 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 16444 0 0 0 1236 2 0 0 25 0 4 0 523999351 281796608 9304 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 68798 9304 390 106 0 63769 0
[pid=29853/tid=29854] ppid=29851 vsize=275192 CPUtime=3.09 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 3691 0 0 0 309 0 0 0 25 0 4 0 523999351 281796608 9304 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=275192 CPUtime=3.08 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 4072 0 0 0 308 0 0 0 25 0 4 0 523999351 281796608 9304 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=275192 CPUtime=3.08 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 4037 0 0 0 308 0 0 0 25 0 4 0 523999351 281796608 9304 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 275192

[startup+6.30059 s]
/proc/loadavg: 8.55 8.17 7.78 9/184 29858
/proc/meminfo: memFree=30074068/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=266424 CPUtime=25.17 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 24540 0 0 0 2513 4 0 0 25 0 4 0 523999351 272818176 13593 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 66606 13593 390 106 0 61577 0
[pid=29853/tid=29854] ppid=29851 vsize=266424 CPUtime=6.29 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 6299 0 0 0 628 1 0 0 25 0 4 0 523999351 272818176 13593 33554432000 4194304 4627427 140735907851184 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=266424 CPUtime=6.26 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 6352 0 0 0 626 0 0 0 25 0 4 0 523999351 272818176 13593 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=266424 CPUtime=6.29 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 5676 0 0 0 628 1 0 0 25 0 4 0 523999351 272818176 13593 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 266424

[startup+12.7004 s]
/proc/loadavg: 8.50 8.17 7.78 9/184 29858
/proc/meminfo: memFree=30019792/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=281600 CPUtime=50.71 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 35722 0 0 0 5066 5 0 0 25 0 4 0 523999351 288358400 16454 33554432000 4194304 4627427 140735907851184 18446744073709551615 4420154 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 70400 16454 390 106 0 65371 0
[pid=29853/tid=29854] ppid=29851 vsize=281600 CPUtime=12.68 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 8968 0 0 0 1267 1 0 0 25 0 4 0 523999351 288358400 16454 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=281600 CPUtime=12.63 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 8316 0 0 0 1262 1 0 0 25 0 4 0 523999351 288358400 16454 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=281600 CPUtime=12.68 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 9567 0 0 0 1267 1 0 0 25 0 4 0 523999351 288358400 16454 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 281600

[startup+25.5009 s]
/proc/loadavg: 8.43 8.16 7.78 9/184 29858
/proc/meminfo: memFree=29955136/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=272996 CPUtime=101.85 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 53254 0 0 0 10176 9 0 0 25 0 4 0 523999351 279547904 23968 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 68249 23968 390 106 0 63220 0
[pid=29853/tid=29854] ppid=29851 vsize=272996 CPUtime=25.48 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 13032 0 0 0 2546 2 0 0 25 0 4 0 523999351 279547904 23968 33554432000 4194304 4627427 140735907851184 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=272996 CPUtime=25.35 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 12461 0 0 0 2534 1 0 0 25 0 4 0 523999351 279547904 23968 33554432000 4194304 4627427 140735907851184 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=272996 CPUtime=25.49 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 14504 0 0 0 2547 2 0 0 25 0 4 0 523999351 279547904 23968 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 272996

[startup+51.101 s]
/proc/loadavg: 8.26 8.14 7.79 9/184 29859
/proc/meminfo: memFree=29916000/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=294096 CPUtime=204.12 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 78894 0 0 0 20399 13 0 0 25 0 4 0 523999351 301154304 26751 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 73524 26751 390 106 0 68495 0
[pid=29853/tid=29854] ppid=29851 vsize=294096 CPUtime=51.09 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 18409 0 0 0 5106 3 0 0 25 0 4 0 523999351 301154304 26751 33554432000 4194304 4627427 140735907851184 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=294096 CPUtime=50.83 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 17757 0 0 0 5080 3 0 0 25 0 4 0 523999351 301154304 26751 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=294096 CPUtime=51.08 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 21428 0 0 0 5105 3 0 0 25 0 4 0 523999351 301154304 26751 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 294096

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

[startup+52.0008 s]
/proc/loadavg: 8.26 8.14 7.79 9/184 29859
/proc/meminfo: memFree=29908560/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=294096 CPUtime=207.71 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 79974 0 0 0 20758 13 0 0 25 0 4 0 523999351 301154304 27831 33554432000 4194304 4627427 140735907851184 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 73524 27831 390 106 0 68495 0
[pid=29853/tid=29854] ppid=29851 vsize=294096 CPUtime=51.99 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 18975 0 0 0 5196 3 0 0 25 0 4 0 523999351 301154304 27831 33554432000 4194304 4627427 140735907851184 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=294096 CPUtime=51.73 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 17909 0 0 0 5170 3 0 0 25 0 4 0 523999351 301154304 27831 33554432000 4194304 4627427 140735907851184 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=294096 CPUtime=51.98 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 21594 0 0 0 5195 3 0 0 25 0 4 0 523999351 301154304 27831 33554432000 4194304 4627427 140735907851184 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 207.71
Current children cumulated vsize (KiB) 294096

[startup+52.8007 s]
/proc/loadavg: 8.26 8.14 7.79 9/184 29859
/proc/meminfo: memFree=29899384/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=294096 CPUtime=210.9 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 80533 0 0 0 21077 13 0 0 25 0 4 0 523999351 301154304 28382 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 73524 28382 390 106 0 68495 0
[pid=29853/tid=29854] ppid=29851 vsize=294096 CPUtime=52.78 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 19111 0 0 0 5275 3 0 0 25 0 4 0 523999351 301154304 28382 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=294096 CPUtime=52.52 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 18029 0 0 0 5249 3 0 0 25 0 4 0 523999351 301154304 28382 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=294096 CPUtime=52.78 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 21734 0 0 0 5275 3 0 0 25 0 4 0 523999351 301154304 28382 33554432000 4194304 4627427 140735907851184 18446744073709551615 4332612 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 210.9
Current children cumulated vsize (KiB) 294096

[startup+53.6005 s]
/proc/loadavg: 8.26 8.14 7.79 9/184 29859
/proc/meminfo: memFree=29902856/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=294096 CPUtime=214.13 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 81058 0 0 0 21399 14 0 0 25 0 4 0 523999351 301154304 28907 33554432000 4194304 4627427 140735907851184 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 73524 28907 390 106 0 68495 0
[pid=29853/tid=29854] ppid=29851 vsize=294096 CPUtime=53.59 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 19235 0 0 0 5356 3 0 0 25 0 4 0 523999351 301154304 28907 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=294096 CPUtime=53.32 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 18161 0 0 0 5329 3 0 0 25 0 4 0 523999351 301154304 28907 33554432000 4194304 4627427 140735907851184 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=294096 CPUtime=53.59 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 21863 0 0 0 5356 3 0 0 25 0 4 0 523999351 301154304 28908 33554432000 4194304 4627427 140735907851184 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 214.13
Current children cumulated vsize (KiB) 294096

[startup+54.0005 s]
/proc/loadavg: 8.26 8.14 7.79 9/184 29859
/proc/meminfo: memFree=29902856/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=294176 CPUtime=215.7 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 81804 0 0 0 21556 14 0 0 25 0 4 0 523999351 301236224 28495 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 73544 28495 390 106 0 68515 0
[pid=29853/tid=29854] ppid=29851 vsize=294176 CPUtime=53.98 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 19300 0 0 0 5395 3 0 0 25 0 4 0 523999351 301236224 28495 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=294176 CPUtime=53.72 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 18222 0 0 0 5369 3 0 0 25 0 4 0 523999351 301236224 28495 33554432000 4194304 4627427 140735907851184 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=294176 CPUtime=53.98 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 22420 0 0 0 5395 3 0 0 25 0 4 0 523999351 301236224 28495 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 215.7
Current children cumulated vsize (KiB) 294176

[startup+54.1004 s]
/proc/loadavg: 8.26 8.14 7.79 9/184 29859
/proc/meminfo: memFree=29902856/32950928 swapFree=67086612/67111528
[pid=29853] ppid=29851 vsize=294176 CPUtime=216.1 cores=0,2,4,6
/proc/29853/stat : 29853 (strangenight2-m) R 29851 29853 29718 0 -1 4202496 81873 0 0 0 21596 14 0 0 25 0 4 0 523999351 301236224 28564 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29853/statm: 73544 28564 390 106 0 68515 0
[pid=29853/tid=29854] ppid=29851 vsize=294176 CPUtime=54.08 cores=0,2,4,6
/proc/29853/task/29854/stat : 29854 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 19318 0 0 0 5405 3 0 0 25 0 4 0 523999351 301236224 28564 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29853/tid=29855] ppid=29851 vsize=294176 CPUtime=53.82 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 18234 0 0 0 5379 3 0 0 25 0 4 0 523999351 301236224 28564 33554432000 4194304 4627427 140735907851184 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=294176 CPUtime=54.08 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (strangenight2-m) R 29851 29853 29718 0 -1 4202560 22443 0 0 0 5405 3 0 0 25 0 4 0 523999351 301236224 28564 33554432000 4194304 4627427 140735907851184 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 216.1
Current children cumulated vsize (KiB) 294176

Child status: 10
Real time (s): 54.1647
CPU time (s): 216.347
CPU user time (s): 216.198
CPU system time (s): 0.148977
CPU usage (%): 399.425
Max. virtual memory (cumulated for all children) (KiB): 313988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.198
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81919
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= 226
involuntary context switches= 1707

runsolver used 0.092985 second user time and 0.19097 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 02:40:23
IDJOB=3290116
IDBENCH=83420
IDSOLVER=1586
FILE ID=node148/3290116-1304124023
RUNJOBID= node148-1304122819-29736
PBS_JOBID= 13170748
Free space on /tmp= 71428 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290116-1304124023/watcher-3290116-1304124023 -o /tmp/evaluation-result-3290116-1304124023/solver-3290116-1304124023 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3290116-1304124023.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9e18e0ee8a56ea2c59fe8e682ff6c747
RANDOM SEED=1791167261

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30178192 kB
Buffers:        717056 kB
Cached:        1640988 kB
SwapCached:       3696 kB
Active:         137712 kB
Inactive:      2271292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30178192 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:           11300 kB
Writeback:           0 kB
AnonPages:       48332 kB
Mapped:          13676 kB
Slab:           300052 kB
PageTables:       3904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   274744 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71424 MiB
End job on node148 at 2011-04-30 02:41:17