Trace number 3368866

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 (fixed)? (TO) 4800.43 1204.03

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf
MD5SUM3919f50518b71f2cf8a267b92efd9aeb
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 variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 57120

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368866-1305404711.cnf'
0.00/0.01	c -- header says num vars:             80
0.00/0.01	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.43/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.43/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.43/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.43/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.43/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.43/0.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.57/0.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1.57/0.41	c Finding binary XORs  T:     0.00 s  found:       0
1.57/0.41	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
1.57/0.41	c calculated reachability. Time: 0.00
1.57/0.41	c Calc default polars -  time:   0.00 s pos:      37 undec:       1 neg:      42
1.57/0.41	c =========================================================================================
1.57/0.41	c types(t): F = full restart, N = normal restart
1.57/0.41	c types(t): S = simplification begin/end, E = solution found
1.57/0.41	c restart types(rt): st = static, dy = dynamic
1.57/0.41	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.57/0.41	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.57/0.41	c  N dy    11      4050        80      7120         0      3680     49840     98134     23.08     24.90  --
3.57/0.92	c  N dy    17     11143        80      7120         0      4022     49840     85512     22.25     23.49  --
3.57/0.92	c  N dy    48     15236        80      7120         0      7808     49840    189245     22.97     24.96  --
4.76/1.26	c  F st    64     25000        80      7120         0     11520     49840    269571     22.58     19.16  --
4.76/1.26	c  N st    64     25000        80      7120         0     11520     49840    269571     22.58     19.16  --
5.95/1.50	c  N dy    70     30002        80      7120         0      9895     49840    214108     22.58   no data  --
5.95/1.50	c  S st    70     30002        80      7120         0      9895     49840    214108     22.58   no data  --
5.95/1.53	c  S st    70     30508        80      7120         0     10376     49840    227153     22.58   no data  --
5.95/1.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.95/1.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.95/1.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.95/1.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.95/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.95/1.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.35/2.67	c lits-rem:      1451  cl-subs:      784  v-elim:      0  v-fix:    0  time:  4.46 s
11.95/3.00	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.34
11.95/3.00	c calculated reachability. Time: 0.00
11.95/3.00	c  N dy    70     30508        80      7120         0      9592     49840    203254     22.58   no data  --
12.78/3.27	c  N dy    98     34637        80      7120         0     13418     49840    307063     22.81     24.04  --
14.33/3.64	c  N dy   119     41823        80      7120         0     12800     49840    275078     22.81     24.03  --
15.13/3.89	c  S st   139     45767        80      7120         0     16430     49840    372112     22.87     22.97  --
15.53/3.94	c  S st   139     46272        80      7120         0      8675     49840    149987     22.87   no data  --
15.53/3.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.53/3.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.53/3.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.53/3.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.72/4.79	c lits-rem:       102  cl-subs:       50  v-elim:      0  v-fix:    0  time:  3.36 s
18.72/4.79	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.72/4.79	c vivif2 --  cl tried     8625 cl shrink        0 lits rem          0 time: 0.01
19.92/5.07	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.11
19.92/5.07	c calculated reachability. Time: 0.00
19.92/5.07	c  N dy   139     46272        80      7120         0      8625     49840    148268     22.87   no data  --
21.11/5.30	c  N dy   141     50372        80      7120         0     12342     49840    244599     22.70     23.94  --
21.96/5.59	c  N dy   170     54439        80      7120         0     16103     49840    347076     22.83     24.52  --
23.10/5.86	c  N dy   189     58534        80      7120         0     10702     49840    191119     22.90     24.28  --
24.30/6.10	c  N dy   203     62858        80      7120         0     14678     49840    298572     22.93     24.17  --
25.94/6.55	c  N dy   209     69409        80      7120         0     10600     49840    172566     22.81     21.68  --
25.94/6.55	c  S st   209     69409        80      7120         0     10600     49840    172566     22.81     21.68  --
25.94/6.59	c  S st   209     69911        80      7120         0     11074     49840    185320     22.81   no data  --
25.94/6.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.94/6.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.94/6.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.94/6.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.94/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.94/6.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.88/7.55	c lits-rem:       285  cl-subs:      186  v-elim:      0  v-fix:    0  time:  3.80 s
29.88/7.55	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.88/7.55	c vivif2 --  cl tried    10888 cl shrink        0 lits rem          0 time: 0.00
31.07/7.89	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.33
31.07/7.89	c calculated reachability. Time: 0.00
31.07/7.89	c  N dy   209     69911        80      7120         0     10888     49840    180047     22.81   no data  --
32.67/8.26	c  N dy   242     76066        80      7120         0     16530     49840    332606     22.92     24.31  --
34.28/8.68	c  N dy   262     80971        80      7120         0     21027     49840    454711     22.96     26.40  --
36.26/9.11	c  N dy   278     87290        80      7120         0     15855     49840    298991     22.92     24.25  --
36.26/9.13	c  F st   281     87503        80      7120         0     16058     49840    304622     22.93   no data  --
37.86/9.50	c  N dy   289     92898        80      7120         0     21009     49840    437604     22.93     24.24  --
41.04/10.35	c  N dy   308    104867        80      7120         0     20039     49840    392884     22.84     19.87  --
41.04/10.35	c  S st   308    104867        80      7120         0     20039     49840    392884     22.84     19.87  --
41.44/10.41	c  S st   308    105369        80      7120         0     20510     49840    405670     22.84   no data  --
41.44/10.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.44/10.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.44/10.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
41.44/10.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.44/10.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.44/10.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.44/10.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.61/12.25	c lits-rem:      1831  cl-subs:     2004  v-elim:      0  v-fix:    0  time:  7.26 s
48.61/12.25	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
48.61/12.26	c vivif2 --  cl tried    18506 cl shrink        0 lits rem          0 time: 0.02
50.21/12.64	c asymm  cl-useful: 0/5415/7120 lits-rem:0 time: 1.54
50.21/12.64	c calculated reachability. Time: 0.00
50.21/12.64	c  N dy   308    105369        80      7120         0     18506     49840    350731     22.84   no data  --
52.65/13.24	c  N dy   329    112531        80      7120         0     25076     49840    527377     22.87     24.23  --
54.99/13.80	c  N dy   354    120457        80      7120         0     19593     49840    368853     22.89     24.10  --
57.78/14.50	c  N dy   396    128149        80      7120         0     26706     49840    561752     22.95     24.20  --
61.02/15.34	c  N dy   405    139471        80      7120         0     23299     49840    451485     22.88     24.14  --
66.95/16.85	c  N dy   436    158054        80      7120         0     25648     49840    497242     22.78     20.36  --
66.95/16.85	c  S st   436    158054        80      7120         0     25648     49840    497242     22.78     20.36  --
67.35/16.92	c  S st   436    158557        80      7120         0     26121     49840    510266     22.78   no data  --
67.35/16.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
67.35/16.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
67.35/16.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
67.35/16.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.35/16.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.35/16.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
67.35/16.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.93/19.38	c lits-rem:      4069  cl-subs:     2754  v-elim:      0  v-fix:    0  time:  9.69 s
76.93/19.38	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
76.93/19.38	c vivif2 --  cl tried    23367 cl shrink        0 lits rem          0 time: 0.02
77.73/19.59	c asymm  cl-useful: 0/1705/7120 lits-rem:0 time: 0.85
78.13/19.60	c calculated reachability. Time: 0.00
78.13/19.60	c  N dy   436    158557        80      7120         0     23367     49840    436364     22.78   no data  --
82.11/20.66	c  N dy   487    168796        80      7120         0     17346     49840    265976     22.83     24.08  --
86.11/21.60	c  N dy   536    179809        80      7120         0     27461     49840    538165     22.86     24.09  --
90.49/22.71	c  N dy   559    191319        80      7120         0     21551     49840    361837     22.84     25.07  --
96.86/24.39	c  N dy   605    207748        80      7120         0     19189     49840    283627     22.82     24.03  --
103.65/26.00	c  N dy   623    224903        80      7120         0     34646     49840    681798     22.68     23.91  --
108.44/27.23	c  S st   676    237835        80      7120         0     28367     49840    514321     22.71     21.58  --
108.84/27.32	c  S st   676    238336        80      7120         0     28836     49840    527032     22.71   no data  --
108.84/27.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.84/27.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.84/27.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
108.84/27.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
108.84/27.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.84/27.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
108.84/27.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
118.79/29.85	c lits-rem:      1547  cl-subs:     2002  v-elim:      0  v-fix:    0  time:  9.95 s
118.79/29.85	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
118.79/29.85	c vivif2 --  cl tried    26834 cl shrink        0 lits rem          0 time: 0.02
119.59/30.04	c asymm  cl-useful: 0/2143/7120 lits-rem:0 time: 0.74
119.59/30.04	c calculated reachability. Time: 0.00
119.59/30.04	c  N dy   676    238336        80      7120         0     26834     49840    469108     22.71   no data  --
125.98/31.67	c  N dy   701    253824        80      7120         0     21856     49840    324436     22.69     23.93  --
133.55/33.55	c  N dy   792    270958        80      7120         0     37642     49840    751565     22.75     23.99  --
143.13/35.92	c  N dy   867    293415        80      7120         0     38006     49840    741718     22.76     24.02  --
148.32/37.27	c  F st   910    306251        80      7120         0     28761     49840    480461     22.75     22.47  --
151.10/37.92	c  N dy   923    312263        80      7120         0     34283     49840    630849     22.75     24.01  --
161.91/40.63	c  N dy  1039    334064        80      7120         0     32415     49840    564630     22.81     24.04  --
171.83/43.16	c  N dy  1110    354346        80      7120         0     28079     49840    427356     22.81     24.02  --
173.43/43.51	c  S st  1132    357504        80      7120         0     30994     49840    507177     22.82     22.80  --
173.83/43.60	c  S st  1132    358006        80      7120         0     31459     49840    519943     22.82   no data  --
173.83/43.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
173.83/43.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
173.83/43.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
173.83/43.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
173.83/43.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
173.83/43.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
173.83/43.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
188.64/47.33	c lits-rem:      1605  cl-subs:     1578  v-elim:      0  v-fix:    0  time: 14.74 s
188.64/47.33	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
188.64/47.33	c vivif2 --  cl tried    29881 cl shrink        0 lits rem          0 time: 0.03
189.78/47.69	c asymm  cl-useful: 0/1618/7120 lits-rem:0 time: 1.40
189.78/47.69	c calculated reachability. Time: 0.00
189.78/47.69	c  N dy  1132    358006        80      7120         0     29881     49840    474037     22.82   no data  --
203.33/51.08	c  N dy  1166    382457        80      7120         0     28463     49840    421615     22.76     24.03  --
214.10/53.70	c  N dy  1190    403879        80      7120         0     47976     49840    940164     22.72     23.99  --
223.32/56.10	c  N dy  1255    424145        80      7120         0     41923     49840    768929     22.73     24.06  --
234.43/58.82	c  N dy  1341    444217        80      7120         0     34631     49840    562435     22.76     24.32  --
246.38/61.87	c  N dy  1407    465586        80      7120         0     27637     49840    356155     22.76     24.00  --
257.16/64.53	c  N dy  1492    485666        80      7120         0     46074     49840    847546     22.78     24.86  --
271.56/68.11	c  N dy  1574    512558        80      7120         0     43218     49840    759366     22.78     24.13  --
285.12/71.54	c  N dy  1712    532638        80      7120         0     33309     49840    480544     22.84     24.11  --
287.46/72.13	c  S st  1747    537009        80      7120         0     37326     49840    590224     22.85   no data  --
287.86/72.23	c  S st  1747    537512        80      7120         0     37794     49840    603240     22.85   no data  --
287.86/72.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
287.86/72.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.86/72.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
287.86/72.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
287.86/72.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
287.86/72.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
287.86/72.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
300.63/75.40	c lits-rem:      1240  cl-subs:     1537  v-elim:      0  v-fix:    0  time: 12.50 s
300.63/75.40	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
300.63/75.41	c vivif2 --  cl tried    36257 cl shrink        0 lits rem          0 time: 0.02
301.43/75.62	c asymm  cl-useful: 0/1314/7120 lits-rem:0 time: 0.85
301.43/75.62	c calculated reachability. Time: 0.00
301.43/75.62	c  N dy  1747    537512        80      7120         0     36257     49840    555976     22.85   no data  --
313.38/78.69	c  N dy  1821    557538        80      7120         0     54710     49840   1054429     22.86     24.15  --
324.94/81.59	c  N dy  1867    578567        80      7120         0     44626     49840    760259     22.85     24.15  --
338.90/85.09	c  N dy  1940    600066        80      7120         0     34092     49840    464075     22.87     24.09  --
351.66/88.23	c  N dy  2058    620099        80      7120         0     52524     49840    965253     22.90     25.97  --
367.61/92.26	c  N dy  2145    642264        80      7120         0     41671     49840    652382     22.92     24.15  --
382.75/96.01	c  N dy  2185    665585        80      7120         0     62979     49840   1221350     22.89     24.19  --
395.12/99.16	c  N dy  2272    686209        80      7120         0     49814     49840    857820     22.91     24.13  --
412.66/103.55	c  N dy  2358    707258        80      7120         0     36106     49840    469783     22.93     24.22  --
426.21/106.90	c  N dy  2446    727260        80      7120         0     54452     49840    966722     22.94     24.38  --
443.76/111.31	c  N dy  2448    758188        80      7120         0     48570     49840    785252     22.87     24.18  --
462.90/116.16	c  N dy  2513    785823        80      7120         0     39162     49840    521535     22.85     24.06  --
476.46/119.52	c  N dy  2598    805871        80      7120         0     57580     49840   1017203     22.87     25.20  --
476.86/119.60	c  S st  2600    806268        80      7120         0     57950     49840   1026962     22.87     22.20  --
477.26/119.76	c  S st  2600    806770        80      7120         0     58424     49840   1040022     22.87   no data  --
477.26/119.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
477.26/119.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
477.26/119.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
477.70/119.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
477.70/119.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
477.70/119.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
477.70/119.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
519.12/130.22	c lits-rem:      2408  cl-subs:     4884  v-elim:      0  v-fix:    0  time: 41.38 s
519.12/130.22	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
519.12/130.23	c vivif2 --  cl tried    53540 cl shrink        0 lits rem          0 time: 0.04
520.32/130.57	c asymm  cl-useful: 0/880/7120 lits-rem:0 time: 1.35
520.32/130.57	c calculated reachability. Time: 0.00
520.32/130.57	c  N dy  2600    806770        80      7120         0     53540     49840    903271     22.87   no data  --
537.86/134.96	c  N dy  2707    827186        80      7120         0     36789     49840    445973     22.89     24.15  --
551.02/138.27	c  N dy  2781    848581        80      7120         0     56400     49840    974688     22.90     24.15  --
568.96/142.71	c  N dy  2859    868597        80      7120         0     38223     49840    468333     22.91     26.41  --
584.11/146.56	c  N dy  2883    894904        80      7120         0     62172     49840   1103576     22.86     24.09  --
600.50/150.67	c  N dy  2905    920264        80      7120         0     47685     49840    692915     22.80     24.03  --
618.79/155.29	c  N dy  2976    944383        80      7120         0     69742     49840   1281268     22.80     24.14  --
635.15/159.38	c  N dy  3048    966201        80      7120         0     51507     49840    794585     22.81     24.02  --
653.54/163.98	c  N dy  3182    986261        80      7120         0     69925     49840   1297917     22.83     25.45  --
669.43/167.93	c  N dy  3281   1006340        80      7120         0     49040     49840    713332     22.85     25.04  --
684.58/171.75	c  N dy  3338   1026357        80      7120         0     67379     49840   1205790     22.85     26.74  --
703.73/176.52	c  N dy  3398   1048190        80      7120         0     46994     49840    631911     22.85     24.15  --
718.48/180.22	c  N dy  3468   1068252        80      7120         0     65345     49840   1125188     22.86     27.00  --
722.47/181.21	c  F st  3500   1071877        80      7120         0     68680     49840   1217328     22.86   no data  --
742.80/186.31	c  N dy  3548   1096985        80      7120         0     50426     49840    705409     22.84     24.12  --
758.40/190.27	c  N dy  3618   1117224        80      7120         0     68860     49840   1197324     22.84     24.09  --
779.08/195.48	c  N dy  3698   1137319        80      7120         0     45265     49840    562154     22.85     24.21  --
797.02/199.95	c  N dy  3771   1157494        80      7120         0     63621     49840   1055982     22.85     24.13  --
818.56/205.39	c  N dy  3833   1177530        80      7120         0     81920     49840   1550145     22.85     24.92  --
847.26/212.58	c  N dy  3845   1207721        80      7120         0     66247     49840   1092058     22.82     24.05  --
850.06/213.27	c  S st  3853   1210156        80      7120         0     68470     49840   1151345     22.82   no data  --
851.25/213.56	c  S st  3853   1210658        80      7120         0     68937     49840   1163898     22.82   no data  --
851.25/213.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
851.25/213.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
851.65/213.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
851.65/213.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
851.65/213.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
851.65/213.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
851.65/213.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
934.98/234.50	c lits-rem:      2266  cl-subs:     7826  v-elim:      0  v-fix:    0  time: 83.07 s
934.98/234.50	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
934.98/234.51	c vivif2 --  cl tried    61111 cl shrink        0 lits rem          0 time: 0.05
936.18/234.89	c asymm  cl-useful: 0/809/7120 lits-rem:0 time: 1.52
936.18/234.90	c calculated reachability. Time: 0.00
936.18/234.90	c  N dy  3853   1210658        80      7120         0     61111     49840    963117     22.82   no data  --
959.30/240.62	c  N dy  3978   1231278        80      7120         0     80047     49840   1476652     22.84     24.15  --
978.82/245.50	c  N dy  4073   1252126        80      7120         0     55732     49840    815661     22.85     24.06  --
1002.36/251.44	c  N dy  4161   1273194        80      7120         0     75029     49840   1336722     22.86     24.21  --
1029.47/258.23	c  N dy  4269   1293496        80      7120         0     49091     49840    619186     22.88     24.21  --
1050.21/263.43	c  N dy  4356   1314927        80      7120         0     68819     49840   1154554     22.89     24.15  --
1077.32/270.26	c  N dy  4434   1336333        80      7120         0     88366     49840   1682475     22.89     24.11  --
1097.25/275.30	c  N dy  4541   1357396        80      7120         0     61992     49840    951352     22.91     24.19  --
1119.18/280.71	c  N dy  4642   1377706        80      7120         0     80617     49840   1456347     22.92     24.21  --
1142.30/286.57	c  N dy  4726   1399399        80      7120         0     53792     49840    708402     22.92     24.19  --
1160.25/291.09	c  N dy  4820   1419439        80      7120         0     72109     49840   1206318     22.93     25.89  --
1181.38/296.37	c  N dy  4874   1439477        80      7120         0     90348     49840   1697043     22.93     27.19  --
1202.11/301.52	c  N dy  5026   1459521        80      7120         0     61273     49840    909748     22.96     24.64  --
1221.65/306.46	c  N dy  5105   1479566        80      7120         0     79636     49840   1406877     22.96     25.54  --
1246.77/312.78	c  N dy  5191   1499900        80      7120         0     49744     49840    570687     22.97     24.21  --
1262.76/316.76	c  N dy  5256   1520134        80      7120         0     68195     49840   1064970     22.97     24.22  --
1284.70/322.29	c  N dy  5330   1541377        80      7120         0     87670     49840   1594958     22.97     24.47  --
1314.55/329.78	c  N dy  5342   1578106        80      7120         0     71680     49840   1128865     22.93     24.22  --
1343.66/337.02	c  N dy  5454   1602703        80      7120         0     94190     49840   1737218     22.94     24.47  --
1370.78/343.89	c  N dy  5474   1633567        80      7120         0     71865     49840   1116262     22.92     24.17  --
1394.34/349.78	c  N dy  5571   1653587        80      7120         0     90238     49840   1613783     22.93     24.24  --
1416.68/355.35	c  N dy  5626   1673995        80      7120         0     57803     49840    741283     22.92     24.14  --
1432.58/359.39	c  N dy  5639   1694016        80      7120         0     75969     49840   1222256     22.91     25.90  --
1452.51/364.34	c  S st  5701   1710659        80      7120         0     91237     49840   1635299     22.91   no data  --
1453.71/364.60	c  S st  5701   1711164        80      7120         0     91708     49840   1648321     22.91   no data  --
1453.71/364.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1453.71/364.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1453.71/364.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1454.11/364.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1454.11/364.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1454.11/364.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1454.11/364.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1613.64/404.76	c lits-rem:      4417  cl-subs:     9152  v-elim:      0  v-fix:    0  time: 159.67 s
1613.64/404.76	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1613.64/404.78	c vivif2 --  cl tried    82556 cl shrink        0 lits rem          0 time: 0.08
1615.18/405.18	c asymm  cl-useful: 0/836/7120 lits-rem:0 time: 1.60
1615.18/405.18	c calculated reachability. Time: 0.00
1615.18/405.18	c  N dy  5701   1711164        80      7120         0     82556     49840   1400731     22.91   no data  --
1649.12/413.62	c  N dy  5828   1731241        80      7120         0    100982     49840   1903063     22.93     24.16  --
1672.99/419.64	c  N dy  5905   1751268        80      7120         0     67712     49840    996332     22.93     24.23  --
1698.51/426.00	c  N dy  5920   1771935        80      7120         0     86483     49840   1490984     22.92     24.30  --
1736.43/435.58	c  N dy  6045   1792015        80      7120         0    104890     49840   1996105     22.93     25.69  --
1761.51/441.83	c  N dy  6139   1812111        80      7120         0     70443     49840   1051504     22.94     24.91  --
1786.62/448.12	c  N dy  6170   1832507        80      7120         0     88972     49840   1535403     22.92     24.19  --
1829.69/458.99	c  N dy  6264   1862157        80      7120         0     62284     49840    806687     22.92     24.14  --
1853.20/464.83	c  N dy  6352   1882780        80      7120         0     81155     49840   1320330     22.93     24.22  --
1883.51/472.47	c  N dy  6442   1902878        80      7120         0     99522     49840   1820412     22.94     24.40  --
1919.40/481.43	c  N dy  6570   1927390        80      7120         0     67223     49840    935692     22.95     24.19  --
1944.11/487.66	c  N dy  6650   1947433        80      7120         0     85587     49840   1434150     22.96     26.09  --
1973.68/495.07	c  N dy  6713   1967520        80      7120         0    103897     49840   1929154     22.96     24.21  --
2000.73/501.86	c  N dy  6750   1990881        80      7120         0     69455     49840    969479     22.95     24.23  --
2024.26/507.71	c  N dy  6860   2010980        80      7120         0     87858     49840   1469510     22.96     25.57  --
2054.56/515.39	c  N dy  6983   2031091        80      7120         0    106248     49840   1972055     22.97     24.41  --
2080.87/521.97	c  N dy  7119   2051193        80      7120         0     68038     49840    928017     22.98     24.20  --
2101.21/527.03	c  N dy  7177   2071235        80      7120         0     86260     49840   1415776     22.98     24.21  --
2131.16/534.59	c  N dy  7249   2093206        80      7120         0    106336     49840   1952951     22.98     24.24  --
2159.82/541.79	c  N dy  7327   2114138        80      7120         0     67884     49840    901978     22.98     24.20  --
2179.81/546.78	c  N dy  7386   2134756        80      7120         0     86670     49840   1408813     22.98     24.32  --
2208.46/553.92	c  N dy  7471   2155169        80      7120         0    105366     49840   1916510     22.99     24.36  --
2238.76/561.50	c  N dy  7587   2175235        80      7120         0     65323     49840    822327     23.00     27.15  --
2258.34/566.44	c  N dy  7642   2195273        80      7120         0     83607     49840   1316270     23.00     24.27  --
2277.43/571.29	c  S st  7687   2211166        80      7120         0     98119     49840   1705295     23.00     23.20  --
2278.63/571.56	c  S st  7687   2211673        80      7120         0     98599     49840   1718795     23.00   no data  --
2278.63/571.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2278.63/571.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2279.03/571.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
2279.03/571.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2279.03/571.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2279.03/571.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2279.03/571.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2710.09/679.75	c lits-rem:      4689  cl-subs:     8152  v-elim:      0  v-fix:    0  time: 430.76 s
2710.09/679.75	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2710.09/679.77	c vivif2 --  cl tried    90447 cl shrink        0 lits rem          0 time: 0.08
2711.64/680.18	c asymm  cl-useful: 0/630/7120 lits-rem:0 time: 1.66
2711.64/680.19	c calculated reachability. Time: 0.00
2711.64/680.19	c  N dy  7687   2211673        80      7120         0     90447     49840   1487995     23.00   no data  --
2746.72/688.98	c  N dy  7770   2231701        80      7120         0    108790     49840   1988851     23.00     26.34  --
2787.79/699.24	c  N dy  7849   2263322        80      7120         0     78593     49840   1162273     23.00     24.43  --
2818.90/707.10	c  N dy  7953   2283404        80      7120         0     96985     49840   1662311     23.01     24.51  --
2846.45/713.93	c  N dy  7964   2304066        80      7120         0    115791     49840   2166105     22.99     24.24  --
2875.91/721.39	c  N dy  8049   2325209        80      7120         0     75040     49840   1055098     23.00     24.32  --
2905.41/728.73	c  N dy  8139   2345236        80      7120         0     93336     49840   1550791     23.00     26.04  --
2935.31/736.27	c  N dy  8144   2366142        80      7120         0    112193     49840   2039637     22.99     24.36  --
2973.65/745.85	c  N dy  8247   2387126        80      7120         0     70335     49840    913444     22.99     24.36  --
3025.42/758.81	c  N dy  8310   2431992        80      7120         0    110899     49840   1996790     22.97     24.19  --
3060.11/767.55	c  N dy  8409   2454437        80      7120         0     69603     49840    879538     22.98     24.19  --
3087.67/774.46	c  N dy  8489   2479996        80      7120         0     92911     49840   1506580     22.98     24.24  --
3113.14/780.89	c  N dy  8510   2499997        80      7120         0    111035     49840   1985061     22.97     24.94  --
3145.83/789.01	c  N dy  8606   2520092        80      7120         0     66635     49840    785752     22.98     25.18  --
3166.22/794.20	c  N dy  8687   2540153        80      7120         0     84915     49840   1281037     22.98     27.12  --
3190.89/800.35	c  N dy  8727   2562020        80      7120         0    104760     49840   1811210     22.97     24.25  --
3228.76/809.85	c  N dy  8829   2584237        80      7120         0    125039     49840   2363790     22.98     24.21  --
3255.08/816.40	c  N dy  8951   2604722        80      7120         0     80033     49840   1134294     22.99     24.30  --
3282.59/823.34	c  N dy  9034   2626333        80      7120         0     99780     49840   1670913     22.99     24.25  --
3319.27/832.53	c  N dy  9102   2647727        80      7120         0    119349     49840   2200016     22.99     24.21  --
3353.17/841.03	c  N dy  9217   2667991        80      7120         0     73109     49840    930597     23.00     24.23  --
3377.13/847.02	c  N dy  9294   2688124        80      7120         0     91441     49840   1427103     23.00     24.28  --
3410.98/855.51	c  N dy  9406   2709763        80      7120         0    111228     49840   1966849     23.01     24.34  --
3414.17/856.36	c  S st  9419   2711673        80      7120         0    112973     49840   2015223     23.01     24.74  --
3415.77/856.70	c  S st  9419   2712176        80      7120         0    113446     49840   2028537     23.01   no data  --
3415.77/856.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3415.77/856.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3415.77/856.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
3416.21/856.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3416.21/856.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3416.21/856.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3416.21/856.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4240.25/1063.52	c lits-rem:      6282  cl-subs:     9394  v-elim:      0  v-fix:    0  time: 823.77 s
4240.25/1063.52	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4240.25/1063.54	c vivif2 --  cl tried   104052 cl shrink        0 lits rem          0 time: 0.11
4242.24/1064.08	c asymm  cl-useful: 0/528/7120 lits-rem:0 time: 2.13
4242.24/1064.08	c calculated reachability. Time: 0.00
4242.24/1064.08	c  N dy  9419   2712176        80      7120         0    104052     49840   1753466     23.01   no data  --
4288.93/1075.79	c  N dy  9485   2732192        80      7120         0    122318     49840   2245361     23.01     25.48  --
4336.74/1087.75	c  N dy  9574   2757008        80      7120         0     79599     49840   1087946     23.02     24.27  --
4368.60/1095.76	c  N dy  9592   2778549        80      7120         0     99200     49840   1605874     23.00     24.22  --
4412.11/1106.65	c  N dy  9661   2799854        80      7120         0    118728     49840   2138789     23.01     24.28  --
4463.07/1119.42	c  N dy  9761   2819861        80      7120         0     70560     49840    824489     23.01     27.23  --
4499.40/1128.56	c  N dy  9882   2840032        80      7120         0     89094     49840   1334711     23.02     24.33  --
4545.58/1140.17	c  N dy  9964   2863579        80      7120         0    110515     49840   1912544     23.02     24.25  --
4601.39/1154.13	c  N dy 10124   2883633        80      7120         0    128926     49840   2422864     23.03     24.36  --
4640.45/1163.91	c  N dy 10242   2903666        80      7120         0     79787     49840   1062378     23.04     25.16  --
4676.75/1173.05	c  N dy 10333   2925125        80      7120         0     99362     49840   1593745     23.04     24.31  --
4713.02/1182.18	c  N dy 10394   2945148        80      7120         0    117660     49840   2089184     23.04     24.59  --
4756.09/1192.97	c  N dy 10435   2967435        80      7120         0     69496     49840    765911     23.04     24.26  --
4778.02/1198.49	c  N dy 10504   2987678        80      7120         0     87988     49840   1267262     23.04     24.34  --

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: 961)

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-3368866-1305404711/watcher-3368866-1305404711 -o /tmp/evaluation-result-3368866-1305404711/solver-3368866-1305404711 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368866-1305404711.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: 3.71 5.01 6.62 7/388 28406
/proc/meminfo: memFree=27036636/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=51236 CPUtime=0.03 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 417 0 0 0 3 0 0 0 23 0 4 0 652069757 52465664 357 33554432000 4194304 4650419 140737482153920 18446744073709551615 47014896555948 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28406/statm: 12809 357 306 112 0 7774 0
[pid=28406/tid=28407] ppid=28404 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652069757 52465664 357 33554432000 4194304 4650419 140737482153920 18446744073709551615 251809287254 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652069757 52465664 357 33554432000 4194304 4650419 140737482153920 18446744073709551615 47014896555539 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 4 0 652069757 52465664 357 33554432000 4194304 4650419 140737482153920 18446744073709551615 251814240187 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.023932 s]
/proc/loadavg: 3.71 5.01 6.62 7/388 28406
/proc/meminfo: memFree=27036636/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=281928 CPUtime=0.07 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 1352 0 0 0 7 0 0 0 24 0 4 0 652069757 288694272 1267 33554432000 4194304 4650419 140737482153920 18446744073709551615 251814283447 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 70482 1267 366 112 0 65447 0
[pid=28406/tid=28407] ppid=28404 vsize=281928 CPUtime=0 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 241 0 0 0 0 0 0 0 25 0 4 0 652069757 288694272 1267 33554432000 4194304 4650419 140737482153920 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=281928 CPUtime=0.01 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 226 0 0 0 1 0 0 0 25 0 4 0 652069757 288694272 1267 33554432000 4194304 4650419 140737482153920 18446744073709551615 4370547 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=281928 CPUtime=0.02 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 239 0 0 0 2 0 0 0 25 0 4 0 652069757 288694272 1267 33554432000 4194304 4650419 140737482153920 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 281928

