Trace number 3174152

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-mt? (TO) 4800.29 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf
MD5SUM594a31b95a871970fa7797f18ebcd756
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.017996
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 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-3174152-1304105512.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.00
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.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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     293 undec:      62 neg:     295
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       632      2752         0         0      8370         0   no data   no data
0.37/0.17	c  N dy    17      4996       632      2752         0      4952      8370    134049     18.04     19.01
1.17/0.32	c  N dy    35      9045       632      2752         0      6486      8370    147918     17.77     19.65
1.98/0.52	c  N dy    58     13879       632      2752         0      7076      8370    136466     17.89     18.99
2.78/0.71	c  N dy    77     17923       632      2752         0     11096      8370    244378     17.95     19.09
3.18/0.90	c  N dy    98     21928       632      2752         0      9487      8370    175977     17.94     20.15
3.99/1.06	c  F st   116     25002       632      2752         0     12533      8370    256367     18.04   no data
4.39/1.13	c  N st   119     26189       632      2752         0      6954      8370     83957     18.04   no data
5.17/1.32	c  S st   122     30000       632      2752         0     10727      8370    193560     18.04   no data
5.17/1.35	c  S st   122     30505       632      2752         0     11232      8370    206032     18.04   no data
5.17/1.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.35	c blocked clauses removed:        0 vars:      0 tried:         632 T: 0.00 s
5.17/1.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
5.17/1.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.17/1.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.39	c lits-rem:        95  cl-subs:       75  v-elim:      0  v-fix:    0  time:  0.03 s
5.57/1.40	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N dy   122     30505       632      2752         0     11157      8370    203082     18.04   no data
6.37/1.64	c  N dy   147     34595       632      2752         0     15211      8370    308588     18.10     19.35
7.57/1.97	c  N dy   166     40564       632      2752         0     13277      8370    229056     18.01     18.96
8.78/2.24	c  N dy   180     44597       632      2752         0     17271      8370    335779     17.95     20.27
9.16/2.31	c  S st   188     45758       632      2752         0      9561      8370    109588     17.95   no data
9.16/2.34	c  S st   188     46262       632      2752         0     10065      8370    122255     17.95   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.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.34	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:    632 time:  0.00 s
9.16/2.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.16/2.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  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.36	c lits-rem:        13  cl-subs:       23  v-elim:      0  v-fix:    0  time:  0.01 s
9.16/2.36	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
9.16/2.36	c vivif2 --  cl tried    10042 cl shrink        0 lits rem          0 time: 0.00
9.16/2.37	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
9.16/2.37	c calculated reachability. Time: 0.00
9.16/2.37	c  N dy   188     46262       632      2752         0     10042      8370    121555     17.95   no data
10.36/2.61	c  N dy   205     50448       632      2752         0     14188      8370    229108     17.93     18.94
11.16/2.88	c  N dy   221     54504       632      2752         0     18198      8370    336490     17.90     19.08
12.36/3.14	c  N dy   240     58597       632      2752         0     12358      8370    165742     17.91     18.86
13.18/3.39	c  N dy   264     62629       632      2752         0     16358      8370    271695     17.95     19.05
14.75/3.74	c  N dy   273     67116       632      2752         0     20813      8370    389836     17.88     19.23
15.55/3.91	c  S st   286     69396       632      2752         0     12184      8370    137577     17.92     18.22
15.55/3.94	c  S st   286     69897       632      2752         0     12685      8370    151187     17.92   no data
15.55/3.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
15.55/3.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.55/3.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.96	c lits-rem:         9  cl-subs:       41  v-elim:      0  v-fix:    0  time:  0.01 s
15.55/3.96	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
15.55/3.96	c vivif2 --  cl tried    12644 cl shrink        0 lits rem          0 time: 0.00
15.55/3.97	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
15.55/3.97	c calculated reachability. Time: 0.00
15.55/3.97	c  N dy   286     69897       632      2752         0     12644      8370    149765     17.92   no data
16.75/4.27	c  N dy   310     74486       632      2752         0     17187      8370    268493     17.96     19.03
18.35/4.69	c  N dy   325     79682       632      2752         0     22338      8370    402822     17.91     18.90
19.96/5.05	c  N dy   337     84781       632      2752         0     15489      8370    204186     17.88     18.84
20.76/5.23	c  F st   348     87500       632      2752         0     18182      8370    272404     17.86     16.31
21.57/5.48	c  N st   353     90800       632      2752         0     21438      8370    360287     17.86   no data
22.35/5.63	c Decided on static restart strategy
24.35/6.15	c  N st   356     99809       632      2752         0     17486      8370    375298     17.86   no data
25.96/6.53	c  S st   357    104846       632      2752         0     22465      8370    525781     17.86   no data
25.96/6.59	c  S st   357    105350       632      2752         0     22969      8370    539345     17.86   no data
25.96/6.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.96/6.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.96/6.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.96/6.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.96/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.96/6.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
25.96/6.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.36/6.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.36/6.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.15/6.82	c lits-rem:       146  cl-subs:      723  v-elim:      0  v-fix:    0  time:  0.20 s
27.15/6.82	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
27.15/6.82	c vivif2 --  cl tried    22246 cl shrink        0 lits rem          0 time: 0.01
27.15/6.84	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
27.15/6.84	c calculated reachability. Time: 0.00
27.15/6.84	c  N st   357    105350       632      2752         0     22246      8370    514798     17.86   no data
30.35/7.65	c  N st   358    114949       632      2752         0     17948      8370    361877     17.86   no data
35.16/8.88	c  N st   359    129346       632      2752         0     17386      8370    342304     17.86   no data
43.13/10.90	c  N st   360    150942       632      2752         0     22969      8370    494861     17.86   no data
46.32/11.68	c  S st   361    158026       632      2752         0     29938      8370    704826     17.86   no data
46.72/11.75	c  S st   361    158535       632      2752         0     30447      8370    717000     17.86   no data
46.72/11.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.72/11.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.72/11.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.72/11.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.72/11.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.72/11.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
46.72/11.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.72/11.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.12/11.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.71/12.26	c lits-rem:       221  cl-subs:     1107  v-elim:      0  v-fix:    0  time:  0.46 s
48.71/12.26	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
48.71/12.27	c vivif2 --  cl tried    29340 cl shrink        0 lits rem          0 time: 0.01
48.71/12.29	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.02
48.71/12.29	c calculated reachability. Time: 0.00
48.71/12.29	c  N st   361    158535       632      2752         0     29340      8370    680695     17.86   no data
71.09/17.82	c  N st   362    207124       632      2752         0     23868      8370    451805     17.86   no data
85.47/21.44	c  N st   363    237803       632      2752         0     34396      8370    756499     17.86   no data
85.47/21.44	c  S st   363    237803       632      2752         0     34396      8370    756499     17.86   no data
85.87/21.53	c  S st   363    238308       632      2752         0     34900      8370    769464     17.86   no data
85.87/21.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.87/21.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.87/21.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.87/21.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.87/21.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.87/21.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
85.87/21.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.87/21.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.87/21.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.66/22.26	c lits-rem:       268  cl-subs:     1264  v-elim:      0  v-fix:    0  time:  0.68 s
88.66/22.26	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
88.66/22.27	c vivif2 --  cl tried    33636 cl shrink        0 lits rem          0 time: 0.01
88.66/22.29	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.02
88.66/22.29	c calculated reachability. Time: 0.00
88.66/22.29	c  N st   363    238308       632      2752         0     33636      8370    730699     17.86   no data
125.41/31.46	c  F st   364    306253       632      2752         0     35483      8370    711839     17.86   no data
125.41/31.46	c  N st   364    306253       632      2752         0     35483      8370    711839     17.86   no data
128.21/32.18	c Decided on static restart strategy
139.80/35.06	c  N st   374    334558       632      2752         0     39799      8370    817187     17.86   no data
151.77/38.04	c  N st   376    357464       632      2752         0     37742      8370    712726     17.86   no data
151.77/38.04	c  S st   376    357464       632      2752         0     37742      8370    712726     17.86   no data
152.17/38.13	c  S st   376    357969       632      2752         0     38247      8370    725711     17.86   no data
152.17/38.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
152.17/38.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
152.17/38.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.17/38.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.17/38.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.17/38.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
152.17/38.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
152.17/38.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
152.17/38.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.17/38.61	c lits-rem:       158  cl-subs:     1127  v-elim:      0  v-fix:    0  time:  0.43 s
154.17/38.61	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
154.17/38.62	c vivif2 --  cl tried    37120 cl shrink        0 lits rem          0 time: 0.01
154.17/38.65	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.03
154.17/38.65	c calculated reachability. Time: 0.00
154.17/38.65	c  N st   376    357969       632      2752         0     37120      8370    689294     17.86   no data
172.55/43.26	c  N st   377    390361       632      2752         0     43305      8370    848985     17.86   no data
202.12/50.64	c  N st   378    438949       632      2752         0     36920      8370    598717     17.86   no data
246.07/61.62	c  N st   379    511832       632      2752         0     50652      8370    984590     17.86   no data
259.63/65.00	c  N st   380    536956       632      2752         0     44986      8370    818872     17.86   no data
259.63/65.00	c  S st   380    536956       632      2752         0     44986      8370    818872     17.86   no data
260.03/65.11	c  S st   380    537461       632      2752         0     45490      8370    831733     17.86   no data
260.03/65.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.03/65.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
260.03/65.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.03/65.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.03/65.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.03/65.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
260.03/65.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
260.03/65.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
260.03/65.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.83/65.84	c lits-rem:       188  cl-subs:     1220  v-elim:      0  v-fix:    0  time:  0.67 s
262.83/65.84	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
262.83/65.85	c vivif2 --  cl tried    44270 cl shrink        0 lits rem          0 time: 0.01
262.83/65.89	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.04
262.83/65.89	c calculated reachability. Time: 0.00
262.83/65.89	c  N st   380    537461       632      2752         0     44270      8370    793406     17.86   no data
380.67/95.34	c  N st   381    701445       632      2752         0     38230      8370    501519     17.86   no data
461.75/115.68	c  N st   382    806191       632      2752         0     67471      8370   1411703     17.86   no data
461.75/115.68	c  S st   382    806191       632      2752         0     67471      8370   1411703     17.86   no data
462.55/115.88	c  S st   382    806692       632      2752         0     67970      8370   1425798     17.86   no data
462.55/115.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
462.95/115.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
462.95/115.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
462.95/115.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.95/115.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.95/115.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
462.95/115.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
462.95/115.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
462.95/115.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
481.33/120.53	c lits-rem:       714  cl-subs:     2977  v-elim:      0  v-fix:    0  time:  4.55 s
481.33/120.53	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
481.33/120.55	c vivif2 --  cl tried    64993 cl shrink        0 lits rem          0 time: 0.02
481.73/120.61	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.06
481.73/120.61	c calculated reachability. Time: 0.00
481.73/120.61	c  N st   382    806692       632      2752         0     64993      8370   1326511     17.86   no data
703.05/176.03	c  F st   383   1071875       632      2752         0     80991      8370   1744396     17.86   no data
703.05/176.03	c  N st   383   1071875       632      2752         0     80991      8370   1744396     17.86   no data
709.02/177.54	c Decided on static restart strategy
729.01/182.50	c  N st   393   1100178       632      2752         0     64665      8370   1084357     17.86   no data
763.35/191.11	c  N st   395   1136173       632      2752         0     54888      8370    780572     17.86   no data
794.10/198.89	c  N st   396   1168569       632      2752         0     86612      8370   1650182     17.86   no data
830.07/207.85	c  N st   397   1210039       632      2752         0     81253      8370   1515498     17.86   no data
830.07/207.85	c  S st   397   1210039       632      2752         0     81253      8370   1515498     17.86   no data
830.86/208.08	c  S st   397   1210548       632      2752         0     81760      8370   1528887     17.86   no data
830.86/208.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
831.26/208.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
831.26/208.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
831.26/208.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
831.26/208.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
831.26/208.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
831.26/208.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
831.26/208.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
831.65/208.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
845.63/211.77	c lits-rem:       479  cl-subs:     2741  v-elim:      0  v-fix:    0  time:  3.57 s
845.63/211.77	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
845.63/211.79	c vivif2 --  cl tried    79019 cl shrink        0 lits rem          0 time: 0.02
846.03/211.87	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.08
846.03/211.87	c calculated reachability. Time: 0.00
846.03/211.87	c  N st   397   1210548       632      2752         0     79019      8370   1450746     17.86   no data
930.72/233.01	c  N st   398   1283431       632      2752         0     55201      8370    714078     17.86   no data
1041.77/260.87	c  N st   399   1392755       632      2752         0     63374      8370    906378     17.86   no data
1215.93/304.49	c  N st   400   1556739       632      2752         0     67979      8370    993233     17.86   no data
1388.88/347.76	c  N st   401   1710548       632      2752         0    109705      8370   2080945     17.86   no data
1388.88/347.76	c  S st   401   1710548       632      2752         0    109705      8370   2080945     17.86   no data
1390.08/348.09	c  S st   401   1711053       632      2752         0    110210      8370   2094226     17.86   no data
1390.48/348.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1390.48/348.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1390.48/348.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1390.48/348.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1390.48/348.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1390.48/348.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
1390.48/348.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1390.48/348.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1390.88/348.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.02/360.52	c lits-rem:       659  cl-subs:     7742  v-elim:      0  v-fix:    0  time: 12.27 s
1440.02/360.52	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
1440.02/360.55	c vivif2 --  cl tried   102468 cl shrink        0 lits rem          0 time: 0.03
1440.42/360.66	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.11
1440.42/360.66	c calculated reachability. Time: 0.00
1440.42/360.66	c  N st   401   1711053       632      2752         0    102468      8370   1912823     17.86   no data
1881.82/471.17	c  N st   402   2080017       632      2752         0    114520      8370   2226810     17.86   no data
2054.78/514.44	c  N st   403   2211056       632      2752         0    118432      8370   2261883     17.86   no data
2054.78/514.44	c  S st   403   2211056       632      2752         0    118432      8370   2261883     17.86   no data
2056.00/514.80	c  S st   403   2211559       632      2752         0    118935      8370   2275549     17.86   no data
2056.40/514.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2056.40/514.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2056.40/514.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2056.40/514.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2056.40/514.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2056.40/514.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
2056.40/514.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2056.78/514.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2056.78/514.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2119.09/530.54	c lits-rem:       613  cl-subs:     7354  v-elim:      0  v-fix:    0  time: 15.57 s
2119.09/530.54	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
2119.09/530.57	c vivif2 --  cl tried   111581 cl shrink        0 lits rem          0 time: 0.03
2119.89/530.70	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.13
2119.89/530.70	c calculated reachability. Time: 0.00
2119.89/530.70	c  N st   403   2211559       632      2752         0    111581      8370   2085981     17.86   no data
2777.39/695.34	c  N st   404   2711560       632      2752         0    135403      8370   2756996     17.86   no data
2777.39/695.34	c  S st   404   2711560       632      2752         0    135403      8370   2756996     17.86   no data
2778.99/695.77	c  S st   404   2712062       632      2752         0    135905      8370   2771011     17.86   no data
2778.99/695.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2779.38/695.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2779.38/695.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2779.38/695.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2779.38/695.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2779.38/695.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
2779.38/695.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2779.38/695.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2779.78/695.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2859.68/715.94	c lits-rem:       971  cl-subs:     7030  v-elim:      0  v-fix:    0  time: 19.96 s
2859.68/715.94	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
2859.68/715.98	c vivif2 --  cl tried   128875 cl shrink        0 lits rem          0 time: 0.04
2860.50/716.13	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.15
2860.50/716.13	c calculated reachability. Time: 0.00
2860.50/716.13	c  N st   404   2712062       632      2752         0    128875      8370   2582608     17.86   no data
3619.43/906.11	c  N st   405   3212063       632      2752         0    105239      8370   1712592     17.86   no data
3619.43/906.11	c  S st   405   3212063       632      2752         0    105239      8370   1712592     17.86   no data
3620.65/906.41	c  S st   405   3212567       632      2752         0    105743      8370   1726881     17.86   no data
3620.65/906.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3620.65/906.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3620.65/906.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3620.65/906.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3620.65/906.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3620.65/906.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
3620.65/906.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3621.03/906.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3621.03/906.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3639.41/911.10	c lits-rem:       363  cl-subs:     2989  v-elim:      0  v-fix:    0  time:  4.54 s
3639.41/911.10	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
3639.41/911.13	c vivif2 --  cl tried   102754 cl shrink        0 lits rem          0 time: 0.03
3639.81/911.23	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.11
3639.81/911.24	c calculated reachability. Time: 0.00
3639.81/911.24	c  N st   405   3212567       632      2752         0    102754      8370   1635732     17.86   no data
4465.48/1117.91	c  N st   406   3712568       632      2752         0    113131      8370   1799954     17.86   no data
4465.48/1117.91	c  S st   406   3712568       632      2752         0    113131      8370   1799954     17.86   no data
4466.68/1118.24	c  S st   406   3713070       632      2752         0    113633      8370   1813392     17.86   no data
4466.68/1118.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4467.08/1118.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4467.08/1118.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4467.08/1118.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4467.08/1118.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4467.08/1118.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
4467.08/1118.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4467.08/1118.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4467.08/1118.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4491.04/1124.39	c lits-rem:       396  cl-subs:     3624  v-elim:      0  v-fix:    0  time:  6.00 s
4491.04/1124.39	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
4491.44/1124.42	c vivif2 --  cl tried   110009 cl shrink        0 lits rem          0 time: 0.03
4491.84/1124.54	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.12
4491.84/1124.54	c calculated reachability. Time: 0.00
4491.84/1124.54	c  N st   406   3713070       632      2752         0    110009      8370   1702837     17.86   no data
4561.34/1141.93	c  F st   407   3751563       632      2752         0    147792      8370   2801707     17.86   no data
4561.34/1141.93	c  N st   407   3751563       632      2752         0    147792      8370   2801707     17.86   no data
4572.14/1144.61	c Decided on static restart strategy
4612.49/1154.76	c  N st   417   3779868       632      2752         0     92203      8370   1085966     17.86   no data
4675.59/1170.56	c  N st   419   3815861       632      2752         0    127493      8370   2127570     17.86   no data
4735.92/1185.66	c  N st   420   3848255       632      2752         0    159268      8370   3044025     17.86   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-3174152-1304105512/watcher-3174152-1304105512 -o /tmp/evaluation-result-3174152-1304105512/solver-3174152-1304105512 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174152-1304105512.cnf 

