Trace number 3368798

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.28 1204.35

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf
MD5SUM72699a729b1b1ff68f424bd0209fc31b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.031994
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3368798-1305403162.cnf'
0.00/0.01	c -- header says num vars:            750
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        750
0.00/0.02	c Parsing time:  0.01 s
0.00/0.02	c  N st     0         0       750      3195         0         0      9585         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     359 undec:      80 neg:     311
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       732      3167         0         0      9614         0   no data   no data  --
0.00/0.08	c Decided on static restart strategy
0.41/0.19	c  N st     8      4915       732      3167         0      4873      9614    153487   no data   no data  --
1.56/0.49	c  N st    10     11298       732      3167         0      4495      9614    100370   no data   no data  --
3.16/0.80	c  N st    11     17041       732      3167         0     10152      9614    270110   no data   no data  --
4.80/1.27	c  F st    12     25000       732      3167         0     12484      9614    340356   no data   no data  --
4.80/1.27	c  N st    12     25000       732      3167         0     12484      9614    340356   no data   no data  --
5.95/1.53	c  N dy    18     30002       732      3167         0     10769      9614    266547   no data   no data  --
5.95/1.53	c  S st    18     30002       732      3167         0     10769      9614    266547   no data   no data  --
5.95/1.56	c  S st    18     30504       732      3167         0     11270      9614    281027   no data   no data  --
5.95/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.95/1.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.95/1.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.95/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.95/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
5.95/1.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.54/1.90	c lits-rem:       144  cl-subs:      281  v-elim:      0  v-fix:    0  time:  1.31 s
7.54/1.91	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.04
7.54/1.91	c calculated reachability. Time: 0.00
7.54/1.91	c  N dy    18     30504       732      3167         0     10989      9614    270403   no data   no data  --
8.35/2.15	c  N dy    41     34719       732      3167         0     15183      9614    397811     21.17     22.44  --
9.19/2.38	c  N dy    52     38843       732      3167         0     11415      9614    222134     20.43     21.56  --
10.33/2.67	c  N dy    64     43353       732      3167         0     15900      9614    358279     20.05     21.56  --
11.13/2.84	c  S st    78     45756       732      3167         0      9388      9614    126835     20.19     21.22  --
11.13/2.87	c  S st    78     46264       732      3167         0      9896      9614    141364     20.19   no data  --
11.13/2.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.13/2.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.13/2.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
11.13/2.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.13/2.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.13/2.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
11.13/2.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.53/2.99	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.45 s
11.53/2.99	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
11.53/2.99	c vivif2 --  cl tried     9893 cl shrink        0 lits rem          0 time: 0.00
11.93/3.00	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.03
11.93/3.00	c calculated reachability. Time: 0.00
11.93/3.04	c  N dy    78     46264       732      3167         0      9893      9614    141224     20.19   no data  --
12.29/3.24	c  N dy    96     50417       732      3167         0     14027      9614    267162     20.30     21.42  --
13.80/3.51	c  N dy   117     54535       732      3167         0     18123      9614    391724     20.37     21.91  --
14.61/3.78	c  N dy   134     58582       732      3167         0     12230      9614    185000     20.44     21.54  --
15.81/4.09	c  N dy   148     63554       732      3167         0     17171      9614    335614     20.39     21.72  --
17.44/4.43	c  N dy   168     68080       732      3167         0     21679      9614    473212     20.38     21.58  --
17.85/4.52	c  S st   174     69396       732      3167         0     12044      9614    149554     20.38     19.49  --
17.85/4.55	c  S st   174     69900       732      3167         0     12548      9614    163883     20.38   no data  --
17.85/4.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.85/4.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.85/4.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.85/4.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.85/4.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.85/4.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
17.85/4.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.59/4.73	c lits-rem:        38  cl-subs:       20  v-elim:      0  v-fix:    0  time:  0.65 s
18.59/4.73	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
18.59/4.73	c vivif2 --  cl tried    12528 cl shrink        0 lits rem          0 time: 0.01
18.59/4.74	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.04
18.59/4.74	c calculated reachability. Time: 0.00
18.59/4.74	c  N dy   174     69900       732      3167         0     12528      9614    163135     20.38   no data  --
19.80/5.03	c  N dy   191     74455       732      3167         0     17050      9614    301486     20.40     21.50  --
21.40/5.40	c  N dy   205     79233       732      3167         0     21799      9614    443790     20.35     21.55  --
22.58/5.79	c  N dy   225     84421       732      3167         0     15029      9614    210016     20.35     21.58  --
23.78/6.02	c  F st   240     87500       732      3167         0     18083      9614    301688     20.41   no data  --
24.58/6.27	c  N st   245     90794       732      3167         0     21360      9614    401986     20.41   no data  --
26.62/6.75	c  N dy   272     96603       732      3167         0     14219      9614    166623     20.45     21.58  --
28.57/7.23	c  N dy   321    102921       732      3167         0     20510      9614    359528     20.59     21.79  --
29.36/7.40	c  S st   330    104852       732      3167         0     22430      9614    418515     20.59   no data  --
29.36/7.45	c  S st   330    105358       732      3167         0     22936      9614    433575     20.59   no data  --
29.36/7.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.36/7.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.36/7.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.36/7.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.36/7.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.36/7.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
29.36/7.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
34.98/8.85	c lits-rem:       284  cl-subs:      131  v-elim:      0  v-fix:    0  time:  5.44 s
34.98/8.85	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
34.98/8.85	c vivif2 --  cl tried    22805 cl shrink        0 lits rem          0 time: 0.02
34.98/8.87	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.08
34.98/8.87	c calculated reachability. Time: 0.00
34.98/8.87	c  N dy   330    105358       732      3167         0     22805      9614    428128     20.59   no data  --
37.73/9.52	c  N dy   351    112755       732      3167         0     16244      9614    202544     20.54     21.85  --
40.12/10.19	c  N dy   401    120840       732      3167         0     24289      9614    449368     20.63     21.85  --
43.32/10.92	c  N dy   443    128627       732      3167         0     17106      9614    201194     20.66     21.99  --
46.50/11.71	c  N dy   483    137455       732      3167         0     25883      9614    468004     20.66     21.97  --
50.09/12.61	c  N dy   525    146342       732      3167         0     18808      9614    231040     20.68     21.92  --
53.68/13.51	c  N dy   549    156519       732      3167         0     28895      9614    536028     20.61     22.08  --
54.08/13.67	c  S st   552    158039       732      3167         0     30399      9614    579145     20.59     19.09  --
54.48/13.74	c  S st   552    158542       732      3167         0     30902      9614    594236     20.59   no data  --
54.48/13.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
54.48/13.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.48/13.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
54.48/13.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.48/13.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.48/13.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
54.48/13.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
62.45/15.79	c lits-rem:       316  cl-subs:      521  v-elim:      0  v-fix:    0  time:  8.03 s
62.45/15.79	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
62.45/15.79	c vivif2 --  cl tried    30381 cl shrink        0 lits rem          0 time: 0.02
62.85/15.82	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.11
62.85/15.82	c calculated reachability. Time: 0.00
62.85/15.82	c  N dy   552    158542       732      3167         0     30381      9614    576557     20.59   no data  --
66.44/16.76	c  N dy   597    168692       732      3167         0     23593      9614    350077     20.60     22.00  --
71.22/17.98	c  N dy   630    180478       732      3167         0     35301      9614    710758     20.58     22.15  --
76.01/19.17	c  N dy   701    192558       732      3167         0     29431      9614    511272     20.63     21.89  --
81.97/20.67	c  N dy   751    205334       732      3167         0     23229      9614    291804     20.60     21.93  --
87.99/22.15	c  N dy   833    218756       732      3167         0     36567      9614    701170     20.66     21.77  --
93.92/23.68	c  N dy   902    232817       732      3167         0     30672      9614    492668     20.67     21.83  --
96.77/24.32	c  S st   926    237813       732      3167         0     35638      9614    648637     20.69     20.54  --
97.11/24.40	c  S st   926    238316       732      3167         0     36139      9614    664051     20.69   no data  --
97.11/24.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.11/24.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.11/24.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
97.11/24.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.11/24.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.11/24.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
97.11/24.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
106.68/26.84	c lits-rem:       456  cl-subs:      311  v-elim:      0  v-fix:    0  time:  9.57 s
106.68/26.84	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
106.68/26.85	c vivif2 --  cl tried    35828 cl shrink        0 lits rem          0 time: 0.03
106.68/26.88	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.12
106.68/26.88	c calculated reachability. Time: 0.00
106.68/26.88	c  N dy   926    238316       732      3167         0     35828      9614    652035     20.69   no data  --
113.89/28.63	c  N dy   992    253712       732      3167         0     30265      9614    460705     20.69     21.83  --
122.66/30.81	c  N dy  1071    270820       732      3167         0     25391      9614    284867     20.72     21.94  --
133.39/33.58	c  N dy  1167    293142       732      3167         0     24708      9614    245174     20.72     21.88  --
139.37/35.05	c  F st  1211    306250       732      3167         0     37711      9614    640535     20.70   no data  --
142.56/35.84	c  N dy  1221    312024       732      3167         0     43450      9614    823456     20.70     21.99  --
152.53/38.38	c  N dy  1314    331964       732      3167         0     39449      9614    667848     20.72     23.60  --
164.09/41.20	c  N dy  1395    352617       732      3167         0     35121      9614    510908     20.70     22.06  --
166.52/41.84	c  S st  1419    357476       732      3167         0     39952      9614    658718     20.71   no data  --
166.93/41.93	c  S st  1419    357980       732      3167         0     40456      9614    673374     20.71   no data  --
166.93/41.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.93/41.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.93/41.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
166.93/41.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.93/41.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.93/41.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
166.93/41.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
176.44/44.31	c lits-rem:       599  cl-subs:      365  v-elim:      0  v-fix:    0  time:  9.31 s
176.44/44.31	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
176.44/44.32	c vivif2 --  cl tried    40091 cl shrink        0 lits rem          0 time: 0.03
176.44/44.36	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.16
176.44/44.36	c calculated reachability. Time: 0.00
176.44/44.36	c  N dy  1419    357980       732      3167         0     40091      9614    660085     20.71   no data  --
188.44/47.38	c  N dy  1508    379875       732      3167         0     35988      9614    512314     20.69     21.90  --
202.01/50.75	c  N dy  1578    400230       732      3167         0     29390      9614    285852     20.68     21.97  --
213.52/53.60	c  N dy  1652    420639       732      3167         0     49677      9614    911371     20.67     21.79  --
225.07/56.50	c  N dy  1730    440729       732      3167         0     41788      9614    644296     20.66     22.19  --
238.63/59.97	c  N dy  1839    460765       732      3167         0     32904      9614    344799     20.70     22.34  --
250.99/63.07	c  N dy  1940    480848       732      3167         0     52836      9614    960519     20.72     21.82  --
263.74/66.26	c  N dy  2044    500871       732      3167         0     42945      9614    635261     20.74     25.61  --
279.30/70.13	c  N dy  2149    520967       732      3167         0     32122      9614    274748     20.76     24.54  --
288.47/72.41	c  S st  2240    536970       732      3167         0     48019      9614    767319     20.78   no data  --
288.87/72.52	c  S st  2240    537473       732      3167         0     48521      9614    781903     20.78   no data  --
288.87/72.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
288.87/72.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
288.87/72.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
288.87/72.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
288.87/72.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
288.87/72.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
288.87/72.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
300.03/75.33	c lits-rem:       780  cl-subs:      392  v-elim:      0  v-fix:    0  time: 11.04 s
300.03/75.34	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
300.03/75.34	c vivif2 --  cl tried    48129 cl shrink        0 lits rem          0 time: 0.04
300.03/75.39	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.20
300.03/75.40	c calculated reachability. Time: 0.00
300.03/75.40	c  N dy  2240    537473       732      3167         0     48129      9614    767353     20.78   no data  --
314.39/78.92	c  N dy  2296    558034       732      3167         0     36741      9614    396192     20.76     21.88  --
327.95/82.34	c  N dy  2402    578061       732      3167         0     56654      9614   1012145     20.78     23.69  --
342.35/85.91	c  N dy  2514    598121       732      3167         0     43818      9614    585206     20.81     22.05  --
357.85/89.81	c  N dy  2619    618152       732      3167         0     63732      9614   1215646     20.83     23.45  --
371.40/93.26	c  N dy  2726    638228       732      3167         0     49882      9614    745503     20.85     23.84  --
393.34/98.75	c  N dy  2731    668035       732      3167         0     44545      9614    540328     20.67     21.82  --
410.07/102.98	c  N dy  2841    688179       732      3167         0     64583      9614   1167218     20.68     21.94  --
425.25/106.79	c  N dy  2950    708287       732      3167         0     48883      9614    671751     20.70     21.85  --
444.35/111.57	c  N dy  3061    729456       732      3167         0     69934      9614   1328419     20.72     22.05  --
459.10/115.23	c  N dy  3167    749480       732      3167         0     53095      9614    780385     20.74     22.14  --
478.63/120.14	c  N dy  3273    769982       732      3167         0     73410      9614   1406377     20.76     21.86  --
494.18/124.06	c  N dy  3389    791233       732      3167         0     56782      9614    864230     20.78     22.00  --
508.58/127.65	c  S st  3467    806210       732      3167         0     71657      9614   1327614     20.79     20.36  --
509.33/127.85	c  S st  3467    806710       732      3167         0     72157      9614   1342577     20.79   no data  --
509.33/127.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
509.33/127.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
509.33/127.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
509.73/127.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
509.73/127.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
509.73/127.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
509.73/127.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
519.29/130.36	c lits-rem:       253  cl-subs:      803  v-elim:      0  v-fix:    0  time:  9.69 s
519.29/130.36	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
519.29/130.38	c vivif2 --  cl tried    71354 cl shrink        0 lits rem          0 time: 0.06
519.69/130.47	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.36
519.69/130.47	c calculated reachability. Time: 0.00
519.69/130.47	c  N dy  3467    806710       732      3167         0     71354      9614   1313646     20.79   no data  --
535.30/134.38	c  N dy  3587    826742       732      3167         0     52543      9614    716067     20.82     30.29  --
555.19/139.33	c  N dy  3683    846760       732      3167         0     72398      9614   1332693     20.82     27.45  --
572.32/143.62	c  N dy  3811    866827       732      3167         0     52625      9614    693255     20.85     23.91  --
590.27/148.16	c  N dy  3890    887005       732      3167         0     72650      9614   1314023     20.85     22.11  --
608.21/152.68	c  N dy  3992    907122       732      3167         0     51937      9614    644418     20.86     22.18  --
626.99/157.37	c  N dy  4093    927447       732      3167         0     72112      9614   1282020     20.88     22.03  --
648.92/162.85	c  N dy  4198    951040       732      3167         0     53821      9614    673486     20.88     22.07  --
667.21/167.46	c  N dy  4298    971058       732      3167         0     73687      9614   1287647     20.89     22.87  --
687.55/172.59	c  N dy  4431    991066       732      3167         0     50878      9614    567475     20.92     22.15  --
705.49/177.01	c  N dy  4542   1011071       732      3167         0     70739      9614   1185143     20.93     22.09  --
727.85/182.67	c  N dy  4632   1031120       732      3167         0     46951      9614    413647     20.94     22.09  --
743.76/186.64	c  N dy  4685   1051321       732      3167         0     66971      9614   1029576     20.92     22.41  --
767.74/192.67	c  F st  4760   1071876       732      3167         0     87359      9614   1652076     20.91     17.61  --
767.74/192.67	c  N st  4760   1071876       732      3167         0     87359      9614   1652076     20.91     17.61  --
772.86/193.90	c Decided on static restart strategy
790.01/198.24	c  N st  4770   1100176       732      3167         0     70684      9614   1205615     20.91   no data  --
826.70/207.46	c  N st  4772   1136168       732      3167         0     60576      9614   1499805     20.91   no data  --
865.76/217.28	c  N st  4773   1168560       732      3167         0     92297      9614   2536599     20.91   no data  --
906.83/227.55	c  N st  4774   1210065       732      3167         0     86789      9614   2161565     20.91   no data  --
906.83/227.55	c  S st  4774   1210065       732      3167         0     86789      9614   2161565     20.91   no data  --
907.66/227.80	c  S st  4774   1210568       732      3167         0     87291      9614   2176181     20.91   no data  --
907.66/227.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
907.66/227.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
908.07/227.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
908.41/227.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
908.41/227.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
908.41/227.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
908.41/227.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
953.06/239.14	c lits-rem:       458  cl-subs:     4511  v-elim:      0  v-fix:    0  time: 44.68 s
953.06/239.14	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
953.06/239.16	c vivif2 --  cl tried    82780 cl shrink        0 lits rem          0 time: 0.10
953.46/239.28	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.48
953.46/239.28	c calculated reachability. Time: 0.00
953.46/239.28	c  N st  4774   1210568       732      3167         0     82780      9614   2024259     20.91   no data  --
1028.02/257.90	c  N st  4775   1283450       732      3167         0     59515      9614   1211176     20.91   no data  --
1143.24/286.80	c  N st  4776   1392774       732      3167         0     67397      9614   1446702     20.91   no data  --
1315.53/330.10	c  N st  4777   1556758       732      3167         0     72454      9614   1458618     20.91   no data  --
1508.48/378.44	c  N st  4778   1710568       732      3167         0     58405      9614    849545     20.91   no data  --
1508.48/378.44	c  S st  4778   1710568       732      3167         0     58405      9614    849545     20.91   no data  --
1508.90/378.59	c  S st  4778   1711070       732      3167         0     58907      9614    864966     20.91   no data  --
1508.90/378.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1508.90/378.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1509.24/378.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1509.24/378.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1509.24/378.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1509.24/378.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
1509.24/378.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1518.81/381.06	c lits-rem:       602  cl-subs:      482  v-elim:      0  v-fix:    0  time:  9.63 s
1518.81/381.06	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
1518.81/381.07	c vivif2 --  cl tried    58425 cl shrink        0 lits rem          0 time: 0.04
1519.22/381.14	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.28
1519.22/381.15	c calculated reachability. Time: 0.00
1519.22/381.15	c  N st  4778   1711070       732      3167         0     58425      9614    848222     20.91   no data  --
1971.24/494.71	c  N st  4779   2080036       732      3167         0     63950      9614    860730     20.91   no data  --
2128.73/534.27	c  N st  4780   2211070       732      3167         0     66371      9614    877111     20.91   no data  --
2128.73/534.27	c  S st  4780   2211070       732      3167         0     66371      9614    877111     20.91   no data  --
2129.53/534.46	c  S st  4780   2211573       732      3167         0     66874      9614    892195     20.91   no data  --
2129.53/534.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2129.53/534.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2129.93/534.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
2129.93/534.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2129.93/534.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2129.93/534.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2129.93/534.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2139.54/536.97	c lits-rem:       404  cl-subs:      232  v-elim:      0  v-fix:    0  time:  9.69 s
2139.54/536.97	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
2139.54/536.98	c vivif2 --  cl tried    66642 cl shrink        0 lits rem          0 time: 0.05
2139.88/537.06	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.32
2139.88/537.07	c calculated reachability. Time: 0.00
2139.88/537.07	c  N st  4780   2211573       732      3167         0     66642      9614    884528     20.91   no data  --
2767.03/694.37	c  N st  4781   2711573       732      3167         0     83025      9614   1281785     20.91   no data  --
2767.03/694.37	c  S st  4781   2711573       732      3167         0     83025      9614   1281785     20.91   no data  --
2767.83/694.59	c  S st  4781   2712075       732      3167         0     83527      9614   1297078     20.91   no data  --
2768.23/694.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2768.23/694.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2768.23/694.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
2768.23/694.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2768.23/694.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2768.23/694.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2768.23/694.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2777.00/696.88	c lits-rem:       150  cl-subs:     1300  v-elim:      0  v-fix:    0  time:  8.78 s
2777.00/696.89	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
2777.40/696.90	c vivif2 --  cl tried    82227 cl shrink        0 lits rem          0 time: 0.07
2777.80/697.01	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.44
2777.80/697.02	c calculated reachability. Time: 0.00
2777.80/697.02	c  N st  4781   2712075       732      3167         0     82227      9614   1251268     20.91   no data  --
3502.22/878.73	c  N st  4782   3212077       732      3167         0    128267      9614   2665348     20.91   no data  --
3502.22/878.73	c  S st  4782   3212077       732      3167         0    128267      9614   2665348     20.91   no data  --
3503.80/879.14	c  S st  4782   3212578       732      3167         0    128768      9614   2680060     20.91   no data  --
3503.80/879.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3503.80/879.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3504.20/879.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
3504.61/879.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3504.61/879.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3504.61/879.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
3504.61/879.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3597.88/902.74	c lits-rem:        33  cl-subs:     6680  v-elim:      0  v-fix:    0  time: 93.35 s
3597.88/902.74	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
3597.88/902.77	c vivif2 --  cl tried   122088 cl shrink        0 lits rem          0 time: 0.12
3598.68/902.96	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.76
3598.68/902.96	c calculated reachability. Time: 0.00
3598.68/902.96	c  N st  4782   3212578       732      3167         0    122088      9614   2466821     20.91   no data  --
4387.96/1100.91	c  N st  4783   3712578       732      3167         0    133444      9614   2775335     20.91   no data  --
4387.96/1100.91	c  S st  4783   3712578       732      3167         0    133444      9614   2775335     20.91   no data  --
4389.55/1101.32	c  S st  4783   3713083       732      3167         0    133949      9614   2790260     20.91   no data  --
4389.55/1101.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4389.55/1101.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4389.95/1101.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
4390.35/1101.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4390.35/1101.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4390.35/1101.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
4390.35/1101.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4474.46/1122.66	c lits-rem:        63  cl-subs:     5171  v-elim:      0  v-fix:    0  time: 84.28 s
4474.46/1122.66	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
4474.46/1122.69	c vivif2 --  cl tried   128778 cl shrink        0 lits rem          0 time: 0.13
4475.26/1122.89	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.80
4475.26/1122.89	c calculated reachability. Time: 0.00
4475.26/1122.89	c  N st  4783   3713083       732      3167         0    128778      9614   2607487     20.91   no data  --
4555.43/1143.00	c  F st  4784   3751563       732      3167         0    166748      9614   3922328     20.91   no data  --
4555.43/1143.00	c  N st  4784   3751563       732      3167         0    166748      9614   3922328     20.91   no data  --
4564.20/1145.20	c Decided on static restart strategy
4590.92/1151.86	c  N st  4794   3779866       732      3167         0    111112      9614   1870420     20.91   no data  --
4653.05/1167.43	c  N st  4796   3815859       732      3167         0    146683      9614   3143541     20.91   no data  --
4729.21/1186.52	c  N st  4797   3848252       732      3167         0     93858      9614   1255304     20.91   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3368798-1305403162/watcher-3368798-1305403162 -o /tmp/evaluation-result-3368798-1305403162/solver-3368798-1305403162 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368798-1305403162.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: 6.88 7.85 8.00 2/393 28631
/proc/meminfo: memFree=24247968/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 411 0 0 0 2 0 0 0 23 0 4 0 651914836 52465664 352 33554432000 4194304 4650419 140737193569552 18446744073709551615 47417341740978 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 12809 352 303 112 0 7774 0
[pid=28631/tid=28634] ppid=28629 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651914836 52465664 356 33554432000 4194304 4650419 140737193569552 18446744073709551615 47417341741057 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651914836 52465664 356 33554432000 4194304 4650419 140737193569552 18446744073709551615 47417341740569 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 651914836 52465664 356 33554432000 4194304 4650419 140737193569552 18446744073709551615 47417341740569 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.113669 s]
/proc/loadavg: 6.88 7.85 8.00 2/393 28631
/proc/meminfo: memFree=24247968/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=348528 CPUtime=0.41 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 2042 0 0 0 41 0 0 0 18 0 4 0 651914836 356892672 1902 33554432000 4194304 4650419 140737193569552 18446744073709551615 4315143 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 87132 1902 391 112 0 82097 0
[pid=28631/tid=28634] ppid=28629 vsize=348528 CPUtime=0.09 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 439 0 0 0 9 0 0 0 25 0 4 0 651914836 356892672 1902 33554432000 4194304 4650419 140737193569552 18446744073709551615 4334270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=348528 CPUtime=0.1 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 445 0 0 0 10 0 0 0 25 0 4 0 651914836 356892672 1902 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=348528 CPUtime=0.1 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 320 0 0 0 10 0 0 0 25 0 4 0 651914836 356892672 1902 33554432000 4194304 4650419 140737193569552 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 348528

