Trace number 3368826

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.43 1203.55

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368826-1305403997.cnf'
0.00/0.01	c -- header says num vars:             90
0.00/0.01	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.77/0.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.77/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.77/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.77/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.97/1.01	c Finding binary XORs  T:     0.00 s  found:       0
3.97/1.01	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.97/1.01	c calculated reachability. Time: 0.00
3.97/1.01	c Calc default polars -  time:   0.00 s pos:      34 undec:       3 neg:      53
3.97/1.01	c =========================================================================================
3.97/1.01	c types(t): F = full restart, N = normal restart
3.97/1.01	c types(t): S = simplification begin/end, E = solution found
3.97/1.01	c restart types(rt): st = static, dy = dynamic
3.97/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.97/1.01	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.97/1.01	c  N dy     8      7383        90      8010         0      4512     56070    122208     25.77     27.24  --
3.97/1.01	c  N dy    11     13734        90      8010         0      6465     56070    163721     24.94     26.32  --
3.97/1.01	c  N dy    29     18145        90      8010         0      5362     56070    115110     25.12     26.76  --
4.80/1.22	c  N dy    50     22452        90      8010         0      9385     56070    234063     25.31     26.71  --
5.15/1.32	c  F st    59     25001        90      8010         0     11756     56070    304508     25.38   no data  --
5.55/1.42	c  N st    63     27038        90      8010         0      7307     56070    153332     25.38   no data  --
5.95/1.52	c  S st    65     30000        90      8010         0     10057     56070    235056     25.38   no data  --
6.36/1.62	c  S st    65     30504        90      8010         0     10531     56070    249644     25.38   no data  --
6.36/1.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.36/1.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.36/1.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.36/1.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
6.36/1.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.74/2.78	c lits-rem:      1565  cl-subs:      748  v-elim:      0  v-fix:    0  time:  4.82 s
12.34/3.17	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.54
12.34/3.17	c calculated reachability. Time: 0.00
12.34/3.17	c  N dy    65     30504        90      8010         0      9783     56070    223758     25.38   no data  --
13.15/3.41	c  N dy    73     34582        90      8010         0     13573     56070    333512     25.19     27.77  --
14.33/3.66	c  N dy    86     39315        90      8010         0     10631     56070    233357     25.21     26.55  --
15.92/4.04	c  N dy    92     45759        90      8010         0      8281     56070    148127     24.94     23.22  --
15.92/4.04	c  S st    92     45759        90      8010         0      8281     56070    148127     24.94     23.22  --
15.92/4.08	c  S st    92     46262        90      8010         0      8756     56070    162228     24.94   no data  --
15.92/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.92/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.92/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.92/4.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.91/5.07	c lits-rem:       173  cl-subs:       45  v-elim:      0  v-fix:    0  time:  3.93 s
19.91/5.07	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.91/5.07	c vivif2 --  cl tried     8711 cl shrink        0 lits rem          0 time: 0.01
21.10/5.39	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.24
21.10/5.39	c calculated reachability. Time: 0.00
21.10/5.39	c  N dy    92     46262        90      8010         0      8711     56070    160394     24.94   no data  --
22.35/5.64	c  N dy   108     51194        90      8010         0     13294     56070    295839     25.01     26.34  --
23.50/5.91	c  N dy   132     55226        90      8010         0     17031     56070    406464     25.13     27.80  --
24.30/6.15	c  N dy   148     59300        90      8010         0     11583     56070    228073     25.19     26.59  --
25.10/6.39	c  N dy   156     63437        90      8010         0     15431     56070    340192     25.15     26.53  --
26.31/6.71	c  N dy   159     68057        90      8010         0     19694     56070    462439     25.07     26.41  --
27.09/6.82	c  S st   167     69394        90      8010         0     10755     56070    185114     25.09     24.78  --
27.09/6.86	c  S st   167     69898        90      8010         0     11226     56070    199344     25.09   no data  --
27.09/6.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.09/6.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.09/6.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.09/6.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.09/6.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.09/6.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.09/6.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.12/7.88	c lits-rem:       330  cl-subs:      104  v-elim:      0  v-fix:    0  time:  4.03 s
31.12/7.88	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.12/7.88	c vivif2 --  cl tried    11122 cl shrink        0 lits rem          0 time: 0.01
32.67/8.24	c asymm  cl-useful: 0/7625/8010 lits-rem:0 time: 1.44
32.67/8.25	c calculated reachability. Time: 0.00
32.67/8.25	c  N dy   167     69898        90      8010         0     11122     56070    195376     25.09   no data  --
33.87/8.53	c  N dy   191     74455        90      8010         0     15362     56070    320266     25.14     26.61  --
35.86/9.01	c  N dy   211     80628        90      8010         0     21074     56070    488257     25.14     26.49  --
37.46/9.41	c  N dy   236     85884        90      8010         0     14817     56070    288984     25.20     26.60  --
37.86/9.54	c  F st   250     87502        90      8010         0     16320     56070    334213     25.24   no data  --
39.06/9.91	c  N dy   256     92694        90      8010         0     21111     56070    477141     25.24   no data  --
41.45/10.47	c  N dy   266    100660        90      8010         0     16463     56070    319105     25.22     26.57  --
43.05/10.80	c  S st   282    104849        90      8010         0     20378     56070    434918     25.24   no data  --
43.05/10.86	c  S st   282    105353        90      8010         0     20854     56070    449425     25.24   no data  --
43.05/10.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.05/10.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.05/10.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
43.05/10.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.05/10.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.05/10.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.05/10.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.83/12.55	c lits-rem:      1646  cl-subs:     1540  v-elim:      0  v-fix:    0  time:  6.63 s
49.83/12.55	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
49.83/12.55	c vivif2 --  cl tried    19314 cl shrink        0 lits rem          0 time: 0.02
51.42/12.96	c asymm  cl-useful: 0/5602/8010 lits-rem:0 time: 1.63
51.42/12.96	c calculated reachability. Time: 0.00
51.42/12.96	c  N dy   282    105353        90      8010         0     19314     56070    399041     25.24   no data  --
54.61/13.76	c  N dy   292    115196        90      8010         0     15470     56070    271858     25.11     26.56  --
60.20/15.14	c  N dy   307    134373        90      8010         0     19287     56070    362970     24.83     26.37  --
62.98/15.87	c  N dy   346    142974        90      8010         0     27278     56070    597559     24.88     26.20  --
66.22/16.64	c  N dy   401    152174        90      8010         0     21103     56070    407136     24.97     28.76  --
68.18/17.19	c  S st   448    158029        90      8010         0     26566     56070    569823     25.04   no data  --
68.58/17.26	c  S st   448    158533        90      8010         0     27042     56070    584222     25.04   no data  --
68.58/17.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.58/17.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.58/17.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
68.58/17.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.58/17.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.58/17.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
68.58/17.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.54/20.24	c lits-rem:      2484  cl-subs:     1753  v-elim:      0  v-fix:    0  time: 11.75 s
80.54/20.24	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
80.54/20.25	c vivif2 --  cl tried    25289 cl shrink        0 lits rem          0 time: 0.02
81.34/20.49	c asymm  cl-useful: 0/1880/8010 lits-rem:0 time: 0.97
81.34/20.49	c calculated reachability. Time: 0.00
81.34/20.49	c  N dy   448    158533        90      8010         0     25289     56070    523105     25.04   no data  --
86.92/21.88	c  N dy   498    174224        90      8010         0     24097     56070    473875     25.06     26.38  --
92.55/23.21	c  N dy   561    188645        90      8010         0     20833     56070    361734     25.11     26.50  --
97.29/24.41	c  N dy   588    201796        90      8010         0     33036     56070    719976     25.10     26.64  --
108.07/27.16	c  N dy   660    229720        90      8010         0     22644     56070    374073     25.05     26.38  --
111.25/27.94	c  S st   708    237800        90      8010         0     30128     56070    596195     25.09   no data  --
111.65/28.03	c  S st   708    238305        90      8010         0     30601     56070    610168     25.09   no data  --
111.65/28.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
111.65/28.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.65/28.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
111.65/28.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.65/28.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.65/28.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
111.65/28.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.27/30.99	c lits-rem:      2090  cl-subs:     2245  v-elim:      0  v-fix:    0  time: 11.69 s
123.27/30.99	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
123.62/31.00	c vivif2 --  cl tried    28356 cl shrink        0 lits rem          0 time: 0.02
123.62/31.06	c asymm  cl-useful: 0/528/8010 lits-rem:0 time: 0.26
123.62/31.07	c calculated reachability. Time: 0.00
123.62/31.07	c  N dy   708    238305        90      8010         0     28356     56070    540026     25.09   no data  --
130.00/32.65	c  N dy   772    253601        90      8010         0     23227     56070    378750     25.13     27.38  --
140.81/35.31	c  N dy   803    282475        90      8010         0     29516     56070    542581     25.03     26.51  --
148.76/37.36	c  N dy   878    300569        90      8010         0     25090     56070    400101     25.06     26.73  --
151.14/37.97	c  F st   915    306252        90      8010         0     30385     56070    558512     25.09     25.32  --
161.52/40.50	c  N dy   945    331412        90      8010         0     31364     56070    563128     25.03     26.37  --
169.89/42.69	c  N dy   977    351437        90      8010         0     26739     56070    407211     24.97     26.29  --
172.68/43.33	c  S st  1012    357459        90      8010         0     32355     56070    574706     25.00   no data  --
173.08/43.42	c  S st  1012    357963        90      8010         0     32822     56070    588804     25.00   no data  --
173.08/43.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
173.08/43.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
173.08/43.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
173.08/43.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
173.08/43.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
173.08/43.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
173.08/43.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
183.86/46.14	c lits-rem:      1878  cl-subs:     1743  v-elim:      0  v-fix:    0  time: 10.72 s
183.86/46.14	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
183.86/46.15	c vivif2 --  cl tried    31079 cl shrink        0 lits rem          0 time: 0.03
184.69/46.39	c asymm  cl-useful: 0/2037/8010 lits-rem:0 time: 0.98
184.69/46.39	c calculated reachability. Time: 0.00
184.69/46.39	c  N dy  1012    357963        90      8010         0     31079     56070    534132     25.00   no data  --
197.43/49.56	c  N dy  1039    379937        90      8010         0     27316     56070    409217     24.95     26.31  --
208.58/52.31	c  N dy  1106    400831        90      8010         0     46670     56070    977796     24.96     26.40  --
220.14/55.25	c  N dy  1181    423045        90      8010         0     42300     56070    833576     24.98     26.31  --
232.12/58.30	c  N dy  1266    446756        90      8010         0     38376     56070    698383     24.99     26.51  --
242.08/60.75	c  N dy  1299    466758        90      8010         0     30078     56070    439129     24.96     26.70  --
255.25/64.00	c  N dy  1428    490601        90      8010         0     52238     56070   1097565     25.01     26.40  --
266.82/66.92	c  N dy  1510    512238        90      8010         0     44479     56070    839358     25.03     26.35  --
279.59/70.16	c  N dy  1631    532262        90      8010         0     34375     56070    524542     25.07     27.92  --
281.98/70.75	c  S st  1651    536945        90      8010         0     38718     56070    653641     25.08     25.51  --
282.38/70.85	c  S st  1651    537446        90      8010         0     39186     56070    667200     25.08   no data  --
282.38/70.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.38/70.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.38/70.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
282.38/70.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.38/70.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.38/70.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
282.38/70.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
293.97/73.81	c lits-rem:       976  cl-subs:     1704  v-elim:      0  v-fix:    0  time: 11.65 s
293.97/73.81	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
294.39/73.81	c vivif2 --  cl tried    37482 cl shrink        0 lits rem          0 time: 0.03
295.15/74.03	c asymm  cl-useful: 0/1448/8010 lits-rem:0 time: 0.87
295.15/74.03	c calculated reachability. Time: 0.00
295.15/74.03	c  N dy  1651    537446        90      8010         0     37482     56070    612107     25.08   no data  --
308.30/77.38	c  N dy  1750    557944        90      8010         0     56550     56070   1175830     25.11     26.53  --
319.08/80.00	c  N dy  1808    577977        90      8010         0     45480     56070    834625     25.12     29.89  --
331.85/83.25	c  N dy  1864    598119        90      8010         0     33528     56070    462603     25.11     26.53  --
343.41/86.15	c  N dy  1938    618663        90      8010         0     52570     56070   1024566     25.12     26.57  --
356.57/89.44	c  N dy  1987    638669        90      8010         0     39582     56070    623616     25.12     27.63  --
370.94/93.02	c  N dy  2057    658780        90      8010         0     58194     56070   1170358     25.13     26.51  --
382.89/96.03	c  N dy  2100    678820        90      8010         0     44260     56070    742833     25.12     28.10  --
397.66/99.72	c  N dy  2189    700211        90      8010         0     64045     56070   1328444     25.14     26.87  --
413.61/103.75	c  N dy  2240    726213        90      8010         0     54777     56070   1028719     25.12     26.55  --
427.97/107.31	c  N dy  2261    746962        90      8010         0     39839     56070    583495     25.11     26.43  --
441.14/110.63	c  N dy  2337    767035        90      8010         0     58483     56070   1132420     25.12     27.84  --
456.31/114.44	c  N dy  2428    787064        90      8010         0     41877     56070    622543     25.14     27.27  --
467.87/117.36	c  S st  2487    806171        90      8010         0     59538     56070   1142370     25.14     23.98  --
468.66/117.52	c  S st  2487    806673        90      8010         0     60013     56070   1156345     25.14   no data  --
468.66/117.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
468.66/117.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
468.66/117.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
468.66/117.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
468.66/117.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
468.66/117.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
468.66/117.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
513.35/128.72	c lits-rem:      2875  cl-subs:     4264  v-elim:      0  v-fix:    0  time: 44.35 s
513.35/128.72	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
513.35/128.73	c vivif2 --  cl tried    55749 cl shrink        0 lits rem          0 time: 0.05
514.52/129.06	c asymm  cl-useful: 0/949/8010 lits-rem:0 time: 1.32
514.52/129.06	c calculated reachability. Time: 0.00
514.52/129.06	c  N dy  2487    806673        90      8010         0     55749     56070   1020702     25.14   no data  --
530.49/133.01	c  N dy  2534    829022        90      8010         0     40457     56070    556864     25.13     26.48  --
560.80/140.69	c  N dy  2610    880097        90      8010         0     50492     56070    830170     25.05     26.55  --
577.55/144.84	c  N dy  2662    903570        90      8010         0     72163     56070   1464695     25.04     26.37  --
591.52/148.38	c  N dy  2725    924577        90      8010         0     53799     56070    915060     25.04     26.37  --
611.06/153.23	c  N dy  2835    946708        90      8010         0     74293     56070   1522548     25.07     26.43  --
625.42/156.81	c  N dy  2931    966711        90      8010         0     54079     56070    908546     25.08     26.51  --
640.60/160.68	c  N dy  2972    986829        90      8010         0     72652     56070   1447590     25.06     26.48  --
656.94/164.76	c  N dy  3087   1006986        90      8010         0     51645     56070    819101     25.09     26.42  --
674.09/169.04	c  N dy  3195   1027353        90      8010         0     70555     56070   1383246     25.11     26.55  --
697.23/174.83	c  N dy  3214   1060878        90      8010         0     60587     56070   1039370     25.06     26.41  --
706.42/177.19	c  F st  3261   1071875        90      8010         0     70771     56070   1342200     25.07   no data  --
715.19/179.32	c  N dy  3286   1080892        90      8010         0     79101     56070   1590652     25.07     26.40  --
734.32/184.14	c  N dy  3344   1110360        90      8010         0     64787     56070   1159925     25.04     26.38  --
760.24/190.67	c  N dy  3432   1138184        90      8010         0     48021     56070    649202     25.04     26.44  --
778.59/195.25	c  N dy  3516   1158457        90      8010         0     66795     56070   1204144     25.05     26.43  --
803.36/201.48	c  N dy  3631   1178556        90      8010         0     85505     56070   1761212     25.07     26.48  --
820.92/205.81	c  N dy  3703   1198655        90      8010         0     60614     56070   1007376     25.08     26.46  --
832.84/208.89	c  S st  3768   1210010        90      8010         0     71127     56070   1321378     25.09   no data  --
834.08/209.14	c  S st  3768   1210513        90      8010         0     71600     56070   1335611     25.09   no data  --
834.08/209.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
834.08/209.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
834.08/209.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.19
834.43/209.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
834.43/209.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
834.43/209.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
834.43/209.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
917.80/230.18	c lits-rem:      3367  cl-subs:     4923  v-elim:      0  v-fix:    0  time: 83.52 s
917.80/230.18	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
918.20/230.20	c vivif2 --  cl tried    66677 cl shrink        0 lits rem          0 time: 0.06
919.39/230.60	c asymm  cl-useful: 0/846/8010 lits-rem:0 time: 1.58
919.79/230.60	c calculated reachability. Time: 0.00
919.79/230.60	c  N dy  3768   1210513        90      8010         0     66677     56070   1175856     25.09   no data  --
942.54/236.39	c  N dy  3839   1230840        90      8010         0     85514     56070   1730266     25.09     26.50  --
970.86/243.42	c  N dy  3864   1266460        90      8010         0     73935     56070   1365836     25.04     26.49  --
997.19/250.06	c  N dy  3968   1286498        90      8010         0     47414     56070    581533     25.06     26.80  --
1015.54/254.64	c  N dy  4029   1307704        90      8010         0     66971     56070   1148967     25.06     26.48  --
1039.89/260.75	c  N dy  4133   1327820        90      8010         0     85581     56070   1702671     25.07     26.42  --
1058.62/265.47	c  N dy  4188   1347829        90      8010         0     57848     56070    867000     25.06     26.40  --
1078.57/270.47	c  N dy  4250   1367930        90      8010         0     76474     56070   1417381     25.06     28.20  --
1103.29/276.62	c  N dy  4357   1388649        90      8010         0     48613     56070    576579     25.08     26.42  --
1118.05/280.39	c  N dy  4434   1408748        90      8010         0     67236     56070   1127932     25.08     27.04  --
1139.99/285.82	c  N dy  4501   1431188        90      8010         0     87976     56070   1741551     25.09     26.44  --
1160.73/291.02	c  N dy  4608   1451355        90      8010         0     58541     56070    851923     25.10     26.45  --
1177.88/295.30	c  N dy  4663   1471384        90      8010         0     77028     56070   1394142     25.10     26.54  --
1201.43/301.29	c  N dy  4762   1491471        90      8010         0     95593     56070   1946198     25.11     26.60  --
1218.97/305.65	c  N dy  4841   1511577        90      8010         0     65222     56070   1029581     25.12     26.45  --
1238.11/310.46	c  N dy  4902   1532616        90      8010         0     84617     56070   1598823     25.12     26.74  --
1265.25/317.21	c  N dy  5025   1554792        90      8010         0     55248     56070    716577     25.13     26.51  --
1282.79/321.67	c  N dy  5103   1575486        90      8010         0     74371     56070   1280663     25.14     26.58  --
1307.13/327.80	c  N dy  5231   1595519        90      8010         0     92914     56070   1837241     25.16     27.18  --
1328.27/333.07	c  N dy  5305   1616474        90      8010         0     61393     56070    881466     25.16     26.62  --
1346.23/337.55	c  N dy  5333   1637926        90      8010         0     81136     56070   1457209     25.15     26.48  --
1369.40/343.34	c  N dy  5411   1658003        90      8010         0     99638     56070   2006877     25.16     26.76  --
1390.10/348.50	c  N dy  5493   1678080        90      8010         0     66583     56070   1014390     25.16     26.72  --
1411.64/353.95	c  N dy  5598   1699349        90      8010         0     86267     56070   1598325     25.17     26.54  --
1423.61/356.98	c  S st  5631   1710513        90      8010         0     96596     56070   1905485     25.17     22.47  --
1424.81/357.27	c  S st  5631   1711015        90      8010         0     97064     56070   1919623     25.17   no data  --
1424.81/357.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1424.81/357.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1425.21/357.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1425.21/357.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1425.21/357.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1425.21/357.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1425.21/357.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1876.69/470.58	c lits-rem:      7014  cl-subs:     8009  v-elim:      0  v-fix:    0  time: 451.31 s
1876.69/470.58	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1877.09/470.60	c vivif2 --  cl tried    89055 cl shrink        0 lits rem          0 time: 0.10
1878.33/470.99	c asymm  cl-useful: 0/625/8010 lits-rem:0 time: 1.53
1878.33/470.99	c calculated reachability. Time: 0.00
1878.33/470.99	c  N dy  5631   1711015        90      8010         0     89055     56070   1661190     25.17   no data  --
1905.81/477.88	c  N dy  5707   1731383        90      8010         0     55488     56070    673907     25.18     26.54  --
1927.35/483.29	c  N dy  5819   1751723        90      8010         0     74364     56070   1238858     25.19     26.53  --
1948.53/488.53	c  N dy  5872   1771794        90      8010         0     92856     56070   1780384     25.18     27.19  --
1974.44/495.06	c  N dy  5963   1791886        90      8010         0     57947     56070    726000     25.19     29.24  --
1992.00/499.48	c  N dy  6022   1812992        90      8010         0     77478     56070   1306998     25.19     26.53  --
2015.50/505.32	c  N dy  6105   1833157        90      8010         0     96123     56070   1861113     25.20     26.55  --
2041.83/511.96	c  N dy  6194   1853159        90      8010         0     60145     56070    770718     25.21     26.56  --
2061.38/516.85	c  N dy  6249   1873270        90      8010         0     78791     56070   1325019     25.21     26.59  --
2087.31/523.36	c  N dy  6355   1893330        90      8010         0     97361     56070   1878505     25.22     26.63  --
2112.04/529.55	c  N dy  6397   1914889        90      8010         0     61773     56070    799444     25.22     26.62  --
2131.59/534.47	c  N dy  6498   1934952        90      8010         0     80304     56070   1348556     25.22     27.01  --
2159.16/541.39	c  N dy  6582   1956447        90      8010         0    100258     56070   1938460     25.23     26.62  --
2185.83/548.03	c  N dy  6666   1976658        90      8010         0     62529     56070    807608     25.24     26.57  --
2208.97/553.86	c  N dy  6750   2000888        90      8010         0     84887     56070   1467751     25.24     26.66  --
2235.30/560.44	c  N dy  6831   2021448        90      8010         0    103937     56070   2032896     25.24     26.72  --
2261.62/567.09	c  N dy  6915   2044253        90      8010         0     67588     56070    933551     25.24     26.66  --
2282.02/572.18	c  N dy  6997   2064601        90      8010         0     86358     56070   1489782     25.25     26.63  --
2311.09/579.46	c  N dy  7127   2084608        90      8010         0    104978     56070   2048323     25.26     26.76  --
2333.04/584.99	c  N dy  7163   2104619        90      8010         0     65216     56070    845488     25.25     28.54  --
2353.38/590.06	c  N dy  7252   2124939        90      8010         0     84034     56070   1406248     25.26     26.59  --
2380.10/596.72	c  N dy  7364   2145006        90      8010         0    102645     56070   1964475     25.27     28.76  --
2404.88/602.93	c  N dy  7395   2165028        90      8010         0     61889     56070    730407     25.26     27.32  --
2434.76/610.41	c  N dy  7503   2196391        90      8010         0     90868     56070   1589402     25.26     26.60  --
2450.71/614.48	c  S st  7533   2211016        90      8010         0    104375     56070   1987371     25.26     23.94  --
2451.91/614.79	c  S st  7533   2211517        90      8010         0    104859     56070   2001959     25.26   no data  --
2451.91/614.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2451.91/614.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2452.31/614.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2452.31/614.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2452.31/614.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2452.31/614.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2452.31/614.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2917.37/731.41	c lits-rem:      4945  cl-subs:     8654  v-elim:      0  v-fix:    0  time: 464.55 s
2917.37/731.41	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2917.37/731.44	c vivif2 --  cl tried    96205 cl shrink        0 lits rem          0 time: 0.09
2918.96/731.86	c asymm  cl-useful: 0/571/8010 lits-rem:0 time: 1.68
2918.96/731.86	c calculated reachability. Time: 0.00
2918.96/731.86	c  N dy  7533   2211517        90      8010         0     96205     56070   1734062     25.26   no data  --
2947.69/739.08	c  N dy  7572   2231788        90      8010         0    114936     56070   2281218     25.26     26.71  --
2970.45/744.72	c  N dy  7647   2252072        90      8010         0     73902     56070   1069782     25.26     26.73  --
2992.81/750.35	c  N dy  7670   2276631        90      8010         0     96389     56070   1723109     25.24     26.60  --
3029.46/759.53	c  N dy  7739   2302911        90      8010         0    120587     56070   2439442     25.24     27.02  --
3050.61/764.88	c  N dy  7843   2323408        90      8010         0     78847     56070   1204276     25.25     26.60  --
3074.54/770.81	c  N dy  7920   2343627        90      8010         0     97602     56070   1764344     25.26     26.69  --
3105.26/778.56	c  N dy  8022   2363660        90      8010         0    116099     56070   2315598     25.26     26.64  --
3129.98/784.74	c  N dy  8088   2383741        90      8010         0     72819     56070   1003437     25.27     27.79  --
3149.93/789.80	c  N dy  8108   2406139        90      8010         0     93430     56070   1607308     25.26     26.60  --
3178.26/796.87	c  N dy  8182   2426893        90      8010         0    112623     56070   2175792     25.26     26.63  --
3211.37/805.15	c  N dy  8300   2449179        90      8010         0     70548     56070    917367     25.27     26.61  --
3231.31/810.18	c  N dy  8370   2469189        90      8010         0     88988     56070   1466796     25.28     28.49  --
3263.62/818.27	c  N dy  8433   2495093        90      8010         0    112875     56070   2164761     25.27     26.60  --
3291.18/825.19	c  N dy  8496   2515140        90      8010         0     67711     56070    812850     25.27     26.79  --
3312.29/830.40	c  N dy  8555   2538252        90      8010         0     89087     56070   1450216     25.27     26.69  --
3342.60/838.03	c  N dy  8635   2558697        90      8010         0    107926     56070   2011653     25.27     26.62  --
3376.90/846.67	c  N dy  8717   2578867        90      8010         0    126565     56070   2566085     25.27     26.76  --
3400.46/852.57	c  N dy  8807   2598964        90      8010         0     80562     56070   1177008     25.28     27.09  --
3423.57/858.34	c  N dy  8863   2619230        90      8010         0     99260     56070   1730599     25.28     26.88  --
3455.88/866.40	c  N dy  8980   2639255        90      8010         0    117759     56070   2286952     25.29     26.69  --
3491.39/875.35	c  N dy  9045   2664786        90      8010         0     75660     56070   1002212     25.28     26.68  --
3514.97/881.24	c  N dy  9135   2684920        90      8010         0     94313     56070   1558513     25.29     26.75  --
3554.81/891.20	c  N dy  9215   2711520        90      8010         0    118820     56070   2282425     25.29     22.91  --
3554.81/891.20	c  S st  9215   2711520        90      8010         0    118820     56070   2282425     25.29     22.91  --
3556.01/891.59	c  S st  9215   2712021        90      8010         0    119302     56070   2297442     25.29   no data  --
3556.41/891.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3556.41/891.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3556.41/891.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.30
3556.81/891.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3556.81/891.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3556.81/891.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3556.81/891.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4565.39/1144.60	c lits-rem:      7524  cl-subs:    10214  v-elim:      0  v-fix:    0  time: 1008.22 s
4565.39/1144.60	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4565.39/1144.63	c vivif2 --  cl tried   109088 cl shrink        0 lits rem          0 time: 0.12
4567.41/1145.17	c asymm  cl-useful: 0/507/8010 lits-rem:0 time: 2.16
4567.41/1145.18	c calculated reachability. Time: 0.00
4567.41/1145.18	c  N dy  9215   2712021        90      8010         0    109088     56070   1978224     25.29   no data  --
4608.46/1155.48	c  N dy  9270   2732426        90      8010         0    127953     56070   2538285     25.29     26.63  --
4640.77/1163.53	c  N dy  9363   2752442        90      8010         0     80366     56070   1138984     25.29     30.12  --
4675.07/1172.12	c  N dy  9460   2773772        90      8010         0    100060     56070   1728461     25.30     26.68  --
4710.96/1181.17	c  N dy  9544   2793851        90      8010         0    118631     56070   2282360     25.30     27.94  --
4750.84/1191.11	c  N dy  9638   2813932        90      8010         0     69948     56070    811181     25.31     26.67  --
4775.57/1197.38	c  N dy  9706   2835811        90      8010         0     90147     56070   1411371     25.31     26.78  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368826-1305403997/watcher-3368826-1305403997 -o /tmp/evaluation-result-3368826-1305403997/solver-3368826-1305403997 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368826-1305403997.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.48 7.97 8.05 6/352 3193
/proc/meminfo: memFree=26193780/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 652002354 52465664 353 33554432000 4194304 4650419 140735786062608 18446744073709551615 47121783556018 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 12809 353 303 112 0 7774 0
[pid=3193/tid=3194] ppid=3191 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652002354 52465664 358 33554432000 4194304 4650419 140735786062608 18446744073709551615 47121783556018 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652002354 52465664 358 33554432000 4194304 4650419 140735786062608 18446744073709551615 47121783555609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652002354 52465664 358 33554432000 4194304 4650419 140735786062608 18446744073709551615 47121783555609 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.102108 s]
/proc/loadavg: 7.48 7.97 8.05 6/352 3193
/proc/meminfo: memFree=26193780/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=282384 CPUtime=0.38 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 1626 0 0 0 38 0 0 0 25 0 4 0 652002354 289161216 1530 33554432000 4194304 4650419 140735786062608 18446744073709551615 4370732 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 70596 1530 366 112 0 65561 0
[pid=3193/tid=3194] ppid=3191 vsize=282384 CPUtime=0.08 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 253 0 0 0 8 0 0 0 25 0 4 0 652002354 289161216 1530 33554432000 4194304 4650419 140735786062608 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=282384 CPUtime=0.09 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 255 0 0 0 9 0 0 0 25 0 4 0 652002354 289161216 1530 33554432000 4194304 4650419 140735786062608 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=282384 CPUtime=0.09 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 413 0 0 0 9 0 0 0 25 0 4 0 652002354 289161216 1530 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282384

