Trace number 3175257

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.44 1201.73

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175257-1304104371.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	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.41/0.17	c Parsing time:  0.01 s
0.41/0.17	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.41/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.41/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.41/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.41/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.41/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.41/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1.17/0.35	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.35	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.17/0.35	c calculated reachability. Time: 0.00
1.17/0.35	c Calc default polars -  time:   0.00 s pos:      37 undec:       1 neg:      42
1.17/0.35	c =========================================================================================
1.17/0.35	c types(t): F = full restart, N = normal restart
1.17/0.35	c types(t): S = simplification begin/end, E = solution found
1.17/0.35	c restart types(rt): st = static, dy = dynamic
1.17/0.35	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.17/0.35	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.17/0.35	c  N dy    11      4050        80      7120         0      3680     49840     98134     23.08     24.90  --
3.17/0.80	c  N dy    17     11143        80      7120         0      4022     49840     85512     22.25     23.49  --
3.17/0.80	c  N dy    48     15236        80      7120         0      7808     49840    189245     22.97     24.96  --
5.17/1.30	c  F st    64     25000        80      7120         0     11520     49840    269571     22.58     19.16  --
5.17/1.30	c  N st    64     25000        80      7120         0     11520     49840    269571     22.58     19.16  --
5.57/1.47	c  N dy    70     30002        80      7120         0      9895     49840    214108     22.58   no data  --
5.57/1.47	c  S st    70     30002        80      7120         0      9895     49840    214108     22.58   no data  --
5.98/1.51	c  S st    70     30508        80      7120         0     10376     49840    227153     22.58   no data  --
5.98/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.98/1.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.98/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.98/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.98/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.98/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.98/1.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.36/2.63	c lits-rem:      1451  cl-subs:      784  v-elim:      0  v-fix:    0  time:  4.42 s
11.56/2.98	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.39
11.56/2.98	c calculated reachability. Time: 0.00
11.56/2.98	c  N dy    70     30508        80      7120         0      9592     49840    203254     22.58   no data  --
12.76/3.23	c  N dy    98     34637        80      7120         0     13418     49840    307063     22.81     24.04  --
14.36/3.60	c  N dy   119     41823        80      7120         0     12800     49840    275078     22.81     24.03  --
15.16/3.85	c  S st   139     45767        80      7120         0     16430     49840    372112     22.87     22.97  --
15.56/3.90	c  S st   139     46272        80      7120         0      8675     49840    149987     22.87   no data  --
15.56/3.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.56/3.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.56/3.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.56/3.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.75/4.73	c lits-rem:       102  cl-subs:       50  v-elim:      0  v-fix:    0  time:  3.30 s
18.75/4.74	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.75/4.74	c vivif2 --  cl tried     8625 cl shrink        0 lits rem          0 time: 0.01
19.95/5.02	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.11
19.95/5.02	c calculated reachability. Time: 0.00
19.95/5.02	c  N dy   139     46272        80      7120         0      8625     49840    148268     22.87   no data  --
20.75/5.24	c  N dy   141     50372        80      7120         0     12342     49840    244599     22.70     23.94  --
21.96/5.51	c  N dy   170     54439        80      7120         0     16103     49840    347076     22.83     24.52  --
22.74/5.78	c  N dy   189     58534        80      7120         0     10702     49840    191119     22.90     24.28  --
23.94/6.02	c  N dy   203     62858        80      7120         0     14678     49840    298572     22.93     24.17  --
25.55/6.46	c  N dy   209     69409        80      7120         0     10600     49840    172566     22.81     21.68  --
25.55/6.46	c  S st   209     69409        80      7120         0     10600     49840    172566     22.81     21.68  --
25.95/6.50	c  S st   209     69911        80      7120         0     11074     49840    185320     22.81   no data  --
25.95/6.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.95/6.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
25.95/6.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.95/6.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.95/6.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.54/7.46	c lits-rem:       285  cl-subs:      186  v-elim:      0  v-fix:    0  time:  3.79 s
29.54/7.46	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.54/7.46	c vivif2 --  cl tried    10888 cl shrink        0 lits rem          0 time: 0.01
30.75/7.79	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.29
30.75/7.79	c calculated reachability. Time: 0.00
30.75/7.79	c  N dy   209     69911        80      7120         0     10888     49840    180047     22.81   no data  --
32.33/8.16	c  N dy   242     76066        80      7120         0     16530     49840    332606     22.92     24.31  --
33.93/8.57	c  N dy   262     80971        80      7120         0     21027     49840    454711     22.96     26.40  --
35.56/8.99	c  N dy   278     87290        80      7120         0     15855     49840    298991     22.92     24.25  --
35.93/9.01	c  F st   281     87503        80      7120         0     16058     49840    304622     22.93   no data  --
37.13/9.39	c  N dy   289     92898        80      7120         0     21009     49840    437604     22.93     24.24  --
40.71/10.23	c  N dy   308    104867        80      7120         0     20039     49840    392884     22.84     19.87  --
40.71/10.23	c  S st   308    104867        80      7120         0     20039     49840    392884     22.84     19.87  --
40.71/10.29	c  S st   308    105369        80      7120         0     20510     49840    405670     22.84   no data  --
40.71/10.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.71/10.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.71/10.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
41.12/10.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.12/10.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.12/10.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.12/10.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.92/12.02	c lits-rem:      1831  cl-subs:     2004  v-elim:      0  v-fix:    0  time:  6.84 s
47.92/12.02	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.92/12.02	c vivif2 --  cl tried    18506 cl shrink        0 lits rem          0 time: 0.02
49.51/12.41	c asymm  cl-useful: 0/5415/7120 lits-rem:0 time: 1.55
49.51/12.41	c calculated reachability. Time: 0.00
49.51/12.41	c  N dy   308    105369        80      7120         0     18506     49840    350731     22.84   no data  --
51.51/12.99	c  N dy   329    112531        80      7120         0     25076     49840    527377     22.87     24.23  --
53.90/13.56	c  N dy   354    120457        80      7120         0     19593     49840    368853     22.89     24.10  --
56.71/14.24	c  N dy   396    128149        80      7120         0     26706     49840    561752     22.95     24.20  --
59.90/15.07	c  N dy   405    139471        80      7120         0     23299     49840    451485     22.88     24.14  --
65.90/16.57	c  N dy   436    158054        80      7120         0     25648     49840    497242     22.78     20.36  --
65.90/16.57	c  S st   436    158054        80      7120         0     25648     49840    497242     22.78     20.36  --
66.31/16.64	c  S st   436    158557        80      7120         0     26121     49840    510266     22.78   no data  --
66.31/16.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.31/16.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.31/16.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
66.31/16.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.31/16.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.31/16.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
66.31/16.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.88/19.04	c lits-rem:      4069  cl-subs:     2754  v-elim:      0  v-fix:    0  time:  9.51 s
75.88/19.04	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.88/19.05	c vivif2 --  cl tried    23367 cl shrink        0 lits rem          0 time: 0.02
76.68/19.27	c asymm  cl-useful: 0/1705/7120 lits-rem:0 time: 0.88
76.68/19.27	c calculated reachability. Time: 0.00
76.68/19.27	c  N dy   436    158557        80      7120         0     23367     49840    436364     22.78   no data  --
81.07/20.32	c  N dy   487    168796        80      7120         0     17346     49840    265976     22.83     24.08  --
84.67/21.25	c  N dy   536    179809        80      7120         0     27461     49840    538165     22.86     24.09  --
88.65/22.29	c  N dy   559    191319        80      7120         0     21551     49840    361837     22.84     25.07  --
95.45/23.96	c  N dy   605    207748        80      7120         0     19189     49840    283627     22.82     24.03  --
101.84/25.57	c  N dy   623    224903        80      7120         0     34646     49840    681798     22.68     23.91  --
106.63/26.78	c  S st   676    237835        80      7120         0     28367     49840    514321     22.71     21.58  --
107.03/26.86	c  S st   676    238336        80      7120         0     28836     49840    527032     22.71   no data  --
107.03/26.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
107.03/26.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.03/26.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
107.03/26.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
107.03/26.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
107.03/26.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
107.03/26.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.03/29.38	c lits-rem:      1547  cl-subs:     2002  v-elim:      0  v-fix:    0  time:  9.94 s
117.03/29.38	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
117.03/29.39	c vivif2 --  cl tried    26834 cl shrink        0 lits rem          0 time: 0.02
117.83/29.57	c asymm  cl-useful: 0/2143/7120 lits-rem:0 time: 0.73
117.83/29.57	c calculated reachability. Time: 0.00
117.83/29.57	c  N dy   676    238336        80      7120         0     26834     49840    469108     22.71   no data  --
124.21/31.18	c  N dy   701    253824        80      7120         0     21856     49840    324436     22.69     23.93  --
131.81/33.02	c  N dy   792    270958        80      7120         0     37642     49840    751565     22.75     23.99  --
141.02/35.36	c  N dy   867    293415        80      7120         0     38006     49840    741718     22.76     24.02  --
146.18/36.69	c  F st   910    306251        80      7120         0     28761     49840    480461     22.75     22.47  --
148.98/37.31	c  N dy   923    312263        80      7120         0     34283     49840    630849     22.75     24.01  --
159.37/39.97	c  N dy  1039    334064        80      7120         0     32415     49840    564630     22.81     24.04  --
169.35/42.46	c  N dy  1110    354346        80      7120         0     28079     49840    427356     22.81     24.02  --
170.96/42.81	c  S st  1132    357504        80      7120         0     30994     49840    507177     22.82     22.80  --
170.96/42.89	c  S st  1132    358006        80      7120         0     31459     49840    519943     22.82   no data  --
170.96/42.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
170.96/42.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.37/42.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.03
171.37/42.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
171.37/42.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
171.37/42.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
171.37/42.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
182.14/45.66	c lits-rem:      1605  cl-subs:     1578  v-elim:      0  v-fix:    0  time: 10.92 s
182.14/45.66	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
182.14/45.66	c vivif2 --  cl tried    29881 cl shrink        0 lits rem          0 time: 0.02
183.34/45.93	c asymm  cl-useful: 0/1618/7120 lits-rem:0 time: 1.08
183.34/45.93	c calculated reachability. Time: 0.00
183.34/45.93	c  N dy  1132    358006        80      7120         0     29881     49840    474037     22.82   no data  --
197.32/49.49	c  N dy  1166    382457        80      7120         0     28463     49840    421615     22.76     24.03  --
208.50/52.22	c  N dy  1190    403879        80      7120         0     47976     49840    940164     22.72     23.99  --
218.09/54.62	c  N dy  1255    424145        80      7120         0     41923     49840    768929     22.73     24.06  --
228.50/57.30	c  N dy  1341    444217        80      7120         0     34631     49840    562435     22.76     24.32  --
240.86/60.30	c  N dy  1407    465586        80      7120         0     27637     49840    356155     22.76     24.00  --
251.25/62.91	c  N dy  1492    485666        80      7120         0     46074     49840    847546     22.78     24.86  --
265.23/66.45	c  N dy  1574    512558        80      7120         0     43218     49840    759366     22.78     24.13  --
278.81/69.87	c  N dy  1712    532638        80      7120         0     33309     49840    480544     22.84     24.11  --
281.22/70.45	c  S st  1747    537009        80      7120         0     37326     49840    590224     22.85   no data  --
281.63/70.55	c  S st  1747    537512        80      7120         0     37794     49840    603240     22.85   no data  --
281.63/70.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
281.63/70.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
281.63/70.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
281.63/70.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
281.63/70.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
281.63/70.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
281.63/70.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
294.00/73.68	c lits-rem:      1240  cl-subs:     1537  v-elim:      0  v-fix:    0  time: 12.38 s
294.00/73.68	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
294.00/73.69	c vivif2 --  cl tried    36257 cl shrink        0 lits rem          0 time: 0.02
295.19/73.92	c asymm  cl-useful: 0/1314/7120 lits-rem:0 time: 0.90
295.19/73.92	c calculated reachability. Time: 0.00
295.19/73.92	c  N dy  1747    537512        80      7120         0     36257     49840    555976     22.85   no data  --
307.18/76.92	c  N dy  1821    557538        80      7120         0     54710     49840   1054429     22.86     24.15  --
318.36/79.77	c  N dy  1867    578567        80      7120         0     44626     49840    760259     22.85     24.15  --
331.94/83.19	c  N dy  1940    600066        80      7120         0     34092     49840    464075     22.87     24.09  --
344.73/86.34	c  N dy  2058    620099        80      7120         0     52524     49840    965253     22.90     25.97  --
359.51/90.05	c  N dy  2145    642264        80      7120         0     41671     49840    652382     22.92     24.15  --
375.09/93.92	c  N dy  2185    665585        80      7120         0     62979     49840   1221350     22.89     24.19  --
387.47/97.02	c  N dy  2272    686209        80      7120         0     49814     49840    857820     22.91     24.13  --
403.45/101.03	c  N dy  2358    707258        80      7120         0     36106     49840    469783     22.93     24.22  --
417.03/104.40	c  N dy  2446    727260        80      7120         0     54452     49840    966722     22.94     24.38  --
435.01/108.97	c  N dy  2448    758188        80      7120         0     48570     49840    785252     22.87     24.18  --
454.58/113.81	c  N dy  2513    785823        80      7120         0     39162     49840    521535     22.85     24.06  --
467.36/117.08	c  N dy  2598    805871        80      7120         0     57580     49840   1017203     22.87     25.20  --
467.75/117.16	c  S st  2600    806268        80      7120         0     57950     49840   1026962     22.87     22.20  --
468.55/117.31	c  S st  2600    806770        80      7120         0     58424     49840   1040022     22.87   no data  --
468.55/117.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
468.55/117.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
468.55/117.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
468.55/117.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
468.55/117.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
468.55/117.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
468.55/117.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
506.90/126.93	c lits-rem:      2408  cl-subs:     4884  v-elim:      0  v-fix:    0  time: 38.13 s
506.90/126.93	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
506.90/126.94	c vivif2 --  cl tried    53540 cl shrink        0 lits rem          0 time: 0.05
508.10/127.29	c asymm  cl-useful: 0/880/7120 lits-rem:0 time: 1.41
508.10/127.29	c calculated reachability. Time: 0.00
508.10/127.29	c  N dy  2600    806770        80      7120         0     53540     49840    903271     22.87   no data  --
526.88/131.96	c  N dy  2707    827186        80      7120         0     36789     49840    445973     22.89     24.15  --
539.67/135.18	c  N dy  2781    848581        80      7120         0     56400     49840    974688     22.90     24.15  --
557.25/139.54	c  N dy  2859    868597        80      7120         0     38223     49840    468333     22.91     26.41  --
572.42/143.31	c  N dy  2883    894904        80      7120         0     62172     49840   1103576     22.86     24.09  --
588.40/147.36	c  N dy  2905    920264        80      7120         0     47685     49840    692915     22.80     24.03  --
606.79/151.92	c  N dy  2976    944383        80      7120         0     69742     49840   1281268     22.80     24.14  --
622.75/155.96	c  N dy  3048    966201        80      7120         0     51507     49840    794585     22.81     24.02  --
640.73/160.46	c  N dy  3182    986261        80      7120         0     69925     49840   1297917     22.83     25.45  --
656.31/164.34	c  N dy  3281   1006340        80      7120         0     49040     49840    713332     22.85     25.04  --
671.09/168.08	c  N dy  3338   1026357        80      7120         0     67379     49840   1205790     22.85     26.74  --
689.89/172.77	c  N dy  3398   1048190        80      7120         0     46994     49840    631911     22.85     24.15  --
704.65/176.43	c  N dy  3468   1068252        80      7120         0     65345     49840   1125188     22.86     27.00  --
708.64/177.40	c  F st  3500   1071877        80      7120         0     68680     49840   1217328     22.86   no data  --
728.61/182.43	c  N dy  3548   1096985        80      7120         0     50426     49840    705409     22.84     24.12  --
744.19/186.33	c  N dy  3618   1117224        80      7120         0     68860     49840   1197324     22.84     24.09  --
763.37/191.15	c  N dy  3698   1137319        80      7120         0     45265     49840    562154     22.85     24.21  --
779.74/195.23	c  N dy  3771   1157494        80      7120         0     63621     49840   1055982     22.85     24.13  --
801.31/200.67	c  N dy  3833   1177530        80      7120         0     81920     49840   1550145     22.85     24.92  --
826.10/206.85	c  N dy  3845   1207721        80      7120         0     66247     49840   1092058     22.82     24.05  --
828.48/207.46	c  S st  3853   1210156        80      7120         0     68470     49840   1151345     22.82   no data  --
829.28/207.69	c  S st  3853   1210658        80      7120         0     68937     49840   1163898     22.82   no data  --
829.28/207.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
829.28/207.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
829.68/207.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
829.68/207.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
829.68/207.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
829.68/207.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
829.68/207.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
922.77/231.08	c lits-rem:      2266  cl-subs:     7826  v-elim:      0  v-fix:    0  time: 93.09 s
922.77/231.08	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
922.77/231.09	c vivif2 --  cl tried    61111 cl shrink        0 lits rem          0 time: 0.05
924.35/231.47	c asymm  cl-useful: 0/809/7120 lits-rem:0 time: 1.51
924.35/231.47	c calculated reachability. Time: 0.00
924.35/231.47	c  N dy  3853   1210658        80      7120         0     61111     49840    963117     22.82   no data  --
949.92/237.83	c  N dy  3978   1231278        80      7120         0     80047     49840   1476652     22.84     24.15  --
969.89/242.83	c  N dy  4073   1252126        80      7120         0     55732     49840    815661     22.85     24.06  --
990.27/247.98	c  N dy  4161   1273194        80      7120         0     75029     49840   1336722     22.86     24.21  --
1017.83/254.80	c  N dy  4269   1293496        80      7120         0     49091     49840    619186     22.88     24.21  --
1038.60/260.03	c  N dy  4356   1314927        80      7120         0     68819     49840   1154554     22.89     24.15  --
1065.36/266.75	c  N dy  4434   1336333        80      7120         0     88366     49840   1682475     22.89     24.11  --
1086.93/272.12	c  N dy  4541   1357396        80      7120         0     61992     49840    951352     22.91     24.19  --
1108.90/277.67	c  N dy  4642   1377706        80      7120         0     80617     49840   1456347     22.92     24.21  --
1132.47/283.54	c  N dy  4726   1399399        80      7120         0     53792     49840    708402     22.92     24.19  --
1150.05/287.94	c  N dy  4820   1419439        80      7120         0     72109     49840   1206318     22.93     25.89  --
1170.82/293.16	c  N dy  4874   1439477        80      7120         0     90348     49840   1697043     22.93     27.19  --
1191.21/298.24	c  N dy  5026   1459521        80      7120         0     61273     49840    909748     22.96     24.64  --
1210.77/303.11	c  N dy  5105   1479566        80      7120         0     79636     49840   1406877     22.96     25.54  --
1235.53/309.36	c  N dy  5191   1499900        80      7120         0     49744     49840    570687     22.97     24.21  --
1251.11/313.26	c  N dy  5256   1520134        80      7120         0     68195     49840   1064970     22.97     24.22  --
1273.08/318.74	c  N dy  5330   1541377        80      7120         0     87670     49840   1594958     22.97     24.47  --
1302.25/326.09	c  N dy  5342   1578106        80      7120         0     71680     49840   1128865     22.93     24.22  --
1331.01/333.22	c  N dy  5454   1602703        80      7120         0     94190     49840   1737218     22.94     24.47  --
1358.20/340.02	c  N dy  5474   1633567        80      7120         0     71865     49840   1116262     22.92     24.17  --
1380.94/345.79	c  N dy  5571   1653587        80      7120         0     90238     49840   1613783     22.93     24.24  --
1403.31/351.30	c  N dy  5626   1673995        80      7120         0     57803     49840    741283     22.92     24.14  --
1417.69/354.98	c  N dy  5639   1694016        80      7120         0     75969     49840   1222256     22.91     25.90  --
1438.06/360.08	c  S st  5701   1710659        80      7120         0     91237     49840   1635299     22.91   no data  --
1439.26/360.37	c  S st  5701   1711164        80      7120         0     91708     49840   1648321     22.91   no data  --
1439.26/360.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1439.26/360.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1439.66/360.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1439.66/360.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1439.66/360.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1439.66/360.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1439.66/360.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1586.69/397.26	c lits-rem:      4417  cl-subs:     9152  v-elim:      0  v-fix:    0  time: 146.86 s
1586.69/397.26	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1586.69/397.28	c vivif2 --  cl tried    82556 cl shrink        0 lits rem          0 time: 0.08
1588.26/397.67	c asymm  cl-useful: 0/836/7120 lits-rem:0 time: 1.57
1588.26/397.67	c calculated reachability. Time: 0.00
1588.26/397.67	c  N dy  5701   1711164        80      7120         0     82556     49840   1400731     22.91   no data  --
1621.84/406.05	c  N dy  5828   1731241        80      7120         0    100982     49840   1903063     22.93     24.16  --
1643.81/411.53	c  N dy  5905   1751268        80      7120         0     67712     49840    996332     22.93     24.23  --
1665.78/417.07	c  N dy  5920   1771935        80      7120         0     86483     49840   1490984     22.92     24.30  --
1704.93/426.81	c  N dy  6045   1792015        80      7120         0    104890     49840   1996105     22.93     25.69  --
1729.68/433.01	c  N dy  6139   1812111        80      7120         0     70443     49840   1051504     22.94     24.91  --
1754.44/439.29	c  N dy  6170   1832507        80      7120         0     88972     49840   1535403     22.92     24.19  --
1801.19/450.93	c  N dy  6264   1862157        80      7120         0     62284     49840    806687     22.92     24.14  --
1824.35/456.71	c  N dy  6352   1882780        80      7120         0     81155     49840   1320330     22.93     24.22  --
1854.33/464.30	c  N dy  6442   1902878        80      7120         0     99522     49840   1820412     22.94     24.40  --
1889.48/473.06	c  N dy  6570   1927390        80      7120         0     67223     49840    935692     22.95     24.19  --
1914.23/479.27	c  N dy  6650   1947433        80      7120         0     85587     49840   1434150     22.96     26.09  --
1943.79/486.62	c  N dy  6713   1967520        80      7120         0    103897     49840   1929154     22.96     24.21  --
1970.95/493.48	c  N dy  6750   1990881        80      7120         0     69455     49840    969479     22.95     24.23  --
1998.12/500.24	c  N dy  6860   2010980        80      7120         0     87858     49840   1469510     22.96     25.57  --
2031.27/508.51	c  N dy  6983   2031091        80      7120         0    106248     49840   1972055     22.97     24.41  --
2057.23/515.00	c  N dy  7119   2051193        80      7120         0     68038     49840    928017     22.98     24.20  --
2077.22/520.03	c  N dy  7177   2071235        80      7120         0     86260     49840   1415776     22.98     24.21  --
2105.57/527.19	c  N dy  7249   2093206        80      7120         0    106336     49840   1952951     22.98     24.24  --
2131.94/533.75	c  N dy  7327   2114138        80      7120         0     67884     49840    901978     22.98     24.20  --
2153.91/539.20	c  N dy  7386   2134756        80      7120         0     86670     49840   1408813     22.98     24.32  --
2183.08/546.58	c  N dy  7471   2155169        80      7120         0    105366     49840   1916510     22.99     24.36  --
2212.63/553.97	c  N dy  7587   2175235        80      7120         0     65323     49840    822327     23.00     27.15  --
2232.63/558.93	c  N dy  7642   2195273        80      7120         0     83607     49840   1316270     23.00     24.27  --
2251.79/563.77	c  S st  7687   2211166        80      7120         0     98119     49840   1705295     23.00     23.20  --
2252.99/564.04	c  S st  7687   2211673        80      7120         0     98599     49840   1718795     23.00   no data  --
2252.99/564.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2252.99/564.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2252.99/564.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
2253.39/564.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2253.39/564.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2253.39/564.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2253.39/564.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2639.26/660.72	c lits-rem:      4689  cl-subs:     8152  v-elim:      0  v-fix:    0  time: 385.67 s
2639.26/660.72	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2639.26/660.75	c vivif2 --  cl tried    90447 cl shrink        0 lits rem          0 time: 0.08
2640.88/661.17	c asymm  cl-useful: 0/630/7120 lits-rem:0 time: 1.70
2640.88/661.18	c calculated reachability. Time: 0.00
2640.88/661.18	c  N dy  7687   2211673        80      7120         0     90447     49840   1487995     23.00   no data  --
2678.01/670.49	c  N dy  7770   2231701        80      7120         0    108790     49840   1988851     23.00     26.34  --
2720.38/681.01	c  N dy  7849   2263322        80      7120         0     78593     49840   1162273     23.00     24.43  --
2751.14/688.76	c  N dy  7953   2283404        80      7120         0     96985     49840   1662311     23.01     24.51  --
2777.88/695.49	c  N dy  7964   2304066        80      7120         0    115791     49840   2166105     22.99     24.24  --
2807.04/702.76	c  N dy  8049   2325209        80      7120         0     75040     49840   1055098     23.00     24.32  --
2835.80/709.91	c  N dy  8139   2345236        80      7120         0     93336     49840   1550791     23.00     26.04  --
2863.76/716.93	c  N dy  8144   2366142        80      7120         0    112193     49840   2039637     22.99     24.36  --
2898.12/725.53	c  N dy  8247   2387126        80      7120         0     70335     49840    913444     22.99     24.36  --
2954.45/739.62	c  N dy  8310   2431992        80      7120         0    110899     49840   1996790     22.97     24.19  --
2998.38/750.62	c  N dy  8409   2454437        80      7120         0     69603     49840    879538     22.98     24.19  --
3030.74/758.77	c  N dy  8489   2479996        80      7120         0     92911     49840   1506580     22.98     24.24  --
3056.31/765.11	c  N dy  8510   2499997        80      7120         0    111035     49840   1985061     22.97     24.94  --
3088.26/773.18	c  N dy  8606   2520092        80      7120         0     66635     49840    785752     22.98     25.18  --
3108.64/778.23	c  N dy  8687   2540153        80      7120         0     84915     49840   1281037     22.98     27.12  --
3133.02/784.38	c  N dy  8727   2562020        80      7120         0    104760     49840   1811210     22.97     24.25  --
3170.95/793.85	c  N dy  8829   2584237        80      7120         0    125039     49840   2363790     22.98     24.21  --
3196.52/800.27	c  N dy  8951   2604722        80      7120         0     80033     49840   1134294     22.99     24.30  --
3223.68/807.00	c  N dy  9034   2626333        80      7120         0     99780     49840   1670913     22.99     24.25  --
3255.64/815.06	c  N dy  9102   2647727        80      7120         0    119349     49840   2200016     22.99     24.21  --
3287.60/823.02	c  N dy  9217   2667991        80      7120         0     73109     49840    930597     23.00     24.23  --
3312.76/829.30	c  N dy  9294   2688124        80      7120         0     91441     49840   1427103     23.00     24.28  --
3350.32/838.72	c  N dy  9406   2709763        80      7120         0    111228     49840   1966849     23.01     24.34  --
3353.91/839.66	c  S st  9419   2711673        80      7120         0    112973     49840   2015223     23.01     24.74  --
3355.51/840.05	c  S st  9419   2712176        80      7120         0    113446     49840   2028537     23.01   no data  --
3355.51/840.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3355.51/840.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3355.91/840.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.27
3355.91/840.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3355.91/840.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3355.91/840.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3355.91/840.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4064.57/1017.54	c lits-rem:      6282  cl-subs:     9394  v-elim:      0  v-fix:    0  time: 708.29 s
4064.57/1017.54	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4064.57/1017.56	c vivif2 --  cl tried   104052 cl shrink        0 lits rem          0 time: 0.10
4066.56/1018.05	c asymm  cl-useful: 0/528/7120 lits-rem:0 time: 1.96
4066.56/1018.06	c calculated reachability. Time: 0.00
4066.56/1018.06	c  N dy  9419   2712176        80      7120         0    104052     49840   1753466     23.01   no data  --
4109.30/1028.73	c  N dy  9485   2732192        80      7120         0    122318     49840   2245361     23.01     25.48  --
4159.64/1041.37	c  N dy  9574   2757008        80      7120         0     79599     49840   1087946     23.02     24.27  --
4193.99/1049.96	c  N dy  9592   2778549        80      7120         0     99200     49840   1605874     23.00     24.22  --
4236.73/1060.69	c  N dy  9661   2799854        80      7120         0    118728     49840   2138789     23.01     24.28  --
4287.06/1073.28	c  N dy  9761   2819861        80      7120         0     70560     49840    824489     23.01     27.23  --
4323.02/1082.22	c  N dy  9882   2840032        80      7120         0     89094     49840   1334711     23.02     24.33  --
4368.55/1093.67	c  N dy  9964   2863579        80      7120         0    110515     49840   1912544     23.02     24.25  --
4424.49/1107.60	c  N dy 10124   2883633        80      7120         0    128926     49840   2422864     23.03     24.36  --
4467.22/1118.31	c  N dy 10242   2903666        80      7120         0     79787     49840   1062378     23.04     25.16  --
4506.37/1128.20	c  N dy 10333   2925125        80      7120         0     99362     49840   1593745     23.04     24.31  --
4547.93/1138.57	c  N dy 10394   2945148        80      7120         0    117660     49840   2089184     23.04     24.59  --
4600.25/1151.60	c  N dy 10435   2967435        80      7120         0     69496     49840    765911     23.04     24.26  --
4630.61/1159.22	c  N dy 10504   2987678        80      7120         0     87988     49840   1267262     23.04     24.34  --
4670.15/1169.17	c  N dy 10598   3009470        80      7120         0    107904     49840   1810511     23.05     24.26  --
4735.67/1185.58	c  N dy 10687   3042372        80      7120         0    137858     49840   2616599     23.04     24.41  --
4789.60/1199.07	c  N dy 10700   3088358        80      7120         0    109818     49840   1807671     23.01     24.25  --

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-3175257-1304104371/watcher-3175257-1304104371 -o /tmp/evaluation-result-3175257-1304104371/solver-3175257-1304104371 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175257-1304104371.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: 7.76 8.02 8.00 1/172 2918
/proc/meminfo: memFree=30912300/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 502852987 52465664 353 33554432000 4194304 4650419 140733329461152 18446744073709551615 220816292849 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 12809 353 303 112 0 7774 0
[pid=2918/tid=2919] ppid=2914 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502852987 52465664 358 33554432000 4194304 4650419 140733329461152 18446744073709551615 47995540350888 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502852987 52465664 358 33554432000 4194304 4650419 140733329461152 18446744073709551615 220811283542 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502852987 52465664 358 33554432000 4194304 4650419 140733329461152 18446744073709551615 220811283542 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.107395 s]
/proc/loadavg: 7.76 8.02 8.00 1/172 2918
/proc/meminfo: memFree=30912300/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=282052 CPUtime=0.41 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 1547 0 0 0 41 0 0 0 18 0 4 0 502852987 288821248 1448 33554432000 4194304 4650419 140733329461152 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 70513 1448 366 112 0 65478 0
[pid=2918/tid=2919] ppid=2914 vsize=282052 CPUtime=0.1 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 244 0 0 0 10 0 0 0 25 0 4 0 502852987 288821248 1448 33554432000 4194304 4650419 140733329461152 18446744073709551615 4370633 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=282052 CPUtime=0.1 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 253 0 0 0 10 0 0 0 18 0 4 0 502852987 288821248 1448 33554432000 4194304 4650419 140733329461152 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=282052 CPUtime=0.09 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 371 0 0 0 9 0 0 0 18 0 4 0 502852987 288821248 1448 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282052