[startup+0.114496 s]
/proc/loadavg: 3.71 5.01 6.62 7/388 28406
/proc/meminfo: memFree=27036636/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=281928 CPUtime=0.43 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 1528 0 0 0 43 0 0 0 24 0 4 0 652069757 288694272 1443 33554432000 4194304 4650419 140737482153920 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 70482 1443 366 112 0 65447 0
[pid=28406/tid=28407] ppid=28404 vsize=281928 CPUtime=0.09 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 258 0 0 0 9 0 0 0 25 0 4 0 652069757 288694272 1443 33554432000 4194304 4650419 140737482153920 18446744073709551615 4370660 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=281928 CPUtime=0.1 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 240 0 0 0 10 0 0 0 25 0 4 0 652069757 288694272 1443 33554432000 4194304 4650419 140737482153920 18446744073709551615 4370576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=281928 CPUtime=0.11 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 363 0 0 0 11 0 0 0 25 0 4 0 652069757 288694272 1443 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 281928

[startup+0.30047 s]
/proc/loadavg: 3.71 5.01 6.62 7/388 28406
/proc/meminfo: memFree=27036636/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=285656 CPUtime=1.17 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 3919 0 0 0 117 0 0 0 25 0 4 0 652069757 292511744 3268 33554432000 4194304 4650419 140737482153920 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 71414 3268 390 112 0 66379 0
[pid=28406/tid=28407] ppid=28404 vsize=285656 CPUtime=0.28 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 947 0 0 0 28 0 0 0 18 0 4 0 652069757 292511744 3268 33554432000 4194304 4650419 140737482153920 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=285656 CPUtime=0.29 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 895 0 0 0 29 0 0 0 18 0 4 0 652069757 292511744 3268 33554432000 4194304 4650419 140737482153920 18446744073709551615 4355019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=285656 CPUtime=0.29 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 741 0 0 0 29 0 0 0 18 0 4 0 652069757 292511744 3268 33554432000 4194304 4650419 140737482153920 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285656

