Trace number 3369001

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.27 1203.35

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf
MD5SUM47049d4705301f4ac565d8b47d11d0a5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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-3369001-1305409983.cnf'
0.00/0.01	c -- header says num vars:            700
0.00/0.01	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.00/0.01	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:     26  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:     304 undec:      88 neg:     308
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       674      2930         0         0      8930         0   no data   no data  --
0.00/0.08	c Decided on static restart strategy
0.38/0.18	c  N st     8      4916       674      2930         0      4846      8930    145381   no data   no data  --
1.57/0.45	c  N st    10     11298       674      2930         0      4504      8930     90388   no data   no data  --
2.78/0.74	c  N st    11     17041       674      2930         0     10185      8930    279440   no data   no data  --
4.41/1.17	c  F st    12     25000       674      2930         0     12433      8930    322697   no data   no data  --
4.41/1.17	c  N st    12     25000       674      2930         0     12433      8930    322697   no data   no data  --
5.56/1.43	c  N dy    18     30001       674      2930         0     10722      8930    250084   no data   no data  --
5.56/1.43	c  S st    18     30001       674      2930         0     10722      8930    250084   no data   no data  --
5.56/1.46	c  S st    18     30503       674      2930         0     11223      8930    262757   no data   no data  --
5.56/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.56/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
5.56/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.76/1.75	c lits-rem:       107  cl-subs:      249  v-elim:      0  v-fix:    0  time:  1.09 s
6.76/1.76	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.03
6.76/1.76	c calculated reachability. Time: 0.00
6.76/1.76	c  N dy    18     30503       674      2930         0     10974      8930    254064   no data   no data  --
7.96/2.00	c  N dy    40     34594       674      2930         0     15035      8930    370771     20.56     21.70  --
9.15/2.35	c  N dy    51     40685       674      2930         0     13218      8930    263068     19.78     21.07  --
10.36/2.64	c  N dy    68     44843       674      2930         0     17333      8930    377598     19.73     20.77  --
10.75/2.71	c  S st    72     45756       674      2930         0      9373      8930    124212     19.72     20.68  --
10.75/2.74	c  S st    72     46264       674      2930         0      9880      8930    138425     19.72   no data  --
10.75/2.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.75/2.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.75/2.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.75/2.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
10.75/2.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.15/2.85	c lits-rem:        52  cl-subs:        9  v-elim:      0  v-fix:    0  time:  0.40 s
11.15/2.85	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
11.15/2.85	c vivif2 --  cl tried     9871 cl shrink        0 lits rem          0 time: 0.00
11.15/2.86	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.03
11.15/2.86	c calculated reachability. Time: 0.00
11.15/2.86	c  N dy    72     46264       674      2930         0      9871      8930    138087     19.72   no data  --
11.95/3.09	c  N dy    78     50413       674      2930         0     13978      8930    254859     19.42     20.50  --
13.18/3.38	c  N dy    92     54709       674      2930         0     18239      8930    373971     19.27     20.31  --
14.34/3.65	c  N dy   112     58993       674      2930         0     12607      8930    188031     19.29     20.44  --
15.54/3.93	c  N dy   135     63394       674      2930         0     16977      8930    312052     19.36     20.51  --
16.74/4.26	c  N dy   161     67573       674      2930         0     21129      8930    431443     19.44     20.62  --
17.16/4.40	c  S st   167     69398       674      2930         0     12043      8930    149254     19.41     19.73  --
17.57/4.43	c  S st   167     69905       674      2930         0     12550      8930    163090     19.41   no data  --
17.57/4.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.57/4.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.57/4.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.57/4.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.57/4.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.57/4.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
17.57/4.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.33/4.61	c lits-rem:        35  cl-subs:       34  v-elim:      0  v-fix:    0  time:  0.69 s
18.33/4.61	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
18.33/4.62	c vivif2 --  cl tried    12516 cl shrink        0 lits rem          0 time: 0.01
18.33/4.63	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.04
18.33/4.63	c calculated reachability. Time: 0.00
18.33/4.63	c  N dy   167     69905       674      2930         0     12516      8930    161949     19.41   no data  --
19.52/4.93	c  N dy   185     74463       674      2930         0     17053      8930    293401     19.42     20.52  --
21.12/5.31	c  N dy   207     79275       674      2930         0     21829      8930    430590     19.44     23.79  --
22.31/5.67	c  N dy   231     84377       674      2930         0     14986      8930    207336     19.47     20.49  --
23.11/5.89	c  F st   245     87500       674      2930         0     18090      8930    292907     19.46     18.92  --
24.31/6.14	c  N st   250     90798       674      2930         0     21355      8930    389472     19.46   no data  --
26.34/6.63	c  N dy   275     96604       674      2930         0     14208      8930    163572     19.51     21.20  --
28.30/7.11	c  N dy   300    102972       674      2930         0     20526      8930    339485     19.49     20.64  --
28.70/7.28	c  S st   309    104858       674      2930         0     22397      8930    391829     19.49   no data  --
29.10/7.33	c  S st   309    105359       674      2930         0     22898      8930    405889     19.49   no data  --
29.10/7.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.10/7.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.10/7.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.10/7.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.10/7.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.10/7.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
29.10/7.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.08/8.33	c lits-rem:       200  cl-subs:      312  v-elim:      0  v-fix:    0  time:  3.91 s
33.08/8.33	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
33.08/8.34	c vivif2 --  cl tried    22586 cl shrink        0 lits rem          0 time: 0.02
33.08/8.36	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.07
33.08/8.36	c calculated reachability. Time: 0.00
33.08/8.36	c  N dy   309    105359       674      2930         0     22586      8930    395539     19.49   no data  --
35.48/8.97	c  N dy   344    112193       674      2930         0     15483      8930    174856     19.53     20.61  --
37.88/9.53	c  N dy   377    119377       674      2930         0     22623      8930    378947     19.55     22.81  --
41.06/10.36	c  N dy   400    127134       674      2930         0     15429      8930    151478     19.53     20.84  --
44.26/11.10	c  N dy   435    136103       674      2930         0     24329      8930    408619     19.52     20.57  --
48.64/12.25	c  N dy   466    148484       674      2930         0     20721      8930    285400     19.42     20.48  --
52.26/13.14	c  N dy   505    158025       674      2930         0     30179      8930    556161     19.43     25.50  --
52.26/13.14	c  S st   506    158039       674      2930         0     30193      8930    556556     19.43   no data  --
52.67/13.21	c  S st   506    158539       674      2930         0     30693      8930    570824     19.43   no data  --
52.67/13.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
52.67/13.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.67/13.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
52.67/13.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
52.67/13.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.67/13.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
52.67/13.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
59.82/15.08	c lits-rem:       446  cl-subs:      476  v-elim:      0  v-fix:    0  time:  7.32 s
59.82/15.08	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
59.82/15.08	c vivif2 --  cl tried    30217 cl shrink        0 lits rem          0 time: 0.02
60.22/15.11	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.11
60.22/15.11	c calculated reachability. Time: 0.00
60.22/15.11	c  N dy   506    158539       674      2930         0     30217      8930    555596     19.43   no data  --
63.81/16.08	c  N dy   548    168915       674      2930         0     23647      8930    341298     19.40     20.47  --
68.59/17.21	c  N dy   592    179816       674      2930         0     34464      8930    654356     19.40     20.52  --
72.99/18.32	c  N dy   648    191410       674      2930         0     28121      8930    446619     19.43     20.72  --
78.59/19.81	c  N dy   715    203654       674      2930         0     21433      8930    234057     19.48     20.85  --
84.55/21.27	c  N dy   775    217518       674      2930         0     35169      8930    622671     19.49     20.61  --
90.94/22.84	c  N dy   835    231461       674      2930         0     29147      8930    430632     19.51     20.54  --
94.53/23.70	c  S st   856    237811       674      2930         0     35429      8930    606382     19.49     17.72  --
94.93/23.80	c  S st   856    238314       674      2930         0     35930      8930    621530     19.49   no data  --
94.93/23.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.93/23.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.93/23.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
94.93/23.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.93/23.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.93/23.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
94.93/23.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
103.71/26.00	c lits-rem:       421  cl-subs:      507  v-elim:      0  v-fix:    0  time:  8.65 s
103.71/26.00	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
103.71/26.01	c vivif2 --  cl tried    35423 cl shrink        0 lits rem          0 time: 0.03
103.71/26.04	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.13
103.71/26.05	c calculated reachability. Time: 0.00
103.71/26.05	c  N dy   856    238314       674      2930         0     35423      8930    604328     19.49   no data  --
110.48/27.78	c  N dy   918    253598       674      2930         0     29739      8930    427041     19.48     23.50  --
119.27/29.93	c  N dy   979    270665       674      2930         0     24861      8930    263243     19.48     20.55  --
127.64/32.07	c  N dy  1056    288026       674      2930         0     42085      8930    758507     19.50     21.03  --
136.42/34.21	c  F st  1126    306250       674      2930         0     37344      8930    602302     19.50   no data  --
136.42/34.24	c  N st  1127    306502       674      2930         0     37595      8930    610116     19.50   no data  --
146.39/36.73	c  N dy  1207    326068       674      2930         0     33199      8930    457278     19.52     21.51  --
157.59/39.57	c  N dy  1248    346484       674      2930         0     28608      8930    299865     19.43     20.55  --
163.16/40.93	c  S st  1298    357472       674      2930         0     39506      8930    613540     19.44     18.52  --
163.56/41.02	c  S st  1298    357976       674      2930         0     40009      8930    628115     19.44   no data  --
163.56/41.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
163.56/41.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.56/41.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
163.56/41.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.56/41.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.56/41.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
163.56/41.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
172.33/43.20	c lits-rem:       818  cl-subs:      487  v-elim:      0  v-fix:    0  time:  8.56 s
172.33/43.20	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
172.33/43.21	c vivif2 --  cl tried    39522 cl shrink        0 lits rem          0 time: 0.03
172.33/43.24	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.15
172.33/43.25	c calculated reachability. Time: 0.00
172.33/43.25	c  N dy  1298    357976       674      2930         0     39522      8930    612087     19.44   no data  --
183.51/46.10	c  N dy  1410    377981       674      2930         0     33617      8930    429003     19.50     20.74  --
197.09/49.47	c  N dy  1509    398692       674      2930         0     27371      8930    223771     19.52     21.02  --
210.66/52.83	c  N dy  1618    421556       674      2930         0     50035      8930    871691     19.54     20.74  --
222.20/55.76	c  N dy  1717    441847       674      2930         0     42415      8930    638428     19.57     20.68  --
234.96/58.96	c  N dy  1763    461856       674      2930         0     33493      8930    355605     19.50     20.56  --
247.74/62.12	c  N dy  1864    481862       674      2930         0     53350      8930    929342     19.53     22.04  --
259.71/65.15	c  N dy  1915    501868       674      2930         0     43391      8930    620735     19.50     20.59  --
275.27/69.05	c  N dy  1970    522472       674      2930         0     33082      8930    301407     19.47     20.53  --
283.65/71.16	c  S st  2062    536965       674      2930         0     47473      8930    726226     19.51   no data  --
284.05/71.27	c  S st  2062    537467       674      2930         0     47975      8930    741258     19.51   no data  --
284.05/71.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
284.05/71.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.05/71.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
284.45/71.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
284.45/71.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
284.45/71.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
284.45/71.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
294.42/73.85	c lits-rem:       745  cl-subs:      463  v-elim:      0  v-fix:    0  time: 10.09 s
294.42/73.85	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
294.42/73.86	c vivif2 --  cl tried    47512 cl shrink        0 lits rem          0 time: 0.04
294.82/73.91	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.19
294.82/73.91	c calculated reachability. Time: 0.00
294.82/73.91	c  N dy  2062    537467       674      2930         0     47512      8930    724887     19.51   no data  --
310.78/77.96	c  N dy  2167    559488       674      2930         0     37636      8930    408449     19.53     20.63  --
324.36/81.34	c  N dy  2235    579528       674      2930         0     57482      8930    977572     19.51     20.82  --
338.31/84.87	c  N dy  2327    599591       674      2930         0     44667      8930    580534     19.52     20.55  --
354.68/88.91	c  N dy  2423    619633       674      2930         0     64549      8930   1155755     19.54     20.67  --
367.84/92.29	c  N dy  2530    639708       674      2930         0     50752      8930    742235     19.57     20.62  --
385.80/96.79	c  N dy  2641    659776       674      2930         0     35948      8930    291007     19.58     21.05  --
399.75/100.20	c  N dy  2725    679946       674      2930         0     55911      8930    862915     19.59     20.87  --
419.71/105.29	c  N dy  2826    700395       674      2930         0     40516      8930    400678     19.61     20.67  --
434.86/109.04	c  N dy  2914    720766       674      2930         0     60692      8930    984260     19.61     20.86  --
455.62/114.30	c  N dy  3021    746586       674      2930         0     49563      8930    634624     19.61     21.01  --
475.56/119.21	c  N dy  3109    768212       674      2930         0     70986      8930   1244225     19.62     20.67  --
490.33/122.98	c  N dy  3215    788235       674      2930         0     53192      8930    725750     19.63     21.75  --
507.48/127.26	c  S st  3314    806200       674      2930         0     71031      8930   1250421     19.65   no data  --
508.28/127.43	c  S st  3314    806703       674      2930         0     71533      8930   1265269     19.65   no data  --
508.28/127.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
508.28/127.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
508.28/127.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
508.70/127.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
508.70/127.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
508.70/127.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
508.70/127.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
516.66/129.51	c lits-rem:       564  cl-subs:      904  v-elim:      0  v-fix:    0  time:  7.99 s
516.66/129.51	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
516.66/129.53	c vivif2 --  cl tried    70629 cl shrink        0 lits rem          0 time: 0.06
517.06/129.61	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.36
517.06/129.62	c calculated reachability. Time: 0.00
517.06/129.62	c  N dy  3314    806703       674      2930         0     70629      8930   1234181     19.65   no data  --
533.82/133.87	c  N dy  3447    826720       674      2930         0     51817      8930    674005     19.68     22.52  --
552.18/138.46	c  N dy  3535    846729       674      2930         0     71651      8930   1251053     19.68     20.81  --
570.91/143.16	c  N dy  3653    866835       674      2930         0     51943      8930    648629     19.70     20.88  --
588.86/147.67	c  N dy  3710    886888       674      2930         0     71818      8930   1218800     19.69     21.04  --
608.02/152.42	c  N dy  3833    906930       674      2930         0     51043      8930    595288     19.71     22.06  --
625.98/156.93	c  N dy  3886    927284       674      2930         0     71150      8930   1179530     19.70     20.77  --
645.17/161.79	c  N dy  3966    947437       674      2930         0     49492      8930    518705     19.70     20.98  --
662.72/166.19	c  N dy  4044    968156       674      2930         0     70046      8930   1116445     19.71     20.80  --
684.25/171.59	c  N dy  4140    988239       674      2930         0     47362      8930    445595     19.72     20.85  --
734.51/184.13	c  N dy  4221   1043062       674      2930         0     57790      8930    699824     19.61     20.79  --
754.89/189.29	c  N dy  4317   1063141       674      2930         0     77656      8930   1272666     19.62     20.83  --
765.63/191.98	c  F st  4344   1071877       674      2930         0     86299      8930   1522893     19.62     17.53  --
770.81/193.26	c Decided on static restart strategy
775.20/194.40	c  N st  4352   1084180       674      2930         0     54026      8930    601465     19.62   no data  --
801.13/200.85	c  N st  4355   1114577       674      2930         0     83923      8930   1509038     19.62   no data  --
820.31/205.64	c  N st  4356   1136173       674      2930         0     59831      8930   1290893     19.62   no data  --
855.83/214.59	c  N st  4357   1168565       674      2930         0     91726      8930   2258884     19.62   no data  --
898.10/225.12	c  N st  4358   1210057       674      2930         0     86062      8930   1998435     19.62   no data  --
898.10/225.12	c  S st  4358   1210057       674      2930         0     86062      8930   1998435     19.62   no data  --
898.90/225.39	c  S st  4358   1210561       674      2930         0     86565      8930   2012652     19.62   no data  --
898.90/225.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
898.90/225.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
899.31/225.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
899.73/225.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
899.73/225.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
899.73/225.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
899.73/225.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
939.58/235.56	c lits-rem:       221  cl-subs:     5265  v-elim:      0  v-fix:    0  time: 40.03 s
939.58/235.56	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
939.58/235.58	c vivif2 --  cl tried    81300 cl shrink        0 lits rem          0 time: 0.09
939.98/235.69	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.45
939.98/235.69	c calculated reachability. Time: 0.00
939.98/235.69	c  N st  4358   1210561       674      2930         0     81300      8930   1848788     19.62   no data  --
1016.99/254.97	c  N st  4359   1283445       674      2930         0     57778      8930   1034596     19.62   no data  --
1125.91/282.30	c  N st  4360   1392769       674      2930         0     65820      8930   1305481     19.62   no data  --
1301.87/326.35	c  N st  4361   1556753       674      2930         0     70824      8930   1334123     19.62   no data  --
1461.50/366.33	c  N st  4362   1710562       674      2930         0     56905      8930    751163     19.62   no data  --
1461.50/366.33	c  S st  4362   1710562       674      2930         0     56905      8930    751163     19.62   no data  --
1461.86/366.48	c  S st  4362   1711065       674      2930         0     57407      8930    766554     19.62   no data  --
1461.86/366.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1461.86/366.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1462.26/366.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
1462.26/366.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1462.26/366.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1462.26/366.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
1462.26/366.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1471.04/368.70	c lits-rem:       582  cl-subs:      284  v-elim:      0  v-fix:    0  time:  8.67 s
1471.04/368.70	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
1471.04/368.71	c vivif2 --  cl tried    57123 cl shrink        0 lits rem          0 time: 0.04
1471.04/368.78	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.26
1471.04/368.78	c calculated reachability. Time: 0.00
1471.04/368.78	c  N st  4362   1711065       674      2930         0     57123      8930    758738     19.62   no data  --
1929.06/483.50	c  N st  4363   2080029       674      2930         0     62804      8930    773184     19.62   no data  --
2098.63/526.09	c  N st  4364   2211066       674      2930         0     64933      8930    789501     19.62   no data  --
2098.63/526.09	c  S st  4364   2211066       674      2930         0     64933      8930    789501     19.62   no data  --
2099.43/526.26	c  S st  4364   2211569       674      2930         0     65436      8930    803723     19.62   no data  --
2099.43/526.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2099.43/526.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2099.43/526.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
2099.83/526.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2099.83/526.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2099.83/526.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
2099.83/526.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2109.01/528.64	c lits-rem:       268  cl-subs:      160  v-elim:      0  v-fix:    0  time:  9.25 s
2109.01/528.64	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
2109.01/528.65	c vivif2 --  cl tried    65276 cl shrink        0 lits rem          0 time: 0.04
2109.41/528.73	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.32
2109.41/528.73	c calculated reachability. Time: 0.00
2109.41/528.73	c  N st  4364   2211569       674      2930         0     65276      8930    799276     19.62   no data  --
2711.18/679.61	c  N st  4365   2711569       674      2930         0     81519      8930   1138868     19.62   no data  --
2711.18/679.61	c  S st  4365   2711569       674      2930         0     81519      8930   1138868     19.62   no data  --
2712.01/679.83	c  S st  4365   2712072       674      2930         0     82021      8930   1153714     19.62   no data  --
2712.01/679.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2712.01/679.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2712.01/679.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
2712.35/679.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2712.35/679.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2712.35/679.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
2712.35/679.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2726.16/683.42	c lits-rem:       171  cl-subs:     1695  v-elim:      0  v-fix:    0  time: 13.79 s
2726.16/683.42	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
2726.16/683.44	c vivif2 --  cl tried    80326 cl shrink        0 lits rem          0 time: 0.06
2726.56/683.59	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.59
2726.56/683.59	c calculated reachability. Time: 0.00
2726.56/683.59	c  N st  4365   2712072       674      2930         0     80326      8930   1105718     19.62   no data  --
3480.70/872.60	c  N st  4366   3212073       674      2930         0    126248      8930   2463055     19.62   no data  --
3480.70/872.60	c  S st  4366   3212073       674      2930         0    126248      8930   2463055     19.62   no data  --
3482.30/873.07	c  S st  4366   3212580       674      2930         0    126751      8930   2477795     19.62   no data  --
3482.30/873.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3482.30/873.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3482.70/873.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.34
3483.10/873.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3483.10/873.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3483.10/873.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
3483.10/873.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3588.42/899.66	c lits-rem:       397  cl-subs:     6677  v-elim:      0  v-fix:    0  time: 105.29 s
3588.42/899.66	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
3588.42/899.69	c vivif2 --  cl tried   120074 cl shrink        0 lits rem          0 time: 0.12
3589.61/899.91	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.85
3589.61/899.91	c calculated reachability. Time: 0.00
3589.61/899.91	c  N st  4366   3212580       674      2930         0    120074      8930   2270702     19.62   no data  --
4403.96/1104.06	c  N st  4367   3712582       674      2930         0    131400      8930   2460207     19.62   no data  --
4403.96/1104.06	c  S st  4367   3712582       674      2930         0    131400      8930   2460207     19.62   no data  --
4405.95/1104.58	c  S st  4367   3713085       674      2930         0    131903      8930   2475012     19.62   no data  --
4405.95/1104.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4405.95/1104.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4406.35/1104.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.34
4406.75/1104.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4406.75/1104.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4406.75/1104.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    674 time:  0.00 s
4406.75/1104.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4478.56/1122.79	c lits-rem:       102  cl-subs:     4880  v-elim:      0  v-fix:    0  time: 71.87 s
4478.56/1122.79	c vivif2 --  cl tried     2930 cl shrink        0 lits rem          0 time: 0.00
4478.96/1122.82	c vivif2 --  cl tried   127023 cl shrink        0 lits rem          0 time: 0.12
4479.77/1123.04	c asymm  cl-useful: 0/2930/2930 lits-rem:0 time: 0.88
4479.77/1123.05	c calculated reachability. Time: 0.00
4479.77/1123.05	c  N st  4367   3713085       674      2930         0    127023      8930   2325202     19.62   no data  --
4564.33/1144.29	c  F st  4368   3751562       674      2930         0    164661      8930   3452117     19.62   no data  --
4564.33/1144.29	c  N st  4368   3751562       674      2930         0    164661      8930   3452117     19.62   no data  --
4574.31/1146.75	c Decided on static restart strategy
4601.44/1153.54	c  N st  4378   3779870       674      2930         0    109426      8930   1741304     19.62   no data  --
4664.11/1169.23	c  N st  4380   3815862       674      2930         0    144832      8930   2806127     19.62   no data  --
4735.90/1187.21	c  N st  4381   3848254       674      2930         0     92237      8930   1125859     19.62   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-3369001-1305409983/watcher-3369001-1305409983 -o /tmp/evaluation-result-3369001-1305409983/solver-3369001-1305409983 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369001-1305409983.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.01 7.86 7.95 1/312 14997
/proc/meminfo: memFree=28018268/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 652597059 52465664 354 33554432000 4194304 4650419 140734084162320 18446744073709551615 47293857707954 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 12809 354 303 112 0 7774 0
[pid=14997/tid=14999] ppid=14995 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652597060 52465664 354 33554432000 4194304 4650419 140734084162320 18446744073709551615 47293857707948 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652597060 52465664 354 33554432000 4194304 4650419 140734084162320 18446744073709551615 47293857707954 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652597060 52465664 354 33554432000 4194304 4650419 140734084162320 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.097724 s]
/proc/loadavg: 7.01 7.86 7.95 1/312 14997
/proc/meminfo: memFree=28018268/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=282888 CPUtime=0.37 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 1934 0 0 0 37 0 0 0 24 0 4 0 652597059 289677312 1773 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 70722 1773 391 112 0 65687 0
[pid=14997/tid=14999] ppid=14995 vsize=282888 CPUtime=0.09 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 423 0 0 0 9 0 0 0 24 0 4 0 652597060 289677312 1773 33554432000 4194304 4650419 140734084162320 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=282888 CPUtime=0.09 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 374 0 0 0 9 0 0 0 24 0 4 0 652597060 289677312 1773 33554432000 4194304 4650419 140734084162320 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=282888 CPUtime=0.08 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 304 0 0 0 8 0 0 0 25 0 4 0 652597060 289677312 1773 33554432000 4194304 4650419 140734084162320 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282888