[startup+0.201091 s]
/proc/loadavg: 7.48 7.97 8.05 6/352 3193
/proc/meminfo: memFree=26193780/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=291916 CPUtime=0.77 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 2075 0 0 0 77 0 0 0 25 0 4 0 652002354 298921984 1725 33554432000 4194304 4650419 140735786062608 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 72979 1729 369 112 0 67944 0
[pid=3193/tid=3194] ppid=3191 vsize=291916 CPUtime=0.18 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 264 0 0 0 18 0 0 0 25 0 4 0 652002354 298921984 1732 33554432000 4194304 4650419 140735786062608 18446744073709551615 4370610 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=291916 CPUtime=0.19 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 357 0 0 0 19 0 0 0 25 0 4 0 652002354 298921984 1736 33554432000 4194304 4650419 140735786062608 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=291916 CPUtime=0.19 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 752 0 0 0 19 0 0 0 25 0 4 0 652002354 298921984 1739 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 291916

[startup+0.301076 s]
/proc/loadavg: 7.48 7.97 8.05 6/352 3193
/proc/meminfo: memFree=26193780/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=286536 CPUtime=1.17 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 4129 0 0 0 117 0 0 0 18 0 4 0 652002354 293412864 3469 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 71634 3469 390 112 0 66599 0
[pid=3193/tid=3194] ppid=3191 vsize=286536 CPUtime=0.28 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 946 0 0 0 28 0 0 0 18 0 4 0 652002354 293412864 3469 33554432000 4194304 4650419 140735786062608 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=286536 CPUtime=0.29 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 959 0 0 0 29 0 0 0 18 0 4 0 652002354 293412864 3469 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=286536 CPUtime=0.29 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 824 0 0 0 29 0 0 0 18 0 4 0 652002354 293412864 3469 33554432000 4194304 4650419 140735786062608 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 286536