[startup+0.200655 s]
/proc/loadavg: 6.88 7.85 8.00 2/393 28631
/proc/meminfo: memFree=24247968/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=349416 CPUtime=0.76 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 2743 0 0 0 76 0 0 0 18 0 4 0 651914836 357801984 2052 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363613 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 87354 2052 393 112 0 82319 0
[pid=28631/tid=28634] ppid=28629 vsize=349416 CPUtime=0.18 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 627 0 0 0 18 0 0 0 25 0 4 0 651914836 357801984 2052 33554432000 4194304 4650419 140737193569552 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=349416 CPUtime=0.19 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 546 0 0 0 19 0 0 0 25 0 4 0 651914836 357801984 2052 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=349416 CPUtime=0.19 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 538 0 0 0 19 0 0 0 25 0 4 0 651914836 357801984 2052 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 349416

[startup+0.300637 s]
/proc/loadavg: 6.88 7.85 8.00 2/393 28631
/proc/meminfo: memFree=24247968/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=349696 CPUtime=1.16 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 3210 0 0 0 116 0 0 0 18 0 4 0 651914836 358088704 2328 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 87424 2328 393 112 0 82389 0
[pid=28631/tid=28634] ppid=28629 vsize=349696 CPUtime=0.28 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 719 0 0 0 28 0 0 0 25 0 4 0 651914836 358088704 2328 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=349696 CPUtime=0.29 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 731 0 0 0 29 0 0 0 25 0 4 0 651914836 358088704 2328 33554432000 4194304 4650419 140737193569552 18446744073709551615 4315085 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=349696 CPUtime=0.29 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 643 0 0 0 29 0 0 0 25 0 4 0 651914836 358088704 2328 33554432000 4194304 4650419 140737193569552 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 349696