[startup+0.100723 s]
/proc/loadavg: 7.01 7.86 7.95 1/312 14997
/proc/meminfo: memFree=28018268/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=282888 CPUtime=0.38 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 1946 0 0 0 38 0 0 0 24 0 4 0 652597059 289677312 1785 33554432000 4194304 4650419 140734084162320 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 70722 1785 391 112 0 65687 0
[pid=14997/tid=14999] ppid=14995 vsize=282888 CPUtime=0.09 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 426 0 0 0 9 0 0 0 24 0 4 0 652597060 289677312 1785 33554432000 4194304 4650419 140734084162320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=282888 CPUtime=0.09 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 377 0 0 0 9 0 0 0 24 0 4 0 652597060 289677312 1785 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=282888 CPUtime=0.08 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 307 0 0 0 8 0 0 0 25 0 4 0 652597060 289677312 1785 33554432000 4194304 4650419 140734084162320 18446744073709551615 4364450 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282888

[startup+0.300687 s]
/proc/loadavg: 7.01 7.86 7.95 1/312 14997
/proc/meminfo: memFree=28018268/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=284324 CPUtime=1.17 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 3184 0 0 0 117 0 0 0 25 0 4 0 652597059 291147776 2303 33554432000 4194304 4650419 140734084162320 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 71081 2303 393 112 0 66046 0
[pid=14997/tid=14999] ppid=14995 vsize=284324 CPUtime=0.29 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 737 0 0 0 29 0 0 0 25 0 4 0 652597060 291147776 2303 33554432000 4194304 4650419 140734084162320 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=284324 CPUtime=0.29 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 674 0 0 0 29 0 0 0 25 0 4 0 652597060 291147776 2303 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=284324 CPUtime=0.28 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 626 0 0 0 28 0 0 0 25 0 4 0 652597060 291147776 2303 33554432000 4194304 4650419 140734084162320 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284324

