Trace number 3175338

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-1-mt? (TO) 4800.27 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf
MD5SUM12dd7af6f21831da932d15cd8d1054f3
Bench CategoryRANDOM (random 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 variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175338-1304119540.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.04	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
0.00/0.04	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.04	c calculated reachability. Time: 0.00
0.00/0.04	c Calc default polars -  time:   0.00 s pos:     302 undec:      63 neg:     285
0.00/0.04	c =========================================================================================
0.00/0.04	c types(t): F = full restart, N = normal restart
0.00/0.04	c types(t): S = simplification begin/end, E = solution found
0.00/0.04	c restart types(rt): st = static, dy = dynamic
0.00/0.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.04	c  B st     0         0       631      2742         0         0      8339         0   no data   no data  --
1.58/0.43	c Decided on static restart strategy
1.58/0.43	c  N st     8      4918       631      2742         0      4876      8339    140957   no data   no data  --
3.17/0.85	c  N st    10     11302       631      2742         0      4505      8339     87794   no data   no data  --
3.17/0.85	c  N st    11     17045       631      2742         0     10186      8339    250313   no data   no data  --
4.39/1.15	c  F st    12     25002       631      2742         0     12484      8339    321901   no data   no data  --
4.39/1.15	c  N st    12     25002       631      2742         0     12484      8339    321901   no data   no data  --
5.57/1.41	c  N dy    18     30001       631      2742         0     10743      8339    235240   no data   no data  --
5.57/1.41	c  S st    18     30001       631      2742         0     10743      8339    235240   no data   no data  --
5.57/1.44	c  S st    18     30504       631      2742         0     11246      8339    247938   no data   no data  --
5.57/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.57/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
5.57/1.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.77/1.70	c lits-rem:       122  cl-subs:      306  v-elim:      0  v-fix:    0  time:  0.99 s
6.77/1.71	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.03
6.77/1.71	c calculated reachability. Time: 0.00
6.77/1.71	c  N dy    18     30504       631      2742         0     10940      8339    238095   no data   no data  --
7.57/1.96	c  N dy    29     34890       631      2742         0     15277      8339    353982     17.83     18.98  --
8.37/2.17	c  N dy    44     38943       631      2742         0     11457      8339    205066     17.95     18.90  --
9.56/2.47	c  N dy    59     43722       631      2742         0     16197      8339    333947     17.90     18.91  --
10.36/2.62	c  S st    70     45761       631      2742         0      9341      8339    118435     17.95   no data  --
10.36/2.65	c  S st    70     46269       631      2742         0      9849      8339    132026     17.95   no data  --
10.36/2.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.36/2.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.36/2.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
10.36/2.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.77/2.75	c lits-rem:        24  cl-subs:       16  v-elim:      0  v-fix:    0  time:  0.38 s
10.77/2.75	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
10.77/2.75	c vivif2 --  cl tried     9833 cl shrink        0 lits rem          0 time: 0.00
10.77/2.76	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.03
10.77/2.76	c calculated reachability. Time: 0.00
10.77/2.76	c  N dy    70     46269       631      2742         0      9833      8339    131382     17.95   no data  --
11.97/3.00	c  N dy    93     50601       631      2742         0     14129      8339    247782     18.04     19.06  --
13.19/3.32	c  N dy   104     55550       631      2742         0     19021      8339    377494     17.82     18.97  --
13.96/3.56	c  N dy   127     59551       631      2742         0     13097      8339    192979     17.91     20.38  --
15.16/3.83	c  N dy   149     63599       631      2742         0     17117      8339    298327     17.95     19.07  --
16.36/4.16	c  N dy   153     67908       631      2742         0     21355      8339    404695     17.72     18.82  --
16.76/4.27	c  S st   162     69404       631      2742         0     11954      8339    138683     17.76     17.76  --
17.16/4.30	c  S st   162     69910       631      2742         0     12457      8339    152338     17.76   no data  --
17.16/4.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.16/4.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.16/4.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.16/4.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.16/4.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
17.16/4.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.58/4.45	c lits-rem:        25  cl-subs:       46  v-elim:      0  v-fix:    0  time:  0.58 s
17.58/4.45	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
17.58/4.46	c vivif2 --  cl tried    12411 cl shrink        0 lits rem          0 time: 0.01
17.58/4.47	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.04
17.58/4.47	c calculated reachability. Time: 0.00
17.58/4.47	c  N dy   162     69910       631      2742         0     12411      8339    150935     17.76   no data  --
19.15/4.81	c  N dy   189     75173       631      2742         0     17634      8339    289283     17.80     18.87  --
20.75/5.20	c  N dy   212     80036       631      2742         0     22460      8339    416080     17.82     19.16  --
21.97/5.55	c  N dy   234     85144       631      2742         0     15646      8339    217254     17.85     21.01  --
22.75/5.71	c  F st   246     87502       631      2742         0     17992      8339    280492     17.86     17.08  --
23.55/5.96	c  N st   251     90803       631      2742         0     21272      8339    373835     17.86   no data  --
24.34/6.12	c Decided on static restart strategy
26.36/6.66	c  N st   254     99813       631      2742         0     17280      8339    372323     17.86   no data  --
27.94/7.07	c  S st   255    104867       631      2742         0     22251      8339    521361     17.86   no data  --
28.34/7.13	c  S st   255    105367       631      2742         0     22751      8339    534209     17.86   no data  --
28.34/7.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.34/7.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.34/7.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
28.34/7.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.34/7.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
28.34/7.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
34.33/8.61	c lits-rem:       415  cl-subs:      842  v-elim:      0  v-fix:    0  time:  5.82 s
34.33/8.61	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
34.33/8.62	c vivif2 --  cl tried    21909 cl shrink        0 lits rem          0 time: 0.02
34.33/8.64	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.08
34.33/8.64	c calculated reachability. Time: 0.00
34.33/8.64	c  N st   255    105367       631      2742         0     21909      8339    506303     17.86   no data  --
37.92/9.54	c  N st   256    114966       631      2742         0     17605      8339    341164     17.86   no data  --
43.94/11.06	c  N st   257    129363       631      2742         0     16979      8339    334058     17.86   no data  --
51.90/13.08	c  N st   258    150958       631      2742         0     22511      8339    452025     17.86   no data  --
55.10/13.82	c  S st   259    158051       631      2742         0     29506      8339    667437     17.86   no data  --
55.10/13.89	c  S st   259    158552       631      2742         0     30006      8339    680482     17.86   no data  --
55.10/13.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
55.10/13.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.50/13.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
55.50/13.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.50/13.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.50/13.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
55.50/13.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.10/15.83	c lits-rem:       376  cl-subs:     1022  v-elim:      0  v-fix:    0  time:  7.63 s
63.10/15.83	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
63.10/15.84	c vivif2 --  cl tried    28984 cl shrink        0 lits rem          0 time: 0.03
63.10/15.86	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.10
63.10/15.86	c calculated reachability. Time: 0.00
63.10/15.86	c  N st   259    158552       631      2742         0     28984      8339    645316     17.86   no data  --
85.46/21.43	c  N st   260    207142       631      2742         0     23675      8339    450453     17.86   no data  --
99.04/24.82	c  N st   261    237828       631      2742         0     34132      8339    703482     17.86   no data  --
99.04/24.82	c  S st   261    237828       631      2742         0     34132      8339    703482     17.86   no data  --
99.44/24.90	c  S st   261    238329       631      2742         0     34633      8339    716193     17.86   no data  --
99.44/24.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.44/24.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.44/24.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
99.44/24.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.44/24.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.44/24.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
99.44/24.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
107.83/27.08	c lits-rem:       485  cl-subs:     1605  v-elim:      0  v-fix:    0  time:  8.53 s
107.83/27.08	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
107.83/27.08	c vivif2 --  cl tried    33028 cl shrink        0 lits rem          0 time: 0.03
108.23/27.11	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.11
108.23/27.11	c calculated reachability. Time: 0.00
108.23/27.11	c  N st   261    238329       631      2742         0     33028      8339    668575     17.86   no data  --
143.78/36.09	c  F st   262    306251       631      2742         0     35143      8339    686122     17.86   no data  --
143.78/36.09	c  N st   262    306251       631      2742         0     35143      8339    686122     17.86   no data  --
154.56/38.79	c  N dy   340    325879       631      2742         0     30780      8339    451516     17.95     18.95  --
168.94/42.36	c  N dy   408    351892       631      2742         0     31732      8339    444314     17.72     18.70  --
171.76/43.06	c  S st   415    357494       631      2742         0     37227      8339    582658     17.63   no data  --
172.14/43.15	c  S st   415    357996       631      2742         0     37728      8339    596251     17.63   no data  --
172.14/43.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
172.14/43.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
172.14/43.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
172.14/43.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
172.14/43.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
172.14/43.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
172.14/43.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
179.33/44.92	c lits-rem:       605  cl-subs:      898  v-elim:      0  v-fix:    0  time:  6.95 s
179.33/44.92	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
179.33/44.92	c vivif2 --  cl tried    36830 cl shrink        0 lits rem          0 time: 0.03
179.33/44.96	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.12
179.33/44.96	c calculated reachability. Time: 0.00
179.33/44.96	c  N dy   415    357996       631      2742         0     36830      8339    574028     17.63   no data  --
191.71/48.06	c  N dy   517    378036       631      2742         0     30942      8339    379305     17.71     18.65  --
204.89/51.36	c  N dy   615    398214       631      2742         0     50941      8339    908725     17.77     18.73  --
216.48/54.30	c  N dy   715    418227       631      2742         0     44039      8339    703289     17.81     19.02  --
229.66/57.52	c  N dy   809    438349       631      2742         0     36257      8339    474409     17.81     18.87  --
243.64/61.02	c  N dy   895    458373       631      2742         0     56089      8339   1000339     17.84     18.97  --
255.62/64.05	c  N dy   980    478448       631      2742         0     47241      8339    742870     17.85     19.41  --
270.01/67.65	c  N dy  1097    498455       631      2742         0     37383      8339    460446     17.92     18.87  --
284.79/71.30	c  N dy  1166    518522       631      2742         0     57225      8339    983850     17.92     19.27  --
296.76/74.33	c  S st  1272    536994       631      2742         0     44817      8339    641354     17.98   no data  --
297.16/74.44	c  S st  1272    537496       631      2742         0     45319      8339    654484     17.98   no data  --
297.16/74.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
297.16/74.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
297.16/74.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
297.16/74.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
297.16/74.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
297.16/74.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
297.16/74.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
305.95/76.66	c lits-rem:       655  cl-subs:      418  v-elim:      0  v-fix:    0  time:  8.71 s
305.95/76.66	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
305.95/76.67	c vivif2 --  cl tried    44901 cl shrink        0 lits rem          0 time: 0.03
306.35/76.71	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.17
306.35/76.72	c calculated reachability. Time: 0.00
306.35/76.72	c  N dy  1272    537496       631      2742         0     44901      8339    641115     17.98   no data  --
321.53/80.56	c  N dy  1338    557645       631      2742         0     33130      8339    296522     17.96     18.92  --
334.71/83.88	c  N dy  1443    577711       631      2742         0     53023      8339    831435     17.99     19.34  --
350.69/87.88	c  N dy  1525    597782       631      2742         0     40188      8339    454204     18.00     19.14  --
365.09/91.49	c  N dy  1616    617831       631      2742         0     60024      8339    992842     18.02     21.97  --
380.26/95.27	c  N dy  1715    637999       631      2742         0     46384      8339    609822     18.04     19.01  --
399.03/99.92	c  N dy  1805    659060       631      2742         0     67241      8339   1170386     18.05     19.03  --
414.21/103.76	c  N dy  1941    679086       631      2742         0     52441      8339    762035     18.11     19.08  --
434.58/108.80	c  N dy  2039    699240       631      2742         0     36738      8339    306170     18.14     19.13  --
448.18/112.27	c  N dy  2164    719558       631      2742         0     56883      8339    859331     18.18     19.25  --
468.54/117.36	c  N dy  2285    741156       631      2742         0     41631      8339    420609     18.22     19.29  --
483.33/121.02	c  N dy  2333    761219       631      2742         0     61506      8339    953075     18.19     19.30  --
503.28/126.09	c  N dy  2433    783133       631      2742         0     45564      8339    501837     18.20     19.21  --
520.46/130.39	c  N dy  2559    803198       631      2742         0     65431      8339   1041988     18.24     19.97  --
524.06/131.25	c  S st  2584    806244       631      2742         0     68456      8339   1125845     18.25   no data  --
524.86/131.44	c  S st  2584    806748       631      2742         0     68960      8339   1139895     18.25   no data  --
524.86/131.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
524.86/131.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
524.86/131.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
525.26/131.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
525.26/131.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
525.26/131.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
525.26/131.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
531.67/133.16	c lits-rem:       281  cl-subs:     1013  v-elim:      0  v-fix:    0  time:  6.59 s
531.67/133.16	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
531.67/133.18	c vivif2 --  cl tried    67947 cl shrink        0 lits rem          0 time: 0.06
532.07/133.26	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.33
532.07/133.26	c calculated reachability. Time: 0.00
532.07/133.26	c  N dy  2584    806748       631      2742         0     67947      8339   1108956     18.25   no data  --
552.83/138.43	c  N dy  2663    830991       631      2742         0     53281      8339    685380     18.24     19.21  --
581.58/145.68	c  N dy  2799    858413       631      2742         0     40787      8339    327471     18.26     19.28  --
597.58/149.65	c  N dy  2880    879710       631      2742         0     61856      8339    888022     18.26     19.28  --
620.33/155.32	c  N dy  2969    900871       631      2742         0     42256      8339    349700     18.27     19.51  --
637.12/159.56	c  N dy  3052    923238       631      2742         0     64395      8339    949593     18.25     19.32  --
662.67/165.90	c  N dy  3171    945761       631      2742         0     45101      8339    399136     18.27     19.27  --
678.25/169.86	c  N dy  3247    965947       631      2742         0     65027      8339    939654     18.27     19.29  --
702.21/175.83	c  N dy  3309    986054       631      2742         0     84906      8339   1464630     18.26     19.44  --
717.79/179.75	c  N dy  3407   1006079       631      2742         0     62234      8339    848953     18.28     19.28  --
753.74/188.74	c  N dy  3440   1042848       631      2742         0     54844      8339    620927     18.18     19.18  --
773.74/193.70	c  N dy  3532   1062932       631      2742         0     74692      8339   1151604     18.19     20.18  --
784.91/196.57	c  F st  3595   1071876       631      2742         0     83554      8339   1397114     18.20     16.36  --
792.09/198.31	c Decided on static restart strategy
796.48/199.49	c  N st  3603   1084183       631      2742         0     51253      8339    614316     18.20   no data  --
824.05/206.31	c  N st  3606   1114580       631      2742         0     81113      8339   1457674     18.20   no data  --
846.01/211.82	c  N st  3607   1136176       631      2742         0     57026      8339   1038008     18.20   no data  --
877.97/219.84	c  N st  3608   1168568       631      2742         0     88940      8339   1999875     18.20   no data  --
919.92/230.37	c  N st  3609   1210123       631      2742         0     83646      8339   1821947     18.20   no data  --
919.92/230.37	c  S st  3609   1210123       631      2742         0     83646      8339   1821947     18.20   no data  --
921.12/230.61	c  S st  3609   1210626       631      2742         0     84148      8339   1835377     18.20   no data  --
921.12/230.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
921.12/230.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
921.12/230.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
921.52/230.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
921.52/230.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
921.52/230.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
921.52/230.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
951.47/238.27	c lits-rem:       174  cl-subs:     4685  v-elim:      0  v-fix:    0  time: 30.12 s
951.47/238.27	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
951.47/238.29	c vivif2 --  cl tried    79463 cl shrink        0 lits rem          0 time: 0.08
952.27/238.40	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.45
952.27/238.41	c calculated reachability. Time: 0.00
952.27/238.41	c  N st  3609   1210626       631      2742         0     79463      8339   1695077     18.20   no data  --
1028.19/257.47	c  N st  3610   1283508       631      2742         0     55775      8339    876640     18.20   no data  --
1147.60/287.36	c  N st  3611   1392831       631      2742         0     63814      8339   1027657     18.20   no data  --
1332.15/333.51	c  N st  3612   1556815       631      2742         0     68627      8339   1099096     18.20   no data  --
1501.52/375.98	c  N st  3613   1710626       631      2742         0    110766      8339   2177895     18.20   no data  --
1501.52/375.98	c  S st  3613   1710626       631      2742         0    110766      8339   2177895     18.20   no data  --
1503.14/376.32	c  S st  3613   1711127       631      2742         0    111267      8339   2191430     18.20   no data  --
1503.14/376.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1503.14/376.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1503.14/376.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1503.51/376.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1503.51/376.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1503.51/376.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
1503.51/376.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1590.19/398.14	c lits-rem:       108  cl-subs:     9470  v-elim:      0  v-fix:    0  time: 86.60 s
1590.19/398.14	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
1590.19/398.17	c vivif2 --  cl tried   101797 cl shrink        0 lits rem          0 time: 0.10
1591.02/398.33	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.62
1591.02/398.33	c calculated reachability. Time: 0.00
1591.02/398.33	c  N st  3613   1711127       631      2742         0    101797      8339   1950375     18.20   no data  --
2020.82/505.93	c  N st  3614   2080092       631      2742         0    112959      8339   2147592     18.20   no data  --
2174.61/544.45	c  N st  3615   2211127       631      2742         0    117351      8339   2208107     18.20   no data  --
2174.61/544.45	c  S st  3615   2211127       631      2742         0    117351      8339   2208107     18.20   no data  --
2176.20/544.85	c  S st  3615   2211634       631      2742         0    117857      8339   2222178     18.20   no data  --
2176.20/544.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2176.20/544.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2176.60/544.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2176.60/544.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2176.60/544.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2176.60/544.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2176.60/544.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2250.90/563.52	c lits-rem:       727  cl-subs:     7238  v-elim:      0  v-fix:    0  time: 73.99 s
2250.90/563.52	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
2250.90/563.54	c vivif2 --  cl tried   110619 cl shrink        0 lits rem          0 time: 0.10
2251.70/563.71	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.68
2251.70/563.72	c calculated reachability. Time: 0.00
2251.70/563.72	c  N st  3615   2211634       631      2742         0    110619      8339   2031650     18.20   no data  --
2927.17/732.81	c  N st  3616   2711635       631      2742         0    134717      8339   2572555     18.20   no data  --
2927.17/732.81	c  S st  3616   2711635       631      2742         0    134717      8339   2572555     18.20   no data  --
2928.77/733.24	c  S st  3616   2712140       631      2742         0    135222      8339   2586325     18.20   no data  --
2928.77/733.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2928.77/733.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2929.17/733.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
2929.57/733.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2929.57/733.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2929.57/733.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2929.57/733.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3017.44/755.46	c lits-rem:      1023  cl-subs:     7322  v-elim:      0  v-fix:    0  time: 88.05 s
3017.44/755.46	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
3017.44/755.49	c vivif2 --  cl tried   127900 cl shrink        0 lits rem          0 time: 0.12
3018.24/755.68	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.78
3018.24/755.68	c calculated reachability. Time: 0.00
3018.24/755.68	c  N st  3616   2712140       631      2742         0    127900      8339   2388631     18.20   no data  --
3763.62/942.29	c  N st  3617   3212143       631      2742         0    103347      8339   1629902     18.20   no data  --
3763.62/942.29	c  S st  3617   3212143       631      2742         0    103347      8339   1629902     18.20   no data  --
3764.82/942.59	c  S st  3617   3212646       631      2742         0    103850      8339   1643537     18.20   no data  --
3765.22/942.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3765.22/942.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3765.22/942.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
3765.64/942.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3765.64/942.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3765.64/942.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
3765.64/942.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3790.39/948.92	c lits-rem:       296  cl-subs:     3012  v-elim:      0  v-fix:    0  time: 24.85 s
3790.39/948.92	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
3790.39/948.95	c vivif2 --  cl tried   100838 cl shrink        0 lits rem          0 time: 0.08
3790.78/949.09	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.57
3790.78/949.09	c calculated reachability. Time: 0.00
3790.78/949.09	c  N st  3617   3212646       631      2742         0    100838      8339   1550530     18.20   no data  --
4681.96/1172.13	c  N st  3618   3712646       631      2742         0    111327      8339   1642192     18.20   no data  --
4681.96/1172.13	c  S st  3618   3712646       631      2742         0    111327      8339   1642192     18.20   no data  --
4683.16/1172.42	c  S st  3618   3713149       631      2742         0    111829      8339   1656581     18.20   no data  --
4683.16/1172.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4683.16/1172.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4683.16/1172.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
4683.56/1172.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4683.56/1172.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4683.56/1172.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
4683.56/1172.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4728.33/1183.76	c lits-rem:        70  cl-subs:     5892  v-elim:      0  v-fix:    0  time: 44.80 s
4728.33/1183.76	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
4728.33/1183.78	c vivif2 --  cl tried   105937 cl shrink        0 lits rem          0 time: 0.09
4729.10/1183.96	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.71
4729.10/1183.97	c calculated reachability. Time: 0.00
4729.10/1183.97	c  N st  3618   3713149       631      2742         0    105937      8339   1506413     18.20   no data  --
4791.02/1199.40	c  F st  3619   3751562       631      2742         0    143591      8339   2574573     18.20   no data  --
4791.02/1199.41	c  N st  3619   3751562       631      2742         0    143591      8339   2574573     18.20   no data  --

Verifier Data 

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

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-3175338-1304119540/watcher-3175338-1304119540 -o /tmp/evaluation-result-3175338-1304119540/solver-3175338-1304119540 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175338-1304119540.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: 0.97 1.20 2.95 2/178 5484
/proc/meminfo: memFree=30981832/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 523551854 52465664 352 33554432000 4194304 4650419 140735857521456 18446744073709551615 47885480249266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 12809 352 303 112 0 7774 0
[pid=5484/tid=5487] ppid=5481 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 523551855 52465664 352 33554432000 4194304 4650419 140735857521456 18446744073709551615 47885480249266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 523551855 52465664 352 33554432000 4194304 4650419 140735857521456 18446744073709551615 47885480249266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 523551855 52465664 352 33554432000 4194304 4650419 140735857521456 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.157737 s]
/proc/loadavg: 0.97 1.20 2.95 2/178 5484
/proc/meminfo: memFree=30981832/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=282888 CPUtime=0.61 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 2151 0 0 0 61 0 0 0 18 0 4 0 523551854 289677312 2005 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 70722 2006 391 112 0 65687 0
[pid=5484/tid=5487] ppid=5481 vsize=282888 CPUtime=0.15 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 446 0 0 0 15 0 0 0 18 0 4 0 523551855 289677312 2006 33554432000 4194304 4650419 140735857521456 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=282888 CPUtime=0.15 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 489 0 0 0 15 0 0 0 18 0 4 0 523551855 289677312 2006 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=282888 CPUtime=0.14 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 347 0 0 0 14 0 0 0 21 0 4 0 523551855 289677312 2006 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 282888

