Trace number 3175217

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.27 1201.74

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf
MD5SUM569a001e2aa1e7b5ad13eab5cc7018bb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.668898
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
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 58010

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-3175217-1304099965.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.38/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.38/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.38/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.78/0.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.78/0.22	c Finding binary XORs  T:     0.00 s  found:       0
0.78/0.22	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.78/0.22	c calculated reachability. Time: 0.00
0.78/0.23	c Calc default polars -  time:   0.00 s pos:      34 undec:       3 neg:      53
0.78/0.23	c =========================================================================================
0.78/0.23	c types(t): F = full restart, N = normal restart
0.78/0.23	c types(t): S = simplification begin/end, E = solution found
0.78/0.23	c restart types(rt): st = static, dy = dynamic
0.78/0.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.78/0.23	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
1.58/0.48	c  N dy     8      7383        90      8010         0      4512     56070    122208     25.77     27.24  --
2.78/0.74	c  N dy    11     13734        90      8010         0      6465     56070    163721     24.94     26.32  --
3.58/0.95	c  N dy    29     18145        90      8010         0      5362     56070    115110     25.12     26.76  --
4.40/1.15	c  N dy    50     22452        90      8010         0      9385     56070    234063     25.31     26.71  --
4.77/1.28	c  F st    59     25001        90      8010         0     11756     56070    304508     25.38   no data  --
5.17/1.38	c  N st    63     27038        90      8010         0      7307     56070    153332     25.38   no data  --
5.97/1.51	c  S st    65     30000        90      8010         0     10057     56070    235056     25.38   no data  --
5.97/1.55	c  S st    65     30504        90      8010         0     10531     56070    249644     25.38   no data  --
5.97/1.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.97/1.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.77/2.78	c lits-rem:      1565  cl-subs:      748  v-elim:      0  v-fix:    0  time:  4.84 s
12.37/3.16	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.54
12.37/3.16	c calculated reachability. Time: 0.00
12.37/3.16	c  N dy    65     30504        90      8010         0      9783     56070    223758     25.38   no data  --
13.56/3.40	c  N dy    73     34582        90      8010         0     13573     56070    333512     25.19     27.77  --
14.36/3.66	c  N dy    86     39315        90      8010         0     10631     56070    233357     25.21     26.55  --
15.96/4.04	c  N dy    92     45759        90      8010         0      8281     56070    148127     24.94     23.22  --
15.96/4.04	c  S st    92     45759        90      8010         0      8281     56070    148127     24.94     23.22  --
15.96/4.07	c  S st    92     46262        90      8010         0      8756     56070    162228     24.94   no data  --
15.96/4.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.96/4.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.96/4.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.94/5.07	c lits-rem:       173  cl-subs:       45  v-elim:      0  v-fix:    0  time:  3.92 s
19.94/5.07	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.94/5.07	c vivif2 --  cl tried     8711 cl shrink        0 lits rem          0 time: 0.01
21.14/5.37	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.21
21.14/5.37	c calculated reachability. Time: 0.00
21.14/5.37	c  N dy    92     46262        90      8010         0      8711     56070    160394     24.94   no data  --
22.33/5.63	c  N dy   108     51194        90      8010         0     13294     56070    295839     25.01     26.34  --
23.53/5.90	c  N dy   132     55226        90      8010         0     17031     56070    406464     25.13     27.80  --
24.33/6.14	c  N dy   148     59300        90      8010         0     11583     56070    228073     25.19     26.59  --
25.14/6.38	c  N dy   156     63437        90      8010         0     15431     56070    340192     25.15     26.53  --
26.33/6.69	c  N dy   159     68057        90      8010         0     19694     56070    462439     25.07     26.41  --
27.10/6.81	c  S st   167     69394        90      8010         0     10755     56070    185114     25.09     24.78  --
27.10/6.84	c  S st   167     69898        90      8010         0     11226     56070    199344     25.09   no data  --
27.10/6.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.10/6.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.10/6.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.10/6.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.10/6.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.10/6.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.10/7.87	c lits-rem:       330  cl-subs:      104  v-elim:      0  v-fix:    0  time:  4.03 s
31.10/7.87	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.10/7.87	c vivif2 --  cl tried    11122 cl shrink        0 lits rem          0 time: 0.01
32.70/8.23	c asymm  cl-useful: 0/7625/8010 lits-rem:0 time: 1.44
32.70/8.23	c calculated reachability. Time: 0.00
32.70/8.23	c  N dy   167     69898        90      8010         0     11122     56070    195376     25.09   no data  --
33.90/8.52	c  N dy   191     74455        90      8010         0     15362     56070    320266     25.14     26.61  --
35.49/8.99	c  N dy   211     80628        90      8010         0     21074     56070    488257     25.14     26.49  --
37.09/9.39	c  N dy   236     85884        90      8010         0     14817     56070    288984     25.20     26.60  --
37.89/9.52	c  F st   250     87502        90      8010         0     16320     56070    334213     25.24   no data  --
39.11/9.89	c  N dy   256     92694        90      8010         0     21111     56070    477141     25.24   no data  --
41.49/10.45	c  N dy   266    100660        90      8010         0     16463     56070    319105     25.22     26.57  --
42.68/10.77	c  S st   282    104849        90      8010         0     20378     56070    434918     25.24   no data  --
43.08/10.83	c  S st   282    105353        90      8010         0     20854     56070    449425     25.24   no data  --
43.08/10.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.08/10.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.08/10.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
43.08/10.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.08/10.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.08/10.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.08/10.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.85/12.51	c lits-rem:      1646  cl-subs:     1540  v-elim:      0  v-fix:    0  time:  6.59 s
49.85/12.52	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
49.85/12.52	c vivif2 --  cl tried    19314 cl shrink        0 lits rem          0 time: 0.02
51.45/12.92	c asymm  cl-useful: 0/5602/8010 lits-rem:0 time: 1.59
51.45/12.92	c calculated reachability. Time: 0.00
51.45/12.92	c  N dy   282    105353        90      8010         0     19314     56070    399041     25.24   no data  --
54.64/13.72	c  N dy   292    115196        90      8010         0     15470     56070    271858     25.11     26.56  --
60.24/15.10	c  N dy   307    134373        90      8010         0     19287     56070    362970     24.83     26.37  --
63.04/15.83	c  N dy   346    142974        90      8010         0     27278     56070    597559     24.88     26.20  --
66.23/16.60	c  N dy   401    152174        90      8010         0     21103     56070    407136     24.97     28.76  --
68.23/17.15	c  S st   448    158029        90      8010         0     26566     56070    569823     25.04   no data  --
68.63/17.22	c  S st   448    158533        90      8010         0     27042     56070    584222     25.04   no data  --
68.63/17.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.63/17.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.63/17.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.63/17.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.63/17.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.63/17.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
68.63/17.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.20/20.18	c lits-rem:      2484  cl-subs:     1753  v-elim:      0  v-fix:    0  time: 11.68 s
80.20/20.18	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
80.20/20.18	c vivif2 --  cl tried    25289 cl shrink        0 lits rem          0 time: 0.02
81.41/20.43	c asymm  cl-useful: 0/1880/8010 lits-rem:0 time: 0.97
81.41/20.43	c calculated reachability. Time: 0.00
81.41/20.43	c  N dy   448    158533        90      8010         0     25289     56070    523105     25.04   no data  --
87.00/21.81	c  N dy   498    174224        90      8010         0     24097     56070    473875     25.06     26.38  --
92.22/23.15	c  N dy   561    188645        90      8010         0     20833     56070    361734     25.11     26.50  --
96.98/24.35	c  N dy   588    201796        90      8010         0     33036     56070    719976     25.10     26.64  --
108.17/27.11	c  N dy   660    229720        90      8010         0     22644     56070    374073     25.05     26.38  --
111.36/27.90	c  S st   708    237800        90      8010         0     30128     56070    596195     25.09   no data  --
111.36/27.98	c  S st   708    238305        90      8010         0     30601     56070    610168     25.09   no data  --
111.36/27.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
111.36/27.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.36/28.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
111.76/28.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.76/28.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.76/28.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
111.76/28.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.35/30.98	c lits-rem:      2090  cl-subs:     2245  v-elim:      0  v-fix:    0  time: 11.86 s
123.35/30.99	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
123.35/30.99	c vivif2 --  cl tried    28356 cl shrink        0 lits rem          0 time: 0.02
123.75/31.06	c asymm  cl-useful: 0/528/8010 lits-rem:0 time: 0.26
123.75/31.06	c calculated reachability. Time: 0.00
123.75/31.06	c  N dy   708    238305        90      8010         0     28356     56070    540026     25.09   no data  --
130.13/32.65	c  N dy   772    253601        90      8010         0     23227     56070    378750     25.13     27.38  --
140.92/35.32	c  N dy   803    282475        90      8010         0     29516     56070    542581     25.03     26.51  --
148.93/37.36	c  N dy   878    300569        90      8010         0     25090     56070    400101     25.06     26.73  --
151.30/37.97	c  F st   915    306252        90      8010         0     30385     56070    558512     25.09     25.32  --
161.70/40.51	c  N dy   945    331412        90      8010         0     31364     56070    563128     25.03     26.37  --
170.48/42.70	c  N dy   977    351437        90      8010         0     26739     56070    407211     24.97     26.29  --
172.87/43.34	c  S st  1012    357459        90      8010         0     32355     56070    574706     25.00   no data  --
173.27/43.43	c  S st  1012    357963        90      8010         0     32822     56070    588804     25.00   no data  --
173.27/43.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
173.27/43.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
173.27/43.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
173.27/43.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
173.27/43.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
173.27/43.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
173.27/43.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
184.07/46.13	c lits-rem:      1878  cl-subs:     1743  v-elim:      0  v-fix:    0  time: 10.67 s
184.07/46.13	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
184.07/46.14	c vivif2 --  cl tried    31079 cl shrink        0 lits rem          0 time: 0.03
184.85/46.39	c asymm  cl-useful: 0/2037/8010 lits-rem:0 time: 0.98
184.85/46.39	c calculated reachability. Time: 0.00
184.85/46.39	c  N dy  1012    357963        90      8010         0     31079     56070    534132     25.00   no data  --
198.04/49.67	c  N dy  1039    379937        90      8010         0     27316     56070    409217     24.95     26.31  --
209.23/52.41	c  N dy  1106    400831        90      8010         0     46670     56070    977796     24.96     26.40  --
220.81/55.33	c  N dy  1181    423045        90      8010         0     42300     56070    833576     24.98     26.31  --
232.81/58.39	c  N dy  1266    446756        90      8010         0     38376     56070    698383     24.99     26.51  --
242.78/60.85	c  N dy  1299    466758        90      8010         0     30078     56070    439129     24.96     26.70  --
255.97/64.13	c  N dy  1428    490601        90      8010         0     52238     56070   1097565     25.01     26.40  --
267.57/67.05	c  N dy  1510    512238        90      8010         0     44479     56070    839358     25.03     26.35  --
280.33/70.29	c  N dy  1631    532262        90      8010         0     34375     56070    524542     25.07     27.92  --
282.72/70.88	c  S st  1651    536945        90      8010         0     38718     56070    653641     25.08     25.51  --
283.12/70.98	c  S st  1651    537446        90      8010         0     39186     56070    667200     25.08   no data  --
283.12/70.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
283.12/70.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.52/71.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
283.52/71.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
283.52/71.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
283.52/71.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
283.52/71.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
295.10/73.97	c lits-rem:       976  cl-subs:     1704  v-elim:      0  v-fix:    0  time: 11.79 s
295.10/73.97	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
295.10/73.98	c vivif2 --  cl tried    37482 cl shrink        0 lits rem          0 time: 0.03
296.30/74.20	c asymm  cl-useful: 0/1448/8010 lits-rem:0 time: 0.89
296.30/74.20	c calculated reachability. Time: 0.00
296.30/74.20	c  N dy  1651    537446        90      8010         0     37482     56070    612107     25.08   no data  --
309.49/77.55	c  N dy  1750    557944        90      8010         0     56550     56070   1175830     25.11     26.53  --
319.88/80.18	c  N dy  1808    577977        90      8010         0     45480     56070    834625     25.12     29.89  --
333.06/83.42	c  N dy  1864    598119        90      8010         0     33528     56070    462603     25.11     26.53  --
344.64/86.33	c  N dy  1938    618663        90      8010         0     52570     56070   1024566     25.12     26.57  --
357.82/89.67	c  N dy  1987    638669        90      8010         0     39582     56070    623616     25.12     27.63  --
372.20/93.23	c  N dy  2057    658780        90      8010         0     58194     56070   1170358     25.13     26.51  --
384.19/96.23	c  N dy  2100    678820        90      8010         0     44260     56070    742833     25.12     28.10  --
398.95/99.93	c  N dy  2189    700211        90      8010         0     64045     56070   1328444     25.14     26.87  --
415.32/104.06	c  N dy  2240    726213        90      8010         0     54777     56070   1028719     25.12     26.55  --
429.71/107.60	c  N dy  2261    746962        90      8010         0     39839     56070    583495     25.11     26.43  --
442.49/110.87	c  N dy  2337    767035        90      8010         0     58483     56070   1132420     25.12     27.84  --
457.67/114.69	c  N dy  2428    787064        90      8010         0     41877     56070    622543     25.14     27.27  --
469.67/117.61	c  S st  2487    806171        90      8010         0     59538     56070   1142370     25.14     23.98  --
470.07/117.78	c  S st  2487    806673        90      8010         0     60013     56070   1156345     25.14   no data  --
470.07/117.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
470.07/117.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
470.45/117.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
470.45/117.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
470.45/117.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
470.45/117.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
470.45/117.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
515.19/129.01	c lits-rem:      2875  cl-subs:     4264  v-elim:      0  v-fix:    0  time: 44.58 s
515.19/129.01	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
515.19/129.02	c vivif2 --  cl tried    55749 cl shrink        0 lits rem          0 time: 0.05
516.39/129.37	c asymm  cl-useful: 0/949/8010 lits-rem:0 time: 1.40
516.39/129.37	c calculated reachability. Time: 0.00
516.39/129.37	c  N dy  2487    806673        90      8010         0     55749     56070   1020702     25.14   no data  --
532.36/133.33	c  N dy  2534    829022        90      8010         0     40457     56070    556864     25.13     26.48  --
563.12/141.00	c  N dy  2610    880097        90      8010         0     50492     56070    830170     25.05     26.55  --
579.51/145.13	c  N dy  2662    903570        90      8010         0     72163     56070   1464695     25.04     26.37  --
593.89/148.70	c  N dy  2725    924577        90      8010         0     53799     56070    915060     25.04     26.37  --
613.06/153.54	c  N dy  2835    946708        90      8010         0     74293     56070   1522548     25.07     26.43  --
627.44/157.14	c  N dy  2931    966711        90      8010         0     54079     56070    908546     25.08     26.51  --
643.02/161.00	c  N dy  2972    986829        90      8010         0     72652     56070   1447590     25.06     26.48  --
659.40/165.11	c  N dy  3087   1006986        90      8010         0     51645     56070    819101     25.09     26.42  --
676.19/169.38	c  N dy  3195   1027353        90      8010         0     70555     56070   1383246     25.11     26.55  --
699.74/175.20	c  N dy  3214   1060878        90      8010         0     60587     56070   1039370     25.06     26.41  --
708.93/177.57	c  F st  3261   1071875        90      8010         0     70771     56070   1342200     25.07   no data  --
717.72/179.70	c  N dy  3286   1080892        90      8010         0     79101     56070   1590652     25.07     26.40  --
736.89/184.54	c  N dy  3344   1110360        90      8010         0     64787     56070   1159925     25.04     26.38  --
763.66/191.22	c  N dy  3432   1138184        90      8010         0     48021     56070    649202     25.04     26.44  --
782.05/195.82	c  N dy  3516   1158457        90      8010         0     66795     56070   1204144     25.05     26.43  --
806.80/202.09	c  N dy  3631   1178556        90      8010         0     85505     56070   1761212     25.07     26.48  --
824.37/206.46	c  N dy  3703   1198655        90      8010         0     60614     56070   1007376     25.08     26.46  --
837.95/209.87	c  S st  3768   1210010        90      8010         0     71127     56070   1321378     25.09   no data  --
839.17/210.16	c  S st  3768   1210513        90      8010         0     71600     56070   1335611     25.09   no data  --
839.17/210.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
839.17/210.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
839.55/210.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.19
839.55/210.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
839.55/210.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
839.55/210.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
839.55/210.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
921.84/230.83	c lits-rem:      3367  cl-subs:     4923  v-elim:      0  v-fix:    0  time: 82.14 s
921.84/230.83	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
921.84/230.84	c vivif2 --  cl tried    66677 cl shrink        0 lits rem          0 time: 0.06
923.43/231.24	c asymm  cl-useful: 0/846/8010 lits-rem:0 time: 1.56
923.43/231.24	c calculated reachability. Time: 0.00
923.43/231.24	c  N dy  3768   1210513        90      8010         0     66677     56070   1175856     25.09   no data  --
946.60/237.02	c  N dy  3839   1230840        90      8010         0     85514     56070   1730266     25.09     26.50  --
973.77/243.81	c  N dy  3864   1266460        90      8010         0     73935     56070   1365836     25.04     26.49  --
1000.13/250.48	c  N dy  3968   1286498        90      8010         0     47414     56070    581533     25.06     26.80  --
1018.92/255.12	c  N dy  4029   1307704        90      8010         0     66971     56070   1148967     25.06     26.48  --
1043.27/261.23	c  N dy  4133   1327820        90      8010         0     85581     56070   1702671     25.07     26.42  --
1062.05/265.96	c  N dy  4188   1347829        90      8010         0     57848     56070    867000     25.06     26.40  --
1082.02/270.98	c  N dy  4250   1367930        90      8010         0     76474     56070   1417381     25.06     28.20  --
1107.20/277.27	c  N dy  4357   1388649        90      8010         0     48613     56070    576579     25.08     26.42  --
1122.37/281.04	c  N dy  4434   1408748        90      8010         0     67236     56070   1127932     25.08     27.04  --
1144.34/286.50	c  N dy  4501   1431188        90      8010         0     87976     56070   1741551     25.09     26.44  --
1165.11/291.73	c  N dy  4608   1451355        90      8010         0     58541     56070    851923     25.10     26.45  --
1182.28/296.02	c  N dy  4663   1471384        90      8010         0     77028     56070   1394142     25.10     26.54  --
1206.25/302.03	c  N dy  4762   1491471        90      8010         0     95593     56070   1946198     25.11     26.60  --
1223.83/306.40	c  N dy  4841   1511577        90      8010         0     65222     56070   1029581     25.12     26.45  --
1243.02/311.20	c  N dy  4902   1532616        90      8010         0     84617     56070   1598823     25.12     26.74  --
1269.79/317.96	c  N dy  5025   1554792        90      8010         0     55248     56070    716577     25.13     26.51  --
1287.73/322.42	c  N dy  5103   1575486        90      8010         0     74371     56070   1280663     25.14     26.58  --
1312.11/328.59	c  N dy  5231   1595519        90      8010         0     92914     56070   1837241     25.16     27.18  --
1333.68/333.90	c  N dy  5305   1616474        90      8010         0     61393     56070    881466     25.16     26.62  --
1351.25/338.38	c  N dy  5333   1637926        90      8010         0     81136     56070   1457209     25.15     26.48  --
1374.84/344.28	c  N dy  5411   1658003        90      8010         0     99638     56070   2006877     25.16     26.76  --
1395.19/349.34	c  N dy  5493   1678080        90      8010         0     66583     56070   1014390     25.16     26.72  --
1417.16/354.84	c  N dy  5598   1699349        90      8010         0     86267     56070   1598325     25.17     26.54  --
1429.14/357.88	c  S st  5631   1710513        90      8010         0     96596     56070   1905485     25.17     22.47  --
1430.35/358.17	c  S st  5631   1711015        90      8010         0     97064     56070   1919623     25.17   no data  --
1430.35/358.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1430.35/358.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1430.75/358.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1430.75/358.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1430.75/358.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1430.75/358.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1430.75/358.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1887.72/472.60	c lits-rem:      7014  cl-subs:     8009  v-elim:      0  v-fix:    0  time: 456.42 s
1887.72/472.60	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1887.72/472.62	c vivif2 --  cl tried    89055 cl shrink        0 lits rem          0 time: 0.09
1889.33/473.05	c asymm  cl-useful: 0/625/8010 lits-rem:0 time: 1.68
1889.33/473.05	c calculated reachability. Time: 0.00
1889.33/473.05	c  N dy  5631   1711015        90      8010         0     89055     56070   1661190     25.17   no data  --
1916.87/479.93	c  N dy  5707   1731383        90      8010         0     55488     56070    673907     25.18     26.54  --
1938.84/485.40	c  N dy  5819   1751723        90      8010         0     74364     56070   1238858     25.19     26.53  --
1960.01/490.77	c  N dy  5872   1771794        90      8010         0     92856     56070   1780384     25.18     27.19  --
1986.37/497.31	c  N dy  5963   1791886        90      8010         0     57947     56070    726000     25.19     29.24  --
2003.95/501.75	c  N dy  6022   1812992        90      8010         0     77478     56070   1306998     25.19     26.53  --
2027.52/507.60	c  N dy  6105   1833157        90      8010         0     96123     56070   1861113     25.20     26.55  --
2054.68/514.47	c  N dy  6194   1853159        90      8010         0     60145     56070    770718     25.21     26.56  --
2074.25/519.39	c  N dy  6249   1873270        90      8010         0     78791     56070   1325019     25.21     26.59  --
2099.43/525.68	c  N dy  6355   1893330        90      8010         0     97361     56070   1878505     25.22     26.63  --
2124.59/531.90	c  N dy  6397   1914889        90      8010         0     61773     56070    799444     25.22     26.62  --
2144.56/536.93	c  N dy  6498   1934952        90      8010         0     80304     56070   1348556     25.22     27.01  --
2172.52/543.92	c  N dy  6582   1956447        90      8010         0    100258     56070   1938460     25.23     26.62  --
2198.49/550.40	c  N dy  6666   1976658        90      8010         0     62529     56070    807608     25.24     26.57  --
2221.66/556.24	c  N dy  6750   2000888        90      8010         0     84887     56070   1467751     25.24     26.66  --
2248.02/562.80	c  N dy  6831   2021448        90      8010         0    103937     56070   2032896     25.24     26.72  --
2274.78/569.50	c  N dy  6915   2044253        90      8010         0     67588     56070    933551     25.24     26.66  --
2295.15/574.66	c  N dy  6997   2064601        90      8010         0     86358     56070   1489782     25.25     26.63  --
2324.34/581.96	c  N dy  7127   2084608        90      8010         0    104978     56070   2048323     25.26     26.76  --
2346.30/587.47	c  N dy  7163   2104619        90      8010         0     65216     56070    845488     25.25     28.54  --
2366.65/592.58	c  N dy  7252   2124939        90      8010         0     84034     56070   1406248     25.26     26.59  --
2393.42/599.27	c  N dy  7364   2145006        90      8010         0    102645     56070   1964475     25.27     28.76  --
2418.19/605.43	c  N dy  7395   2165028        90      8010         0     61889     56070    730407     25.26     27.32  --
2448.14/612.98	c  N dy  7503   2196391        90      8010         0     90868     56070   1589402     25.26     26.60  --
2464.54/617.07	c  S st  7533   2211016        90      8010         0    104375     56070   1987371     25.26     23.94  --
2465.72/617.38	c  S st  7533   2211517        90      8010         0    104859     56070   2001959     25.26   no data  --
2465.72/617.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2465.72/617.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2466.12/617.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2466.52/617.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2466.52/617.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2466.52/617.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2466.52/617.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2939.50/735.99	c lits-rem:      4945  cl-subs:     8654  v-elim:      0  v-fix:    0  time: 473.17 s
2939.50/735.99	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2939.88/736.01	c vivif2 --  cl tried    96205 cl shrink        0 lits rem          0 time: 0.09
2941.08/736.39	c asymm  cl-useful: 0/571/8010 lits-rem:0 time: 1.49
2941.08/736.39	c calculated reachability. Time: 0.00
2941.08/736.39	c  N dy  7533   2211517        90      8010         0     96205     56070   1734062     25.26   no data  --
2968.24/743.10	c  N dy  7572   2231788        90      8010         0    114936     56070   2281218     25.26     26.71  --
2990.61/748.74	c  N dy  7647   2252072        90      8010         0     73902     56070   1069782     25.26     26.73  --
3012.98/754.39	c  N dy  7670   2276631        90      8010         0     96389     56070   1723109     25.24     26.60  --
3049.73/763.58	c  N dy  7739   2302911        90      8010         0    120587     56070   2439442     25.24     27.02  --
3071.32/768.94	c  N dy  7843   2323408        90      8010         0     78847     56070   1204276     25.25     26.60  --
3094.87/774.89	c  N dy  7920   2343627        90      8010         0     97602     56070   1764344     25.26     26.69  --
3126.03/782.69	c  N dy  8022   2363660        90      8010         0    116099     56070   2315598     25.26     26.64  --
3150.79/788.86	c  N dy  8088   2383741        90      8010         0     72819     56070   1003437     25.27     27.79  --
3171.16/793.91	c  N dy  8108   2406139        90      8010         0     93430     56070   1607308     25.26     26.60  --
3199.52/801.02	c  N dy  8182   2426893        90      8010         0    112623     56070   2175792     25.26     26.63  --
3232.68/809.34	c  N dy  8300   2449179        90      8010         0     70548     56070    917367     25.27     26.61  --
3252.65/814.37	c  N dy  8370   2469189        90      8010         0     88988     56070   1466796     25.28     28.49  --
3285.00/822.44	c  N dy  8433   2495093        90      8010         0    112875     56070   2164761     25.27     26.60  --
3312.58/829.38	c  N dy  8496   2515140        90      8010         0     67711     56070    812850     25.27     26.79  --
3333.74/834.64	c  N dy  8555   2538252        90      8010         0     89087     56070   1450216     25.27     26.69  --
3364.10/842.20	c  N dy  8635   2558697        90      8010         0    107926     56070   2011653     25.27     26.62  --
3398.86/850.93	c  N dy  8717   2578867        90      8010         0    126565     56070   2566085     25.27     26.76  --
3422.44/856.88	c  N dy  8807   2598964        90      8010         0     80562     56070   1177008     25.28     27.09  --
3445.59/862.67	c  N dy  8863   2619230        90      8010         0     99260     56070   1730599     25.28     26.88  --
3477.95/870.71	c  N dy  8980   2639255        90      8010         0    117759     56070   2286952     25.29     26.69  --
3513.50/879.67	c  N dy  9045   2664786        90      8010         0     75660     56070   1002212     25.28     26.68  --
3537.47/885.61	c  N dy  9135   2684920        90      8010         0     94313     56070   1558513     25.29     26.75  --
3580.21/896.31	c  N dy  9215   2711520        90      8010         0    118820     56070   2282425     25.29     22.91  --
3580.21/896.31	c  S st  9215   2711520        90      8010         0    118820     56070   2282425     25.29     22.91  --
3581.80/896.70	c  S st  9215   2712021        90      8010         0    119302     56070   2297442     25.29   no data  --
3581.80/896.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3581.80/896.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3581.80/896.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.29
3582.21/896.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3582.21/896.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3582.21/896.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3582.21/896.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4601.22/1151.97	c lits-rem:      7524  cl-subs:    10214  v-elim:      0  v-fix:    0  time: 1018.97 s
4601.22/1151.97	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4601.22/1151.99	c vivif2 --  cl tried   109088 cl shrink        0 lits rem          0 time: 0.11
4603.22/1152.48	c asymm  cl-useful: 0/507/8010 lits-rem:0 time: 1.96
4603.22/1152.49	c calculated reachability. Time: 0.00
4603.22/1152.49	c  N dy  9215   2712021        90      8010         0    109088     56070   1978224     25.29   no data  --
4642.78/1162.35	c  N dy  9270   2732426        90      8010         0    127953     56070   2538285     25.29     26.63  --
4675.15/1170.48	c  N dy  9363   2752442        90      8010         0     80366     56070   1138984     25.29     30.12  --
4708.28/1178.72	c  N dy  9460   2773772        90      8010         0    100060     56070   1728461     25.30     26.68  --
4743.04/1187.40	c  N dy  9544   2793851        90      8010         0    118631     56070   2282360     25.30     27.94  --
4782.98/1197.41	c  N dy  9638   2813932        90      8010         0     69948     56070    811181     25.31     26.67  --

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-3175217-1304099965/watcher-3175217-1304099965 -o /tmp/evaluation-result-3175217-1304099965/solver-3175217-1304099965 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175217-1304099965.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.54 8.16 8.04 5/178 26022
/proc/meminfo: memFree=30837096/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 521596118 52465664 357 33554432000 4194304 4650419 140736675108448 18446744073709551615 47026723587609 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 12809 357 306 112 0 7774 0
[pid=26022/tid=26023] ppid=26020 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521596118 52465664 357 33554432000 4194304 4650419 140736675108448 18446744073709551615 47026723588022 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521596118 52465664 357 33554432000 4194304 4650419 140736675108448 18446744073709551615 47026723587609 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521596118 52465664 357 33554432000 4194304 4650419 140736675108448 18446744073709551615 47026723587609 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0305771 s]
/proc/loadavg: 8.54 8.16 8.04 5/178 26022
/proc/meminfo: memFree=30837096/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=281900 CPUtime=0.1 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 1484 0 0 0 10 0 0 0 25 0 4 0 521596118 288665600 1390 33554432000 4194304 4650419 140736675108448 18446744073709551615 4370630 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 70475 1390 366 112 0 65440 0
[pid=26022/tid=26023] ppid=26020 vsize=281900 CPUtime=0.02 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 238 0 0 0 2 0 0 0 25 0 4 0 521596118 288665600 1390 33554432000 4194304 4650419 140736675108448 18446744073709551615 4370686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=281900 CPUtime=0.02 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 239 0 0 0 2 0 0 0 25 0 4 0 521596118 288665600 1390 33554432000 4194304 4650419 140736675108448 18446744073709551615 4369381 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=281900 CPUtime=0.02 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 319 0 0 0 2 0 0 0 25 0 4 0 521596118 288665600 1390 33554432000 4194304 4650419 140736675108448 18446744073709551615 274664469537 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 281900