[startup+0.700617 s]
/proc/loadavg: 7.01 7.86 7.95 1/312 14997
/proc/meminfo: memFree=28018268/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=285328 CPUtime=2.78 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 5036 0 0 0 277 1 0 0 25 0 4 0 652597059 292175872 3094 33554432000 4194304 4650419 140734084162320 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 71332 3094 393 112 0 66297 0
[pid=14997/tid=14999] ppid=14995 vsize=285328 CPUtime=0.69 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 1206 0 0 0 69 0 0 0 25 0 4 0 652597060 292175872 3095 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=285328 CPUtime=0.69 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 1122 0 0 0 69 0 0 0 25 0 4 0 652597060 292175872 3095 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366599 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=285328 CPUtime=0.68 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 1075 0 0 0 68 0 0 0 25 0 4 0 652597060 292175872 3095 33554432000 4194304 4650419 140734084162320 18446744073709551615 4364573 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285328

[startup+1.50048 s]
/proc/loadavg: 7.01 7.86 7.95 9/324 15012
/proc/meminfo: memFree=27989032/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=286868 CPUtime=5.96 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 10115 0 0 0 595 1 0 0 25 0 4 0 652597059 293752832 5242 33554432000 4194304 4650419 140734084162320 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 71717 5242 395 112 0 66682 0
[pid=14997/tid=14999] ppid=14995 vsize=286868 CPUtime=1.49 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 2125 0 0 0 149 0 0 0 25 0 4 0 652597060 293752832 5242 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=286868 CPUtime=1.49 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 2059 0 0 0 149 0 0 0 25 0 4 0 652597060 293752832 5242 33554432000 4194304 4650419 140734084162320 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=286868 CPUtime=1.47 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 1849 0 0 0 147 0 0 0 25 0 4 0 652597060 293752832 5242 33554432000 4194304 4650419 140734084162320 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286868

