Trace number 3175483

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf
MD5SUMa8d280a0ad5a42e6946605bb6356e226
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012998
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175483-1304126207.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.01	c -- vars added        800
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/3408/3408 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
1.57/0.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.57/0.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.57/0.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
1.57/0.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1.97/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     23  v-fix:    0  time:  0.01 s
1.97/0.80	c Finding binary XORs  T:     0.00 s  found:       0
1.97/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.97/0.80	c calculated reachability. Time: 0.00
1.97/0.80	c Calc default polars -  time:   0.00 s pos:     346 undec:      94 neg:     360
1.97/0.80	c =========================================================================================
1.97/0.80	c types(t): F = full restart, N = normal restart
1.97/0.80	c types(t): S = simplification begin/end, E = solution found
1.97/0.80	c restart types(rt): st = static, dy = dynamic
1.97/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.97/0.80	c  B st     0         0       777      3382         0         0     10243         0   no data   no data  --
1.97/0.80	c Decided on static restart strategy
1.97/0.80	c  N st     8      4920       777      3382         0      4879     10243    165331   no data   no data  --
1.97/0.80	c  N st    10     11302       777      3382         0      4499     10243    103305   no data   no data  --
3.60/0.90	c  N st    11     17048       777      3382         0     10205     10243    312193   no data   no data  --
5.59/1.40	c  F st    12     25000       777      3382         0     12507     10243    383953   no data   no data  --
5.59/1.40	c  N st    12     25000       777      3382         0     12507     10243    383953   no data   no data  --
6.36/1.63	c Decided on static restart strategy
6.36/1.63	c  N st    18     30000       777      3382         0     10759     10243    287169   no data   no data  --
6.36/1.63	c  S st    18     30000       777      3382         0     10759     10243    287169   no data   no data  --
6.36/1.67	c  S st    18     30503       777      3382         0     11262     10243    302514   no data   no data  --
6.36/1.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.36/1.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
6.36/1.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.36/1.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
6.36/1.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.97/2.05	c lits-rem:       118  cl-subs:      210  v-elim:      0  v-fix:    0  time:  1.48 s
7.97/2.06	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.04
7.97/2.06	c calculated reachability. Time: 0.00
7.97/2.06	c  N st    18     30503       777      3382         0     11052     10243    292626   no data   no data  --
9.56/2.50	c  N st    20     37617       777      3382         0     10309     10243    238800   no data   no data  --
11.55/2.96	c  N st    21     44018       777      3382         0     16675     10243    463929   no data   no data  --
11.96/3.08	c  S st    22     45757       777      3382         0      9524     10243    184321   no data   no data  --
12.36/3.11	c  S st    22     46263       777      3382         0     10030     10243    199551   no data   no data  --
12.36/3.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.36/3.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.36/3.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
12.36/3.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.36/3.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.36/3.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
12.36/3.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
13.16/3.31	c lits-rem:        24  cl-subs:       57  v-elim:      0  v-fix:    0  time:  0.75 s
13.16/3.31	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
13.16/3.31	c vivif2 --  cl tried     9973 cl shrink        0 lits rem          0 time: 0.01
13.16/3.32	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.03
13.16/3.32	c calculated reachability. Time: 0.00
13.16/3.32	c  N st    22     46263       777      3382         0      9973     10243    197490   no data   no data  --
17.15/4.33	c  N st    23     60661       777      3382         0     14326     10243    342617   no data   no data  --
19.94/5.05	c  N st    24     69394       777      3382         0     12102     10243    253409   no data   no data  --
19.94/5.05	c  S st    24     69394       777      3382         0     12102     10243    253409   no data   no data  --
19.94/5.08	c  S st    24     69895       777      3382         0     12603     10243    267942   no data   no data  --
19.94/5.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.94/5.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.94/5.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.94/5.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.94/5.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.94/5.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
19.94/5.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
21.54/5.45	c lits-rem:        77  cl-subs:       54  v-elim:      0  v-fix:    0  time:  1.45 s
21.54/5.45	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
21.54/5.46	c vivif2 --  cl tried    12549 cl shrink        0 lits rem          0 time: 0.01
21.54/5.47	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.04
21.54/5.47	c calculated reachability. Time: 0.00
21.54/5.47	c  N st    24     69895       777      3382         0     12549     10243    265421   no data   no data  --
27.56/6.97	c  F st    25     87500       777      3382         0     18073     10243    436923   no data   no data  --
27.56/6.97	c  N st    25     87500       777      3382         0     18073     10243    436923   no data   no data  --
29.14/7.36	c Decided on static restart strategy
30.33/7.64	c  N st    32     95543       777      3382         0     13198     10243    230049   no data   no data  --
33.52/8.43	c  N st    34    104842       777      3382         0     22391     10243    550215   no data   no data  --
33.52/8.43	c  S st    34    104842       777      3382         0     22391     10243    550215   no data   no data  --
33.52/8.49	c  S st    34    105344       777      3382         0     22891     10243    565729   no data   no data  --
33.92/8.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
33.92/8.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.92/8.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
33.92/8.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.92/8.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.92/8.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
33.92/8.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
40.74/10.29	c lits-rem:       100  cl-subs:      330  v-elim:      0  v-fix:    0  time:  7.05 s
40.74/10.29	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
40.74/10.30	c vivif2 --  cl tried    22561 cl shrink        0 lits rem          0 time: 0.02
41.14/10.32	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.08
41.14/10.32	c calculated reachability. Time: 0.00
41.14/10.32	c  N st    34    105344       777      3382         0     22561     10243    551498   no data   no data  --
44.71/11.24	c  N st    35    114945       777      3382         0     18207     10243    374595   no data   no data  --
50.30/12.60	c  N st    36    129344       777      3382         0     17615     10243    337789   no data   no data  --
58.72/14.75	c  N st    37    150940       777      3382         0     23105     10243    500261   no data   no data  --
61.09/15.39	c  S st    38    158016       777      3382         0     30143     10243    746495   no data   no data  --
61.49/15.46	c  S st    38    158518       777      3382         0     30645     10243    761114   no data   no data  --
61.49/15.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
61.49/15.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.49/15.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
61.90/15.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.90/15.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.90/15.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
61.90/15.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
70.69/17.79	c lits-rem:       313  cl-subs:      669  v-elim:      0  v-fix:    0  time:  9.13 s
70.69/17.79	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
70.69/17.79	c vivif2 --  cl tried    29976 cl shrink        0 lits rem          0 time: 0.03
71.09/17.82	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.11
71.09/17.82	c calculated reachability. Time: 0.00
71.09/17.82	c  N st    38    158518       777      3382         0     29976     10243    735141   no data   no data  --
93.47/23.43	c  N st    39    207106       777      3382         0     24604     10243    504561   no data   no data  --
107.83/27.02	c  N st    40    237779       777      3382         0     35194     10243    884688   no data   no data  --
107.83/27.02	c  S st    40    237779       777      3382         0     35194     10243    884688   no data   no data  --
108.23/27.10	c  S st    40    238284       777      3382         0     35698     10243    901010   no data   no data  --
108.23/27.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.23/27.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.23/27.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
108.23/27.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
108.23/27.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.23/27.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
108.23/27.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
119.02/29.85	c lits-rem:       552  cl-subs:     1043  v-elim:      0  v-fix:    0  time: 10.79 s
119.02/29.85	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
119.02/29.86	c vivif2 --  cl tried    34655 cl shrink        0 lits rem          0 time: 0.04
119.42/29.90	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.14
119.42/29.90	c calculated reachability. Time: 0.00
119.42/29.90	c  N st    40    238284       777      3382         0     34655     10243    855194   no data   no data  --
153.38/38.45	c  F st    41    306250       777      3382         0     36579     10243    856313   no data   no data  --
153.38/38.45	c  N st    41    306250       777      3382         0     36579     10243    856313   no data   no data  --
163.78/41.03	c  N dy    97    325961       777      3382         0     32333     10243    559590     21.74     23.03  --
174.95/43.87	c  N dy   154    345969       777      3382         0     27397     10243    352123     21.00     24.50  --
180.54/45.27	c  S st   221    357427       777      3382         0     38806     10243    718153     21.19   no data  --
180.94/45.35	c  S st   221    357927       777      3382         0     39306     10243    733393     21.19   no data  --
180.94/45.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
180.94/45.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
180.94/45.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
180.94/45.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
180.94/45.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
180.94/45.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
180.94/45.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
190.55/47.74	c lits-rem:       299  cl-subs:      234  v-elim:      0  v-fix:    0  time:  9.34 s
190.55/47.74	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
190.55/47.75	c vivif2 --  cl tried    39072 cl shrink        0 lits rem          0 time: 0.03
190.55/47.78	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.16
190.55/47.79	c calculated reachability. Time: 0.00
190.55/47.79	c  N dy   221    357927       777      3382         0     39072     10243    723659     21.19   no data  --
202.52/50.73	c  N dy   338    377943       777      3382         0     33157     10243    497098     21.44     23.20  --
216.10/54.17	c  N dy   412    397998       777      3382         0     53082     10243   1134421     21.44     22.73  --
226.88/56.83	c  N dy   463    418082       777      3382         0     46128     10243    864373     21.11     22.84  --
238.89/59.88	c  N dy   572    438186       777      3382         0     38327     10243    591421     21.18     22.30  --
252.45/63.27	c  N dy   666    458281       777      3382         0     29492     10243    282886     21.24     22.74  --
263.63/66.08	c  N dy   768    478310       777      3382         0     49389     10243    913325     21.31     22.54  --
277.22/69.40	c  N dy   866    498391       777      3382         0     39537     10243    568090     21.35     22.76  --
291.61/73.00	c  N dy   973    518455       777      3382         0     59496     10243   1215117     21.42     22.73  --
302.38/75.74	c  S st  1055    536891       777      3382         0     47023     10243    788596     21.42     16.80  --
302.78/75.86	c  S st  1055    537396       777      3382         0     47528     10243    803779     21.42   no data  --
302.78/75.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
302.78/75.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
302.78/75.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
303.18/75.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
303.18/75.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
303.18/75.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
303.18/75.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
313.18/78.49	c lits-rem:       576  cl-subs:      336  v-elim:      0  v-fix:    0  time: 10.28 s
313.18/78.49	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
313.18/78.50	c vivif2 --  cl tried    47192 cl shrink        0 lits rem          0 time: 0.04
313.58/78.55	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.20
313.58/78.55	c calculated reachability. Time: 0.00
313.58/78.55	c  N dy  1055    537396       777      3382         0     47192     10243    791026     21.42   no data  --
329.54/82.52	c  N dy  1167    558718       777      3382         0     36572     10243    416362     21.45     22.72  --
343.94/86.15	c  N dy  1282    580147       777      3382         0     57890     10243   1095734     21.49     22.76  --
358.30/89.79	c  N dy  1403    600167       777      3382         0     45013     10243    665855     21.55     22.73  --
374.28/93.75	c  N dy  1481    620342       777      3382         0     65060     10243   1298344     21.54     22.80  --
387.47/97.06	c  N dy  1560    640357       777      3382         0     51144     10243    835336     21.52     22.82  --
405.46/101.55	c  N dy  1656    660911       777      3382         0     36782     10243    343841     21.55     22.80  --
418.63/104.87	c  N dy  1766    680976       777      3382         0     56722     10243    983770     21.58     23.92  --
435.40/109.08	c  N dy  1852    701116       777      3382         0     40952     10243    444744     21.59     22.81  --
452.57/113.38	c  N dy  1933    721209       777      3382         0     60913     10243   1081000     21.59     24.79  --
469.75/117.63	c  N dy  1998    741244       777      3382         0     44045     10243    528790     21.55     22.76  --
485.73/121.63	c  N dy  2120    761367       777      3382         0     64047     10243   1168830     21.59     22.82  --
503.30/126.01	c  N dy  2245    781376       777      3382         0     46173     10243    560662     21.63     24.13  --
519.70/130.14	c  N dy  2342    801419       777      3382         0     66104     10243   1201298     21.64     22.87  --
524.09/131.29	c  S st  2360    806095       777      3382         0     70744     10243   1353751     21.64   no data  --
524.88/131.46	c  S st  2360    806599       777      3382         0     71248     10243   1369947     21.64   no data  --
524.88/131.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
524.88/131.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
525.28/131.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
525.28/131.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
525.28/131.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
525.28/131.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
525.28/131.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
533.67/133.61	c lits-rem:       207  cl-subs:      776  v-elim:      0  v-fix:    0  time:  8.25 s
533.67/133.61	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
533.67/133.63	c vivif2 --  cl tried    70472 cl shrink        0 lits rem          0 time: 0.06
534.06/133.72	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.35
534.06/133.72	c calculated reachability. Time: 0.00
534.06/133.72	c  N dy  2360    806599       777      3382         0     70472     10243   1339806     21.64   no data  --
579.21/145.04	c  N dy  2425    857567       777      3382         0     42499     10243    396520     21.41     22.70  --
595.98/149.23	c  N dy  2500    880295       777      3382         0     65055     10243   1117701     21.38     22.63  --
617.16/154.54	c  N dy  2652    900991       777      3382         0     44967     10243    450035     21.43     22.72  --
633.53/158.63	c  N dy  2768    921368       777      3382         0     65214     10243   1106420     21.46     22.74  --
655.10/164.02	c  N dy  2878    941511       777      3382         0     43534     10243    377184     21.48     22.68  --
670.28/167.86	c  N dy  3002    961576       777      3382         0     63497     10243   1030164     21.52     28.49  --
692.24/173.37	c  N dy  3093    981602       777      3382         0     83360     10243   1664380     21.53     23.45  --
708.23/177.30	c  N dy  3180   1001677       777      3382         0     60616     10243    902992     21.54     22.71  --
730.21/182.82	c  N dy  3280   1022585       777      3382         0     81391     10243   1570706     21.55     22.74  --
747.37/187.14	c  N dy  3373   1042642       777      3382         0     57578     10243    775190     21.56     22.76  --
767.35/192.15	c  N dy  3466   1062816       777      3382         0     77622     10243   1418363     21.57     23.07  --
779.35/195.15	c  F st  3532   1071876       777      3382         0     86632     10243   1713109     21.59   no data  --
784.53/196.49	c Decided on static restart strategy
788.92/197.59	c  N st  3540   1084182       777      3382         0     54084     10243    650390     21.59   no data  --
817.68/204.74	c  N st  3543   1114581       777      3382         0     84159     10243   1726132     21.59   no data  --
836.48/209.42	c  N st  3544   1136176       777      3382         0     59961     10243   1424729     21.59   no data  --
875.21/219.12	c  N st  3545   1168568       777      3382         0     91988     10243   2583331     21.59   no data  --
921.93/230.87	c  N st  3546   1209898       777      3382         0     86222     10243   2289877     21.59   no data  --
921.93/230.87	c  S st  3546   1209898       777      3382         0     86222     10243   2289877     21.59   no data  --
923.14/231.11	c  S st  3546   1210402       777      3382         0     86725     10243   2306152     21.59   no data  --
923.14/231.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
923.14/231.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
923.14/231.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
923.54/231.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
923.54/231.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
923.54/231.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
923.54/231.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
965.47/241.73	c lits-rem:       227  cl-subs:     3540  v-elim:      0  v-fix:    0  time: 41.86 s
965.47/241.73	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
965.47/241.75	c vivif2 --  cl tried    83185 cl shrink        0 lits rem          0 time: 0.10
965.87/241.88	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.48
965.87/241.88	c calculated reachability. Time: 0.00
965.87/241.88	c  N st  3546   1210402       777      3382         0     83185     10243   2157494     21.59   no data  --
1038.20/259.92	c  N st  3547   1283284       777      3382         0     59100     10243   1135852     21.59   no data  --
1152.85/288.62	c  N st  3548   1392607       777      3382         0     67504     10243   1370181     21.59   no data  --
1329.80/332.96	c  N st  3549   1556591       777      3382         0     72304     10243   1395029     21.59   no data  --
1501.17/375.81	c  N st  3550   1710403       777      3382         0     58352     10243    811965     21.59   no data  --
1501.17/375.81	c  S st  3550   1710403       777      3382         0     58352     10243    811965     21.59   no data  --
1501.57/375.96	c  S st  3550   1710904       777      3382         0     58853     10243    829150     21.59   no data  --
1501.57/375.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1501.57/375.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1501.57/376.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1501.97/376.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1501.97/376.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1501.97/376.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
1501.97/376.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1511.16/378.34	c lits-rem:       349  cl-subs:      322  v-elim:      0  v-fix:    0  time:  9.24 s
1511.16/378.34	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
1511.16/378.35	c vivif2 --  cl tried    58531 cl shrink        0 lits rem          0 time: 0.04
1511.56/378.42	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.27
1511.56/378.42	c calculated reachability. Time: 0.00
1511.56/378.42	c  N st  3550   1710904       777      3382         0     58531     10243    819617     21.59   no data  --
1945.37/487.07	c  N st  3551   2079868       777      3382         0     64459     10243    858265     21.59   no data  --
2098.76/525.48	c  N st  3552   2210904       777      3382         0     66241     10243    850668     21.59   no data  --
2098.76/525.48	c  S st  3552   2210904       777      3382         0     66241     10243    850668     21.59   no data  --
2099.56/525.65	c  S st  3552   2211410       777      3382         0     66746     10243    866466     21.59   no data  --
2099.56/525.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2099.56/525.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2099.56/525.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
2099.96/525.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2099.96/525.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2099.96/525.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
2099.96/525.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2109.15/528.07	c lits-rem:       220  cl-subs:      243  v-elim:      0  v-fix:    0  time:  9.39 s
2109.15/528.07	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
2109.15/528.08	c vivif2 --  cl tried    66503 cl shrink        0 lits rem          0 time: 0.04
2109.55/528.16	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.33
2109.55/528.16	c calculated reachability. Time: 0.00
2109.55/528.16	c  N st  3552   2211410       777      3382         0     66503     10243    858660     21.59   no data  --
2722.34/681.54	c  N st  3553   2711410       777      3382         0     84122     10243   1314382     21.59   no data  --
2722.34/681.55	c  S st  3553   2711410       777      3382         0     84122     10243   1314382     21.59   no data  --
2723.14/681.76	c  S st  3553   2711912       777      3382         0     84624     10243   1330185     21.59   no data  --
2723.14/681.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2723.14/681.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2723.54/681.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
2723.54/681.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2723.54/681.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2723.54/681.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
2723.54/681.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2733.12/684.27	c lits-rem:       124  cl-subs:      837  v-elim:      0  v-fix:    0  time:  9.65 s
2733.12/684.27	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
2733.12/684.28	c vivif2 --  cl tried    83787 cl shrink        0 lits rem          0 time: 0.07
2733.92/684.40	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.46
2733.92/684.40	c calculated reachability. Time: 0.00
2733.92/684.40	c  N st  3553   2711912       777      3382         0     83787     10243   1299044     21.59   no data  --
3456.96/865.50	c  N st  3554   3211912       777      3382         0    129760     10243   2825954     21.59   no data  --
3456.96/865.50	c  S st  3554   3211912       777      3382         0    129760     10243   2825954     21.59   no data  --
3459.38/866.01	c  S st  3554   3212414       777      3382         0    130262     10243   2842041     21.59   no data  --
3459.38/866.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3459.38/866.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3459.78/866.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.36
3460.16/866.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3460.16/866.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3460.16/866.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
3460.16/866.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3570.81/893.92	c lits-rem:        98  cl-subs:     4850  v-elim:      0  v-fix:    0  time: 110.61 s
3570.81/893.92	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
3570.81/893.96	c vivif2 --  cl tried   125412 cl shrink        0 lits rem          0 time: 0.15
3571.61/894.19	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.94
3571.61/894.19	c calculated reachability. Time: 0.00
3571.61/894.19	c  N st  3554   3212414       777      3382         0    125412     10243   2677082     21.59   no data  --
4344.17/1087.52	c  N st  3555   3712414       777      3382         0    136440     10243   2911551     21.59   no data  --
4344.17/1087.52	c  S st  3555   3712414       777      3382         0    136440     10243   2911551     21.59   no data  --
4345.37/1087.90	c  S st  3555   3712915       777      3382         0    136941     10243   2927224     21.59   no data  --
4345.77/1087.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4345.77/1087.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4345.77/1087.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.30
4346.17/1088.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4346.17/1088.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4346.17/1088.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
4346.17/1088.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4428.45/1108.65	c lits-rem:       155  cl-subs:     5160  v-elim:      0  v-fix:    0  time: 82.17 s
4428.45/1108.65	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
4428.45/1108.69	c vivif2 --  cl tried   131781 cl shrink        0 lits rem          0 time: 0.14
4429.65/1108.91	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.87
4429.65/1108.91	c calculated reachability. Time: 0.00
4429.65/1108.91	c  N st  3555   3712915       777      3382         0    131781     10243   2738952     21.59   no data  --
4536.70/1135.77	c  F st  3556   3751562       777      3382         0     85906     10243   1004866     21.59   no data  --
4536.70/1135.77	c  N st  3556   3751562       777      3382         0     85906     10243   1004866     21.59   no data  --
4543.90/1137.54	c Decided on static restart strategy
4574.66/1145.27	c  N st  3566   3779866       777      3382         0    113958     10243   1980587     21.59   no data  --
4642.55/1162.29	c  N st  3568   3815858       777      3382         0    149531     10243   3313142     21.59   no data  --
4706.88/1178.40	c  N st  3569   3848251       777      3382         0     96613     10243   1374109     21.59   no data  --
4791.55/1199.55	c  N st  3570   3896839       777      3382         0    144572     10243   3003834     21.59   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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175483-1304126207/watcher-3175483-1304126207 -o /tmp/evaluation-result-3175483-1304126207/solver-3175483-1304126207 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175483-1304126207.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.75 8.02 7.99 5/180 32570
/proc/meminfo: memFree=24309160/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 602851466 52465664 353 33554432000 4194304 4650419 140734063706992 18446744073709551615 215988648945 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 12809 353 303 112 0 7774 0
[pid=32570/tid=32571] ppid=32568 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 602851466 52465664 353 33554432000 4194304 4650419 140734063706992 18446744073709551615 46933877098418 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602851466 52465664 353 33554432000 4194304 4650419 140734063706992 18446744073709551615 46933877098418 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602851466 52465664 353 33554432000 4194304 4650419 140734063706992 18446744073709551615 216000390198 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.108123 s]
/proc/loadavg: 7.75 8.02 7.99 5/180 32570
/proc/meminfo: memFree=24309160/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=282908 CPUtime=0.4 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 2162 0 0 0 40 0 0 0 18 0 4 0 602851466 289697792 1943 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 70727 1943 391 112 0 65692 0
[pid=32570/tid=32571] ppid=32568 vsize=282908 CPUtime=0.1 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 469 0 0 0 10 0 0 0 18 0 4 0 602851466 289697792 1943 33554432000 4194304 4650419 140734063706992 18446744073709551615 4334514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=282908 CPUtime=0.1 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 525 0 0 0 10 0 0 0 18 0 4 0 602851466 289697792 1943 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=282908 CPUtime=0.09 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 309 0 0 0 9 0 0 0 25 0 4 0 602851466 289697792 1943 33554432000 4194304 4650419 140734063706992 18446744073709551615 4333045 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282908