[startup+0.70057 s]
/proc/loadavg: 6.88 7.85 8.00 2/393 28631
/proc/meminfo: memFree=24247968/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=350680 CPUtime=2.76 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 5095 0 0 0 275 1 0 0 18 0 4 0 651914836 359096320 3071 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 87670 3071 393 112 0 82635 0
[pid=28631/tid=28634] ppid=28629 vsize=350680 CPUtime=0.68 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 1206 0 0 0 68 0 0 0 25 0 4 0 651914836 359096320 3071 33554432000 4194304 4650419 140737193569552 18446744073709551615 4333569 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=350680 CPUtime=0.69 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 1231 0 0 0 69 0 0 0 25 0 4 0 651914836 359096320 3071 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=350680 CPUtime=0.68 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 1093 0 0 0 68 0 0 0 25 0 4 0 651914836 359096320 3071 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 350680

[startup+1.50043 s]
/proc/loadavg: 6.88 7.85 8.00 9/405 28643
/proc/meminfo: memFree=24216500/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=343532 CPUtime=5.95 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 8867 0 0 0 593 2 0 0 20 0 4 0 651914836 351776768 3636 33554432000 4194304 4650419 140737193569552 18446744073709551615 4333562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 85883 3636 394 112 0 80848 0
[pid=28631/tid=28634] ppid=28629 vsize=343532 CPUtime=1.46 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 2160 0 0 0 146 0 0 0 25 0 4 0 651914836 351776768 3636 33554432000 4194304 4650419 140737193569552 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=343532 CPUtime=1.48 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 2239 0 0 0 148 0 0 0 25 0 4 0 651914836 351776768 3636 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=343532 CPUtime=1.48 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 1924 0 0 0 148 0 0 0 25 0 4 0 651914836 351776768 3636 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 343532