[startup+3.10019 s]
/proc/loadavg: 7.01 7.86 7.95 9/324 15012
/proc/meminfo: memFree=27963740/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=272928 CPUtime=12.35 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 18138 0 0 0 1232 3 0 0 25 0 4 0 652597059 279478272 11420 33554432000 4194304 4650419 140734084162320 18446744073709551615 4364424 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 68232 11420 395 112 0 63197 0
[pid=14997/tid=14999] ppid=14995 vsize=272928 CPUtime=3.08 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 4162 0 0 0 308 0 0 0 25 0 4 0 652597060 279478272 11420 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=272928 CPUtime=3.08 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 4754 0 0 0 308 0 0 0 25 0 4 0 652597060 279478272 11420 33554432000 4194304 4650419 140734084162320 18446744073709551615 4334441 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=272928 CPUtime=3.06 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 4166 0 0 0 305 1 0 0 25 0 4 0 652597060 279478272 11420 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 272928

[startup+6.30062 s]
/proc/loadavg: 7.17 7.88 7.95 10/324 15012
/proc/meminfo: memFree=27898396/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=290868 CPUtime=25.11 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 25300 0 0 0 2506 5 0 0 25 0 4 0 652597059 297848832 16555 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 72717 16555 395 112 0 67682 0
[pid=14997/tid=14999] ppid=14995 vsize=290868 CPUtime=6.29 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 6666 0 0 0 628 1 0 0 25 0 4 0 652597060 297848832 16555 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=290868 CPUtime=6.28 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 6756 0 0 0 627 1 0 0 25 0 4 0 652597060 297848832 16555 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=290868 CPUtime=6.22 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 5867 0 0 0 621 1 0 0 25 0 4 0 652597060 297848832 16555 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 290868