[startup+0.701005 s]
/proc/loadavg: 7.48 7.97 8.05 6/352 3193
/proc/meminfo: memFree=26193780/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=288316 CPUtime=2.76 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 6652 0 0 0 276 0 0 0 18 0 4 0 652002354 295235584 4018 33554432000 4194304 4650419 140735786062608 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 72079 4018 390 112 0 67044 0
[pid=3193/tid=3194] ppid=3191 vsize=288316 CPUtime=0.68 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 1626 0 0 0 68 0 0 0 18 0 4 0 652002354 295235584 4018 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=288316 CPUtime=0.68 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 1638 0 0 0 68 0 0 0 18 0 4 0 652002354 295235584 4018 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=288316 CPUtime=0.69 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 1246 0 0 0 69 0 0 0 18 0 4 0 652002354 295235584 4018 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 288316

[startup+1.50086 s]
/proc/loadavg: 7.60 7.99 8.05 9/356 3197
/proc/meminfo: memFree=26173552/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=290108 CPUtime=5.95 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 10847 0 0 0 594 1 0 0 19 0 4 0 652002354 297070592 4896 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 72527 4896 391 112 0 67492 0
[pid=3193/tid=3194] ppid=3191 vsize=290108 CPUtime=1.47 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 2624 0 0 0 147 0 0 0 19 0 4 0 652002354 297070592 4896 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=290108 CPUtime=1.48 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 2723 0 0 0 148 0 0 0 19 0 4 0 652002354 297070592 4896 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=290108 CPUtime=1.49 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 2278 0 0 0 149 0 0 0 19 0 4 0 652002354 297070592 4896 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 290108