[startup+3.10116 s]
/proc/loadavg: 6.88 7.85 8.00 9/405 28643
/proc/meminfo: memFree=24185744/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=348732 CPUtime=12.29 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 19404 0 0 0 1225 4 0 0 25 0 4 0 651914836 357101568 12081 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 87183 12081 395 112 0 82148 0
[pid=28631/tid=28634] ppid=28629 vsize=348732 CPUtime=3.04 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 4622 0 0 0 304 0 0 0 25 0 4 0 651914836 357101568 12081 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=348732 CPUtime=3.08 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 5133 0 0 0 307 1 0 0 25 0 4 0 651914836 357101568 12081 33554432000 4194304 4650419 140737193569552 18446744073709551615 4438970 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=348732 CPUtime=3.04 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 4337 0 0 0 304 0 0 0 25 0 4 0 651914836 357101568 12081 33554432000 4194304 4650419 140737193569552 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 348732

[startup+6.30061 s]
/proc/loadavg: 7.21 7.91 8.02 9/405 28643
/proc/meminfo: memFree=24130980/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=367248 CPUtime=24.98 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 27649 0 0 0 2492 6 0 0 25 0 4 0 651914836 376061952 15005 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 91812 15005 395 112 0 86777 0
[pid=28631/tid=28634] ppid=28629 vsize=367248 CPUtime=6.13 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 7159 0 0 0 612 1 0 0 25 0 4 0 651914836 376061952 15005 33554432000 4194304 4650419 140737193569552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=367248 CPUtime=6.28 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 6854 0 0 0 627 1 0 0 25 0 4 0 651914836 376061952 15005 33554432000 4194304 4650419 140737193569552 18446744073709551615 4310402 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=367248 CPUtime=6.24 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 6363 0 0 0 623 1 0 0 25 0 4 0 651914836 376061952 15005 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 367248