[startup+0.200731 s]
/proc/loadavg: 0.97 1.20 2.95 2/178 5484
/proc/meminfo: memFree=30981832/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=284168 CPUtime=0.78 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 2719 0 0 0 78 0 0 0 18 0 4 0 523551854 290988032 1893 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 71042 1894 393 112 0 66007 0
[pid=5484/tid=5487] ppid=5481 vsize=284168 CPUtime=0.19 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 591 0 0 0 19 0 0 0 18 0 4 0 523551855 290988032 1894 33554432000 4194304 4650419 140735857521456 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=284168 CPUtime=0.19 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 634 0 0 0 19 0 0 0 18 0 4 0 523551855 290988032 1894 33554432000 4194304 4650419 140735857521456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=284168 CPUtime=0.19 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 486 0 0 0 19 0 0 0 21 0 4 0 523551855 290988032 1894 33554432000 4194304 4650419 140735857521456 18446744073709551615 4355019 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 284168

[startup+0.300712 s]
/proc/loadavg: 0.97 1.20 2.95 2/178 5484
/proc/meminfo: memFree=30981832/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=284168 CPUtime=1.18 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 3123 0 0 0 118 0 0 0 18 0 4 0 523551854 290988032 2297 33554432000 4194304 4650419 140735857521456 18446744073709551615 4330588 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 71042 2297 393 112 0 66007 0
[pid=5484/tid=5487] ppid=5481 vsize=284168 CPUtime=0.29 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 690 0 0 0 29 0 0 0 18 0 4 0 523551855 290988032 2297 33554432000 4194304 4650419 140735857521456 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=284168 CPUtime=0.29 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 736 0 0 0 29 0 0 0 18 0 4 0 523551855 290988032 2297 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=284168 CPUtime=0.29 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 589 0 0 0 29 0 0 0 21 0 4 0 523551855 290988032 2297 33554432000 4194304 4650419 140735857521456 18446744073709551615 4229498 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284168