[startup+3.10059 s]
/proc/loadavg: 7.60 7.99 8.05 9/356 3197
/proc/meminfo: memFree=26156456/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=306020 CPUtime=12.34 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 20572 0 0 0 1231 3 0 0 24 0 4 0 652002354 313364480 12604 33554432000 4194304 4650419 140735786062608 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 76505 12604 392 112 0 71470 0
[pid=3193/tid=3194] ppid=3191 vsize=306020 CPUtime=3.05 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 4387 0 0 0 305 0 0 0 24 0 4 0 652002354 313364480 12604 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=306020 CPUtime=3.08 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 5881 0 0 0 307 1 0 0 24 0 4 0 652002354 313364480 12604 33554432000 4194304 4650419 140735786062608 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=306020 CPUtime=3.08 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 5393 0 0 0 308 0 0 0 24 0 4 0 652002354 313364480 12604 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 306020

[startup+6.30102 s]
/proc/loadavg: 7.63 7.99 8.05 9/356 3197
/proc/meminfo: memFree=26117948/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=306092 CPUtime=25.1 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 29799 0 0 0 2505 5 0 0 25 0 4 0 652002354 313438208 16482 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 76523 16482 392 112 0 71488 0
[pid=3193/tid=3194] ppid=3191 vsize=306092 CPUtime=6.22 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 7945 0 0 0 621 1 0 0 25 0 4 0 652002354 313438208 16482 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=306092 CPUtime=6.28 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 7540 0 0 0 627 1 0 0 25 0 4 0 652002354 313438208 16483 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=306092 CPUtime=6.29 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 7660 0 0 0 628 1 0 0 25 0 4 0 652002354 313438208 16483 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 306092