[startup+0.100564 s]
/proc/loadavg: 8.54 8.16 8.04 5/178 26022
/proc/meminfo: memFree=30837096/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=282032 CPUtime=0.38 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 1632 0 0 0 38 0 0 0 25 0 4 0 521596118 288800768 1538 33554432000 4194304 4650419 140736675108448 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 70508 1538 366 112 0 65473 0
[pid=26022/tid=26023] ppid=26020 vsize=282032 CPUtime=0.09 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 245 0 0 0 9 0 0 0 25 0 4 0 521596118 288800768 1538 33554432000 4194304 4650419 140736675108448 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=282032 CPUtime=0.09 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 250 0 0 0 9 0 0 0 25 0 4 0 521596118 288800768 1538 33554432000 4194304 4650419 140736675108448 18446744073709551615 4370637 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=282032 CPUtime=0.09 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 437 0 0 0 9 0 0 0 25 0 4 0 521596118 288800768 1538 33554432000 4194304 4650419 140736675108448 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282032

[startup+0.300532 s]
/proc/loadavg: 8.54 8.16 8.04 5/178 26022
/proc/meminfo: memFree=30837096/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=286064 CPUtime=1.18 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 4099 0 0 0 118 0 0 0 25 0 4 0 521596118 292929536 3443 33554432000 4194304 4650419 140736675108448 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 71516 3444 390 112 0 66481 0
[pid=26022/tid=26023] ppid=26020 vsize=286064 CPUtime=0.29 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 920 0 0 0 29 0 0 0 25 0 4 0 521596118 292929536 3444 33554432000 4194304 4650419 140736675108448 18446744073709551615 4354972 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=286064 CPUtime=0.29 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 942 0 0 0 29 0 0 0 25 0 4 0 521596118 292929536 3444 33554432000 4194304 4650419 140736675108448 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=286064 CPUtime=0.29 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 848 0 0 0 29 0 0 0 25 0 4 0 521596118 292929536 3444 33554432000 4194304 4650419 140736675108448 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 286064