[startup+0.70064 s]
/proc/loadavg: 0.97 1.20 2.95 2/178 5484
/proc/meminfo: memFree=30981832/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=285160 CPUtime=2.77 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 4882 0 0 0 277 0 0 0 18 0 4 0 523551854 292003840 3060 33554432000 4194304 4650419 140735857521456 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 71290 3060 393 112 0 66255 0
[pid=5484/tid=5487] ppid=5481 vsize=285160 CPUtime=0.69 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 1138 0 0 0 69 0 0 0 18 0 4 0 523551855 292003840 3060 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=285160 CPUtime=0.69 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 1185 0 0 0 69 0 0 0 18 0 4 0 523551855 292003840 3060 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=285160 CPUtime=0.68 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 1005 0 0 0 68 0 0 0 22 0 4 0 523551855 292003840 3060 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285160

[startup+1.5005 s]
/proc/loadavg: 0.97 1.20 2.95 10/188 5495
/proc/meminfo: memFree=30959184/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=286560 CPUtime=5.97 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 9802 0 0 0 596 1 0 0 20 0 4 0 523551854 293437440 5154 33554432000 4194304 4650419 140735857521456 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 71640 5154 395 112 0 66605 0
[pid=5484/tid=5487] ppid=5481 vsize=286560 CPUtime=1.49 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 2050 0 0 0 149 0 0 0 20 0 4 0 523551855 293437440 5154 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=286560 CPUtime=1.49 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 2085 0 0 0 149 0 0 0 19 0 4 0 523551855 293437440 5154 33554432000 4194304 4650419 140735857521456 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=286560 CPUtime=1.48 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 1780 0 0 0 148 0 0 0 25 0 4 0 523551855 293437440 5154 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286560