running on 4 cores: 1,3,5,7

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.14 8.03 7.42 2/173 9727
/proc/meminfo: memFree=30991896/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 414 0 0 0 0 0 0 0 23 0 4 0 522150859 52441088 353 33554432000 4194304 4627427 140736089959856 18446744073709551615 47968677316530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 12803 353 303 106 0 7774 0
[pid=9727/tid=9728] ppid=9725 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 522150859 52441088 353 33554432000 4194304 4627427 140736089959856 18446744073709551615 47968677316524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 4 0 522150859 52441088 357 33554432000 4194304 4627427 140736089959856 18446744073709551615 47968677316112 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=116748 CPUtime=0 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 4 0 522150859 119549952 367 33554432000 4194304 4627427 140736089959856 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0959749 s]
/proc/loadavg: 8.14 8.03 7.42 2/173 9727
/proc/meminfo: memFree=30991896/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=282424 CPUtime=0.35 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 1844 0 0 0 35 0 0 0 24 0 4 0 522150859 289202176 1717 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 70606 1717 384 106 0 65577 0
[pid=9727/tid=9728] ppid=9725 vsize=282424 CPUtime=0.08 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 378 0 0 0 8 0 0 0 25 0 4 0 522150859 289202176 1717 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=282424 CPUtime=0.08 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 388 0 0 0 8 0 0 0 25 0 4 0 522150859 289202176 1717 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=282424 CPUtime=0.08 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 285 0 0 0 8 0 0 0 25 0 4 0 522150859 289202176 1717 33554432000 4194304 4627427 140736089959856 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 282424