[startup+0.700464 s]
/proc/loadavg: 8.54 8.16 8.04 5/178 26022
/proc/meminfo: memFree=30837096/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=287668 CPUtime=2.78 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 6666 0 0 0 277 1 0 0 25 0 4 0 521596118 294572032 4012 33554432000 4194304 4650419 140736675108448 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 71917 4012 390 112 0 66882 0
[pid=26022/tid=26023] ppid=26020 vsize=287668 CPUtime=0.69 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 1613 0 0 0 69 0 0 0 25 0 4 0 521596118 294572032 4012 33554432000 4194304 4650419 140736675108448 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=287668 CPUtime=0.69 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 1669 0 0 0 69 0 0 0 25 0 4 0 521596118 294572032 4012 33554432000 4194304 4650419 140736675108448 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=287668 CPUtime=0.69 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 1278 0 0 0 69 0 0 0 25 0 4 0 521596118 294572032 4012 33554432000 4194304 4650419 140736675108448 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 287668

[startup+1.50033 s]
/proc/loadavg: 8.54 8.16 8.04 11/182 26026
/proc/meminfo: memFree=30816108/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=289020 CPUtime=5.97 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 10826 0 0 0 595 2 0 0 25 0 4 0 521596118 295956480 4843 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 72255 4844 391 112 0 67220 0
[pid=26022/tid=26023] ppid=26020 vsize=289020 CPUtime=1.48 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 2658 0 0 0 148 0 0 0 25 0 4 0 521596118 295956480 4844 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365303 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=289020 CPUtime=1.49 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 2680 0 0 0 149 0 0 0 25 0 4 0 521596118 295956480 4844 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=289020 CPUtime=1.48 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 2341 0 0 0 148 0 0 0 25 0 4 0 521596118 295956480 4844 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289020