[startup+0.20038 s]
/proc/loadavg: 7.76 8.02 8.00 1/172 2918
/proc/meminfo: memFree=30912300/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=285792 CPUtime=0.77 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 3614 0 0 0 77 0 0 0 18 0 4 0 502852987 292651008 2951 33554432000 4194304 4650419 140733329461152 18446744073709551615 4389630 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 71448 2951 388 112 0 66413 0
[pid=2918/tid=2919] ppid=2914 vsize=285792 CPUtime=0.19 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 842 0 0 0 19 0 0 0 25 0 4 0 502852987 292651008 2951 33554432000 4194304 4650419 140733329461152 18446744073709551615 4389807 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=285792 CPUtime=0.19 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 831 0 0 0 19 0 0 0 18 0 4 0 502852987 292651008 2951 33554432000 4194304 4650419 140733329461152 18446744073709551615 220816261015 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=285792 CPUtime=0.19 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 680 0 0 0 19 0 0 0 18 0 4 0 502852987 292651008 2951 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 285792

[startup+0.300361 s]
/proc/loadavg: 7.76 8.02 8.00 1/172 2918
/proc/meminfo: memFree=30912300/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=285792 CPUtime=1.17 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 3968 0 0 0 117 0 0 0 18 0 4 0 502852987 292651008 3305 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 71448 3306 390 112 0 66413 0
[pid=2918/tid=2919] ppid=2914 vsize=285792 CPUtime=0.29 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 938 0 0 0 29 0 0 0 25 0 4 0 502852987 292651008 3306 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=285792 CPUtime=0.29 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 920 0 0 0 29 0 0 0 18 0 4 0 502852987 292651008 3306 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=285792 CPUtime=0.29 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 759 0 0 0 29 0 0 0 18 0 4 0 502852987 292651008 3306 33554432000 4194304 4650419 140733329461152 18446744073709551615 4520364 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) 285792