[startup+12.7005 s]
/proc/loadavg: 7.23 7.88 7.95 9/324 15012
/proc/meminfo: memFree=27856748/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=280916 CPUtime=50.64 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 37800 0 0 0 5056 8 0 0 25 0 4 0 652597059 287657984 20285 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 70229 20285 395 112 0 65194 0
[pid=14997/tid=14999] ppid=14995 vsize=280916 CPUtime=12.69 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 10565 0 0 0 1267 2 0 0 25 0 4 0 652597060 287657984 20285 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=280916 CPUtime=12.68 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 9276 0 0 0 1266 2 0 0 25 0 4 0 652597060 287657984 20285 33554432000 4194304 4650419 140734084162320 18446744073709551615 4360413 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=280916 CPUtime=12.56 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 8292 0 0 0 1254 2 0 0 25 0 4 0 652597060 287657984 20285 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 280916

[startup+25.5002 s]
/proc/loadavg: 7.40 7.89 7.95 9/324 15012
/proc/meminfo: memFree=27792144/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=365168 CPUtime=101.71 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 55949 0 0 0 10159 12 0 0 25 0 4 0 652597059 373932032 29302 33554432000 4194304 4650419 140734084162320 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 91292 29302 395 112 0 86257 0
[pid=14997/tid=14999] ppid=14995 vsize=365168 CPUtime=25.48 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 16489 0 0 0 2546 2 0 0 25 0 4 0 652597060 373932032 29302 33554432000 4194304 4650419 140734084162320 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=365168 CPUtime=25.47 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 14527 0 0 0 2544 3 0 0 25 0 4 0 652597060 373932032 29302 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=365168 CPUtime=25.22 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 11271 0 0 0 2520 2 0 0 25 0 4 0 652597060 373932032 29302 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 365168