[startup+12.7005 s]
/proc/loadavg: 7.27 7.91 8.02 10/405 28644
/proc/meminfo: memFree=24062784/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=357924 CPUtime=50.49 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 39879 0 0 0 5041 8 0 0 25 0 4 0 651914836 366514176 22926 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 89481 22926 395 112 0 84446 0
[pid=28631/tid=28634] ppid=28629 vsize=357924 CPUtime=12.45 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 9212 0 0 0 1243 2 0 0 25 0 4 0 651914836 366514176 22926 33554432000 4194304 4650419 140737193569552 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=357924 CPUtime=12.68 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 9720 0 0 0 1266 2 0 0 25 0 4 0 651914836 366514176 22926 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=357924 CPUtime=12.64 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 10099 0 0 0 1262 2 0 0 25 0 4 0 651914836 366514176 22926 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 357924

[startup+25.5013 s]
/proc/loadavg: 7.50 7.93 8.02 9/405 28644
/proc/meminfo: memFree=24002900/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=368108 CPUtime=101.5 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 56495 0 0 0 10131 19 0 0 25 0 4 0 651914836 376942592 32044 33554432000 4194304 4650419 140737193569552 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 92027 32044 395 112 0 86992 0
[pid=28631/tid=28634] ppid=28629 vsize=368108 CPUtime=25.08 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 13067 0 0 0 2505 3 0 0 25 0 4 0 651914836 376942592 32044 33554432000 4194304 4650419 140737193569552 18446744073709551615 4438387 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=368108 CPUtime=25.48 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 13730 0 0 0 2545 3 0 0 25 0 4 0 651914836 376942592 32044 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=368108 CPUtime=25.44 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 13498 0 0 0 2541 3 0 0 25 0 4 0 651914836 376942592 32044 33554432000 4194304 4650419 140737193569552 18446744073709551615 4331989 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 368108