[startup+12.7009 s]
/proc/loadavg: 7.66 7.99 8.05 9/356 3197
/proc/meminfo: memFree=26077920/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=325944 CPUtime=50.63 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 43890 0 0 0 5055 8 0 0 25 0 4 0 652002354 333766656 21448 33554432000 4194304 4650419 140735786062608 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 81486 21448 392 112 0 76451 0
[pid=3193/tid=3194] ppid=3191 vsize=325944 CPUtime=12.55 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 11832 0 0 0 1253 2 0 0 25 0 4 0 652002354 333766656 21448 33554432000 4194304 4650419 140735786062608 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=325944 CPUtime=12.68 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 11399 0 0 0 1266 2 0 0 25 0 4 0 652002354 333766656 21448 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=325944 CPUtime=12.68 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 11023 0 0 0 1267 1 0 0 25 0 4 0 652002354 333766656 21448 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 325944

[startup+25.5006 s]
/proc/loadavg: 7.74 7.99 8.05 9/356 3197
/proc/meminfo: memFree=26052372/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=326540 CPUtime=101.68 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 67119 0 0 0 10154 14 0 0 25 0 4 0 652002354 334376960 26790 33554432000 4194304 4650419 140735786062608 18446744073709551615 4360030 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 81635 26790 392 112 0 76600 0
[pid=3193/tid=3194] ppid=3191 vsize=326540 CPUtime=25.2 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 17727 0 0 0 2516 4 0 0 25 0 4 0 652002354 334376960 26790 33554432000 4194304 4650419 140735786062608 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=326540 CPUtime=25.48 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 17974 0 0 0 2544 4 0 0 25 0 4 0 652002354 334376960 26790 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=326540 CPUtime=25.48 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 16570 0 0 0 2546 2 0 0 25 0 4 0 652002354 334376960 26790 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 326540