[startup+0.700287 s]
/proc/loadavg: 7.76 8.02 8.00 1/172 2918
/proc/meminfo: memFree=30912300/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=287412 CPUtime=2.77 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 6396 0 0 0 277 0 0 0 18 0 4 0 502852987 294309888 3949 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 71853 3949 390 112 0 66818 0
[pid=2918/tid=2919] ppid=2914 vsize=287412 CPUtime=0.69 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 1614 0 0 0 69 0 0 0 25 0 4 0 502852987 294309888 3949 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=287412 CPUtime=0.69 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 1586 0 0 0 69 0 0 0 18 0 4 0 502852987 294309888 3949 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=287412 CPUtime=0.69 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 1248 0 0 0 69 0 0 0 18 0 4 0 502852987 294309888 3949 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287412

[startup+1.50114 s]
/proc/loadavg: 7.76 8.02 8.00 9/184 2936
/proc/meminfo: memFree=30878492/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=288768 CPUtime=5.98 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 10328 0 0 0 597 1 0 0 20 0 4 0 502852987 295698432 4835 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 72192 4835 391 112 0 67157 0
[pid=2918/tid=2919] ppid=2914 vsize=288768 CPUtime=1.48 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 2615 0 0 0 148 0 0 0 25 0 4 0 502852987 295698432 4835 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=288768 CPUtime=1.49 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 2558 0 0 0 149 0 0 0 20 0 4 0 502852987 295698432 4835 33554432000 4194304 4650419 140733329461152 18446744073709551615 4328541 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=288768 CPUtime=1.49 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 2221 0 0 0 149 0 0 0 20 0 4 0 502852987 295698432 4835 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 288768