[startup+0.700402 s]
/proc/loadavg: 3.71 5.01 6.62 7/388 28406
/proc/meminfo: memFree=27036636/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=287344 CPUtime=2.76 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 6355 0 0 0 276 0 0 0 25 0 4 0 652069757 294240256 3921 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 71836 3921 390 112 0 66801 0
[pid=28406/tid=28407] ppid=28404 vsize=287344 CPUtime=0.68 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 1628 0 0 0 68 0 0 0 18 0 4 0 652069757 294240256 3921 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=287344 CPUtime=0.69 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 1507 0 0 0 69 0 0 0 18 0 4 0 652069757 294240256 3921 33554432000 4194304 4650419 140737482153920 18446744073709551615 4327918 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=287344 CPUtime=0.69 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 1223 0 0 0 69 0 0 0 18 0 4 0 652069757 294240256 3921 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 287344

[startup+1.50027 s]
/proc/loadavg: 3.71 5.01 6.62 9/392 28410
/proc/meminfo: memFree=27011680/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=288716 CPUtime=5.95 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 10285 0 0 0 594 1 0 0 25 0 4 0 652069757 295645184 4814 33554432000 4194304 4650419 140737482153920 18446744073709551615 4514176 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 72179 4814 391 112 0 67144 0
[pid=28406/tid=28407] ppid=28404 vsize=288716 CPUtime=1.48 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 2632 0 0 0 148 0 0 0 19 0 4 0 652069757 295645184 4814 33554432000 4194304 4650419 140737482153920 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=288716 CPUtime=1.49 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 2473 0 0 0 149 0 0 0 19 0 4 0 652069757 295645184 4814 33554432000 4194304 4650419 140737482153920 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=288716 CPUtime=1.49 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 2177 0 0 0 149 0 0 0 19 0 4 0 652069757 295645184 4814 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 288716