[startup+0.201108 s]
/proc/loadavg: 7.75 8.02 7.99 5/180 32570
/proc/meminfo: memFree=24309160/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=292024 CPUtime=0.77 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 2826 0 0 0 77 0 0 0 18 0 4 0 602851466 299032576 2410 33554432000 4194304 4650419 140734063706992 18446744073709551615 4511549 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 73006 2410 393 112 0 67971 0
[pid=32570/tid=32571] ppid=32568 vsize=292024 CPUtime=0.19 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 562 0 0 0 19 0 0 0 18 0 4 0 602851466 299032576 2410 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=292024 CPUtime=0.19 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 631 0 0 0 19 0 0 0 18 0 4 0 602851466 299032576 2410 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=292024 CPUtime=0.19 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 544 0 0 0 19 0 0 0 25 0 4 0 602851466 299032576 2210 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 292024

[startup+0.30109 s]
/proc/loadavg: 7.75 8.02 7.99 5/180 32570
/proc/meminfo: memFree=24309160/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=284452 CPUtime=1.17 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 3427 0 0 0 117 0 0 0 18 0 4 0 602851466 291278848 2413 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 71113 2413 393 112 0 66078 0
[pid=32570/tid=32571] ppid=32568 vsize=284452 CPUtime=0.29 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 752 0 0 0 29 0 0 0 18 0 4 0 602851466 291278848 2413 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=284452 CPUtime=0.29 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 841 0 0 0 29 0 0 0 18 0 4 0 602851466 291278848 2413 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=284452 CPUtime=0.29 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 660 0 0 0 29 0 0 0 25 0 4 0 602851466 291278848 2413 33554432000 4194304 4650419 140734063706992 18446744073709551615 4364400 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) 284452