[startup+0.100973 s]
/proc/loadavg: 8.14 8.03 7.42 2/173 9727
/proc/meminfo: memFree=30991896/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=282424 CPUtime=0.37 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 1861 0 0 0 37 0 0 0 24 0 4 0 522150859 289202176 1734 33554432000 4194304 4627427 140736089959856 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 70606 1734 384 106 0 65577 0
[pid=9727/tid=9728] ppid=9725 vsize=282424 CPUtime=0.09 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 383 0 0 0 9 0 0 0 25 0 4 0 522150859 289202176 1734 33554432000 4194304 4627427 140736089959856 18446744073709551615 4332288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=282424 CPUtime=0.09 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 392 0 0 0 9 0 0 0 25 0 4 0 522150859 289202176 1734 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=282424 CPUtime=0.09 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 289 0 0 0 9 0 0 0 25 0 4 0 522150859 289202176 1734 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282424

[startup+0.300939 s]
/proc/loadavg: 8.14 8.03 7.42 2/173 9727
/proc/meminfo: memFree=30991896/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=284056 CPUtime=1.17 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 3027 0 0 0 117 0 0 0 25 0 4 0 522150859 290873344 2242 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 71014 2243 385 106 0 65985 0
[pid=9727/tid=9728] ppid=9725 vsize=284056 CPUtime=0.29 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 679 0 0 0 29 0 0 0 25 0 4 0 522150859 290873344 2243 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=284056 CPUtime=0.29 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 681 0 0 0 29 0 0 0 25 0 4 0 522150859 290873344 2243 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=284056 CPUtime=0.29 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 591 0 0 0 29 0 0 0 25 0 4 0 522150859 290873344 2243 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284056