[startup+3.101 s]
/proc/loadavg: 3.71 5.01 6.62 9/392 28410
/proc/meminfo: memFree=26983160/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=297872 CPUtime=12.35 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 19505 0 0 0 1232 3 0 0 25 0 4 0 652069757 305020928 11870 33554432000 4194304 4650419 140737482153920 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 74468 11870 392 112 0 69433 0
[pid=28406/tid=28407] ppid=28404 vsize=297872 CPUtime=3.08 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 4343 0 0 0 308 0 0 0 24 0 4 0 652069757 305020928 11870 33554432000 4194304 4650419 140737482153920 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=297872 CPUtime=3.08 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 5197 0 0 0 308 0 0 0 24 0 4 0 652069757 305020928 11870 33554432000 4194304 4650419 140737482153920 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=297872 CPUtime=3.09 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 5355 0 0 0 309 0 0 0 24 0 4 0 652069757 305020928 11870 33554432000 4194304 4650419 140737482153920 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 297872

[startup+6.30046 s]
/proc/loadavg: 4.06 5.06 6.62 9/392 28410
/proc/meminfo: memFree=26920784/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=289780 CPUtime=25.1 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 28409 0 0 0 2505 5 0 0 25 0 4 0 652069757 296734720 15222 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 72445 15223 392 112 0 67410 0
[pid=28406/tid=28407] ppid=28404 vsize=289780 CPUtime=6.28 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 7488 0 0 0 627 1 0 0 25 0 4 0 652069757 296734720 15224 33554432000 4194304 4650419 140737482153920 18446744073709551615 4439212 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=289780 CPUtime=6.29 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 7040 0 0 0 628 1 0 0 25 0 4 0 652069757 296734720 15224 33554432000 4194304 4650419 140737482153920 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=289780 CPUtime=6.29 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 7658 0 0 0 628 1 0 0 25 0 4 0 652069757 296734720 15224 33554432000 4194304 4650419 140737482153920 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 289780