[startup+51.1011 s]
/proc/loadavg: 7.96 8.02 8.06 9/356 3198
/proc/meminfo: memFree=25993992/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=347136 CPUtime=203.79 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 98286 0 0 0 20357 22 0 0 25 0 4 0 652002354 355467264 35685 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 86784 35685 392 112 0 81749 0
[pid=3193/tid=3194] ppid=3191 vsize=347136 CPUtime=50.53 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 26398 0 0 0 5047 6 0 0 25 0 4 0 652002354 355467264 35685 33554432000 4194304 4650419 140735786062608 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=347136 CPUtime=51.08 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 27189 0 0 0 5102 6 0 0 25 0 4 0 652002354 355467264 35685 33554432000 4194304 4650419 140735786062608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=347136 CPUtime=51.08 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 23346 0 0 0 5104 4 0 0 25 0 4 0 652002354 355467264 35685 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 347136

[startup+102.301 s]
/proc/loadavg: 8.20 8.06 8.07 9/356 3199
/proc/meminfo: memFree=25923136/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=356332 CPUtime=408.05 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 148221 0 0 0 40767 38 0 0 25 0 4 0 652002354 364883968 45335 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 89083 45335 392 112 0 84048 0
[pid=3193/tid=3194] ppid=3191 vsize=356332 CPUtime=101.17 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 38823 0 0 0 10108 9 0 0 25 0 4 0 652002354 364883968 45338 33554432000 4194304 4650419 140735786062608 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=356332 CPUtime=102.3 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 40575 0 0 0 10219 11 0 0 25 0 4 0 652002354 364883968 45338 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=356332 CPUtime=102.3 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 35800 0 0 0 10221 9 0 0 25 0 4 0 652002354 364883968 45338 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 356332