[startup+3.10105 s]
/proc/loadavg: 8.54 8.16 8.04 9/182 26026
/proc/meminfo: memFree=30797028/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=308924 CPUtime=12.37 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 20773 0 0 0 1234 3 0 0 25 0 4 0 521596118 316338176 12705 33554432000 4194304 4650419 140736675108448 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 77231 12705 392 112 0 72196 0
[pid=26022/tid=26023] ppid=26020 vsize=308924 CPUtime=3.07 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 4585 0 0 0 307 0 0 0 25 0 4 0 521596118 316338176 12705 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=308924 CPUtime=3.09 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 5803 0 0 0 309 0 0 0 25 0 4 0 521596118 316338176 12705 33554432000 4194304 4650419 140736675108448 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=308924 CPUtime=3.09 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 5553 0 0 0 308 1 0 0 25 0 4 0 521596118 316338176 12705 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 308924

[startup+6.3005 s]
/proc/loadavg: 8.50 8.15 8.04 9/182 26026
/proc/meminfo: memFree=30764200/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=297776 CPUtime=25.14 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 29063 0 0 0 2508 6 0 0 25 0 4 0 521596118 304922624 16788 33554432000 4194304 4650419 140736675108448 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 74444 16788 392 112 0 69409 0
[pid=26022/tid=26023] ppid=26020 vsize=297776 CPUtime=6.26 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 8204 0 0 0 625 1 0 0 25 0 4 0 521596118 304922624 16788 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=297776 CPUtime=6.28 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 6475 0 0 0 628 0 0 0 25 0 4 0 521596118 304922624 16788 33554432000 4194304 4650419 140736675108448 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=297776 CPUtime=6.28 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 7668 0 0 0 626 2 0 0 25 0 4 0 521596118 304922624 16788 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 297776