[startup+51.1009 s]
/proc/loadavg: 7.67 7.93 8.02 10/405 28645
/proc/meminfo: memFree=23917664/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=445532 CPUtime=203.55 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 82736 0 0 0 20326 29 0 0 25 0 4 0 651914836 456224768 44021 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 111383 44021 395 112 0 106348 0
[pid=28631/tid=28634] ppid=28629 vsize=445532 CPUtime=50.36 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 20064 0 0 0 5030 6 0 0 25 0 4 0 651914836 456224768 44021 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=445532 CPUtime=51.08 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 21523 0 0 0 5103 5 0 0 25 0 4 0 651914836 456224768 44021 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=445532 CPUtime=51.04 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 17827 0 0 0 5099 5 0 0 25 0 4 0 651914836 456224768 44021 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.55
Current children cumulated vsize (KiB) 445532

[startup+102.301 s]
/proc/loadavg: 7.94 7.97 8.03 9/405 28655
/proc/meminfo: memFree=23886152/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=446436 CPUtime=407.71 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 115158 0 0 0 40730 41 0 0 25 0 4 0 651914836 457150464 50031 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 111609 50031 395 112 0 106574 0
[pid=28631/tid=28634] ppid=28629 vsize=446436 CPUtime=100.91 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 22926 0 0 0 10084 7 0 0 25 0 4 0 651914836 457150464 50033 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=446436 CPUtime=102.3 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 32012 0 0 0 10221 9 0 0 25 0 4 0 651914836 457150464 50033 33554432000 4194304 4650419 140737193569552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=446436 CPUtime=102.25 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 29430 0 0 0 10216 9 0 0 25 0 4 0 651914836 457150464 50033 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.71
Current children cumulated vsize (KiB) 446436

[startup+162.301 s]

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