[startup+3.10021 s]
/proc/loadavg: 0.97 1.20 2.95 9/188 5495
/proc/meminfo: memFree=30931928/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=264184 CPUtime=12.37 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 17744 0 0 0 1234 3 0 0 25 0 4 0 523551854 270524416 10926 33554432000 4194304 4650419 140735857521456 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 66046 10926 395 112 0 61011 0
[pid=5484/tid=5487] ppid=5481 vsize=264184 CPUtime=3.09 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 4057 0 0 0 309 0 0 0 25 0 4 0 523551855 270524416 10926 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=264184 CPUtime=3.08 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 4882 0 0 0 308 0 0 0 25 0 4 0 523551855 270524416 10926 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=264184 CPUtime=3.08 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 3982 0 0 0 307 1 0 0 25 0 4 0 523551855 270524416 10926 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 264184

[startup+6.30063 s]
/proc/loadavg: 1.53 1.32 2.98 10/188 5495
/proc/meminfo: memFree=30884192/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=291204 CPUtime=25.14 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 24834 0 0 0 2510 4 0 0 25 0 4 0 523551854 298192896 14179 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 72801 14179 395 112 0 67766 0
[pid=5484/tid=5487] ppid=5481 vsize=291204 CPUtime=6.28 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 6615 0 0 0 628 0 0 0 25 0 4 0 523551855 298192896 14179 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=291204 CPUtime=6.29 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 6177 0 0 0 628 1 0 0 25 0 4 0 523551855 298192896 14179 33554432000 4194304 4650419 140735857521456 18446744073709551615 4333862 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=291204 CPUtime=6.26 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 5547 0 0 0 625 1 0 0 25 0 4 0 523551855 298192896 14179 33554432000 4194304 4650419 140735857521456 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291204