[startup+12.7004 s]
/proc/loadavg: 8.46 8.15 8.04 9/182 26026
/proc/meminfo: memFree=30715060/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=320988 CPUtime=50.65 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 41639 0 0 0 5050 15 0 0 25 0 4 0 521596118 328691712 22576 33554432000 4194304 4650419 140736675108448 18446744073709551615 4369160 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 80247 22576 392 112 0 75212 0
[pid=26022/tid=26023] ppid=26020 vsize=320988 CPUtime=12.63 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 11495 0 0 0 1261 2 0 0 25 0 4 0 521596118 328691712 22576 33554432000 4194304 4650419 140736675108448 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=320988 CPUtime=12.67 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 10187 0 0 0 1266 1 0 0 25 0 4 0 521596118 328691712 22576 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=320988 CPUtime=12.63 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 11045 0 0 0 1254 9 0 0 25 0 4 0 521596118 328691712 22576 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 320988

[startup+25.5012 s]
/proc/loadavg: 8.36 8.14 8.04 9/182 26026
/proc/meminfo: memFree=30674260/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=320896 CPUtime=101.77 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 62207 0 0 0 10157 20 0 0 25 0 4 0 521596118 328597504 27102 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 80224 27102 392 112 0 75189 0
[pid=26022/tid=26023] ppid=26020 vsize=320896 CPUtime=25.36 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 16437 0 0 0 2533 3 0 0 25 0 4 0 521596118 328597504 27102 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=320896 CPUtime=25.47 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 16014 0 0 0 2545 2 0 0 25 0 4 0 521596118 328597504 27102 33554432000 4194304 4650419 140736675108448 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=320896 CPUtime=25.43 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 16129 0 0 0 2532 11 0 0 25 0 4 0 521596118 328597504 27102 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 320896