[startup+0.700874 s]
/proc/loadavg: 8.14 8.03 7.42 2/173 9727
/proc/meminfo: memFree=30991896/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=284824 CPUtime=2.78 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 4679 0 0 0 277 1 0 0 25 0 4 0 522150859 291659776 2898 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 71206 2898 385 106 0 66177 0
[pid=9727/tid=9728] ppid=9725 vsize=284824 CPUtime=0.68 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 1089 0 0 0 68 0 0 0 25 0 4 0 522150859 291659776 2898 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=284824 CPUtime=0.68 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 1064 0 0 0 68 0 0 0 25 0 4 0 522150859 291659776 2898 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=284824 CPUtime=0.69 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 1035 0 0 0 69 0 0 0 25 0 4 0 522150859 291659776 2899 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284824

[startup+1.50074 s]
/proc/loadavg: 7.88 7.98 7.40 6/177 9737
/proc/meminfo: memFree=30982892/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=286108 CPUtime=5.97 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 9199 0 0 0 595 2 0 0 25 0 4 0 522150859 292974592 4551 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 71527 4551 389 106 0 66498 0
[pid=9727/tid=9728] ppid=9725 vsize=286108 CPUtime=1.48 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 1937 0 0 0 148 0 0 0 25 0 4 0 522150859 292974592 4551 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=286108 CPUtime=1.48 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 1802 0 0 0 148 0 0 0 25 0 4 0 522150859 292974592 4551 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=286108 CPUtime=1.48 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 1916 0 0 0 148 0 0 0 25 0 4 0 522150859 292974592 4551 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286108