[startup+0.906986 s]
/proc/loadavg: 7.75 8.02 7.99 5/180 32570
/proc/meminfo: memFree=24309160/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=295312 CPUtime=3.6 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 6639 0 0 0 359 1 0 0 19 0 4 0 602851466 302399488 3368 33554432000 4194304 4650419 140734063706992 18446744073709551615 4516622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 73828 3377 393 112 0 68793 0
[pid=32570/tid=32571] ppid=32568 vsize=295312 CPUtime=0.89 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 1519 0 0 0 89 0 0 0 19 0 4 0 602851466 302399488 3382 33554432000 4194304 4650419 140734063706992 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=295312 CPUtime=0.89 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 1690 0 0 0 89 0 0 0 19 0 4 0 602851466 302399488 3389 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=295312 CPUtime=0.89 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 1465 0 0 0 89 0 0 0 25 0 4 0 602851466 302399488 3396 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 295312

[startup+1.50688 s]
/proc/loadavg: 7.75 8.02 7.99 10/184 32574
/proc/meminfo: memFree=24295240/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=287080 CPUtime=5.99 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 9193 0 0 0 598 1 0 0 20 0 4 0 602851466 293969920 3708 33554432000 4194304 4650419 140734063706992 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 71770 3708 394 112 0 66735 0
[pid=32570/tid=32571] ppid=32568 vsize=287080 CPUtime=1.49 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 2169 0 0 0 149 0 0 0 20 0 4 0 602851466 293969920 3708 33554432000 4194304 4650419 140734063706992 18446744073709551615 4354972 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=287080 CPUtime=1.49 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 2354 0 0 0 149 0 0 0 20 0 4 0 602851466 293969920 3708 33554432000 4194304 4650419 140734063706992 18446744073709551615 4315004 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=287080 CPUtime=1.48 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 2046 0 0 0 148 0 0 0 25 0 4 0 602851466 293969920 3709 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 287080