[startup+51.1007 s]
/proc/loadavg: 8.29 8.14 8.04 9/182 26027
/proc/meminfo: memFree=30633780/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=312108 CPUtime=204.03 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 94726 0 0 0 20371 32 0 0 25 0 4 0 521596118 319598592 32938 33554432000 4194304 4650419 140736675108448 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 78027 32938 392 112 0 72992 0
[pid=26022/tid=26023] ppid=26020 vsize=312108 CPUtime=50.82 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 24182 0 0 0 5077 5 0 0 25 0 4 0 521596118 319598592 32938 33554432000 4194304 4650419 140736675108448 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=312108 CPUtime=51.06 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 25117 0 0 0 5101 5 0 0 25 0 4 0 521596118 319598592 32938 33554432000 4194304 4650419 140736675108448 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=312108 CPUtime=51.02 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 23841 0 0 0 5088 14 0 0 25 0 4 0 521596118 319598592 32938 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 312108

[startup+102.307 s]
/proc/loadavg: 8.16 8.13 8.04 9/182 26037
/proc/meminfo: memFree=30567600/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=391176 CPUtime=408.55 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 148509 0 0 0 40806 49 0 0 25 0 4 0 521596118 400564224 42972 33554432000 4194304 4650419 140736675108448 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 97794 42972 392 112 0 92759 0
[pid=26022/tid=26023] ppid=26020 vsize=391176 CPUtime=101.76 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 36924 0 0 0 10167 9 0 0 25 0 4 0 521596118 400564224 42972 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=391176 CPUtime=102.26 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 38995 0 0 0 10216 10 0 0 25 0 4 0 521596118 400564224 42972 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=391176 CPUtime=102.23 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 37260 0 0 0 10205 18 0 0 25 0 4 0 521596118 400564224 42972 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 391176