[startup+3.10048 s]
/proc/loadavg: 7.88 7.98 7.40 11/182 9761
/proc/meminfo: memFree=30960136/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=273784 CPUtime=12.36 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 18891 0 0 0 1232 4 0 0 25 0 4 0 522150859 280354816 11022 33554432000 4194304 4627427 140736089959856 18446744073709551615 4330958 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 68446 11022 389 106 0 63417 0
[pid=9727/tid=9728] ppid=9725 vsize=273784 CPUtime=3.07 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 4214 0 0 0 307 0 0 0 25 0 4 0 522150859 280354816 11022 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=273784 CPUtime=3.09 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 4994 0 0 0 308 1 0 0 25 0 4 0 522150859 280354816 11022 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=273784 CPUtime=3.09 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 4986 0 0 0 308 1 0 0 25 0 4 0 522150859 280354816 11022 33554432000 4194304 4627427 140736089959856 18446744073709551615 4338620 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 273784

[startup+6.30093 s]
/proc/loadavg: 7.97 7.99 7.41 9/182 9761
/proc/meminfo: memFree=30885540/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=282976 CPUtime=25.14 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 29102 0 0 0 2508 6 0 0 25 0 4 0 522150859 289767424 14809 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308640 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 70744 14809 390 106 0 65715 0
[pid=9727/tid=9728] ppid=9725 vsize=282976 CPUtime=6.26 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 8044 0 0 0 625 1 0 0 25 0 4 0 522150859 289767424 14809 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=282976 CPUtime=6.29 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 7259 0 0 0 627 2 0 0 25 0 4 0 522150859 289767424 14809 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=282976 CPUtime=6.28 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 7247 0 0 0 627 1 0 0 25 0 4 0 522150859 289767424 14809 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 282976