[startup+12.7005 s]
/proc/loadavg: 2.05 1.43 3.01 10/188 5495
/proc/meminfo: memFree=30845792/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=273932 CPUtime=50.71 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 37957 0 0 0 5064 7 0 0 25 0 4 0 523551854 280506368 18868 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365255 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 68483 18868 395 112 0 63448 0
[pid=5484/tid=5487] ppid=5481 vsize=273932 CPUtime=12.68 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 9420 0 0 0 1267 1 0 0 25 0 4 0 523551855 280506368 18868 33554432000 4194304 4650419 140735857521456 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=273932 CPUtime=12.68 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 9657 0 0 0 1267 1 0 0 25 0 4 0 523551855 280506368 18869 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=273932 CPUtime=12.62 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 8114 0 0 0 1260 2 0 0 25 0 4 0 523551855 280506368 18869 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 273932

[startup+25.5011 s]
/proc/loadavg: 3.51 1.78 3.10 10/188 5495
/proc/meminfo: memFree=30797660/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=312576 CPUtime=101.84 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 57039 0 0 0 10172 12 0 0 25 0 4 0 523551854 320077824 27867 33554432000 4194304 4650419 140735857521456 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 78144 27867 395 112 0 73109 0
[pid=5484/tid=5487] ppid=5481 vsize=312576 CPUtime=25.49 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 11433 0 0 0 2547 2 0 0 25 0 4 0 523551855 320077824 27867 33554432000 4194304 4650419 140735857521456 18446744073709551615 4330601 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=312576 CPUtime=25.49 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 16520 0 0 0 2546 3 0 0 25 0 4 0 523551855 320077824 27867 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=312576 CPUtime=25.34 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 11207 0 0 0 2532 2 0 0 25 0 4 0 523551855 320077824 27867 33554432000 4194304 4650419 140735857521456 18446744073709551615 4349683 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 312576