[startup+12.7004 s]
/proc/loadavg: 4.37 5.10 6.63 9/392 28411
/proc/meminfo: memFree=26860964/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=294792 CPUtime=50.61 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 41317 0 0 0 5054 7 0 0 25 0 4 0 652069757 301867008 21263 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 73698 21263 392 112 0 68663 0
[pid=28406/tid=28407] ppid=28404 vsize=294792 CPUtime=12.68 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 10618 0 0 0 1267 1 0 0 25 0 4 0 652069757 301867008 21263 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=294792 CPUtime=12.69 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 10193 0 0 0 1267 2 0 0 25 0 4 0 652069757 301867008 21263 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=294792 CPUtime=12.69 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 11741 0 0 0 1268 1 0 0 25 0 4 0 652069757 301867008 21263 33554432000 4194304 4650419 140737482153920 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 294792

[startup+25.5002 s]
/proc/loadavg: 5.17 5.25 6.65 9/392 28411
/proc/meminfo: memFree=26808520/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=300620 CPUtime=101.65 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 62011 0 0 0 10153 12 0 0 25 0 4 0 652069757 307834880 27006 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 75155 27006 392 112 0 70120 0
[pid=28406/tid=28407] ppid=28404 vsize=300620 CPUtime=25.47 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 16636 0 0 0 2545 2 0 0 25 0 4 0 652069757 307834880 27006 33554432000 4194304 4650419 140737482153920 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=300620 CPUtime=25.48 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 15012 0 0 0 2545 3 0 0 25 0 4 0 652069757 307834880 27006 33554432000 4194304 4650419 140737482153920 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=300620 CPUtime=25.48 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 16584 0 0 0 2545 3 0 0 25 0 4 0 652069757 307834880 27006 33554432000 4194304 4650419 140737482153920 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 300620