[startup+3.10061 s]
/proc/loadavg: 7.75 8.02 7.99 9/184 32574
/proc/meminfo: memFree=24269444/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=305208 CPUtime=12.36 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 19775 0 0 0 1233 3 0 0 25 0 4 0 602851466 312532992 11514 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 76302 11514 395 112 0 71267 0
[pid=32570/tid=32571] ppid=32568 vsize=305208 CPUtime=3.08 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 4298 0 0 0 308 0 0 0 25 0 4 0 602851466 312532992 11514 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=305208 CPUtime=3.08 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 5577 0 0 0 308 0 0 0 25 0 4 0 602851466 312532992 11514 33554432000 4194304 4650419 140734063706992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=305208 CPUtime=3.07 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 4406 0 0 0 307 0 0 0 25 0 4 0 602851466 312532992 11514 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 305208

[startup+6.30104 s]
/proc/loadavg: 7.77 8.02 7.99 9/184 32574
/proc/meminfo: memFree=24247504/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=317128 CPUtime=25.14 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 29877 0 0 0 2509 5 0 0 25 0 4 0 602851466 324739072 15662 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 79282 15662 395 112 0 74247 0
[pid=32570/tid=32571] ppid=32568 vsize=317128 CPUtime=6.29 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 7217 0 0 0 628 1 0 0 25 0 4 0 602851466 324739072 15662 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=317128 CPUtime=6.29 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 7919 0 0 0 628 1 0 0 25 0 4 0 602851466 324739072 15662 33554432000 4194304 4650419 140734063706992 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=317128 CPUtime=6.26 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 6679 0 0 0 625 1 0 0 25 0 4 0 602851466 324739072 15662 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366381 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 317128