[startup+51.1005 s]
/proc/loadavg: 5.17 2.31 3.24 10/188 5496
/proc/meminfo: memFree=30759256/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=302844 CPUtime=204.09 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 77534 0 0 0 20391 18 0 0 25 0 4 0 523551854 310112256 32995 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 75711 32995 395 112 0 70676 0
[pid=5484/tid=5487] ppid=5481 vsize=302844 CPUtime=51.09 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 12434 0 0 0 5107 2 0 0 25 0 4 0 523551855 310112256 32995 33554432000 4194304 4650419 140735857521456 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=302844 CPUtime=51.08 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 24233 0 0 0 5103 5 0 0 25 0 4 0 523551855 310112256 32995 33554432000 4194304 4650419 140735857521456 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=302844 CPUtime=50.8 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 16349 0 0 0 5076 4 0 0 25 0 4 0 523551855 310112256 32995 33554432000 4194304 4650419 140735857521456 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 302844

[startup+102.301 s]
/proc/loadavg: 6.94 3.23 3.50 10/188 5497
/proc/meminfo: memFree=30701796/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=363724 CPUtime=408.63 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 107390 0 0 0 40832 31 0 0 25 0 4 0 523551854 372453376 40236 33554432000 4194304 4650419 140735857521456 18446744073709551615 4315110 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 90931 40236 395 112 0 85896 0
[pid=5484/tid=5487] ppid=5481 vsize=363724 CPUtime=102.29 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 17206 0 0 0 10225 4 0 0 25 0 4 0 523551855 372453376 40236 33554432000 4194304 4650419 140735857521456 18446744073709551615 4315143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=363724 CPUtime=102.28 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 32036 0 0 0 10220 8 0 0 25 0 4 0 523551855 372453376 40236 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=363724 CPUtime=101.73 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 25684 0 0 0 10165 8 0 0 25 0 4 0 523551855 372453376 40236 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 363724

[startup+162.3 s]

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