[startup+51.101 s]
/proc/loadavg: 6.20 5.48 6.69 9/392 28411
/proc/meminfo: memFree=26750924/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=308764 CPUtime=203.73 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 94603 0 0 0 20352 21 0 0 25 0 4 0 652069757 316174336 33106 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 77191 33106 392 112 0 72156 0
[pid=28406/tid=28407] ppid=28404 vsize=308764 CPUtime=51.08 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 26604 0 0 0 5103 5 0 0 25 0 4 0 652069757 316174336 33106 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=308764 CPUtime=51.09 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 24121 0 0 0 5104 5 0 0 25 0 4 0 652069757 316174336 33106 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=308764 CPUtime=51.09 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 24559 0 0 0 5102 7 0 0 25 0 4 0 652069757 316174336 33106 33554432000 4194304 4650419 140737482153920 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 308764

[startup+102.314 s]
/proc/loadavg: 7.28 5.88 6.76 9/392 28413
/proc/meminfo: memFree=26664560/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=307304 CPUtime=407.92 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 141465 0 0 0 40752 40 0 0 25 0 4 0 652069757 314679296 37834 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 76826 37834 392 112 0 71791 0
[pid=28406/tid=28407] ppid=28404 vsize=307304 CPUtime=102.3 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 37135 0 0 0 10220 10 0 0 25 0 4 0 652069757 314679296 37834 33554432000 4194304 4650419 140737482153920 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=307304 CPUtime=102.3 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 37462 0 0 0 10219 11 0 0 25 0 4 0 652069757 314679296 37834 33554432000 4194304 4650419 140737482153920 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=307304 CPUtime=102.3 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 39541 0 0 0 10219 11 0 0 25 0 4 0 652069757 314679296 37834 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.92
Current children cumulated vsize (KiB) 307304