[startup+162.301 s]

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

[pid=26022] ppid=26020 vsize=540488 CPUtime=2805.26 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 427306 0 0 0 280344 182 0 0 25 0 4 0 521596118 553459712 80607 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 135122 80607 392 112 0 130087 0
[pid=26022/tid=26023] ppid=26020 vsize=540488 CPUtime=698.48 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 115358 0 0 0 69802 46 0 0 25 0 4 0 521596118 553459712 80607 33554432000 4194304 4650419 140736675108448 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=540488 CPUtime=702.24 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 100969 0 0 0 70183 41 0 0 25 0 4 0 521596118 553459712 80607 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=540488 CPUtime=702.22 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 116866 0 0 0 70163 59 0 0 25 0 4 0 521596118 553459712 80607 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.26
Current children cumulated vsize (KiB) 540488

[startup+762.307 s]
/proc/loadavg: 8.10 8.11 8.06 9/182 26058
/proc/meminfo: memFree=30229724/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=516336 CPUtime=3044.96 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 446465 0 0 0 304304 192 0 0 25 0 4 0 521596118 528728064 78237 33554432000 4194304 4650419 140736675108448 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 129084 78237 392 112 0 124049 0
[pid=26022/tid=26023] ppid=26020 vsize=516336 CPUtime=758.16 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 120394 0 0 0 75768 48 0 0 25 0 4 0 521596118 528728064 78237 33554432000 4194304 4650419 140736675108448 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=516336 CPUtime=762.25 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 108163 0 0 0 76180 45 0 0 25 0 4 0 521596118 528728064 78237 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=516336 CPUtime=762.23 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 122919 0 0 0 76161 62 0 0 25 0 4 0 521596118 528728064 78237 33554432000 4194304 4650419 140736675108448 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.96
Current children cumulated vsize (KiB) 516336

[startup+822.301 s]
/proc/loadavg: 8.08 8.10 8.05 9/182 26060
/proc/meminfo: memFree=30207228/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=527276 CPUtime=3284.6 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 465312 0 0 0 328256 204 0 0 25 0 4 0 521596118 539930624 78823 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 131819 78823 392 112 0 126784 0
[pid=26022/tid=26023] ppid=26020 vsize=527276 CPUtime=817.83 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 124439 0 0 0 81732 51 0 0 25 0 4 0 521596118 539930624 78823 33554432000 4194304 4650419 140736675108448 18446744073709551615 4363866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=527276 CPUtime=822.24 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 113373 0 0 0 82176 48 0 0 25 0 4 0 521596118 539930624 78823 33554432000 4194304 4650419 140736675108448 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=527276 CPUtime=822.23 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 130503 0 0 0 82156 67 0 0 25 0 4 0 521596118 539930624 78823 33554432000 4194304 4650419 140736675108448 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.6
Current children cumulated vsize (KiB) 527276

[startup+882.3 s]
/proc/loadavg: 8.03 8.08 8.05 9/182 26061
/proc/meminfo: memFree=30172728/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=527524 CPUtime=3524.28 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 484462 0 0 0 352214 214 0 0 25 0 4 0 521596118 540184576 84576 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 131881 84576 392 112 0 126846 0
[pid=26022/tid=26023] ppid=26020 vsize=527524 CPUtime=877.5 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 131186 0 0 0 87696 54 0 0 25 0 4 0 521596118 540184576 84576 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=527524 CPUtime=882.23 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 118359 0 0 0 88173 50 0 0 25 0 4 0 521596118 540184576 84577 33554432000 4194304 4650419 140736675108448 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=527524 CPUtime=882.23 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 137432 0 0 0 88152 71 0 0 25 0 4 0 521596118 540184576 84577 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.28
Current children cumulated vsize (KiB) 527524

[startup+942.301 s]
/proc/loadavg: 8.11 8.09 8.05 9/182 26063
/proc/meminfo: memFree=30158172/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=542076 CPUtime=3763.97 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 496033 0 0 0 376177 220 0 0 25 0 4 0 521596118 555085824 89466 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 135519 89466 392 112 0 130484 0
[pid=26022/tid=26023] ppid=26020 vsize=542076 CPUtime=937.18 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 137698 0 0 0 93660 58 0 0 25 0 4 0 521596118 555085824 89466 33554432000 4194304 4650419 140736675108448 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=542076 CPUtime=942.24 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 120019 0 0 0 94172 52 0 0 25 0 4 0 521596118 555085824 89466 33554432000 4194304 4650419 140736675108448 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=542076 CPUtime=942.23 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 140653 0 0 0 94152 71 0 0 25 0 4 0 521596118 555085824 89466 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.97
Current children cumulated vsize (KiB) 542076