[pid=5484] ppid=5481 vsize=555300 CPUtime=2565.67 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 346044 0 0 0 256438 129 0 0 25 0 4 0 523551854 568627200 90768 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 138825 90768 395 112 0 133790 0
[pid=5484/tid=5487] ppid=5481 vsize=555300 CPUtime=642.31 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 51615 0 0 0 64211 20 0 0 25 0 4 0 523551855 568627200 90768 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=555300 CPUtime=642.28 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 111620 0 0 0 64186 42 0 0 25 0 4 0 523551855 568627200 90768 33554432000 4194304 4650419 140735857521456 18446744073709551615 4328361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=555300 CPUtime=638.75 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 79495 0 0 0 63845 30 0 0 25 0 4 0 523551855 568627200 90768 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 555300

[startup+702.3 s]
/proc/loadavg: 8.30 7.58 5.75 9/188 5513
/proc/meminfo: memFree=30341844/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=555948 CPUtime=2805.34 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 364811 0 0 0 280396 138 0 0 25 0 4 0 523551854 569290752 91481 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 138987 91481 395 112 0 133952 0
[pid=5484/tid=5487] ppid=5481 vsize=555948 CPUtime=702.31 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 51692 0 0 0 70211 20 0 0 25 0 4 0 523551855 569290752 91481 33554432000 4194304 4650419 140735857521456 18446744073709551615 4328289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=555948 CPUtime=702.28 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 119061 0 0 0 70183 45 0 0 25 0 4 0 523551855 569290752 91481 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=555948 CPUtime=698.42 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 83220 0 0 0 69810 32 0 0 25 0 4 0 523551855 569290752 91481 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 555948

[startup+762.3 s]
/proc/loadavg: 8.26 7.69 5.89 9/188 5545
/proc/meminfo: memFree=30511320/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=672296 CPUtime=3045.02 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 385832 0 0 0 304355 147 0 0 25 0 4 0 523551854 688431104 100860 33554432000 4194304 4650419 140735857521456 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 168074 100860 395 112 0 163039 0
[pid=5484/tid=5487] ppid=5481 vsize=672296 CPUtime=762.32 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 51907 0 0 0 76212 20 0 0 25 0 4 0 523551855 688431104 100860 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=672296 CPUtime=762.28 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 125969 0 0 0 76179 49 0 0 25 0 4 0 523551855 688431104 100860 33554432000 4194304 4650419 140735857521456 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=672296 CPUtime=758.08 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 87759 0 0 0 75775 33 0 0 25 0 4 0 523551855 688431104 100860 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 672296

[startup+822.3 s]
/proc/loadavg: 8.16 7.76 6.03 9/188 5546
/proc/meminfo: memFree=30441512/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=609476 CPUtime=3284.68 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 407003 0 0 0 328312 156 0 0 25 0 4 0 523551854 624103424 104022 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 152369 104022 395 112 0 147334 0
[pid=5484/tid=5487] ppid=5481 vsize=609476 CPUtime=822.31 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 52168 0 0 0 82211 20 0 0 25 0 4 0 523551855 624103424 104022 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=609476 CPUtime=822.27 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 135464 0 0 0 82175 52 0 0 25 0 4 0 523551855 624103424 104022 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=609476 CPUtime=817.76 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 90535 0 0 0 81741 35 0 0 25 0 4 0 523551855 624103424 104022 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 609476

[startup+882.307 s]
/proc/loadavg: 8.23 7.84 6.16 9/188 5548
/proc/meminfo: memFree=30437988/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=622504 CPUtime=3524.37 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 423712 0 0 0 352275 162 0 0 25 0 4 0 523551854 637444096 97386 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 155626 97386 395 112 0 150591 0
[pid=5484/tid=5487] ppid=5481 vsize=622504 CPUtime=882.32 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 52236 0 0 0 88212 20 0 0 25 0 4 0 523551855 637444096 97386 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=622504 CPUtime=882.28 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 143536 0 0 0 88173 55 0 0 25 0 4 0 523551855 637444096 97386 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=622504 CPUtime=877.42 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 95074 0 0 0 87706 36 0 0 25 0 4 0 523551855 637444096 97386 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 622504

[startup+942.301 s]
/proc/loadavg: 8.14 7.89 6.28 9/188 5550
/proc/meminfo: memFree=30388080/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=622732 CPUtime=3764.02 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 443583 0 0 0 376233 169 0 0 25 0 4 0 523551854 637677568 98531 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 155683 98531 395 112 0 150648 0
[pid=5484/tid=5487] ppid=5481 vsize=622732 CPUtime=942.31 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 52304 0 0 0 94211 20 0 0 25 0 4 0 523551855 637677568 98531 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=622732 CPUtime=942.27 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 152740 0 0 0 94168 59 0 0 25 0 4 0 523551855 637677568 98531 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=622732 CPUtime=937.09 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 97610 0 0 0 93672 37 0 0 25 0 4 0 523551855 637677568 98531 33554432000 4194304 4650419 140735857521456 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 622732

[startup+1002.3 s]
/proc/loadavg: 8.23 7.97 6.41 9/188 5551
/proc/meminfo: memFree=30340160/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=609780 CPUtime=4003.69 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 463921 0 0 0 400192 177 0 0 25 0 4 0 523551854 624414720 101063 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 152445 101063 395 112 0 147410 0
[pid=5484/tid=5487] ppid=5481 vsize=609780 CPUtime=1002.32 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 52514 0 0 0 100211 21 0 0 25 0 4 0 523551855 624414720 101063 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=609780 CPUtime=1002.27 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 161955 0 0 0 100165 62 0 0 25 0 4 0 523551855 624414720 101063 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=609780 CPUtime=996.76 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 101099 0 0 0 99637 39 0 0 25 0 4 0 523551855 624414720 101063 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 609780