[startup+3.10085 s]
/proc/loadavg: 7.76 8.02 8.00 9/184 2936
/proc/meminfo: memFree=30853600/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=295412 CPUtime=12.36 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 19670 0 0 0 1234 2 0 0 25 0 4 0 502852987 302501888 12052 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 73853 12052 392 112 0 68818 0
[pid=2918/tid=2919] ppid=2914 vsize=295412 CPUtime=3.07 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 4387 0 0 0 307 0 0 0 25 0 4 0 502852987 302501888 12052 33554432000 4194304 4650419 140733329461152 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=295412 CPUtime=3.09 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 5301 0 0 0 309 0 0 0 25 0 4 0 502852987 302501888 12052 33554432000 4194304 4650419 140733329461152 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=295412 CPUtime=3.09 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 5469 0 0 0 308 1 0 0 25 0 4 0 502852987 302501888 12052 33554432000 4194304 4650419 140733329461152 18446744073709551615 4371140 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 295412

[startup+6.30026 s]
/proc/loadavg: 7.86 8.03 8.00 9/184 2936
/proc/meminfo: memFree=30796872/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=313940 CPUtime=25.15 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 28360 0 0 0 2510 5 0 0 25 0 4 0 502852987 321474560 15274 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 78485 15274 392 112 0 73450 0
[pid=2918/tid=2919] ppid=2914 vsize=313940 CPUtime=6.26 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 7471 0 0 0 625 1 0 0 25 0 4 0 502852987 321474560 15274 33554432000 4194304 4650419 140733329461152 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=313940 CPUtime=6.28 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 7167 0 0 0 628 0 0 0 25 0 4 0 502852987 321474560 15274 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=313940 CPUtime=6.28 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 7778 0 0 0 627 1 0 0 25 0 4 0 502852987 321474560 15274 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 313940