[startup+12.7009 s]
/proc/loadavg: 7.79 8.02 7.99 9/184 32574
/proc/meminfo: memFree=24203272/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=324260 CPUtime=50.7 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 46137 0 0 0 5062 8 0 0 25 0 4 0 602851466 332042240 22835 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 81065 22835 395 112 0 76030 0
[pid=32570/tid=32571] ppid=32568 vsize=324260 CPUtime=12.69 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 10940 0 0 0 1267 2 0 0 25 0 4 0 602851466 332042240 22835 33554432000 4194304 4650419 140734063706992 18446744073709551615 4439346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=324260 CPUtime=12.69 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 12522 0 0 0 1267 2 0 0 25 0 4 0 602851466 332042240 22835 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=324260 CPUtime=12.62 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 9592 0 0 0 1261 1 0 0 25 0 4 0 602851466 332042240 22835 33554432000 4194304 4650419 140734063706992 18446744073709551615 4520040 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 324260

[startup+25.5007 s]
/proc/loadavg: 7.98 8.05 8.00 9/184 32575
/proc/meminfo: memFree=24185916/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=326072 CPUtime=101.84 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 71955 0 0 0 10169 15 0 0 25 0 4 0 602851466 333897728 32130 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 81518 32130 395 112 0 76483 0
[pid=32570/tid=32571] ppid=32568 vsize=326072 CPUtime=25.48 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 18604 0 0 0 2545 3 0 0 25 0 4 0 602851466 333897728 32130 33554432000 4194304 4650419 140734063706992 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=326072 CPUtime=25.48 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 20882 0 0 0 2545 3 0 0 25 0 4 0 602851466 333897728 32130 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=326072 CPUtime=25.36 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 11693 0 0 0 2534 2 0 0 25 0 4 0 602851466 333897728 32130 33554432000 4194304 4650419 140734063706992 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 326072