[startup+1062.3 s]
/proc/loadavg: 8.13 7.99 6.51 10/188 5553
/proc/meminfo: memFree=30269684/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=626144 CPUtime=4243.36 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 488896 0 0 0 424150 186 0 0 25 0 4 0 523551854 641171456 115433 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 156536 115433 395 112 0 151501 0
[pid=5484/tid=5487] ppid=5481 vsize=626144 CPUtime=1062.32 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 56371 0 0 0 106210 22 0 0 25 0 4 0 523551855 641171456 115433 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=626144 CPUtime=1062.28 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 169503 0 0 0 106161 67 0 0 25 0 4 0 523551855 641171456 115433 33554432000 4194304 4650419 140735857521456 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=626144 CPUtime=1056.43 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 108067 0 0 0 105603 40 0 0 25 0 4 0 523551855 641171456 115433 33554432000 4194304 4650419 140735857521456 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 626144

[startup+1122.3 s]
/proc/loadavg: 8.13 8.02 6.61 9/188 5554
/proc/meminfo: memFree=30246676/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=732160 CPUtime=4483.03 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 503156 0 0 0 448110 193 0 0 25 0 4 0 523551854 749731840 118348 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 183040 118348 395 112 0 178005 0
[pid=5484/tid=5487] ppid=5481 vsize=732160 CPUtime=1122.32 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 57265 0 0 0 112210 22 0 0 25 0 4 0 523551855 749731840 118348 33554432000 4194304 4650419 140735857521456 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=732160 CPUtime=1122.28 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 176008 0 0 0 112157 71 0 0 25 0 4 0 523551855 749731840 118348 33554432000 4194304 4650419 140735857521456 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=732160 CPUtime=1116.09 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 113198 0 0 0 111567 42 0 0 25 0 4 0 523551855 749731840 118348 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 732160

[startup+1182.3 s]
/proc/loadavg: 8.05 8.01 6.70 9/188 5556
/proc/meminfo: memFree=30243888/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=639604 CPUtime=4722.71 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 522836 0 0 0 472072 199 0 0 25 0 4 0 523551854 654954496 115865 33554432000 4194304 4650419 140735857521456 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 159901 115865 395 112 0 154866 0
[pid=5484/tid=5487] ppid=5481 vsize=639604 CPUtime=1182.33 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 57520 0 0 0 118210 23 0 0 25 0 4 0 523551855 654954496 115865 33554432000 4194304 4650419 140735857521456 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=639604 CPUtime=1182.28 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 185353 0 0 0 118155 73 0 0 25 0 4 0 523551855 654954496 115865 33554432000 4194304 4650419 140735857521456 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=639604 CPUtime=1175.77 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 115239 0 0 0 117534 43 0 0 25 0 4 0 523551855 654954496 115865 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 639604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.30 8.07 6.75 9/188 5557
/proc/meminfo: memFree=30219936/32951124 swapFree=67111336/67111528
[pid=5484] ppid=5481 vsize=687940 CPUtime=4800.22 cores=0,2,4,6
/proc/5484/stat : 5484 (strangenight1-m) R 5481 5484 4943 0 -1 4202496 526891 0 0 0 479821 201 0 0 25 0 4 0 523551854 704450560 116569 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5484/statm: 171985 116569 395 112 0 166950 0
[pid=5484/tid=5487] ppid=5481 vsize=687940 CPUtime=1201.73 cores=0,2,4,6
/proc/5484/task/5487/stat : 5487 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 57778 0 0 0 120150 23 0 0 25 0 4 0 523551855 704450560 116569 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5484/tid=5490] ppid=5481 vsize=687940 CPUtime=1201.68 cores=0,2,4,6
/proc/5484/task/5490/stat : 5490 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 187125 0 0 0 120094 74 0 0 25 0 4 0 523551855 704450560 116569 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5484/tid=5492] ppid=5481 vsize=687940 CPUtime=1195.06 cores=0,2,4,6
/proc/5484/task/5492/stat : 5492 (strangenight1-m) R 5481 5484 4943 0 -1 4202560 115403 0 0 0 119463 43 0 0 25 0 4 0 523551855 704450560 116569 33554432000 4194304 4650419 140735857521456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 687940

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.27
CPU user time (s): 4798.23
CPU system time (s): 2.03569
CPU usage (%): 399.445
Max. virtual memory (cumulated for all children) (KiB): 780720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.23
system time used= 2.03569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526894
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= 231
involuntary context switches= 89721

runsolver used 1.86972 second user time and 4.69129 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-30 01:25:40
IDJOB=3175338
IDBENCH=82956
IDSOLVER=1588
FILE ID=node133/3175338-1304119540
RUNJOBID= node133-1304119540-5467
PBS_JOBID= 13170705
Free space on /tmp= 71896 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175338-1304119540/watcher-3175338-1304119540 -o /tmp/evaluation-result-3175338-1304119540/solver-3175338-1304119540 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175338-1304119540.cnf

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

MD5SUM BENCH= 12dd7af6f21831da932d15cd8d1054f3
RANDOM SEED=1225127057

node133.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.834
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.66
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.834
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.834
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.82
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.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30982128 kB
Buffers:        503980 kB
Cached:        1058044 kB
SwapCached:        124 kB
Active:         133292 kB
Inactive:      1492048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30982128 kB
SwapTotal:    67111528 kB
SwapFree:     67111336 kB
Dirty:           12500 kB
Writeback:           0 kB
AnonPages:       63148 kB
Mapped:          14500 kB
Slab:           279900 kB
PageTables:       4852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189344 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71884 MiB
End job on node133 at 2011-04-30 01:45:43