[startup+12.7011 s]
/proc/loadavg: 7.95 8.05 8.01 9/184 2936
/proc/meminfo: memFree=30748128/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=316132 CPUtime=50.71 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 41540 0 0 0 5063 8 0 0 25 0 4 0 502852987 323719168 21480 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 79033 21480 392 112 0 73998 0
[pid=2918/tid=2919] ppid=2914 vsize=316132 CPUtime=12.62 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 10523 0 0 0 1260 2 0 0 25 0 4 0 502852987 323719168 21480 33554432000 4194304 4650419 140733329461152 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=316132 CPUtime=12.69 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 10851 0 0 0 1267 2 0 0 25 0 4 0 502852987 323719168 21480 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=316132 CPUtime=12.69 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 12100 0 0 0 1267 2 0 0 25 0 4 0 502852987 323719168 21480 33554432000 4194304 4650419 140733329461152 18446744073709551615 4311370 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 316132

[startup+25.5007 s]
/proc/loadavg: 7.96 8.04 8.00 9/184 2936
/proc/meminfo: memFree=30698524/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=318728 CPUtime=101.84 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 60835 0 0 0 10170 14 0 0 25 0 4 0 502852987 326377472 27311 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 79682 27311 392 112 0 74647 0
[pid=2918/tid=2919] ppid=2914 vsize=318728 CPUtime=25.36 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 15804 0 0 0 2533 3 0 0 25 0 4 0 502852987 326377472 27311 33554432000 4194304 4650419 140733329461152 18446744073709551615 4334047 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=318728 CPUtime=25.48 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 16318 0 0 0 2545 3 0 0 25 0 4 0 502852987 326377472 27311 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=318728 CPUtime=25.48 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 17837 0 0 0 2544 4 0 0 25 0 4 0 502852987 326377472 27311 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 318728