[pid=28631] ppid=28629 vsize=693512 CPUtime=2559.72 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 375575 0 0 0 255810 162 0 0 25 0 4 0 651914836 710156288 120380 33554432000 4194304 4650419 140737193569552 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 173378 120380 395 112 0 168343 0
[pid=28631/tid=28634] ppid=28629 vsize=693512 CPUtime=633.73 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 102901 0 0 0 63328 45 0 0 25 0 4 0 651914836 710156288 120380 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=693512 CPUtime=642.27 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 108294 0 0 0 64185 42 0 0 25 0 4 0 651914836 710156288 120380 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=693512 CPUtime=641.67 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 68754 0 0 0 64136 31 0 0 25 0 4 0 651914836 710156288 120380 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2559.72
Current children cumulated vsize (KiB) 693512

[startup+702.301 s]
/proc/loadavg: 8.00 8.06 8.05 9/405 28674
/proc/meminfo: memFree=23441524/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=799572 CPUtime=2798.93 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 391061 0 0 0 279723 170 0 0 25 0 4 0 651914836 818761728 117075 33554432000 4194304 4650419 140737193569552 18446744073709551615 4314858 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 199893 117075 395 112 0 194858 0
[pid=28631/tid=28634] ppid=28629 vsize=799572 CPUtime=692.95 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 103764 0 0 0 69250 45 0 0 25 0 4 0 651914836 818761728 117075 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=799572 CPUtime=702.27 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 112822 0 0 0 70182 45 0 0 25 0 4 0 651914836 818761728 117075 33554432000 4194304 4650419 140737193569552 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=799572 CPUtime=701.67 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 74377 0 0 0 70134 33 0 0 25 0 4 0 651914836 818761728 117075 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2798.93
Current children cumulated vsize (KiB) 799572

[startup+762.301 s]
/proc/loadavg: 8.10 8.08 8.06 9/405 28676
/proc/meminfo: memFree=23461568/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=748540 CPUtime=3038.18 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 408505 0 0 0 303638 180 0 0 25 0 4 0 651914836 766504960 118467 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 187135 118467 395 112 0 182100 0
[pid=28631/tid=28634] ppid=28629 vsize=748540 CPUtime=752.19 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 108117 0 0 0 75171 48 0 0 25 0 4 0 651914836 766504960 118467 33554432000 4194304 4650419 140737193569552 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=748540 CPUtime=762.29 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 116964 0 0 0 76181 48 0 0 25 0 4 0 651914836 766504960 118467 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=748540 CPUtime=761.68 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 78538 0 0 0 76133 35 0 0 25 0 4 0 651914836 766504960 118467 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3038.18
Current children cumulated vsize (KiB) 748540

[startup+822.301 s]
/proc/loadavg: 8.13 8.09 8.06 9/405 28677
/proc/meminfo: memFree=23426952/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=656420 CPUtime=3277.35 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 429159 0 0 0 327542 193 0 0 25 0 4 0 651914836 672174080 119303 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 164105 119303 395 112 0 159070 0
[pid=28631/tid=28634] ppid=28629 vsize=656420 CPUtime=811.42 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 117305 0 0 0 81090 52 0 0 25 0 4 0 651914836 672174080 119303 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=656420 CPUtime=822.27 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 120528 0 0 0 82177 50 0 0 25 0 4 0 651914836 672174080 119303 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=656420 CPUtime=821.66 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 82054 0 0 0 82128 38 0 0 25 0 4 0 651914836 672174080 119303 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3277.35
Current children cumulated vsize (KiB) 656420

[startup+882.316 s]
/proc/loadavg: 8.14 8.10 8.07 9/405 28679
/proc/meminfo: memFree=23362548/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=696228 CPUtime=3516.62 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 454413 0 0 0 351457 205 0 0 25 0 4 0 651914836 712937472 130850 33554432000 4194304 4650419 140737193569552 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 174057 130850 395 112 0 169022 0
[pid=28631/tid=28634] ppid=28629 vsize=696228 CPUtime=870.66 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 123983 0 0 0 87010 56 0 0 25 0 4 0 651914836 712937472 130850 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=696228 CPUtime=882.29 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 128014 0 0 0 88175 54 0 0 25 0 4 0 651914836 712937472 130850 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=696228 CPUtime=881.68 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 87054 0 0 0 88128 40 0 0 25 0 4 0 651914836 712937472 130850 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3516.62
Current children cumulated vsize (KiB) 696228

[startup+942.301 s]
/proc/loadavg: 8.12 8.11 8.07 9/405 28680
/proc/meminfo: memFree=23308700/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=850448 CPUtime=3755.75 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 472191 0 0 0 375360 215 0 0 25 0 4 0 651914836 870858752 133459 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 212612 133459 395 112 0 207577 0
[pid=28631/tid=28634] ppid=28629 vsize=850448 CPUtime=929.84 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 131633 0 0 0 92927 57 0 0 25 0 4 0 651914836 870858752 133459 33554432000 4194304 4650419 140737193569552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=850448 CPUtime=942.27 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 131562 0 0 0 94171 56 0 0 25 0 4 0 651914836 870858752 133459 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=850448 CPUtime=941.67 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 89024 0 0 0 94124 43 0 0 25 0 4 0 651914836 870858752 133459 33554432000 4194304 4650419 140737193569552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3755.75
Current children cumulated vsize (KiB) 850448

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 8.08 9/405 28682
/proc/meminfo: memFree=23290448/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=857848 CPUtime=3994.9 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 497653 0 0 0 399260 230 0 0 25 0 4 0 651914836 878436352 139801 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 214462 139801 395 112 0 209427 0
[pid=28631/tid=28634] ppid=28629 vsize=857848 CPUtime=989.03 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 138195 0 0 0 98841 62 0 0 25 0 4 0 651914836 878436352 139801 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=857848 CPUtime=1002.26 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 136351 0 0 0 100167 59 0 0 25 0 4 0 651914836 878436352 139801 33554432000 4194304 4650419 140737193569552 18446744073709551615 4433093 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=857848 CPUtime=1001.67 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 95238 0 0 0 100122 45 0 0 25 0 4 0 651914836 878436352 139801 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3994.9
Current children cumulated vsize (KiB) 857848