[startup+12.7009 s]
/proc/loadavg: 7.98 7.99 7.41 9/182 9761
/proc/meminfo: memFree=30797964/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=306460 CPUtime=50.71 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 46152 0 0 0 5062 9 0 0 25 0 4 0 522150859 313815040 24712 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 76615 24712 390 106 0 71586 0
[pid=9727/tid=9728] ppid=9725 vsize=306460 CPUtime=12.62 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 12172 0 0 0 1260 2 0 0 25 0 4 0 522150859 313815040 24712 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=306460 CPUtime=12.68 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 9459 0 0 0 1266 2 0 0 25 0 4 0 522150859 313815040 24712 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=306460 CPUtime=12.69 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 10856 0 0 0 1267 2 0 0 25 0 4 0 522150859 313815040 24712 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 306460

[startup+25.5007 s]
/proc/loadavg: 7.98 7.99 7.42 9/182 9761
/proc/meminfo: memFree=30730256/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=316820 CPUtime=101.84 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 63593 0 0 0 10171 13 0 0 25 0 4 0 522150859 324423680 31692 33554432000 4194304 4627427 140736089959856 18446744073709551615 4329746 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 79205 31692 389 106 0 74176 0
[pid=9727/tid=9728] ppid=9725 vsize=316820 CPUtime=25.36 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 15783 0 0 0 2533 3 0 0 25 0 4 0 522150859 324423680 31692 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=316820 CPUtime=25.49 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 13464 0 0 0 2546 3 0 0 25 0 4 0 522150859 324423680 31692 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=316820 CPUtime=25.49 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 13542 0 0 0 2546 3 0 0 25 0 4 0 522150859 324423680 31692 33554432000 4194304 4627427 140736089959856 18446744073709551615 4329733 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 316820

[startup+51.1004 s]
/proc/loadavg: 8.12 8.02 7.45 9/182 9762
/proc/meminfo: memFree=30683776/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=320480 CPUtime=204.11 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 86735 0 0 0 20390 21 0 0 25 0 4 0 522150859 328171520 39013 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 80120 39013 389 106 0 75091 0
[pid=9727/tid=9728] ppid=9725 vsize=320480 CPUtime=50.82 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 18098 0 0 0 5078 4 0 0 25 0 4 0 522150859 328171520 39013 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=320480 CPUtime=51.08 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 19020 0 0 0 5104 4 0 0 25 0 4 0 522150859 328171520 39013 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=320480 CPUtime=51.08 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 18762 0 0 0 5103 5 0 0 25 0 4 0 522150859 328171520 39013 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 320480

[startup+102.307 s]
/proc/loadavg: 8.20 8.05 7.48 9/182 9763
/proc/meminfo: memFree=30607984/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=321476 CPUtime=408.65 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 127176 0 0 0 40828 37 0 0 25 0 4 0 522150859 329191424 45703 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 80369 45703 389 106 0 75340 0
[pid=9727/tid=9728] ppid=9725 vsize=321476 CPUtime=101.74 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 27861 0 0 0 10166 8 0 0 25 0 4 0 522150859 329191424 45703 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=321476 CPUtime=102.29 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 26487 0 0 0 10222 7 0 0 25 0 4 0 522150859 329191424 45703 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=321476 CPUtime=102.29 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 27536 0 0 0 10220 9 0 0 25 0 4 0 522150859 329191424 45703 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 321476

[startup+162.301 s]

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

[pid=9727] ppid=9725 vsize=656812 CPUtime=2805.35 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 361051 0 0 0 280394 141 0 0 25 0 4 0 522150859 672575488 110920 33554432000 4194304 4627427 140736089959856 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 164203 110920 389 106 0 159174 0
[pid=9727/tid=9728] ppid=9725 vsize=656812 CPUtime=698.44 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 58960 0 0 0 69822 22 0 0 25 0 4 0 522150859 672575488 110920 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=656812 CPUtime=702.3 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 95824 0 0 0 70189 41 0 0 25 0 4 0 522150859 672575488 110920 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=656812 CPUtime=702.29 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 93180 0 0 0 70191 38 0 0 25 0 4 0 522150859 672575488 110920 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 656812