[startup+51.1002 s]
/proc/loadavg: 7.99 8.05 8.00 9/184 32575
/proc/meminfo: memFree=24131260/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=326156 CPUtime=204.11 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 112355 0 0 0 20384 27 0 0 25 0 4 0 602851466 333983744 41669 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 81539 41669 395 112 0 76504 0
[pid=32570/tid=32571] ppid=32568 vsize=326156 CPUtime=51.08 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 28271 0 0 0 5102 6 0 0 25 0 4 0 602851466 333983744 41669 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=326156 CPUtime=51.08 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 32246 0 0 0 5101 7 0 0 25 0 4 0 602851466 333983744 41669 33554432000 4194304 4650419 140734063706992 18446744073709551615 4540186 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=326156 CPUtime=50.83 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 19657 0 0 0 5078 5 0 0 25 0 4 0 602851466 333983744 41669 33554432000 4194304 4650419 140734063706992 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 326156

[startup+102.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/184 32577
/proc/meminfo: memFree=24096632/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=422696 CPUtime=408.63 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 164186 0 0 0 40819 44 0 0 25 0 4 0 602851466 432840704 51285 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 105674 51285 395 112 0 100639 0
[pid=32570/tid=32571] ppid=32568 vsize=422696 CPUtime=102.29 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 43472 0 0 0 10217 12 0 0 25 0 4 0 602851466 432840704 51285 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=422696 CPUtime=102.29 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 48221 0 0 0 10217 12 0 0 25 0 4 0 602851466 432840704 51285 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=422696 CPUtime=101.75 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 29144 0 0 0 10167 8 0 0 25 0 4 0 602851466 432840704 51285 33554432000 4194304 4650419 140734063706992 18446744073709551615 4331654 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 422696

[startup+162.301 s]

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

[pid=32570] ppid=32568 vsize=734300 CPUtime=2805.42 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 460953 0 0 0 280376 166 0 0 25 0 4 0 602851466 751923200 120316 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 183575 120316 395 112 0 178540 0
[pid=32570/tid=32571] ppid=32568 vsize=734300 CPUtime=702.3 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 112483 0 0 0 70187 43 0 0 25 0 4 0 602851466 751923200 120316 33554432000 4194304 4650419 140734063706992 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=734300 CPUtime=702.29 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 149632 0 0 0 70178 51 0 0 25 0 4 0 602851466 751923200 120316 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=734300 CPUtime=698.51 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 64560 0 0 0 69828 23 0 0 25 0 4 0 602851466 751923200 120316 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 734300

[startup+762.301 s]
/proc/loadavg: 8.17 8.08 8.01 9/184 32625
/proc/meminfo: memFree=22752596/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=796992 CPUtime=3045.1 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 482397 0 0 0 304332 178 0 0 25 0 4 0 602851466 816119808 124362 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 199248 124362 395 112 0 194213 0
[pid=32570/tid=32571] ppid=32568 vsize=796992 CPUtime=762.3 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 117606 0 0 0 76185 45 0 0 25 0 4 0 602851466 816119808 124362 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=796992 CPUtime=762.29 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 154637 0 0 0 76175 54 0 0 25 0 4 0 602851466 816119808 124362 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=796992 CPUtime=758.19 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 70975 0 0 0 75792 27 0 0 25 0 4 0 602851466 816119808 124362 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 796992

[startup+822.3 s]
/proc/loadavg: 8.19 8.10 8.01 9/184 32627
/proc/meminfo: memFree=22705556/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=746548 CPUtime=3284.79 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 508924 0 0 0 328288 191 0 0 25 0 4 0 602851466 764465152 120166 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 186637 120166 395 112 0 181602 0
[pid=32570/tid=32571] ppid=32568 vsize=746548 CPUtime=822.3 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 125727 0 0 0 82181 49 0 0 25 0 4 0 602851466 764465152 120166 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366015 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=746548 CPUtime=822.29 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 159601 0 0 0 82173 56 0 0 25 0 4 0 602851466 764465152 120166 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=746548 CPUtime=817.88 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 74572 0 0 0 81759 29 0 0 25 0 4 0 602851466 764465152 120166 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 746548

[startup+882.301 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 32628
/proc/meminfo: memFree=22621944/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=812260 CPUtime=3524.47 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 534118 0 0 0 352246 201 0 0 25 0 4 0 602851466 831754240 138427 33554432000 4194304 4650419 140734063706992 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 203065 138427 395 112 0 198030 0
[pid=32570/tid=32571] ppid=32568 vsize=812260 CPUtime=882.3 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 130428 0 0 0 88179 51 0 0 25 0 4 0 602851466 831754240 138427 33554432000 4194304 4650419 140734063706992 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=812260 CPUtime=882.29 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 167271 0 0 0 88170 59 0 0 25 0 4 0 602851466 831754240 138427 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=812260 CPUtime=877.55 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 78679 0 0 0 87724 31 0 0 25 0 4 0 602851466 831754240 138427 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 812260

[startup+942.3 s]
/proc/loadavg: 8.09 8.09 8.01 9/184 32630
/proc/meminfo: memFree=22603304/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=753012 CPUtime=3764.15 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 550635 0 0 0 376206 209 0 0 25 0 4 0 602851466 771084288 142137 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 188253 142137 395 112 0 183218 0
[pid=32570/tid=32571] ppid=32568 vsize=753012 CPUtime=942.3 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 134218 0 0 0 94178 52 0 0 25 0 4 0 602851466 771084288 142137 33554432000 4194304 4650419 140734063706992 18446744073709551615 215988261074 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=753012 CPUtime=942.28 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 171430 0 0 0 94167 61 0 0 25 0 4 0 602851466 771084288 142137 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=753012 CPUtime=937.23 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 79447 0 0 0 93691 32 0 0 25 0 4 0 602851466 771084288 142137 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 753012

[startup+1002.3 s]
/proc/loadavg: 8.14 8.10 8.02 9/184 32632
/proc/meminfo: memFree=22587140/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=840068 CPUtime=4003.83 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 574180 0 0 0 400162 221 0 0 25 0 4 0 602851466 860229632 139061 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 210017 139061 395 112 0 204982 0
[pid=32570/tid=32571] ppid=32568 vsize=840068 CPUtime=1002.31 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 141937 0 0 0 100174 57 0 0 25 0 4 0 602851466 860229632 139061 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=840068 CPUtime=1002.29 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 175418 0 0 0 100166 63 0 0 25 0 4 0 602851466 860229632 139061 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=840068 CPUtime=996.9 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 84735 0 0 0 99656 34 0 0 25 0 4 0 602851466 860229632 139061 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 840068

[startup+1062.3 s]
/proc/loadavg: 8.15 8.11 8.02 9/184 32633
/proc/meminfo: memFree=22558096/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=913480 CPUtime=4243.5 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 600696 0 0 0 424118 232 0 0 25 0 4 0 602851466 935403520 144709 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 228370 144709 395 112 0 223335 0
[pid=32570/tid=32571] ppid=32568 vsize=913480 CPUtime=1062.31 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 151666 0 0 0 106171 60 0 0 25 0 4 0 602851466 935403520 144709 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=913480 CPUtime=1062.28 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 180338 0 0 0 106163 65 0 0 25 0 4 0 602851466 935403520 144709 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=913480 CPUtime=1056.58 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 87222 0 0 0 105623 35 0 0 25 0 4 0 602851466 935403520 144709 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 913480

[startup+1122.3 s]
/proc/loadavg: 8.11 8.10 8.02 9/184 32635
/proc/meminfo: memFree=22463952/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=920800 CPUtime=4483.2 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 622774 0 0 0 448076 244 0 0 25 0 4 0 602851466 942899200 152547 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 230200 152547 395 112 0 225165 0
[pid=32570/tid=32571] ppid=32568 vsize=920800 CPUtime=1122.31 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 157591 0 0 0 112168 63 0 0 25 0 4 0 602851466 942899200 152547 33554432000 4194304 4650419 140734063706992 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=920800 CPUtime=1122.29 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 187848 0 0 0 112160 69 0 0 25 0 4 0 602851466 942899200 152547 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=920800 CPUtime=1116.26 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 88286 0 0 0 111590 36 0 0 25 0 4 0 602851466 942899200 152547 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.2
Current children cumulated vsize (KiB) 920800

[startup+1182.3 s]
/proc/loadavg: 8.09 8.10 8.02 9/184 32636
/proc/meminfo: memFree=22451636/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=821188 CPUtime=4722.85 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 645273 0 0 0 472030 255 0 0 25 0 4 0 602851466 840896512 149622 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 205297 149622 395 112 0 200262 0
[pid=32570/tid=32571] ppid=32568 vsize=821188 CPUtime=1182.31 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 161651 0 0 0 118166 65 0 0 25 0 4 0 602851466 840896512 149622 33554432000 4194304 4650419 140734063706992 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=821188 CPUtime=1182.28 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 195161 0 0 0 118156 72 0 0 25 0 4 0 602851466 840896512 149622 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=821188 CPUtime=1175.93 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 91506 0 0 0 117555 38 0 0 25 0 4 0 602851466 840896512 149622 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 821188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.09 8.02 9/184 32637
/proc/meminfo: memFree=22454848/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=932020 CPUtime=4800.36 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 652165 0 0 0 479778 258 0 0 25 0 4 0 602851466 954388480 150898 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 233005 150898 395 112 0 227970 0
[pid=32570/tid=32571] ppid=32568 vsize=932020 CPUtime=1201.72 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 163295 0 0 0 120106 66 0 0 25 0 4 0 602851466 954388480 150898 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=932020 CPUtime=1201.69 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 198032 0 0 0 120096 73 0 0 25 0 4 0 602851466 954388480 150898 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=932020 CPUtime=1195.21 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 92412 0 0 0 119483 38 0 0 25 0 4 0 602851466 954388480 150898 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 932020

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

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

[startup+1201.7 s]
/proc/loadavg: 8.07 8.09 8.02 9/184 32637
/proc/meminfo: memFree=22454848/32950940 swapFree=67111364/67111528
[pid=32570] ppid=32568 vsize=932020 CPUtime=4800.36 cores=0,2,4,6
/proc/32570/stat : 32570 (strangenight1-m) R 32568 32570 32427 0 -1 4202496 652165 0 0 0 479778 258 0 0 25 0 4 0 602851466 954388480 150898 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32570/statm: 233005 150898 395 112 0 227970 0
[pid=32570/tid=32571] ppid=32568 vsize=932020 CPUtime=1201.72 cores=0,2,4,6
/proc/32570/task/32571/stat : 32571 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 163295 0 0 0 120106 66 0 0 25 0 4 0 602851466 954388480 150898 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32570/tid=32572] ppid=32568 vsize=932020 CPUtime=1201.69 cores=0,2,4,6
/proc/32570/task/32572/stat : 32572 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 198032 0 0 0 120096 73 0 0 25 0 4 0 602851466 954388480 150898 33554432000 4194304 4650419 140734063706992 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32570/tid=32573] ppid=32568 vsize=932020 CPUtime=1195.21 cores=0,2,4,6
/proc/32570/task/32573/stat : 32573 (strangenight1-m) R 32568 32570 32427 0 -1 4202560 92412 0 0 0 119483 38 0 0 25 0 4 0 602851466 954388480 150898 33554432000 4194304 4650419 140734063706992 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 932020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.42
CPU user time (s): 4797.81
CPU system time (s): 2.6126
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 980096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.81
system time used= 2.6126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 652166
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= 512
involuntary context switches= 22736

runsolver used 1.89671 second user time and 4.50731 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 03:16:47
IDJOB=3175483
IDBENCH=83101
IDSOLVER=1588
FILE ID=node117/3175483-1304126207
RUNJOBID= node117-1304125003-32445
PBS_JOBID= 13170762
Free space on /tmp= 71676 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175483-1304126207/watcher-3175483-1304126207 -o /tmp/evaluation-result-3175483-1304126207/solver-3175483-1304126207 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175483-1304126207.cnf

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

MD5SUM BENCH= a8d280a0ad5a42e6946605bb6356e226
RANDOM SEED=2130096756

node117.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.849
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.69
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.849
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.849
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.74
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.849
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.849
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.849
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.74
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24309440 kB
Buffers:       1867888 kB
Cached:        5793024 kB
SwapCached:        160 kB
Active:        1052140 kB
Inactive:      7030408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24309440 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            6280 kB
Writeback:           0 kB
AnonPages:      421224 kB
Mapped:          15536 kB
Slab:           495296 kB
PageTables:       5772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   634388 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= 71668 MiB
End job on node117 at 2011-04-30 03:36:51