[startup+51.101 s]
/proc/loadavg: 7.97 8.04 8.00 9/184 2937
/proc/meminfo: memFree=30652916/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=314904 CPUtime=204.11 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 91895 0 0 0 20388 23 0 0 25 0 4 0 502852987 322461696 30518 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 78726 30518 392 112 0 73691 0
[pid=2918/tid=2919] ppid=2914 vsize=314904 CPUtime=50.82 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 25543 0 0 0 5077 5 0 0 25 0 4 0 502852987 322461696 30518 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=314904 CPUtime=51.08 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 24445 0 0 0 5103 5 0 0 25 0 4 0 502852987 322461696 30518 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=314904 CPUtime=51.08 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 27191 0 0 0 5101 7 0 0 25 0 4 0 502852987 322461696 30518 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 314904

[startup+102.301 s]
/proc/loadavg: 8.07 8.06 8.01 9/184 2938
/proc/meminfo: memFree=30587164/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=339848 CPUtime=408.65 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 139450 0 0 0 40826 39 0 0 25 0 4 0 502852987 348004352 42074 33554432000 4194304 4650419 140733329461152 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 84962 42074 392 112 0 79927 0
[pid=2918/tid=2919] ppid=2914 vsize=339848 CPUtime=101.75 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 36432 0 0 0 10165 10 0 0 25 0 4 0 502852987 348004352 42074 33554432000 4194304 4650419 140733329461152 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=339848 CPUtime=102.29 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 39153 0 0 0 10219 10 0 0 25 0 4 0 502852987 348004352 42074 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=339848 CPUtime=102.29 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 42813 0 0 0 10217 12 0 0 25 0 4 0 502852987 348004352 42074 33554432000 4194304 4650419 140733329461152 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 339848