[startup+762.307 s]
/proc/loadavg: 8.19 8.13 7.80 9/182 9781
/proc/meminfo: memFree=30104540/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=656916 CPUtime=3045.04 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 380878 0 0 0 304353 151 0 0 25 0 4 0 522150859 672681984 121792 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 164229 121792 389 106 0 159200 0
[pid=9727/tid=9728] ppid=9725 vsize=656916 CPUtime=758.11 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 59228 0 0 0 75789 22 0 0 25 0 4 0 522150859 672681984 121792 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=656916 CPUtime=762.3 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 104128 0 0 0 76185 45 0 0 25 0 4 0 522150859 672681984 121792 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=656916 CPUtime=762.3 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 98592 0 0 0 76189 41 0 0 25 0 4 0 522150859 672681984 121792 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 656916

[startup+822.301 s]
/proc/loadavg: 8.07 8.11 7.81 9/182 9783
/proc/meminfo: memFree=30091740/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=664848 CPUtime=3284.7 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 399645 0 0 0 328309 161 0 0 25 0 4 0 522150859 680804352 122683 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 166212 122683 389 106 0 161183 0
[pid=9727/tid=9728] ppid=9725 vsize=664848 CPUtime=817.78 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 61330 0 0 0 81754 24 0 0 25 0 4 0 522150859 680804352 122683 33554432000 4194304 4627427 140736089959856 18446744073709551615 4310574 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=664848 CPUtime=822.3 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 111678 0 0 0 82181 49 0 0 25 0 4 0 522150859 680804352 122683 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=664848 CPUtime=822.29 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 103067 0 0 0 82186 43 0 0 25 0 4 0 522150859 680804352 122683 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 664848

[startup+882.301 s]
/proc/loadavg: 8.17 8.13 7.83 9/182 9784
/proc/meminfo: memFree=30078192/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=664960 CPUtime=3524.36 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 418487 0 0 0 352265 171 0 0 25 0 4 0 522150859 680919040 126096 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 166240 126096 389 106 0 161211 0
[pid=9727/tid=9728] ppid=9725 vsize=664960 CPUtime=877.44 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 61536 0 0 0 87720 24 0 0 25 0 4 0 522150859 680919040 126096 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=664960 CPUtime=882.3 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 119034 0 0 0 88177 53 0 0 25 0 4 0 522150859 680919040 126096 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=664960 CPUtime=882.3 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 107814 0 0 0 88184 46 0 0 25 0 4 0 522150859 680919040 126096 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 664960

[startup+942.301 s]
/proc/loadavg: 8.17 8.13 7.85 9/182 9786
/proc/meminfo: memFree=30009964/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=783692 CPUtime=3764.04 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 440640 0 0 0 376223 181 0 0 25 0 4 0 522150859 802500608 129913 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 195923 129913 389 106 0 190894 0
[pid=9727/tid=9728] ppid=9725 vsize=783692 CPUtime=937.11 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 62448 0 0 0 93687 24 0 0 25 0 4 0 522150859 802500608 129913 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=783692 CPUtime=942.3 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 126352 0 0 0 94173 57 0 0 25 0 4 0 522150859 802500608 129913 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=783692 CPUtime=942.3 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 116824 0 0 0 94181 49 0 0 25 0 4 0 522150859 802500608 129913 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 783692

[startup+1002.3 s]
/proc/loadavg: 8.13 8.12 7.86 9/182 9787
/proc/meminfo: memFree=29914828/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=731752 CPUtime=4003.71 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 464321 0 0 0 400179 192 0 0 25 0 4 0 522150859 749314048 146918 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308366 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 182938 146918 389 106 0 177909 0
[pid=9727/tid=9728] ppid=9725 vsize=731752 CPUtime=996.79 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 63108 0 0 0 99654 25 0 0 25 0 4 0 522150859 749314048 146918 33554432000 4194304 4627427 140736089959856 18446744073709551615 4310120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=731752 CPUtime=1002.3 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 135855 0 0 0 100170 60 0 0 25 0 4 0 522150859 749314048 146918 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=731752 CPUtime=1002.3 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 123850 0 0 0 100177 53 0 0 25 0 4 0 522150859 749314048 146918 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 731752

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 7.87 9/182 9789
/proc/meminfo: memFree=29947028/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=837852 CPUtime=4243.38 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 479340 0 0 0 424139 199 0 0 25 0 4 0 522150859 857960448 140013 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 209463 140013 389 106 0 204434 0
[pid=9727/tid=9728] ppid=9725 vsize=837852 CPUtime=1056.46 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 63953 0 0 0 105620 26 0 0 25 0 4 0 522150859 857960448 140013 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=837852 CPUtime=1062.3 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 143326 0 0 0 106167 63 0 0 25 0 4 0 522150859 857960448 140013 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=837852 CPUtime=1062.3 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 127688 0 0 0 106175 55 0 0 25 0 4 0 522150859 857960448 140013 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 837852