[startup+51.1007 s]
/proc/loadavg: 7.61 7.89 7.95 9/324 15013
/proc/meminfo: memFree=27733552/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=369220 CPUtime=203.85 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 81299 0 0 0 20367 18 0 0 25 0 4 0 652597059 378081280 36771 33554432000 4194304 4650419 140734084162320 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 92305 36771 395 112 0 87270 0
[pid=14997/tid=14999] ppid=14995 vsize=369220 CPUtime=51.09 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 26179 0 0 0 5104 5 0 0 25 0 4 0 652597060 378081280 36771 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=369220 CPUtime=51.06 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 21152 0 0 0 5102 4 0 0 25 0 4 0 652597060 378081280 36771 33554432000 4194304 4650419 140734084162320 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=369220 CPUtime=50.58 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 12995 0 0 0 5055 3 0 0 25 0 4 0 652597060 378081280 36771 33554432000 4194304 4650419 140734084162320 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 369220

[startup+102.312 s]
/proc/loadavg: 7.90 7.94 7.96 9/324 15014
/proc/meminfo: memFree=27679452/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=435212 CPUtime=408.17 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 115715 0 0 0 40787 30 0 0 25 0 4 0 652597059 445657088 44014 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 108803 44014 395 112 0 103768 0
[pid=14997/tid=14999] ppid=14995 vsize=435212 CPUtime=102.3 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 41291 0 0 0 10219 11 0 0 25 0 4 0 652597060 445657088 44014 33554432000 4194304 4650419 140734084162320 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=435212 CPUtime=102.27 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 27970 0 0 0 10220 7 0 0 25 0 4 0 652597060 445657088 44015 33554432000 4194304 4650419 140734084162320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=435212 CPUtime=101.26 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 15699 0 0 0 10123 3 0 0 25 0 4 0 652597060 445657088 44015 33554432000 4194304 4650419 140734084162320 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 435212

[startup+162.301 s]

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