[startup+162.3 s]

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

[pid=2918] ppid=2914 vsize=428580 CPUtime=2565.76 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 412713 0 0 0 256425 151 0 0 25 0 4 0 502852987 438865920 72199 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 107145 72199 392 112 0 102110 0
[pid=2918/tid=2919] ppid=2914 vsize=428580 CPUtime=638.83 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 114748 0 0 0 63846 37 0 0 25 0 4 0 502852987 438865920 72199 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=428580 CPUtime=642.29 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 109199 0 0 0 64192 37 0 0 25 0 4 0 502852987 438865920 72199 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=428580 CPUtime=642.31 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 119499 0 0 0 64181 50 0 0 25 0 4 0 502852987 438865920 72199 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.76
Current children cumulated vsize (KiB) 428580

[startup+702.301 s]
/proc/loadavg: 8.13 8.06 8.01 10/184 2956
/proc/meminfo: memFree=30182548/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=447620 CPUtime=2805.45 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 431555 0 0 0 280382 163 0 0 25 0 4 0 502852987 458362880 78796 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 111905 78796 392 112 0 106870 0
[pid=2918/tid=2919] ppid=2914 vsize=447620 CPUtime=698.5 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 118369 0 0 0 69811 39 0 0 25 0 4 0 502852987 458362880 78796 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=447620 CPUtime=702.29 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 114004 0 0 0 70189 40 0 0 25 0 4 0 502852987 458362880 78796 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=447620 CPUtime=702.31 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 126580 0 0 0 70177 54 0 0 25 0 4 0 502852987 458362880 78796 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.45
Current children cumulated vsize (KiB) 447620

[startup+762.301 s]
/proc/loadavg: 8.38 8.14 8.04 9/184 2961
/proc/meminfo: memFree=30175504/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=460104 CPUtime=3045.14 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 447899 0 0 0 304343 171 0 0 25 0 4 0 502852987 471146496 82505 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 115026 82505 392 112 0 109991 0
[pid=2918/tid=2919] ppid=2914 vsize=460104 CPUtime=758.18 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 118767 0 0 0 75779 39 0 0 25 0 4 0 502852987 471146496 82505 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=460104 CPUtime=762.3 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 120211 0 0 0 76187 43 0 0 25 0 4 0 502852987 471146496 82505 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=460104 CPUtime=762.32 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 131478 0 0 0 76175 57 0 0 25 0 4 0 502852987 471146496 82505 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 460104

[startup+822.301 s]
/proc/loadavg: 8.18 8.13 8.03 9/184 2963
/proc/meminfo: memFree=30091696/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=460860 CPUtime=3284.8 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 467294 0 0 0 328298 182 0 0 25 0 4 0 502852987 471920640 86778 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365308 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 115215 86778 392 112 0 110180 0
[pid=2918/tid=2919] ppid=2914 vsize=460860 CPUtime=817.85 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 123952 0 0 0 81742 43 0 0 25 0 4 0 502852987 471920640 86778 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=460860 CPUtime=822.3 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 126808 0 0 0 82183 47 0 0 25 0 4 0 502852987 471920640 86778 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=460860 CPUtime=822.31 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 138222 0 0 0 82171 60 0 0 25 0 4 0 502852987 471920640 86778 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 460860

[startup+882.307 s]
/proc/loadavg: 8.06 8.10 8.03 9/184 2964
/proc/meminfo: memFree=30131712/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=461096 CPUtime=3524.5 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 483382 0 0 0 352260 190 0 0 25 0 4 0 502852987 472162304 83735 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 115274 83735 392 112 0 110239 0
[pid=2918/tid=2919] ppid=2914 vsize=461096 CPUtime=877.53 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 127149 0 0 0 87707 46 0 0 25 0 4 0 502852987 472162304 83735 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=461096 CPUtime=882.31 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 133336 0 0 0 88181 50 0 0 25 0 4 0 502852987 472162304 83735 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=461096 CPUtime=882.32 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 144489 0 0 0 88169 63 0 0 25 0 4 0 502852987 472162304 83735 33554432000 4194304 4650419 140733329461152 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.5
Current children cumulated vsize (KiB) 461096

[startup+942.301 s]
/proc/loadavg: 8.02 8.08 8.02 9/184 2966
/proc/meminfo: memFree=30118908/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=513748 CPUtime=3764.16 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 498922 0 0 0 376218 198 0 0 25 0 4 0 502852987 526077952 89873 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 128437 89873 392 112 0 123402 0
[pid=2918/tid=2919] ppid=2914 vsize=513748 CPUtime=937.2 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 132815 0 0 0 93672 48 0 0 25 0 4 0 502852987 526077952 89873 33554432000 4194304 4650419 140733329461152 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=513748 CPUtime=942.3 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 137537 0 0 0 94178 52 0 0 25 0 4 0 502852987 526077952 89873 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=513748 CPUtime=942.32 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 150162 0 0 0 94166 66 0 0 25 0 4 0 502852987 526077952 89873 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.16
Current children cumulated vsize (KiB) 513748