[startup+1122.3 s]
/proc/loadavg: 8.16 8.12 7.89 9/182 9791
/proc/meminfo: memFree=29860948/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=786832 CPUtime=4483.05 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 497794 0 0 0 448095 210 0 0 25 0 4 0 522150859 805715968 148290 33554432000 4194304 4627427 140736089959856 18446744073709551615 4420116 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 196708 148290 389 106 0 191679 0
[pid=9727/tid=9728] ppid=9725 vsize=786832 CPUtime=1116.13 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 64689 0 0 0 111587 26 0 0 25 0 4 0 522150859 805715968 148290 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=786832 CPUtime=1122.3 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 150170 0 0 0 112163 67 0 0 25 0 4 0 522150859 805715968 148290 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=786832 CPUtime=1122.3 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 132329 0 0 0 112172 58 0 0 25 0 4 0 522150859 805715968 148290 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 786832

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 7.91 9/182 9792
/proc/meminfo: memFree=29930228/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=787752 CPUtime=4722.73 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 511731 0 0 0 472056 217 0 0 25 0 4 0 522150859 806658048 143250 33554432000 4194304 4627427 140736089959856 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 196938 143250 389 106 0 191909 0
[pid=9727/tid=9728] ppid=9725 vsize=787752 CPUtime=1175.8 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 65435 0 0 0 117553 27 0 0 25 0 4 0 522150859 806658048 143250 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=787752 CPUtime=1182.31 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 158453 0 0 0 118160 71 0 0 25 0 4 0 522150859 806658048 143250 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=787752 CPUtime=1182.3 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 135482 0 0 0 118171 59 0 0 25 0 4 0 522150859 806658048 143250 33554432000 4194304 4627427 140736089959856 18446744073709551615 4299638 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 787752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.12 7.91 9/182 9793
/proc/meminfo: memFree=29903560/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=787232 CPUtime=4800.24 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 518722 0 0 0 479803 221 0 0 25 0 4 0 522150859 806125568 145331 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 196808 145331 389 106 0 191779 0
[pid=9727/tid=9728] ppid=9725 vsize=787232 CPUtime=1195.09 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 65949 0 0 0 119482 27 0 0 25 0 4 0 522150859 806125568 145331 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=787232 CPUtime=1201.71 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 161219 0 0 0 120098 73 0 0 25 0 4 0 522150859 806125568 145331 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=787232 CPUtime=1201.7 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 136742 0 0 0 120110 60 0 0 25 0 4 0 522150859 806125568 145331 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 787232

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

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

[startup+1201.7 s]
/proc/loadavg: 8.12 8.12 7.91 9/182 9793
/proc/meminfo: memFree=29903560/32951132 swapFree=67080208/67111528
[pid=9727] ppid=9725 vsize=787232 CPUtime=4800.24 cores=1,3,5,7
/proc/9727/stat : 9727 (strangenight2-m) R 9725 9727 9622 0 -1 4202496 518722 0 0 0 479803 221 0 0 25 0 4 0 522150859 806125568 145331 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9727/statm: 196808 145331 389 106 0 191779 0
[pid=9727/tid=9728] ppid=9725 vsize=787232 CPUtime=1195.09 cores=1,3,5,7
/proc/9727/task/9728/stat : 9728 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 65949 0 0 0 119482 27 0 0 25 0 4 0 522150859 806125568 145331 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9727/tid=9729] ppid=9725 vsize=787232 CPUtime=1201.71 cores=1,3,5,7
/proc/9727/task/9729/stat : 9729 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 161219 0 0 0 120098 73 0 0 25 0 4 0 522150859 806125568 145331 33554432000 4194304 4627427 140736089959856 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9727/tid=9730] ppid=9725 vsize=787232 CPUtime=1201.7 cores=1,3,5,7
/proc/9727/task/9730/stat : 9730 (strangenight2-m) R 9725 9727 9622 0 -1 4202560 136742 0 0 0 120110 60 0 0 25 0 4 0 522150859 806125568 145331 33554432000 4194304 4627427 140736089959856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 787232

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.29
CPU user time (s): 4798.05
CPU system time (s): 2.24166
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 899860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.05
system time used= 2.24166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518722
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= 279
involuntary context switches= 33930

runsolver used 1.89971 second user time and 4.64829 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-29 21:31:52
IDJOB=3174152
IDBENCH=82970
IDSOLVER=1586
FILE ID=node129/3174152-1304105512
RUNJOBID= node129-1304104308-9641
PBS_JOBID= 13170649
Free space on /tmp= 66364 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174152-1304105512/watcher-3174152-1304105512 -o /tmp/evaluation-result-3174152-1304105512/solver-3174152-1304105512 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174152-1304105512.cnf

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

MD5SUM BENCH= 594a31b95a871970fa7797f18ebcd756
RANDOM SEED=836859701

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30992176 kB
Buffers:        360584 kB
Cached:        1171460 kB
SwapCached:       5192 kB
Active:          85952 kB
Inactive:      1485852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30992176 kB
SwapTotal:    67111528 kB
SwapFree:     67080208 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:       37072 kB
Mapped:          12764 kB
Slab:           323492 kB
PageTables:       4652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   221256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66360 MiB
End job on node129 at 2011-04-29 21:51:56