[pid=14997] ppid=14995 vsize=682072 CPUtime=2801.22 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 377403 0 0 0 279990 132 0 0 25 0 4 0 652597059 698441728 112381 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 170518 112381 395 112 0 165483 0
[pid=14997/tid=14999] ppid=14995 vsize=682072 CPUtime=702.27 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 90554 0 0 0 70197 30 0 0 25 0 4 0 652597060 698441728 112381 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=682072 CPUtime=702.17 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 117140 0 0 0 70176 41 0 0 25 0 4 0 652597060 698441728 112381 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=682072 CPUtime=695.27 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 61123 0 0 0 69504 23 0 0 25 0 4 0 652597060 698441728 112381 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.22
Current children cumulated vsize (KiB) 682072

[startup+762.312 s]
/proc/loadavg: 8.29 8.21 8.07 9/324 15044
/proc/meminfo: memFree=27161696/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=611868 CPUtime=3040.66 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 389215 0 0 0 303928 138 0 0 25 0 4 0 652597059 626552832 109355 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 152967 109355 395 112 0 147932 0
[pid=14997/tid=14999] ppid=14995 vsize=611868 CPUtime=762.28 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 91278 0 0 0 76197 31 0 0 25 0 4 0 652597060 626552832 109355 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=611868 CPUtime=762.17 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 121190 0 0 0 76175 42 0 0 25 0 4 0 652597060 626552832 109355 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=611868 CPUtime=754.68 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 64106 0 0 0 75443 25 0 0 25 0 4 0 652597060 626552832 109355 33554432000 4194304 4650419 140734084162320 18446744073709551615 4313719 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.66
Current children cumulated vsize (KiB) 611868

[startup+822.3 s]
/proc/loadavg: 8.26 8.21 8.08 9/324 15045
/proc/meminfo: memFree=27133512/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=756484 CPUtime=3280.01 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 406352 0 0 0 327856 145 0 0 25 0 4 0 652597059 774639616 115551 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 189121 115551 395 112 0 184086 0
[pid=14997/tid=14999] ppid=14995 vsize=756484 CPUtime=822.27 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 92754 0 0 0 82196 31 0 0 25 0 4 0 652597060 774639616 115551 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=756484 CPUtime=822.15 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 126395 0 0 0 82170 45 0 0 25 0 4 0 652597060 774639616 115551 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=756484 CPUtime=814.08 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 67186 0 0 0 81381 27 0 0 25 0 4 0 652597060 774639616 115551 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.01
Current children cumulated vsize (KiB) 756484

[startup+882.301 s]
/proc/loadavg: 8.19 8.20 8.09 9/324 15047
/proc/meminfo: memFree=27104084/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=716772 CPUtime=3519.39 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 424462 0 0 0 351787 152 0 0 25 0 4 0 652597059 733974528 121871 33554432000 4194304 4650419 140734084162320 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 179193 121871 395 112 0 174158 0
[pid=14997/tid=14999] ppid=14995 vsize=716772 CPUtime=882.27 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 97181 0 0 0 88194 33 0 0 25 0 4 0 652597060 733974528 121871 33554432000 4194304 4650419 140734084162320 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=716772 CPUtime=882.14 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 130256 0 0 0 88168 46 0 0 25 0 4 0 652597060 733974528 121871 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=716772 CPUtime=873.47 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 72254 0 0 0 87318 29 0 0 25 0 4 0 652597060 733974528 121871 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.39
Current children cumulated vsize (KiB) 716772

[startup+942.301 s]
/proc/loadavg: 8.10 8.17 8.09 9/324 15049
/proc/meminfo: memFree=27076528/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=844332 CPUtime=3758.79 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 440174 0 0 0 375720 159 0 0 25 0 4 0 652597059 864595968 127405 33554432000 4194304 4650419 140734084162320 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 211083 127405 395 112 0 206048 0
[pid=14997/tid=14999] ppid=14995 vsize=844332 CPUtime=942.27 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 101773 0 0 0 94192 35 0 0 25 0 4 0 652597060 864595968 127405 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=844332 CPUtime=942.14 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 134007 0 0 0 94166 48 0 0 25 0 4 0 652597060 864595968 127405 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=844332 CPUtime=932.87 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 73699 0 0 0 93257 30 0 0 25 0 4 0 652597060 864595968 127405 33554432000 4194304 4650419 140734084162320 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.79
Current children cumulated vsize (KiB) 844332

[startup+1002.3 s]
/proc/loadavg: 8.15 8.17 8.09 9/324 15050
/proc/meminfo: memFree=27059004/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=631268 CPUtime=3998.17 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 459381 0 0 0 399648 169 0 0 25 0 4 0 652597059 646418432 130304 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 157817 130304 395 112 0 152782 0
[pid=14997/tid=14999] ppid=14995 vsize=631268 CPUtime=1002.27 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 102866 0 0 0 100191 36 0 0 25 0 4 0 652597060 646418432 130304 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=631268 CPUtime=1002.13 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 139253 0 0 0 100163 50 0 0 25 0 4 0 652597060 646418432 130304 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=631268 CPUtime=992.26 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 79221 0 0 0 99193 33 0 0 25 0 4 0 652597060 646418432 130304 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.17
Current children cumulated vsize (KiB) 631268

[startup+1062.3 s]
/proc/loadavg: 8.12 8.17 8.09 9/324 15052
/proc/meminfo: memFree=27064172/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=631460 CPUtime=4237.58 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 478538 0 0 0 423578 180 0 0 25 0 4 0 652597059 646615040 127736 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 157865 127736 395 112 0 152830 0
[pid=14997/tid=14999] ppid=14995 vsize=631460 CPUtime=1062.27 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 105396 0 0 0 106189 38 0 0 25 0 4 0 652597060 646615040 127736 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=631460 CPUtime=1062.12 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 147480 0 0 0 106158 54 0 0 25 0 4 0 652597060 646615040 127736 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=631460 CPUtime=1051.67 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 80430 0 0 0 105134 33 0 0 25 0 4 0 652597060 646615040 127736 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.58
Current children cumulated vsize (KiB) 631460