[startup+162.301 s]

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

[pid=3193] ppid=3191 vsize=422004 CPUtime=2562 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 420360 0 0 0 256059 141 0 0 25 0 4 0 652002354 432132096 81212 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 105501 81212 392 112 0 100466 0
[pid=3193/tid=3194] ppid=3191 vsize=422004 CPUtime=635.22 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 108426 0 0 0 63485 37 0 0 25 0 4 0 652002354 432132096 81212 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=422004 CPUtime=642.3 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 122917 0 0 0 64190 40 0 0 25 0 4 0 652002354 432132096 81212 33554432000 4194304 4650419 140735786062608 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=422004 CPUtime=642.28 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 101840 0 0 0 64193 35 0 0 25 0 4 0 652002354 432132096 81212 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562
Current children cumulated vsize (KiB) 422004

[startup+702.301 s]
/proc/loadavg: 8.06 8.08 8.08 9/356 3219
/proc/meminfo: memFree=25621000/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=447780 CPUtime=2801.31 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 435092 0 0 0 279983 148 0 0 25 0 4 0 652002354 458526720 76164 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 111945 76164 392 112 0 106910 0
[pid=3193/tid=3194] ppid=3191 vsize=447780 CPUtime=694.53 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 114688 0 0 0 69414 39 0 0 25 0 4 0 652002354 458526720 76164 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=447780 CPUtime=702.3 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 126722 0 0 0 70188 42 0 0 25 0 4 0 652002354 458526720 76164 33554432000 4194304 4650419 140735786062608 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=447780 CPUtime=702.28 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 106505 0 0 0 70191 37 0 0 25 0 4 0 652002354 458526720 76164 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.31
Current children cumulated vsize (KiB) 447780

[startup+762.301 s]
/proc/loadavg: 8.17 8.11 8.09 9/356 3221
/proc/meminfo: memFree=25568032/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=447780 CPUtime=3040.66 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 457550 0 0 0 303909 157 0 0 25 0 4 0 652002354 458526720 83691 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 111945 83691 392 112 0 106910 0
[pid=3193/tid=3194] ppid=3191 vsize=447780 CPUtime=753.88 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 120389 0 0 0 75347 41 0 0 25 0 4 0 652002354 458526720 83692 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=447780 CPUtime=762.31 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 132350 0 0 0 76186 45 0 0 25 0 4 0 652002354 458526720 83692 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=447780 CPUtime=762.29 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 108425 0 0 0 76190 39 0 0 25 0 4 0 652002354 458526720 83692 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.66
Current children cumulated vsize (KiB) 447780

[startup+822.301 s]
/proc/loadavg: 8.17 8.12 8.09 9/356 3222
/proc/meminfo: memFree=25621676/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=438032 CPUtime=3279.97 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 480373 0 0 0 327831 166 0 0 25 0 4 0 652002354 448544768 75647 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 109508 75647 392 112 0 104473 0
[pid=3193/tid=3194] ppid=3191 vsize=438032 CPUtime=813.22 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 127397 0 0 0 81278 44 0 0 25 0 4 0 652002354 448544768 75647 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=438032 CPUtime=822.3 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 138004 0 0 0 82182 48 0 0 25 0 4 0 652002354 448544768 75647 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=438032 CPUtime=822.28 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 111112 0 0 0 82188 40 0 0 25 0 4 0 652002354 448544768 75647 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.97
Current children cumulated vsize (KiB) 438032

[startup+882.313 s]
/proc/loadavg: 8.09 8.11 8.09 9/356 3224
/proc/meminfo: memFree=25564352/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=479188 CPUtime=3519.35 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 507919 0 0 0 351759 176 0 0 25 0 4 0 652002354 490688512 78894 33554432000 4194304 4650419 140735786062608 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 119797 78894 392 112 0 114762 0
[pid=3193/tid=3194] ppid=3191 vsize=479188 CPUtime=872.58 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 134140 0 0 0 87211 47 0 0 25 0 4 0 652002354 490688512 78894 33554432000 4194304 4650419 140735786062608 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=479188 CPUtime=882.32 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 142594 0 0 0 88183 49 0 0 25 0 4 0 652002354 490688512 78894 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=479188 CPUtime=882.29 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 118228 0 0 0 88186 43 0 0 25 0 4 0 652002354 490688512 78894 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.35
Current children cumulated vsize (KiB) 479188