[startup+162.3 s]

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

[pid=28406] ppid=28404 vsize=521508 CPUtime=2560.97 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 395145 0 0 0 255949 148 0 0 25 0 4 0 652069757 534024192 84510 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 130377 84510 392 112 0 125342 0
[pid=28406/tid=28407] ppid=28404 vsize=521508 CPUtime=642.29 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 115568 0 0 0 64187 42 0 0 25 0 4 0 652069757 534024192 84510 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=521508 CPUtime=642.3 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 76494 0 0 0 64204 26 0 0 25 0 4 0 652069757 534024192 84510 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=521508 CPUtime=642.31 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 116061 0 0 0 64182 49 0 0 25 0 4 0 652069757 534024192 84510 33554432000 4194304 4650419 140737482153920 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2560.97
Current children cumulated vsize (KiB) 521508

[startup+702.301 s]
/proc/loadavg: 8.13 7.81 7.39 9/392 28429
/proc/meminfo: memFree=26289348/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=522432 CPUtime=2800.15 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 406953 0 0 0 279862 153 0 0 25 0 4 0 652069757 534970368 87785 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 130608 87785 392 112 0 125573 0
[pid=28406/tid=28407] ppid=28404 vsize=522432 CPUtime=702.27 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 116635 0 0 0 70184 43 0 0 25 0 4 0 652069757 534970368 87785 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=522432 CPUtime=702.29 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 76907 0 0 0 70202 27 0 0 25 0 4 0 652069757 534970368 87785 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=522432 CPUtime=702.3 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 121941 0 0 0 70178 52 0 0 25 0 4 0 652069757 534970368 87785 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.15
Current children cumulated vsize (KiB) 522432

[startup+762.315 s]
/proc/loadavg: 8.13 7.87 7.43 9/392 28431
/proc/meminfo: memFree=26281156/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=486240 CPUtime=3039.43 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 422323 0 0 0 303782 161 0 0 25 0 4 0 652069757 497909760 84177 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 121560 84177 392 112 0 116525 0
[pid=28406/tid=28407] ppid=28404 vsize=486240 CPUtime=762.27 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 117506 0 0 0 76184 43 0 0 25 0 4 0 652069757 497909760 84177 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=486240 CPUtime=762.31 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 79940 0 0 0 76203 28 0 0 25 0 4 0 652069757 497909760 84177 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=486240 CPUtime=762.32 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 126971 0 0 0 76178 54 0 0 25 0 4 0 652069757 497909760 84177 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.43
Current children cumulated vsize (KiB) 486240

[startup+822.301 s]
/proc/loadavg: 8.22 7.94 7.48 9/392 28432
/proc/meminfo: memFree=26248272/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=486504 CPUtime=3278.6 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 445911 0 0 0 327687 173 0 0 25 0 4 0 652069757 498180096 83929 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 121626 83929 392 112 0 116591 0
[pid=28406/tid=28407] ppid=28404 vsize=486504 CPUtime=822.24 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 121384 0 0 0 82179 45 0 0 25 0 4 0 652069757 498180096 83929 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=486504 CPUtime=822.3 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 87683 0 0 0 82197 33 0 0 25 0 4 0 652069757 498180096 83929 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=486504 CPUtime=822.3 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 133705 0 0 0 82173 57 0 0 25 0 4 0 652069757 498180096 83929 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.6
Current children cumulated vsize (KiB) 486504

[startup+882.301 s]
/proc/loadavg: 8.19 7.98 7.52 9/392 28434
/proc/meminfo: memFree=26247400/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=486684 CPUtime=3517.83 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 464190 0 0 0 351598 185 0 0 25 0 4 0 652069757 498364416 84333 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 121671 84333 392 112 0 116636 0
[pid=28406/tid=28407] ppid=28404 vsize=486684 CPUtime=882.23 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 125078 0 0 0 88175 48 0 0 25 0 4 0 652069757 498364416 84333 33554432000 4194304 4650419 140737482153920 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=486684 CPUtime=882.3 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 91978 0 0 0 88194 36 0 0 25 0 4 0 652069757 498364416 84333 33554432000 4194304 4650419 140737482153920 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=486684 CPUtime=882.3 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 140047 0 0 0 88169 61 0 0 25 0 4 0 652069757 498364416 84333 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3517.83
Current children cumulated vsize (KiB) 486684

[startup+942.301 s]
/proc/loadavg: 8.13 8.00 7.56 9/392 28435
/proc/meminfo: memFree=26226068/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=487176 CPUtime=3757.06 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 483357 0 0 0 375513 193 0 0 25 0 4 0 652069757 498868224 85403 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 121794 85404 392 112 0 116759 0
[pid=28406/tid=28407] ppid=28404 vsize=487176 CPUtime=942.22 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 128927 0 0 0 94172 50 0 0 25 0 4 0 652069757 498868224 85404 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=487176 CPUtime=942.29 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 95696 0 0 0 94192 37 0 0 25 0 4 0 652069757 498868224 85404 33554432000 4194304 4650419 140737482153920 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=487176 CPUtime=942.3 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 146151 0 0 0 94164 66 0 0 25 0 4 0 652069757 498868224 85404 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.06
Current children cumulated vsize (KiB) 487176