[startup+1122.3 s]
/proc/loadavg: 8.20 8.17 8.10 9/324 15053
/proc/meminfo: memFree=27017412/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=751948 CPUtime=4476.96 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 496823 0 0 0 447506 190 0 0 25 0 4 0 652597059 769994752 137323 33554432000 4194304 4650419 140734084162320 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 187987 137323 395 112 0 182952 0
[pid=14997/tid=14999] ppid=14995 vsize=751948 CPUtime=1122.28 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 105422 0 0 0 112190 38 0 0 25 0 4 0 652597060 769994752 137323 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=751948 CPUtime=1122.11 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 153966 0 0 0 112152 59 0 0 25 0 4 0 652597060 769994752 137323 33554432000 4194304 4650419 140734084162320 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=751948 CPUtime=1111.06 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 85378 0 0 0 111071 35 0 0 25 0 4 0 652597060 769994752 137323 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.96
Current children cumulated vsize (KiB) 751948

[startup+1182.3 s]
/proc/loadavg: 8.15 8.15 8.09 9/324 15055
/proc/meminfo: memFree=27012304/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=809664 CPUtime=4716.35 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 510903 0 0 0 471438 197 0 0 25 0 4 0 652597059 829095936 136874 33554432000 4194304 4650419 140734084162320 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 202416 136874 395 112 0 197381 0
[pid=14997/tid=14999] ppid=14995 vsize=809664 CPUtime=1182.27 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 110641 0 0 0 118187 40 0 0 25 0 4 0 652597060 829095936 136874 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=809664 CPUtime=1182.1 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 156381 0 0 0 118150 60 0 0 25 0 4 0 652597060 829095936 136874 33554432000 4194304 4650419 140734084162320 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=809664 CPUtime=1170.47 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 90020 0 0 0 117009 38 0 0 25 0 4 0 652597060 829095936 136874 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.35
Current children cumulated vsize (KiB) 809664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.10 8.14 8.09 6/319 15057
/proc/meminfo: memFree=27451428/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=864352 CPUtime=4800.2 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 517213 0 0 0 479820 200 0 0 25 0 4 0 652597059 885096448 138991 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 216088 138991 395 112 0 211053 0
[pid=14997/tid=14999] ppid=14995 vsize=864352 CPUtime=1203.3 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 112070 0 0 0 120289 41 0 0 25 0 4 0 652597060 885096448 138991 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=864352 CPUtime=1203.12 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 157145 0 0 0 120252 60 0 0 25 0 4 0 652597060 885096448 138991 33554432000 4194304 4650419 140734084162320 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=864352 CPUtime=1191.26 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 90875 0 0 0 119087 39 0 0 25 0 4 0 652597060 885096448 138991 33554432000 4194304 4650419 140734084162320 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 864352

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

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

[startup+1203.3 s]
/proc/loadavg: 8.10 8.14 8.09 6/319 15057
/proc/meminfo: memFree=27451428/32950928 swapFree=60199044/67111528
[pid=14997] ppid=14995 vsize=864352 CPUtime=4800.2 cores=0,2,4,6
/proc/14997/stat : 14997 (strangenight1-m) R 14995 14997 14558 0 -1 4202496 517213 0 0 0 479820 200 0 0 25 0 4 0 652597059 885096448 138991 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 216088 138991 395 112 0 211053 0
[pid=14997/tid=14999] ppid=14995 vsize=864352 CPUtime=1203.3 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 112070 0 0 0 120289 41 0 0 25 0 4 0 652597060 885096448 138991 33554432000 4194304 4650419 140734084162320 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14997/tid=15000] ppid=14995 vsize=864352 CPUtime=1203.12 cores=0,2,4,6
/proc/14997/task/15000/stat : 15000 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 157145 0 0 0 120252 60 0 0 25 0 4 0 652597060 885096448 138991 33554432000 4194304 4650419 140734084162320 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14997/tid=15002] ppid=14995 vsize=864352 CPUtime=1191.26 cores=0,2,4,6
/proc/14997/task/15002/stat : 15002 (strangenight1-m) R 14995 14997 14558 0 -1 4202560 90875 0 0 0 119087 39 0 0 25 0 4 0 652597060 885096448 138991 33554432000 4194304 4650419 140734084162320 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 864352

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.35
CPU time (s): 4800.27
CPU user time (s): 4798.25
CPU system time (s): 2.02269
CPU usage (%): 398.909
Max. virtual memory (cumulated for all children) (KiB): 912608

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

runsolver used 3.37149 second user time and 8.72567 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-14 23:53:03
IDJOB=3369001
IDBENCH=83010
IDSOLVER=1846
FILE ID=node122/3369001-1305409983
RUNJOBID= node122-1305409983-14984
PBS_JOBID= 13324494
Free space on /tmp= 73436 MiB

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

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

MD5SUM BENCH= 47049d4705301f4ac565d8b47d11d0a5
RANDOM SEED=335347614

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28018424 kB
Buffers:        276100 kB
Cached:        3345380 kB
SwapCached:      50104 kB
Active:         869452 kB
Inactive:      3854100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28018424 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:            6380 kB
Writeback:           0 kB
AnonPages:     1062624 kB
Mapped:          13352 kB
Slab:           113192 kB
PageTables:      32036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52524068 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= 73424 MiB
End job on node122 at 2011-05-15 00:13:08