[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 8.08 9/405 28684
/proc/meminfo: memFree=23266376/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=918920 CPUtime=4234.08 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 522193 0 0 0 423158 250 0 0 25 0 4 0 651914836 940974080 145195 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 229730 145195 395 112 0 224695 0
[pid=28631/tid=28634] ppid=28629 vsize=918920 CPUtime=1048.22 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 144504 0 0 0 104756 66 0 0 25 0 4 0 651914836 940974080 145195 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=918920 CPUtime=1062.27 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 142216 0 0 0 106163 64 0 0 25 0 4 0 651914836 940974080 145195 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=918920 CPUtime=1061.67 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 99185 0 0 0 106118 49 0 0 25 0 4 0 651914836 940974080 145195 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4234.08
Current children cumulated vsize (KiB) 918920

[startup+1122.3 s]
/proc/loadavg: 8.04 8.09 8.08 9/405 28685
/proc/meminfo: memFree=23261280/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=858576 CPUtime=4473.26 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 541430 0 0 0 447061 265 0 0 25 0 4 0 651914836 879181824 147088 33554432000 4194304 4650419 140737193569552 18446744073709551615 4476129 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 214644 147088 395 112 0 209609 0
[pid=28631/tid=28634] ppid=28629 vsize=858576 CPUtime=1107.4 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 148616 0 0 0 110670 70 0 0 25 0 4 0 651914836 879181824 147088 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=858576 CPUtime=1122.27 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 146055 0 0 0 112159 68 0 0 25 0 4 0 651914836 879181824 147088 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=858576 CPUtime=1121.67 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 103150 0 0 0 112115 52 0 0 25 0 4 0 651914836 879181824 147088 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4473.26
Current children cumulated vsize (KiB) 858576

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.08 9/405 28687
/proc/meminfo: memFree=23257032/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=942088 CPUtime=4712.46 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 559388 0 0 0 470969 277 0 0 25 0 4 0 651914836 964698112 148541 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 235522 148541 395 112 0 230487 0
[pid=28631/tid=28634] ppid=28629 vsize=942088 CPUtime=1166.59 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 151613 0 0 0 116588 71 0 0 25 0 4 0 651914836 964698112 148541 33554432000 4194304 4650419 140737193569552 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=942088 CPUtime=1182.26 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 149380 0 0 0 118157 69 0 0 25 0 4 0 651914836 964698112 148541 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=942088 CPUtime=1181.67 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 109057 0 0 0 118111 56 0 0 25 0 4 0 651914836 964698112 148541 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4712.46
Current children cumulated vsize (KiB) 942088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.3 s]
/proc/loadavg: 8.05 8.09 8.08 9/405 28687
/proc/meminfo: memFree=23285920/32951132 swapFree=67093844/67111528
[pid=28631] ppid=28629 vsize=934736 CPUtime=4800.21 cores=1,3,5,7
/proc/28631/stat : 28631 (strangenight1-m) R 28629 28631 28111 0 -1 4202496 564770 0 0 0 479740 281 0 0 25 0 4 0 651914836 957169664 149576 33554432000 4194304 4650419 140737193569552 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28631/statm: 233684 149576 395 112 0 228649 0
[pid=28631/tid=28634] ppid=28629 vsize=934736 CPUtime=1188.31 cores=1,3,5,7
/proc/28631/task/28634/stat : 28634 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 151722 0 0 0 118760 71 0 0 25 0 4 0 651914836 957169664 149576 33554432000 4194304 4650419 140737193569552 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28631/tid=28635] ppid=28629 vsize=934736 CPUtime=1204.28 cores=1,3,5,7
/proc/28631/task/28635/stat : 28635 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 150617 0 0 0 120358 70 0 0 25 0 4 0 651914836 957169664 149576 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28631/tid=28636] ppid=28629 vsize=934736 CPUtime=1203.69 cores=1,3,5,7
/proc/28631/task/28636/stat : 28636 (strangenight1-m) R 28629 28631 28111 0 -1 4202560 110182 0 0 0 120311 58 0 0 25 0 4 0 651914836 957169664 149576 33554432000 4194304 4650419 140737193569552 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 934736

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.35
CPU time (s): 4800.28
CPU user time (s): 4797.44
CPU system time (s): 2.83657
CPU usage (%): 398.579
Max. virtual memory (cumulated for all children) (KiB): 982012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.44
system time used= 2.83657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564770
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= 531
involuntary context switches= 31998

runsolver used 4.05938 second user time and 11.7512 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 21:59:22
IDJOB=3368798
IDBENCH=82807
IDSOLVER=1846
FILE ID=node128/3368798-1305403162
RUNJOBID= node128-1305403162-28617
PBS_JOBID= 13324451
Free space on /tmp= 73608 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368798-1305403162/watcher-3368798-1305403162 -o /tmp/evaluation-result-3368798-1305403162/solver-3368798-1305403162 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368798-1305403162.cnf

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

MD5SUM BENCH= 72699a729b1b1ff68f424bd0209fc31b
RANDOM SEED=321560090

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24247992 kB
Buffers:        263944 kB
Cached:        2892660 kB
SwapCached:       1440 kB
Active:        6321656 kB
Inactive:      2090668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24247992 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           12596 kB
Writeback:           0 kB
AnonPages:     5254016 kB
Mapped:          31404 kB
Slab:           187296 kB
PageTables:      38036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100668872 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= 73596 MiB
End job on node128 at 2011-05-14 22:19:28