[startup+1002.3 s]
/proc/loadavg: 8.10 8.01 7.59 9/392 28437
/proc/meminfo: memFree=26160716/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=565796 CPUtime=3996.26 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 502377 0 0 0 399428 198 0 0 25 0 4 0 652069757 579375104 92908 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 141449 92908 392 112 0 136414 0
[pid=28406/tid=28407] ppid=28404 vsize=565796 CPUtime=1002.2 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 130983 0 0 0 100170 50 0 0 25 0 4 0 652069757 579375104 92908 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=565796 CPUtime=1002.3 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 98860 0 0 0 100191 39 0 0 25 0 4 0 652069757 579375104 92908 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=565796 CPUtime=1002.3 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 151732 0 0 0 100163 67 0 0 25 0 4 0 652069757 579375104 92908 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3996.26
Current children cumulated vsize (KiB) 565796

[startup+1062.3 s]
/proc/loadavg: 8.04 8.00 7.61 9/392 28439
/proc/meminfo: memFree=26123888/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=565796 CPUtime=4235.47 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 523920 0 0 0 423346 201 0 0 25 0 4 0 652069757 579375104 92706 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 141449 92706 392 112 0 136414 0
[pid=28406/tid=28407] ppid=28404 vsize=565796 CPUtime=1062.19 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 137414 0 0 0 106167 52 0 0 25 0 4 0 652069757 579375104 92706 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=565796 CPUtime=1062.29 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 99486 0 0 0 106190 39 0 0 25 0 4 0 652069757 579375104 92706 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=565796 CPUtime=1062.31 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 159181 0 0 0 106163 68 0 0 25 0 4 0 652069757 579375104 92706 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4235.47
Current children cumulated vsize (KiB) 565796

[startup+1122.3 s]
/proc/loadavg: 8.05 8.02 7.64 9/392 28440
/proc/meminfo: memFree=26104536/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=565796 CPUtime=4474.62 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 546676 0 0 0 447256 206 0 0 25 0 4 0 652069757 579375104 96658 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 141449 96658 392 112 0 136414 0
[pid=28406/tid=28407] ppid=28404 vsize=565796 CPUtime=1122.18 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 145574 0 0 0 112165 53 0 0 25 0 4 0 652069757 579375104 96658 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=565796 CPUtime=1122.3 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 99486 0 0 0 112191 39 0 0 25 0 4 0 652069757 579375104 96658 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=565796 CPUtime=1122.3 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 168572 0 0 0 112161 69 0 0 25 0 4 0 652069757 579375104 96658 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4474.62
Current children cumulated vsize (KiB) 565796

[startup+1182.3 s]
/proc/loadavg: 8.02 8.01 7.66 9/392 28442
/proc/meminfo: memFree=26109112/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=565796 CPUtime=4713.82 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 568227 0 0 0 471170 212 0 0 25 0 4 0 652069757 579375104 94951 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 141449 94951 392 112 0 136414 0
[pid=28406/tid=28407] ppid=28404 vsize=565796 CPUtime=1182.16 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 154242 0 0 0 118162 54 0 0 25 0 4 0 652069757 579375104 94951 33554432000 4194304 4650419 140737482153920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=565796 CPUtime=1182.29 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 99750 0 0 0 118190 39 0 0 25 0 4 0 652069757 579375104 94951 33554432000 4194304 4650419 140737482153920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=565796 CPUtime=1182.3 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 179395 0 0 0 118159 71 0 0 25 0 4 0 652069757 579375104 94951 33554432000 4194304 4650419 140737482153920 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4713.82
Current children cumulated vsize (KiB) 565796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204 s]
/proc/loadavg: 8.01 8.01 7.66 5/387 28443
/proc/meminfo: memFree=26666644/32950928 swapFree=44388876/67111528
[pid=28406] ppid=28404 vsize=549300 CPUtime=4800.39 cores=1,3,5,7
/proc/28406/stat : 28406 (strangenight1-m) R 28404 28406 27826 0 -1 4202496 577669 0 0 0 479823 216 0 0 25 0 4 0 652069757 562483200 92271 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28406/statm: 137325 92271 392 112 0 132290 0
[pid=28406/tid=28407] ppid=28404 vsize=549300 CPUtime=1203.88 cores=1,3,5,7
/proc/28406/task/28407/stat : 28407 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 156642 0 0 0 120333 55 0 0 25 0 4 0 652069757 562483200 92271 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28406/tid=28408] ppid=28404 vsize=549300 CPUtime=1204.01 cores=1,3,5,7
/proc/28406/task/28408/stat : 28408 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 102235 0 0 0 120360 41 0 0 25 0 4 0 652069757 562483200 92271 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28406/tid=28409] ppid=28404 vsize=549300 CPUtime=1204.02 cores=1,3,5,7
/proc/28406/task/28409/stat : 28409 (strangenight1-m) R 28404 28406 27826 0 -1 4202560 181956 0 0 0 120330 72 0 0 25 0 4 0 652069757 562483200 92271 33554432000 4194304 4650419 140737482153920 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 549300

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): 1204.03
CPU time (s): 4800.43
CPU user time (s): 4798.25
CPU system time (s): 2.18167
CPU usage (%): 398.696
Max. virtual memory (cumulated for all children) (KiB): 618540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.25
system time used= 2.18167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577669
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= 559
involuntary context switches= 22625

runsolver used 4.34034 second user time and 11.1163 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-14 22:25:11
IDJOB=3368866
IDBENCH=82875
IDSOLVER=1846
FILE ID=node126/3368866-1305404711
RUNJOBID= node126-1305404710-28384
PBS_JOBID= 13324485
Free space on /tmp= 73320 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368866-1305404711/watcher-3368866-1305404711 -o /tmp/evaluation-result-3368866-1305404711/solver-3368866-1305404711 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368866-1305404711.cnf

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

MD5SUM BENCH= 3919f50518b71f2cf8a267b92efd9aeb
RANDOM SEED=1981427064

node126.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.783
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.56
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.783
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.783
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.74
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.783
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.74
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.783
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.80
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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27036668 kB
Buffers:        259668 kB
Cached:        2441980 kB
SwapCached:      92524 kB
Active:         748428 kB
Inactive:      4915880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27036668 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           12472 kB
Writeback:           0 kB
AnonPages:     2882812 kB
Mapped:          15664 kB
Slab:           108816 kB
PageTables:      75144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88174720 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73320 MiB
End job on node126 at 2011-05-14 22:45:17