[startup+1002.3 s]
/proc/loadavg: 8.10 8.09 8.05 9/182 26064
/proc/meminfo: memFree=30136324/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=555368 CPUtime=4003.63 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 501326 0 0 0 400140 223 0 0 25 0 4 0 521596118 568696832 89995 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 138842 89995 392 112 0 133807 0
[pid=26022/tid=26023] ppid=26020 vsize=555368 CPUtime=996.85 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 137795 0 0 0 99627 58 0 0 25 0 4 0 521596118 568696832 89995 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=555368 CPUtime=1002.23 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 125119 0 0 0 100168 55 0 0 25 0 4 0 521596118 568696832 89995 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=555368 CPUtime=1002.23 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 140749 0 0 0 100152 71 0 0 25 0 4 0 521596118 568696832 89995 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.63
Current children cumulated vsize (KiB) 555368

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.05 9/182 26066
/proc/meminfo: memFree=30132580/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=555424 CPUtime=4243.32 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 505765 0 0 0 424106 226 0 0 25 0 4 0 521596118 568754176 91010 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 138856 91010 392 112 0 133821 0
[pid=26022/tid=26023] ppid=26020 vsize=555424 CPUtime=1056.53 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 137795 0 0 0 105595 58 0 0 25 0 4 0 521596118 568754176 91010 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=555424 CPUtime=1062.24 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 129474 0 0 0 106166 58 0 0 25 0 4 0 521596118 568754176 91010 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=555424 CPUtime=1062.23 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 140833 0 0 0 106152 71 0 0 25 0 4 0 521596118 568754176 91010 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.32
Current children cumulated vsize (KiB) 555424

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 8.05 9/182 26068
/proc/meminfo: memFree=30096348/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=560988 CPUtime=4482.99 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 510513 0 0 0 448071 228 0 0 25 0 4 0 521596118 574451712 92305 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 140247 92305 392 112 0 135212 0
[pid=26022/tid=26023] ppid=26020 vsize=560988 CPUtime=1116.2 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 137795 0 0 0 111562 58 0 0 25 0 4 0 521596118 574451712 92305 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=560988 CPUtime=1122.23 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 133735 0 0 0 112163 60 0 0 25 0 4 0 521596118 574451712 92305 33554432000 4194304 4650419 140736675108448 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=560988 CPUtime=1122.23 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 141320 0 0 0 112152 71 0 0 25 0 4 0 521596118 574451712 92305 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 560988

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 8.06 9/182 26069
/proc/meminfo: memFree=30087508/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=562688 CPUtime=4722.67 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 516743 0 0 0 472034 233 0 0 25 0 4 0 521596118 576192512 94609 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 140672 94609 392 112 0 135637 0
[pid=26022/tid=26023] ppid=26020 vsize=562688 CPUtime=1175.88 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 138218 0 0 0 117530 58 0 0 25 0 4 0 521596118 576192512 94609 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=562688 CPUtime=1182.23 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 134047 0 0 0 118163 60 0 0 25 0 4 0 521596118 576192512 94609 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=562688 CPUtime=1182.23 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 144329 0 0 0 118150 73 0 0 25 0 4 0 521596118 576192512 94609 33554432000 4194304 4650419 140736675108448 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.67
Current children cumulated vsize (KiB) 562688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.79 8.02 8.03 6/173 26088
/proc/meminfo: memFree=30517976/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=549400 CPUtime=4800.22 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 521404 0 0 0 479785 237 0 0 25 0 4 0 521596118 562585600 92456 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 137350 92456 392 112 0 132315 0
[pid=26022/tid=26023] ppid=26020 vsize=549400 CPUtime=1195.18 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 140673 0 0 0 119458 60 0 0 25 0 4 0 521596118 562585600 92456 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=549400 CPUtime=1201.65 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 134047 0 0 0 120105 60 0 0 25 0 4 0 521596118 562585600 92456 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=549400 CPUtime=1201.66 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 145676 0 0 0 120091 75 0 0 25 0 4 0 521596118 562585600 92456 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 549400

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

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

[startup+1201.7 s]
/proc/loadavg: 7.79 8.02 8.03 6/173 26088
/proc/meminfo: memFree=30517976/32951132 swapFree=67111356/67111528
[pid=26022] ppid=26020 vsize=549400 CPUtime=4800.22 cores=1,3,5,7
/proc/26022/stat : 26022 (strangenight1-m) R 26020 26022 25415 0 -1 4202496 521404 0 0 0 479785 237 0 0 25 0 4 0 521596118 562585600 92456 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26022/statm: 137350 92456 392 112 0 132315 0
[pid=26022/tid=26023] ppid=26020 vsize=549400 CPUtime=1195.18 cores=1,3,5,7
/proc/26022/task/26023/stat : 26023 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 140673 0 0 0 119458 60 0 0 25 0 4 0 521596118 562585600 92456 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26022/tid=26024] ppid=26020 vsize=549400 CPUtime=1201.65 cores=1,3,5,7
/proc/26022/task/26024/stat : 26024 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 134047 0 0 0 120105 60 0 0 25 0 4 0 521596118 562585600 92456 33554432000 4194304 4650419 140736675108448 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26022/tid=26025] ppid=26020 vsize=549400 CPUtime=1201.66 cores=1,3,5,7
/proc/26022/task/26025/stat : 26025 (strangenight1-m) R 26020 26022 25415 0 -1 4202560 145676 0 0 0 120091 75 0 0 25 0 4 0 521596118 562585600 92456 33554432000 4194304 4650419 140736675108448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 549400

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.27
CPU user time (s): 4797.87
CPU system time (s): 2.39164
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 667136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.39164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521404
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= 887
involuntary context switches= 33709

runsolver used 1.83172 second user time and 4.72728 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 19:59:25
IDJOB=3175217
IDBENCH=82835
IDSOLVER=1588
FILE ID=node131/3175217-1304099965
RUNJOBID= node131-1304098753-25875
PBS_JOBID= 13170594
Free space on /tmp= 71380 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175217-1304099965/watcher-3175217-1304099965 -o /tmp/evaluation-result-3175217-1304099965/solver-3175217-1304099965 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175217-1304099965.cnf

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

MD5SUM BENCH= 569a001e2aa1e7b5ad13eab5cc7018bb
RANDOM SEED=141380627

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30837376 kB
Buffers:        196108 kB
Cached:        1498516 kB
SwapCached:        168 kB
Active:         204376 kB
Inactive:      1603080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30837376 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12560 kB
Writeback:           8 kB
AnonPages:      112860 kB
Mapped:          15736 kB
Slab:           243412 kB
PageTables:       5156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   327804 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71380 MiB
End job on node131 at 2011-04-29 20:19:29