[startup+1002.3 s]
/proc/loadavg: 8.04 8.08 8.02 9/184 2967
/proc/meminfo: memFree=30051036/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=526888 CPUtime=4003.84 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 510455 0 0 0 400181 203 0 0 25 0 4 0 502852987 539533312 95369 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 131722 95369 392 112 0 126687 0
[pid=2918/tid=2919] ppid=2914 vsize=526888 CPUtime=996.87 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 132815 0 0 0 99639 48 0 0 25 0 4 0 502852987 539533312 95369 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=526888 CPUtime=1002.3 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 143354 0 0 0 100174 56 0 0 25 0 4 0 502852987 539533312 95369 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=526888 CPUtime=1002.32 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 155878 0 0 0 100165 67 0 0 25 0 4 0 502852987 539533312 95369 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.84
Current children cumulated vsize (KiB) 526888

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.03 9/184 2969
/proc/meminfo: memFree=30069440/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=592476 CPUtime=4243.52 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 524670 0 0 0 424146 206 0 0 25 0 4 0 502852987 606695424 98261 33554432000 4194304 4650419 140733329461152 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 148119 98261 392 112 0 143084 0
[pid=2918/tid=2919] ppid=2914 vsize=592476 CPUtime=1056.55 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 132815 0 0 0 105607 48 0 0 25 0 4 0 502852987 606695424 98261 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=592476 CPUtime=1062.31 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 149537 0 0 0 106173 58 0 0 25 0 4 0 502852987 606695424 98261 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=592476 CPUtime=1062.32 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 163422 0 0 0 106164 68 0 0 25 0 4 0 502852987 606695424 98261 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.52
Current children cumulated vsize (KiB) 592476

[startup+1122.3 s]
/proc/loadavg: 8.18 8.11 8.04 9/184 2971
/proc/meminfo: memFree=30029084/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=592984 CPUtime=4483.2 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 538645 0 0 0 448111 209 0 0 25 0 4 0 502852987 607215616 97689 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 148246 97689 392 112 0 143211 0
[pid=2918/tid=2919] ppid=2914 vsize=592984 CPUtime=1116.22 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 132815 0 0 0 111574 48 0 0 25 0 4 0 502852987 607215616 97689 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=592984 CPUtime=1122.3 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 153941 0 0 0 112172 58 0 0 25 0 4 0 502852987 607215616 97689 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=592984 CPUtime=1122.32 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 172810 0 0 0 112163 69 0 0 25 0 4 0 502852987 607215616 97689 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.2
Current children cumulated vsize (KiB) 592984

[startup+1182.3 s]
/proc/loadavg: 8.17 8.12 8.04 9/184 2972
/proc/meminfo: memFree=30067232/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=592984 CPUtime=4722.88 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 552422 0 0 0 472076 212 0 0 25 0 4 0 502852987 607215616 98644 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 148246 98644 392 112 0 143211 0
[pid=2918/tid=2919] ppid=2914 vsize=592984 CPUtime=1175.9 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 132815 0 0 0 117542 48 0 0 25 0 4 0 502852987 607215616 98644 33554432000 4194304 4650419 140733329461152 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=592984 CPUtime=1182.31 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 156724 0 0 0 118171 60 0 0 25 0 4 0 502852987 607215616 98644 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=592984 CPUtime=1182.32 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 183800 0 0 0 118161 71 0 0 25 0 4 0 502852987 607215616 98644 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.88
Current children cumulated vsize (KiB) 592984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.13 8.05 9/184 2973
/proc/meminfo: memFree=30053704/32951124 swapFree=67105204/67111528
[pid=2918] ppid=2914 vsize=593096 CPUtime=4800.39 cores=1,3,5,7
/proc/2918/stat : 2918 (strangenight1-m) R 2914 2918 2468 0 -1 4202496 557341 0 0 0 479824 215 0 0 25 0 4 0 502852987 607330304 96095 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2918/statm: 148274 96095 392 112 0 143239 0
[pid=2918/tid=2919] ppid=2914 vsize=593096 CPUtime=1195.19 cores=1,3,5,7
/proc/2918/task/2919/stat : 2919 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 132954 0 0 0 119471 48 0 0 25 0 4 0 502852987 607330304 96096 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2918/tid=2920] ppid=2914 vsize=593096 CPUtime=1201.71 cores=1,3,5,7
/proc/2918/task/2920/stat : 2920 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 159135 0 0 0 120110 61 0 0 25 0 4 0 502852987 607330304 96096 33554432000 4194304 4650419 140733329461152 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2918/tid=2921] ppid=2914 vsize=593096 CPUtime=1201.73 cores=1,3,5,7
/proc/2918/task/2921/stat : 2921 (strangenight1-m) R 2914 2918 2468 0 -1 4202560 186169 0 0 0 120101 72 0 0 25 0 4 0 502852987 607330304 96096 33554432000 4194304 4650419 140733329461152 18446744073709551615 4365346 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) 593096

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.44
CPU user time (s): 4798.27
CPU system time (s): 2.16867
CPU usage (%): 399.461
Max. virtual memory (cumulated for all children) (KiB): 645728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.27
system time used= 2.16867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557342
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= 323
involuntary context switches= 31217

runsolver used 1.91071 second user time and 4.64529 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 21:12:51
IDJOB=3175257
IDBENCH=82875
IDSOLVER=1588
FILE ID=node147/3175257-1304104371
RUNJOBID= node147-1304103167-2793
PBS_JOBID= 13170622
Free space on /tmp= 72652 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175257-1304104371/watcher-3175257-1304104371 -o /tmp/evaluation-result-3175257-1304104371/solver-3175257-1304104371 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175257-1304104371.cnf

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

MD5SUM BENCH= 3919f50518b71f2cf8a267b92efd9aeb
RANDOM SEED=1222838491

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30912588 kB
Buffers:        281632 kB
Cached:        1372000 kB
SwapCached:       3064 kB
Active:         142760 kB
Inactive:      1571760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30912588 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:            6232 kB
Writeback:           0 kB
AnonPages:       58820 kB
Mapped:          14600 kB
Slab:           260496 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186540 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= 72648 MiB
End job on node147 at 2011-04-29 21:32:55