[startup+942.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/356 3226
/proc/meminfo: memFree=25537536/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=502152 CPUtime=3758.61 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 523946 0 0 0 375677 184 0 0 25 0 4 0 652002354 514203648 87999 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 125538 87999 392 112 0 120503 0
[pid=3193/tid=3194] ppid=3191 vsize=502152 CPUtime=931.87 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 142343 0 0 0 93136 51 0 0 25 0 4 0 652002354 514203648 87999 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=502152 CPUtime=942.31 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 144337 0 0 0 94180 51 0 0 25 0 4 0 652002354 514203648 87999 33554432000 4194304 4650419 140735786062608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=502152 CPUtime=942.28 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 120647 0 0 0 94184 44 0 0 25 0 4 0 652002354 514203648 87999 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.61
Current children cumulated vsize (KiB) 502152

[startup+1002.3 s]
/proc/loadavg: 8.05 8.09 8.08 9/356 3227
/proc/meminfo: memFree=25506008/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=517604 CPUtime=3997.88 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 531977 0 0 0 399601 187 0 0 25 0 4 0 652002354 530026496 89952 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 129401 89952 392 112 0 124366 0
[pid=3193/tid=3194] ppid=3191 vsize=517604 CPUtime=991.16 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 144257 0 0 0 99065 51 0 0 25 0 4 0 652002354 530026496 89952 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=517604 CPUtime=1002.31 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 150284 0 0 0 100177 54 0 0 25 0 4 0 652002354 530026496 89952 33554432000 4194304 4650419 140735786062608 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=517604 CPUtime=1002.28 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 120655 0 0 0 100184 44 0 0 25 0 4 0 652002354 530026496 89952 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.88
Current children cumulated vsize (KiB) 517604

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 8.08 9/356 3229
/proc/meminfo: memFree=25471252/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=517660 CPUtime=4237.18 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 545273 0 0 0 423526 192 0 0 25 0 4 0 652002354 530083840 90693 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 129415 90693 392 112 0 124380 0
[pid=3193/tid=3194] ppid=3191 vsize=517660 CPUtime=1050.45 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 153010 0 0 0 104993 52 0 0 25 0 4 0 652002354 530083840 90693 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=517660 CPUtime=1062.31 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 154827 0 0 0 106174 57 0 0 25 0 4 0 652002354 530083840 90693 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=517660 CPUtime=1062.28 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 120655 0 0 0 106184 44 0 0 25 0 4 0 652002354 530083840 90693 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.18
Current children cumulated vsize (KiB) 517660

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 8.08 9/356 3230
/proc/meminfo: memFree=25452864/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=583252 CPUtime=4476.46 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 558942 0 0 0 447451 195 0 0 25 0 4 0 652002354 597250048 91280 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 145813 91280 392 112 0 140778 0
[pid=3193/tid=3194] ppid=3191 vsize=583252 CPUtime=1109.75 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 162079 0 0 0 110921 54 0 0 25 0 4 0 652002354 597250048 91280 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=583252 CPUtime=1122.3 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 159355 0 0 0 112172 58 0 0 25 0 4 0 652002354 597250048 91280 33554432000 4194304 4650419 140735786062608 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=583252 CPUtime=1122.28 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 120688 0 0 0 112184 44 0 0 25 0 4 0 652002354 597250048 91280 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.46
Current children cumulated vsize (KiB) 583252

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 8.09 9/356 3232
/proc/meminfo: memFree=25456560/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=583336 CPUtime=4715.75 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 582260 0 0 0 471373 202 0 0 25 0 4 0 652002354 597336064 93431 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 145834 93431 392 112 0 140799 0
[pid=3193/tid=3194] ppid=3191 vsize=583336 CPUtime=1169.05 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 171948 0 0 0 116849 56 0 0 25 0 4 0 652002354 597336064 93431 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=583336 CPUtime=1182.31 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 166426 0 0 0 118171 60 0 0 25 0 4 0 652002354 597336064 93431 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=583336 CPUtime=1182.28 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 123629 0 0 0 118182 46 0 0 25 0 4 0 652002354 597336064 93431 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.75
Current children cumulated vsize (KiB) 583336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.51 s]
/proc/loadavg: 7.78 8.03 8.07 5/347 3256
/proc/meminfo: memFree=25872216/32951124 swapFree=53501236/67111528
[pid=3193] ppid=3191 vsize=623448 CPUtime=4800.36 cores=0,2,4,6
/proc/3193/stat : 3193 (strangenight1-m) R 3191 3193 2586 0 -1 4202496 595928 0 0 0 479830 206 0 0 25 0 4 0 652002354 638410752 96224 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3193/statm: 155862 96224 392 112 0 150827 0
[pid=3193/tid=3194] ppid=3191 vsize=623448 CPUtime=1190.01 cores=0,2,4,6
/proc/3193/task/3194/stat : 3194 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 174918 0 0 0 118944 57 0 0 25 0 4 0 652002354 638410752 96225 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3193/tid=3195] ppid=3191 vsize=623448 CPUtime=1203.54 cores=0,2,4,6
/proc/3193/task/3195/stat : 3195 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 173018 0 0 0 120293 61 0 0 25 0 4 0 652002354 638410752 96225 33554432000 4194304 4650419 140735786062608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3193/tid=3196] ppid=3191 vsize=623448 CPUtime=1203.5 cores=0,2,4,6
/proc/3193/task/3196/stat : 3196 (strangenight1-m) R 3191 3193 2586 0 -1 4202560 125052 0 0 0 120304 46 0 0 25 0 4 0 652002354 638410752 96225 33554432000 4194304 4650419 140735786062608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 623448

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): 1203.55
CPU time (s): 4800.43
CPU user time (s): 4798.35
CPU system time (s): 2.08168
CPU usage (%): 398.857
Max. virtual memory (cumulated for all children) (KiB): 649676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.35
system time used= 2.08168
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595930
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= 405
involuntary context switches= 22535

runsolver used 3.88441 second user time and 9.65453 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 22:13:17
IDJOB=3368826
IDBENCH=82835
IDSOLVER=1846
FILE ID=node103/3368826-1305403997
RUNJOBID= node103-1305403990-3131
PBS_JOBID= 13324472
Free space on /tmp= 72984 MiB

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

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

MD5SUM BENCH= 569a001e2aa1e7b5ad13eab5cc7018bb
RANDOM SEED=2085179052

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.77
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.858
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.75
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.858
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.858
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.83
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.858
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:      26193944 kB
Buffers:        297512 kB
Cached:        3866284 kB
SwapCached:     340192 kB
Active:        1377124 kB
Inactive:      5109828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26193944 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           12736 kB
Writeback:          24 kB
AnonPages:     1993332 kB
Mapped:          11288 kB
Slab:           152104 kB
PageTables:      53052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78437096 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= 72984 MiB
End job on node103 at 2011-05-14 22:33:23