Trace number 3369092

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.41 1203.75

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.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-3369092-1305412056.cnf'
0.00/0.01	c -- header says num vars:            800
0.00/0.01	c -- header says num clauses:        3408
0.00/0.02	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.02	c -- vars added        800
0.00/0.02	c Parsing time:  0.01 s
0.00/0.02	c  N st     0         0       800      3408         0         0     10224         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.04	c lits-rem:         0  cl-subs:        0  v-elim:     23  v-fix:    0  time:  0.01 s
0.00/0.04	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.04	c calculated reachability. Time: 0.00
0.00/0.04	c Calc default polars -  time:   0.00 s pos:     346 undec:      94 neg:     360
0.00/0.04	c =========================================================================================
0.00/0.04	c types(t): F = full restart, N = normal restart
0.00/0.04	c types(t): S = simplification begin/end, E = solution found
0.00/0.04	c restart types(rt): st = static, dy = dynamic
0.00/0.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.04	c  B st     0         0       777      3382         0         0     10243         0   no data   no data  --
0.43/0.11	c Decided on static restart strategy
0.77/0.20	c  N st     8      4920       777      3382         0      4879     10243    165331   no data   no data  --
1.97/0.51	c  N st    10     11302       777      3382         0      4499     10243    103305   no data   no data  --
3.17/0.85	c  N st    11     17048       777      3382         0     10205     10243    312193   no data   no data  --
5.16/1.37	c  F st    12     25000       777      3382         0     12507     10243    383953   no data   no data  --
5.16/1.37	c  N st    12     25000       777      3382         0     12507     10243    383953   no data   no data  --
6.36/1.65	c Decided on static restart strategy
6.36/1.65	c  N st    18     30000       777      3382         0     10759     10243    287169   no data   no data  --
6.36/1.65	c  S st    18     30000       777      3382         0     10759     10243    287169   no data   no data  --
6.36/1.68	c  S st    18     30503       777      3382         0     11262     10243    302514   no data   no data  --
6.36/1.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.36/1.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
6.75/1.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.75/1.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.75/1.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
6.75/1.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.95/2.08	c lits-rem:       118  cl-subs:      210  v-elim:      0  v-fix:    0  time:  1.52 s
7.95/2.09	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.04
7.95/2.09	c calculated reachability. Time: 0.00
7.95/2.09	c  N st    18     30503       777      3382         0     11052     10243    292626   no data   no data  --
9.94/2.54	c  N st    20     37617       777      3382         0     10309     10243    238800   no data   no data  --
11.94/3.00	c  N st    21     44018       777      3382         0     16675     10243    463929   no data   no data  --
12.34/3.12	c  S st    22     45757       777      3382         0      9524     10243    184321   no data   no data  --
12.34/3.15	c  S st    22     46263       777      3382         0     10030     10243    199551   no data   no data  --
12.34/3.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.34/3.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.34/3.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
12.34/3.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.34/3.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.34/3.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
12.34/3.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
13.16/3.37	c lits-rem:        24  cl-subs:       57  v-elim:      0  v-fix:    0  time:  0.82 s
13.16/3.37	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
13.16/3.37	c vivif2 --  cl tried     9973 cl shrink        0 lits rem          0 time: 0.01
13.16/3.38	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.04
13.16/3.38	c calculated reachability. Time: 0.00
13.16/3.38	c  N st    22     46263       777      3382         0      9973     10243    197490   no data   no data  --
17.13/4.39	c  N st    23     60661       777      3382         0     14326     10243    342617   no data   no data  --
20.31/5.13	c  N st    24     69394       777      3382         0     12102     10243    253409   no data   no data  --
20.31/5.13	c  S st    24     69394       777      3382         0     12102     10243    253409   no data   no data  --
20.31/5.16	c  S st    24     69895       777      3382         0     12603     10243    267942   no data   no data  --
20.31/5.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.31/5.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.31/5.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
20.31/5.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.31/5.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.31/5.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
20.31/5.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
21.92/5.56	c lits-rem:        77  cl-subs:       54  v-elim:      0  v-fix:    0  time:  1.54 s
21.92/5.56	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
21.92/5.57	c vivif2 --  cl tried    12549 cl shrink        0 lits rem          0 time: 0.01
21.92/5.58	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.04
21.92/5.58	c calculated reachability. Time: 0.00
21.92/5.58	c  N st    24     69895       777      3382         0     12549     10243    265421   no data   no data  --
27.87/7.08	c  F st    25     87500       777      3382         0     18073     10243    436923   no data   no data  --
27.87/7.08	c  N st    25     87500       777      3382         0     18073     10243    436923   no data   no data  --
29.49/7.48	c Decided on static restart strategy
30.69/7.77	c  N st    32     95543       777      3382         0     13198     10243    230049   no data   no data  --
33.86/8.57	c  N st    34    104842       777      3382         0     22391     10243    550215   no data   no data  --
33.86/8.57	c  S st    34    104842       777      3382         0     22391     10243    550215   no data   no data  --
34.26/8.63	c  S st    34    105344       777      3382         0     22891     10243    565729   no data   no data  --
34.26/8.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
34.26/8.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.26/8.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
34.26/8.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
34.26/8.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
34.26/8.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
34.26/8.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
41.44/10.48	c lits-rem:       100  cl-subs:      330  v-elim:      0  v-fix:    0  time:  7.24 s
41.44/10.48	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
41.44/10.49	c vivif2 --  cl tried    22561 cl shrink        0 lits rem          0 time: 0.02
41.84/10.51	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.08
41.84/10.51	c calculated reachability. Time: 0.00
41.84/10.51	c  N st    34    105344       777      3382         0     22561     10243    551498   no data   no data  --
45.42/11.44	c  N st    35    114945       777      3382         0     18207     10243    374595   no data   no data  --
51.01/12.81	c  N st    36    129344       777      3382         0     17615     10243    337789   no data   no data  --
59.39/14.98	c  N st    37    150940       777      3382         0     23105     10243    500261   no data   no data  --
62.17/15.63	c  S st    38    158016       777      3382         0     30143     10243    746495   no data   no data  --
62.57/15.70	c  S st    38    158518       777      3382         0     30645     10243    761114   no data   no data  --
62.57/15.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
62.57/15.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.57/15.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
62.57/15.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.57/15.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.57/15.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
62.57/15.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
71.74/18.08	c lits-rem:       313  cl-subs:      669  v-elim:      0  v-fix:    0  time:  9.33 s
71.74/18.08	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
71.74/18.09	c vivif2 --  cl tried    29976 cl shrink        0 lits rem          0 time: 0.03
72.14/18.12	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.12
72.14/18.12	c calculated reachability. Time: 0.00
72.14/18.12	c  N st    38    158518       777      3382         0     29976     10243    735141   no data   no data  --
94.48/23.79	c  N st    39    207106       777      3382         0     24604     10243    504561   no data   no data  --
109.24/27.43	c  N st    40    237779       777      3382         0     35194     10243    884688   no data   no data  --
109.24/27.43	c  S st    40    237779       777      3382         0     35194     10243    884688   no data   no data  --
109.65/27.53	c  S st    40    238284       777      3382         0     35698     10243    901010   no data   no data  --
109.65/27.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
109.65/27.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
109.65/27.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
109.65/27.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
109.65/27.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
109.65/27.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
109.65/27.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
120.80/30.36	c lits-rem:       552  cl-subs:     1043  v-elim:      0  v-fix:    0  time: 11.11 s
120.80/30.36	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
120.80/30.37	c vivif2 --  cl tried    34655 cl shrink        0 lits rem          0 time: 0.04
121.20/30.41	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.16
121.20/30.41	c calculated reachability. Time: 0.00
121.20/30.41	c  N st    40    238284       777      3382         0     34655     10243    855194   no data   no data  --
155.50/39.06	c  F st    41    306250       777      3382         0     36579     10243    856313   no data   no data  --
155.50/39.06	c  N st    41    306250       777      3382         0     36579     10243    856313   no data   no data  --
165.87/41.65	c  N dy    97    325961       777      3382         0     32333     10243    559590     21.74     23.03  --
177.43/44.55	c  N dy   154    345969       777      3382         0     27397     10243    352123     21.00     24.50  --
183.02/45.95	c  S st   221    357427       777      3382         0     38806     10243    718153     21.19   no data  --
183.42/46.04	c  S st   221    357927       777      3382         0     39306     10243    733393     21.19   no data  --
183.42/46.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
183.42/46.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.42/46.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
183.42/46.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
183.42/46.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
183.42/46.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
183.42/46.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
193.43/48.53	c lits-rem:       299  cl-subs:      234  v-elim:      0  v-fix:    0  time:  9.73 s
193.43/48.53	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
193.43/48.54	c vivif2 --  cl tried    39072 cl shrink        0 lits rem          0 time: 0.03
193.43/48.58	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.16
193.43/48.58	c calculated reachability. Time: 0.00
193.43/48.58	c  N dy   221    357927       777      3382         0     39072     10243    723659     21.19   no data  --
205.35/51.58	c  N dy   338    377943       777      3382         0     33157     10243    497098     21.44     23.20  --
219.32/55.04	c  N dy   412    397998       777      3382         0     53082     10243   1134421     21.44     22.73  --
230.07/57.75	c  N dy   463    418082       777      3382         0     46128     10243    864373     21.11     22.84  --
242.43/60.83	c  N dy   572    438186       777      3382         0     38327     10243    591421     21.18     22.30  --
255.99/64.26	c  N dy   666    458281       777      3382         0     29492     10243    282886     21.24     22.74  --
267.59/67.14	c  N dy   768    478310       777      3382         0     49389     10243    913325     21.31     22.54  --
280.74/70.50	c  N dy   866    498391       777      3382         0     39537     10243    568090     21.35     22.76  --
295.47/74.14	c  N dy   973    518455       777      3382         0     59496     10243   1215117     21.42     22.73  --
306.64/76.92	c  S st  1055    536891       777      3382         0     47023     10243    788596     21.42     16.80  --
307.06/77.05	c  S st  1055    537396       777      3382         0     47528     10243    803779     21.42   no data  --
307.06/77.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
307.06/77.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
307.06/77.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
307.06/77.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
307.06/77.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
307.06/77.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
307.06/77.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
317.81/79.76	c lits-rem:       576  cl-subs:      336  v-elim:      0  v-fix:    0  time: 10.64 s
317.81/79.76	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
317.81/79.77	c vivif2 --  cl tried    47192 cl shrink        0 lits rem          0 time: 0.04
318.21/79.82	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.20
318.21/79.82	c calculated reachability. Time: 0.00
318.21/79.82	c  N dy  1055    537396       777      3382         0     47192     10243    791026     21.42   no data  --
334.15/83.88	c  N dy  1167    558718       777      3382         0     36572     10243    416362     21.45     22.72  --
348.92/87.57	c  N dy  1282    580147       777      3382         0     57890     10243   1095734     21.49     22.76  --
363.68/91.23	c  N dy  1403    600167       777      3382         0     45013     10243    665855     21.55     22.73  --
380.02/95.32	c  N dy  1481    620342       777      3382         0     65060     10243   1298344     21.54     22.80  --
393.18/98.68	c  N dy  1560    640357       777      3382         0     51144     10243    835336     21.52     22.82  --
411.53/103.26	c  N dy  1656    660911       777      3382         0     36782     10243    343841     21.55     22.80  --
424.69/106.59	c  N dy  1766    680976       777      3382         0     56722     10243    983770     21.58     23.92  --
443.06/111.16	c  N dy  1852    701116       777      3382         0     40952     10243    444744     21.59     22.81  --
459.78/115.37	c  N dy  1933    721209       777      3382         0     60913     10243   1081000     21.59     24.79  --
476.53/119.52	c  N dy  1998    741244       777      3382         0     44045     10243    528790     21.55     22.76  --
492.48/123.59	c  N dy  2120    761367       777      3382         0     64047     10243   1168830     21.59     22.82  --
510.43/128.03	c  N dy  2245    781376       777      3382         0     46173     10243    560662     21.63     24.13  --
527.17/132.23	c  N dy  2342    801419       777      3382         0     66104     10243   1201298     21.64     22.87  --
531.57/133.39	c  S st  2360    806095       777      3382         0     70744     10243   1353751     21.64   no data  --
532.37/133.56	c  S st  2360    806599       777      3382         0     71248     10243   1369947     21.64   no data  --
532.37/133.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
532.37/133.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
532.77/133.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
532.77/133.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
532.77/133.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
532.77/133.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
532.77/133.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
541.13/135.76	c lits-rem:       207  cl-subs:      776  v-elim:      0  v-fix:    0  time:  8.41 s
541.13/135.76	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
541.13/135.78	c vivif2 --  cl tried    70472 cl shrink        0 lits rem          0 time: 0.06
541.53/135.86	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.35
541.53/135.87	c calculated reachability. Time: 0.00
541.53/135.87	c  N dy  2360    806599       777      3382         0     70472     10243   1339806     21.64   no data  --
587.81/147.42	c  N dy  2425    857567       777      3382         0     42499     10243    396520     21.41     22.70  --
604.55/151.67	c  N dy  2500    880295       777      3382         0     65055     10243   1117701     21.38     22.63  --
626.07/157.05	c  N dy  2652    900991       777      3382         0     44967     10243    450035     21.43     22.72  --
642.83/161.22	c  N dy  2768    921368       777      3382         0     65214     10243   1106420     21.46     22.74  --
664.36/166.63	c  N dy  2878    941511       777      3382         0     43534     10243    377184     21.48     22.68  --
679.94/170.59	c  N dy  3002    961576       777      3382         0     63497     10243   1030164     21.52     28.49  --
701.88/176.10	c  N dy  3093    981602       777      3382         0     83360     10243   1664380     21.53     23.45  --
718.21/180.17	c  N dy  3180   1001677       777      3382         0     60616     10243    902992     21.54     22.71  --
740.14/185.68	c  N dy  3280   1022585       777      3382         0     81391     10243   1570706     21.55     22.74  --
758.09/190.13	c  N dy  3373   1042642       777      3382         0     57578     10243    775190     21.56     22.76  --
778.42/195.20	c  N dy  3466   1062816       777      3382         0     77622     10243   1418363     21.57     23.07  --
790.37/198.22	c  F st  3532   1071876       777      3382         0     86632     10243   1713109     21.59   no data  --
795.57/199.59	c Decided on static restart strategy
800.35/200.72	c  N st  3540   1084182       777      3382         0     54084     10243    650390     21.59   no data  --
829.09/207.95	c  N st  3543   1114581       777      3382         0     84159     10243   1726132     21.59   no data  --
848.22/212.71	c  N st  3544   1136176       777      3382         0     59961     10243   1424729     21.59   no data  --
888.50/222.84	c  N st  3545   1168568       777      3382         0     91988     10243   2583331     21.59   no data  --
934.38/234.41	c  N st  3546   1209898       777      3382         0     86222     10243   2289877     21.59   no data  --
934.38/234.41	c  S st  3546   1209898       777      3382         0     86222     10243   2289877     21.59   no data  --
935.54/234.64	c  S st  3546   1210402       777      3382         0     86725     10243   2306152     21.59   no data  --
935.54/234.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
935.54/234.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
935.54/234.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
935.94/234.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
935.94/234.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
935.94/234.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
935.94/234.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
979.01/245.55	c lits-rem:       227  cl-subs:     3540  v-elim:      0  v-fix:    0  time: 42.97 s
979.01/245.55	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
979.01/245.57	c vivif2 --  cl tried    83185 cl shrink        0 lits rem          0 time: 0.10
979.41/245.69	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.48
979.81/245.70	c calculated reachability. Time: 0.00
979.81/245.70	c  N st  3546   1210402       777      3382         0     83185     10243   2157494     21.59   no data  --
1052.40/263.98	c  N st  3547   1283284       777      3382         0     59100     10243   1135852     21.59   no data  --
1168.45/293.09	c  N st  3548   1392607       777      3382         0     67504     10243   1370181     21.59   no data  --
1347.90/338.05	c  N st  3549   1556591       777      3382         0     72304     10243   1395029     21.59   no data  --
1520.99/381.49	c  N st  3550   1710403       777      3382         0     58352     10243    811965     21.59   no data  --
1520.99/381.49	c  S st  3550   1710403       777      3382         0     58352     10243    811965     21.59   no data  --
1521.79/381.65	c  S st  3550   1710904       777      3382         0     58853     10243    829150     21.59   no data  --
1521.79/381.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1521.79/381.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1521.79/381.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1522.21/381.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1522.21/381.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1522.21/381.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
1522.21/381.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1531.40/384.08	c lits-rem:       349  cl-subs:      322  v-elim:      0  v-fix:    0  time:  9.41 s
1531.40/384.08	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
1531.40/384.09	c vivif2 --  cl tried    58531 cl shrink        0 lits rem          0 time: 0.04
1531.75/384.16	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.27
1531.75/384.16	c calculated reachability. Time: 0.00
1531.75/384.16	c  N st  3550   1710904       777      3382         0     58531     10243    819617     21.59   no data  --
1970.43/494.13	c  N st  3551   2079868       777      3382         0     64459     10243    858265     21.59   no data  --
2125.57/533.09	c  N st  3552   2210904       777      3382         0     66241     10243    850668     21.59   no data  --
2125.57/533.09	c  S st  3552   2210904       777      3382         0     66241     10243    850668     21.59   no data  --
2126.37/533.27	c  S st  3552   2211410       777      3382         0     66746     10243    866466     21.59   no data  --
2126.37/533.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2126.37/533.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2126.77/533.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
2126.77/533.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2126.77/533.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2126.77/533.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
2126.77/533.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2136.36/535.74	c lits-rem:       220  cl-subs:      243  v-elim:      0  v-fix:    0  time:  9.58 s
2136.36/535.74	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
2136.36/535.75	c vivif2 --  cl tried    66503 cl shrink        0 lits rem          0 time: 0.04
2136.79/535.83	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.33
2136.79/535.83	c calculated reachability. Time: 0.00
2136.79/535.83	c  N st  3552   2211410       777      3382         0     66503     10243    858660     21.59   no data  --
2756.46/691.29	c  N st  3553   2711410       777      3382         0     84122     10243   1314382     21.59   no data  --
2756.46/691.29	c  S st  3553   2711410       777      3382         0     84122     10243   1314382     21.59   no data  --
2757.66/691.51	c  S st  3553   2711912       777      3382         0     84624     10243   1330185     21.59   no data  --
2757.66/691.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2757.66/691.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2757.66/691.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
2758.06/691.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2758.06/691.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2758.06/691.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
2758.06/691.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2767.64/694.06	c lits-rem:       124  cl-subs:      837  v-elim:      0  v-fix:    0  time:  9.79 s
2767.64/694.06	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
2767.64/694.07	c vivif2 --  cl tried    83787 cl shrink        0 lits rem          0 time: 0.07
2768.06/694.20	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.51
2768.06/694.21	c calculated reachability. Time: 0.00
2768.06/694.21	c  N st  3553   2711912       777      3382         0     83787     10243   1299044     21.59   no data  --
3513.39/881.08	c  N st  3554   3211912       777      3382         0    129760     10243   2825954     21.59   no data  --
3513.39/881.08	c  S st  3554   3211912       777      3382         0    129760     10243   2825954     21.59   no data  --
3515.78/881.60	c  S st  3554   3212414       777      3382         0    130262     10243   2842041     21.59   no data  --
3515.78/881.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3515.78/881.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3516.18/881.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.35
3516.58/881.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3516.58/881.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3516.58/881.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
3516.58/881.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3607.91/904.79	c lits-rem:        98  cl-subs:     4850  v-elim:      0  v-fix:    0  time: 91.62 s
3607.91/904.79	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
3608.31/904.83	c vivif2 --  cl tried   125412 cl shrink        0 lits rem          0 time: 0.14
3609.11/905.03	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 0.82
3609.11/905.04	c calculated reachability. Time: 0.00
3609.11/905.04	c  N st  3554   3212414       777      3382         0    125412     10243   2677082     21.59   no data  --
4383.17/1099.13	c  N st  3555   3712414       777      3382         0    136440     10243   2911551     21.59   no data  --
4383.17/1099.14	c  S st  3555   3712414       777      3382         0    136440     10243   2911551     21.59   no data  --
4384.77/1099.51	c  S st  3555   3712915       777      3382         0    136941     10243   2927224     21.59   no data  --
4384.77/1099.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4384.77/1099.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4384.77/1099.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.30
4385.17/1099.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4385.17/1099.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4385.17/1099.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
4385.17/1099.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4497.63/1127.81	c lits-rem:       155  cl-subs:     5160  v-elim:      0  v-fix:    0  time: 112.12 s
4497.63/1127.81	c vivif2 --  cl tried     3382 cl shrink        0 lits rem          0 time: 0.00
4497.63/1127.85	c vivif2 --  cl tried   131781 cl shrink        0 lits rem          0 time: 0.16
4498.83/1128.13	c asymm  cl-useful: 0/3382/3382 lits-rem:0 time: 1.10
4498.83/1128.13	c calculated reachability. Time: 0.00
4498.83/1128.13	c  N st  3555   3712915       777      3382         0    131781     10243   2738952     21.59   no data  --
4602.92/1154.25	c  F st  3556   3751562       777      3382         0     85906     10243   1004866     21.59   no data  --
4602.92/1154.25	c  N st  3556   3751562       777      3382         0     85906     10243   1004866     21.59   no data  --
4609.30/1155.80	c Decided on static restart strategy
4636.84/1162.73	c  N st  3566   3779866       777      3382         0    113958     10243   1980587     21.59   no data  --
4701.81/1179.07	c  N st  3568   3815858       777      3382         0    149531     10243   3313142     21.59   no data  --
4766.82/1195.32	c  N st  3569   3848251       777      3382         0     96613     10243   1374109     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: 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-3369092-1305412056/watcher-3369092-1305412056 -o /tmp/evaluation-result-3369092-1305412056/solver-3369092-1305412056 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369092-1305412056.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.72 7.88 5.86 5/369 6069
/proc/meminfo: memFree=17777552/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 731436315 52465664 352 33554432000 4194304 4650419 140734588478880 18446744073709551615 47241177081778 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6069/statm: 12809 352 303 112 0 7774 0
[pid=6069/tid=6070] ppid=6067 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731436315 52465664 352 33554432000 4194304 4650419 140734588478880 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731436315 52465664 352 33554432000 4194304 4650419 140734588478880 18446744073709551615 47241177081772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731436315 52465664 352 33554432000 4194304 4650419 140734588478880 18446744073709551615 47241177081778 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.115395 s]
/proc/loadavg: 7.72 7.88 5.86 5/369 6069
/proc/meminfo: memFree=17777552/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=282800 CPUtime=0.43 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 2092 0 0 0 43 0 0 0 25 0 4 0 731436315 289587200 1941 33554432000 4194304 4650419 140734588478880 18446744073709551615 4349680 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 70700 1941 391 112 0 65665 0
[pid=6069/tid=6070] ppid=6067 vsize=282800 CPUtime=0.1 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 464 0 0 0 10 0 0 0 25 0 4 0 731436315 289587200 1941 33554432000 4194304 4650419 140734588478880 18446744073709551615 4329281 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=282800 CPUtime=0.1 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 440 0 0 0 10 0 0 0 25 0 4 0 731436315 289587200 1941 33554432000 4194304 4650419 140734588478880 18446744073709551615 4364453 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=282800 CPUtime=0.11 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 345 0 0 0 11 0 0 0 25 0 4 0 731436315 289587200 1941 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282800

[startup+0.200381 s]
/proc/loadavg: 7.72 7.88 5.86 5/369 6069
/proc/meminfo: memFree=17777552/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=283288 CPUtime=0.77 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 2610 0 0 0 77 0 0 0 25 0 4 0 731436315 290086912 2262 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 70822 2262 393 112 0 65787 0
[pid=6069/tid=6070] ppid=6067 vsize=283288 CPUtime=0.18 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 579 0 0 0 18 0 0 0 25 0 4 0 731436315 290086912 2262 33554432000 4194304 4650419 140734588478880 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=283288 CPUtime=0.19 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 514 0 0 0 19 0 0 0 25 0 4 0 731436315 290086912 2262 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=283288 CPUtime=0.19 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 570 0 0 0 19 0 0 0 25 0 4 0 731436315 290086912 2263 33554432000 4194304 4650419 140734588478880 18446744073709551615 4333707 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283288

[startup+0.300365 s]
/proc/loadavg: 7.72 7.88 5.86 5/369 6069
/proc/meminfo: memFree=17777552/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=284316 CPUtime=1.17 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 3295 0 0 0 117 0 0 0 25 0 4 0 731436315 291139584 2350 33554432000 4194304 4650419 140734588478880 18446744073709551615 4367295 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 71079 2351 393 112 0 66044 0
[pid=6069/tid=6070] ppid=6067 vsize=284316 CPUtime=0.28 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 786 0 0 0 28 0 0 0 25 0 4 0 731436315 291139584 2351 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=284316 CPUtime=0.29 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 692 0 0 0 29 0 0 0 25 0 4 0 731436315 291139584 2351 33554432000 4194304 4650419 140734588478880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=284316 CPUtime=0.29 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 669 0 0 0 29 0 0 0 25 0 4 0 731436315 291139584 2351 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284316

[startup+0.700298 s]
/proc/loadavg: 7.72 7.88 5.86 5/369 6069
/proc/meminfo: memFree=17777552/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=285296 CPUtime=2.76 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 5249 0 0 0 276 0 0 0 25 0 4 0 731436315 292143104 3150 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 71324 3150 393 112 0 66289 0
[pid=6069/tid=6070] ppid=6067 vsize=285296 CPUtime=0.68 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 1302 0 0 0 68 0 0 0 25 0 4 0 731436315 292143104 3150 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=285296 CPUtime=0.69 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 1178 0 0 0 69 0 0 0 25 0 4 0 731436315 292143104 3150 33554432000 4194304 4650419 140734588478880 18446744073709551615 4303982 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=285296 CPUtime=0.69 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 1152 0 0 0 69 0 0 0 25 0 4 0 731436315 292143104 3150 33554432000 4194304 4650419 140734588478880 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285296

[startup+1.50117 s]
/proc/loadavg: 7.72 7.88 5.86 9/373 6073
/proc/meminfo: memFree=17764000/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=278260 CPUtime=5.96 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 9097 0 0 0 595 1 0 0 25 0 4 0 731436315 284938240 3702 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 69565 3702 394 112 0 64530 0
[pid=6069/tid=6070] ppid=6067 vsize=278260 CPUtime=1.48 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 2290 0 0 0 148 0 0 0 25 0 4 0 731436315 284938240 3702 33554432000 4194304 4650419 140734588478880 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=278260 CPUtime=1.49 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 2207 0 0 0 149 0 0 0 25 0 4 0 731436315 284938240 3702 33554432000 4194304 4650419 140734588478880 18446744073709551615 4311000 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=278260 CPUtime=1.49 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 2071 0 0 0 149 0 0 0 25 0 4 0 731436315 284938240 3702 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 278260

[startup+3.1009 s]
/proc/loadavg: 7.72 7.88 5.86 9/373 6073
/proc/meminfo: memFree=17746640/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=285400 CPUtime=12.34 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 20202 0 0 0 1231 3 0 0 25 0 4 0 731436315 292249600 12082 33554432000 4194304 4650419 140734588478880 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 71350 12082 395 112 0 66315 0
[pid=6069/tid=6070] ppid=6067 vsize=285400 CPUtime=3.08 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 4824 0 0 0 307 1 0 0 25 0 4 0 731436315 292249600 12082 33554432000 4194304 4650419 140734588478880 18446744073709551615 4364559 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=285400 CPUtime=3.09 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 5371 0 0 0 309 0 0 0 25 0 4 0 731436315 292249600 12082 33554432000 4194304 4650419 140734588478880 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=285400 CPUtime=3.09 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 4659 0 0 0 309 0 0 0 25 0 4 0 731436315 292249600 12082 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 285400

[startup+6.3004 s]
/proc/loadavg: 7.74 7.88 5.87 9/373 6073
/proc/meminfo: memFree=17713092/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=289024 CPUtime=25.09 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 29252 0 0 0 2504 5 0 0 25 0 4 0 731436315 295960576 15342 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 72256 15343 395 112 0 67221 0
[pid=6069/tid=6070] ppid=6067 vsize=289024 CPUtime=6.27 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 7875 0 0 0 626 1 0 0 25 0 4 0 731436315 295960576 15343 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=289024 CPUtime=6.28 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 7526 0 0 0 628 0 0 0 25 0 4 0 731436315 295960576 15343 33554432000 4194304 4650419 140734588478880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=289024 CPUtime=6.29 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 6039 0 0 0 628 1 0 0 25 0 4 0 731436315 295960576 15343 33554432000 4194304 4650419 140734588478880 18446744073709551615 4354992 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 289024

[startup+12.7003 s]
/proc/loadavg: 7.84 7.90 5.88 9/373 6104
/proc/meminfo: memFree=17587692/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=287848 CPUtime=50.6 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 46794 0 0 0 5052 8 0 0 25 0 4 0 731436315 294756352 24698 33554432000 4194304 4650419 140734588478880 18446744073709551615 4364406 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 71962 24698 395 112 0 66927 0
[pid=6069/tid=6070] ppid=6067 vsize=287848 CPUtime=12.67 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 13246 0 0 0 1265 2 0 0 25 0 4 0 731436315 294756352 24698 33554432000 4194304 4650419 140734588478880 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=287848 CPUtime=12.68 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 11963 0 0 0 1267 1 0 0 25 0 4 0 731436315 294756352 24698 33554432000 4194304 4650419 140734588478880 18446744073709551615 4364521 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=287848 CPUtime=12.68 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 8915 0 0 0 1267 1 0 0 25 0 4 0 731436315 294756352 24698 33554432000 4194304 4650419 140734588478880 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 287848

[startup+25.5012 s]
/proc/loadavg: 7.87 7.90 5.92 9/373 6104
/proc/meminfo: memFree=17065184/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=287748 CPUtime=101.66 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 72199 0 0 0 10151 15 0 0 25 0 4 0 731436315 294653952 33257 33554432000 4194304 4650419 140734588478880 18446744073709551615 4333862 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 71937 33257 395 112 0 66902 0
[pid=6069/tid=6070] ppid=6067 vsize=287748 CPUtime=25.48 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 21542 0 0 0 2544 4 0 0 25 0 4 0 731436315 294653952 33257 33554432000 4194304 4650419 140734588478880 18446744073709551615 4433093 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=287748 CPUtime=25.48 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 18735 0 0 0 2545 3 0 0 25 0 4 0 731436315 294653952 33257 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=287748 CPUtime=25.49 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 12303 0 0 0 2547 2 0 0 25 0 4 0 731436315 294653952 33257 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 287748

[startup+51.1009 s]
/proc/loadavg: 7.98 7.93 5.98 9/373 6106
/proc/meminfo: memFree=16905408/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=378484 CPUtime=203.75 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 109675 0 0 0 20351 24 0 0 25 0 4 0 731436315 387567616 42279 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 94621 42279 395 112 0 89586 0
[pid=6069/tid=6070] ppid=6067 vsize=378484 CPUtime=51.07 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 31380 0 0 0 5101 6 0 0 25 0 4 0 731436315 387567616 42279 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=378484 CPUtime=51.09 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 29359 0 0 0 5103 6 0 0 25 0 4 0 731436315 387567616 42279 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=378484 CPUtime=51.08 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 18107 0 0 0 5105 3 0 0 25 0 4 0 731436315 387567616 42279 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 378484

[startup+102.3 s]
/proc/loadavg: 7.99 7.94 6.08 9/373 6106
/proc/meminfo: memFree=16812980/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=403156 CPUtime=407.95 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 160807 0 0 0 40756 39 0 0 25 0 4 0 731436315 412831744 50156 33554432000 4194304 4650419 140734588478880 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 100789 50156 395 112 0 95754 0
[pid=6069/tid=6070] ppid=6067 vsize=403156 CPUtime=102.29 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 46773 0 0 0 10218 11 0 0 25 0 4 0 731436315 412831744 50158 33554432000 4194304 4650419 140734588478880 18446744073709551615 4334361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=403156 CPUtime=102.3 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 45635 0 0 0 10219 11 0 0 25 0 4 0 731436315 412831744 50158 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=403156 CPUtime=102.3 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 27763 0 0 0 10223 7 0 0 25 0 4 0 731436315 412831744 50158 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 403156

[startup+162.3 s]

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

[pid=6069] ppid=6067 vsize=562276 CPUtime=2561.46 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 411836 0 0 0 256021 125 0 0 25 0 4 0 731436315 575770624 116497 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 140569 116497 395 112 0 135534 0
[pid=6069/tid=6070] ppid=6067 vsize=562276 CPUtime=642.27 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 118790 0 0 0 64192 35 0 0 25 0 4 0 731436315 575770624 116497 33554432000 4194304 4650419 140734588478880 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=562276 CPUtime=642.27 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 110686 0 0 0 64196 31 0 0 25 0 4 0 731436315 575770624 116497 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=562276 CPUtime=642.3 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 63584 0 0 0 64211 19 0 0 25 0 4 0 731436315 575770624 116497 33554432000 4194304 4650419 140734588478880 18446744073709551615 4328179 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2561.46
Current children cumulated vsize (KiB) 562276

[startup+702.301 s]
/proc/loadavg: 8.41 8.16 7.06 10/374 6125
/proc/meminfo: memFree=16169716/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=549612 CPUtime=2800.73 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 426200 0 0 0 279941 132 0 0 25 0 4 0 731436315 562802688 114597 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 137403 114597 395 112 0 132368 0
[pid=6069/tid=6070] ppid=6067 vsize=549612 CPUtime=702.27 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 122607 0 0 0 70190 37 0 0 25 0 4 0 731436315 562802688 114597 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=549612 CPUtime=702.28 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 114810 0 0 0 70194 34 0 0 25 0 4 0 731436315 562802688 114597 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=549612 CPUtime=702.3 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 64187 0 0 0 70211 19 0 0 25 0 4 0 731436315 562802688 114597 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.73
Current children cumulated vsize (KiB) 549612

[startup+762.301 s]
/proc/loadavg: 8.15 8.13 7.11 9/373 6127
/proc/meminfo: memFree=16153656/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=575572 CPUtime=3040.04 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 443427 0 0 0 303865 139 0 0 25 0 4 0 731436315 589385728 121073 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 143893 121073 395 112 0 138858 0
[pid=6069/tid=6070] ppid=6067 vsize=575572 CPUtime=762.29 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 126492 0 0 0 76190 39 0 0 25 0 4 0 731436315 589385728 121075 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=575572 CPUtime=762.29 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 122053 0 0 0 76192 37 0 0 25 0 4 0 731436315 589385728 121075 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=575572 CPUtime=762.31 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 65019 0 0 0 76212 19 0 0 25 0 4 0 731436315 589385728 121075 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.04
Current children cumulated vsize (KiB) 575572

[startup+822.301 s]
/proc/loadavg: 8.13 8.13 7.18 9/373 6129
/proc/meminfo: memFree=16114200/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=696108 CPUtime=3279.29 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 455817 0 0 0 327785 144 0 0 25 0 4 0 731436315 712814592 125564 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 174027 125564 395 112 0 168992 0
[pid=6069/tid=6070] ppid=6067 vsize=696108 CPUtime=822.28 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 128286 0 0 0 82188 40 0 0 25 0 4 0 731436315 712814592 125564 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=696108 CPUtime=822.27 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 123692 0 0 0 82189 38 0 0 25 0 4 0 731436315 712814592 125564 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=696108 CPUtime=822.3 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 65872 0 0 0 82211 19 0 0 25 0 4 0 731436315 712814592 125564 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3279.29
Current children cumulated vsize (KiB) 696108

[startup+882.314 s]
/proc/loadavg: 8.12 8.12 7.23 9/373 6131
/proc/meminfo: memFree=16066300/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=708664 CPUtime=3518.63 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 470763 0 0 0 351712 151 0 0 25 0 4 0 731436315 725671936 133185 33554432000 4194304 4650419 140734588478880 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 177166 133185 395 112 0 172131 0
[pid=6069/tid=6070] ppid=6067 vsize=708664 CPUtime=882.29 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 133572 0 0 0 88188 41 0 0 25 0 4 0 731436315 725671936 133185 33554432000 4194304 4650419 140734588478880 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=708664 CPUtime=882.28 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 128247 0 0 0 88187 41 0 0 25 0 4 0 731436315 725671936 133185 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=708664 CPUtime=882.31 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 66355 0 0 0 88212 19 0 0 25 0 4 0 731436315 725671936 133185 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.63
Current children cumulated vsize (KiB) 708664

[startup+942.301 s]
/proc/loadavg: 8.15 8.13 7.29 9/373 6133
/proc/meminfo: memFree=16078928/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=699556 CPUtime=3757.86 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 479056 0 0 0 375630 156 0 0 25 0 4 0 731436315 716345344 130102 33554432000 4194304 4650419 140734588478880 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 174889 130102 395 112 0 169854 0
[pid=6069/tid=6070] ppid=6067 vsize=699556 CPUtime=942.28 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 134747 0 0 0 94186 42 0 0 25 0 4 0 731436315 716345344 130102 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=699556 CPUtime=942.27 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 133127 0 0 0 94182 45 0 0 25 0 4 0 731436315 716345344 130102 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=699556 CPUtime=942.3 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 67301 0 0 0 94210 20 0 0 25 0 4 0 731436315 716345344 130102 33554432000 4194304 4650419 140734588478880 18446744073709551615 4334464 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3757.86
Current children cumulated vsize (KiB) 699556

[startup+1002.3 s]
/proc/loadavg: 8.15 8.13 7.34 9/373 6133
/proc/meminfo: memFree=16022344/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=724432 CPUtime=3997.12 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 502481 0 0 0 399547 165 0 0 25 0 4 0 731436315 741818368 139595 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 181108 139595 395 112 0 176073 0
[pid=6069/tid=6070] ppid=6067 vsize=724432 CPUtime=1002.26 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 136365 0 0 0 100184 42 0 0 25 0 4 0 731436315 741818368 139595 33554432000 4194304 4650419 140734588478880 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=724432 CPUtime=1002.27 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 137711 0 0 0 100180 47 0 0 25 0 4 0 731436315 741818368 139595 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=724432 CPUtime=1002.3 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 76367 0 0 0 100208 22 0 0 25 0 4 0 731436315 741818368 139595 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3997.12
Current children cumulated vsize (KiB) 724432

[startup+1062.3 s]
/proc/loadavg: 8.16 8.13 7.39 9/373 6135
/proc/meminfo: memFree=15972232/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=724540 CPUtime=4236.42 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 522068 0 0 0 423466 176 0 0 25 0 4 0 731436315 741928960 144366 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 181135 144366 395 112 0 176100 0
[pid=6069/tid=6070] ppid=6067 vsize=724540 CPUtime=1062.26 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 138793 0 0 0 106182 44 0 0 25 0 4 0 731436315 741928960 144366 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=724540 CPUtime=1062.26 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 139646 0 0 0 106178 48 0 0 25 0 4 0 731436315 741928960 144366 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=724540 CPUtime=1062.3 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 82673 0 0 0 106204 26 0 0 25 0 4 0 731436315 741928960 144366 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4236.42
Current children cumulated vsize (KiB) 724540

[startup+1122.3 s]
/proc/loadavg: 8.13 8.12 7.43 9/373 6137
/proc/meminfo: memFree=16001480/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=834280 CPUtime=4475.7 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 537823 0 0 0 447387 183 0 0 25 0 4 0 731436315 854302720 146626 33554432000 4194304 4650419 140734588478880 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 208570 146626 395 112 0 203535 0
[pid=6069/tid=6070] ppid=6067 vsize=834280 CPUtime=1122.24 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 145146 0 0 0 112179 45 0 0 25 0 4 0 731436315 854302720 146626 33554432000 4194304 4650419 140734588478880 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=834280 CPUtime=1122.27 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 141640 0 0 0 112177 50 0 0 25 0 4 0 731436315 854302720 146626 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=834280 CPUtime=1122.3 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 84787 0 0 0 112203 27 0 0 25 0 4 0 731436315 854302720 146626 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4475.7
Current children cumulated vsize (KiB) 834280

[startup+1182.3 s]
/proc/loadavg: 8.25 8.15 7.48 9/373 6139
/proc/meminfo: memFree=15958432/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=894260 CPUtime=4714.98 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 566338 0 0 0 471304 194 0 0 25 0 4 0 731436315 915722240 155847 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 223565 155848 395 112 0 218530 0
[pid=6069/tid=6070] ppid=6067 vsize=894260 CPUtime=1182.23 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 155762 0 0 0 118175 48 0 0 25 0 4 0 731436315 915722240 155848 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=894260 CPUtime=1182.27 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 149757 0 0 0 118174 53 0 0 25 0 4 0 731436315 915722240 155848 33554432000 4194304 4650419 140734588478880 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=894260 CPUtime=1182.3 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 89230 0 0 0 118201 29 0 0 25 0 4 0 731436315 915722240 155848 33554432000 4194304 4650419 140734588478880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4714.98
Current children cumulated vsize (KiB) 894260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.16 8.13 7.49 9/373 6139
/proc/meminfo: memFree=15926188/32951124 swapFree=45193364/67111528
[pid=6069] ppid=6067 vsize=900660 CPUtime=4800.34 cores=0,2,4,6
/proc/6069/stat : 6069 (strangenight1-m) R 6067 6069 5935 0 -1 4202496 576247 0 0 0 479836 198 0 0 25 0 4 0 731436315 922275840 159228 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6069/statm: 225165 159228 395 112 0 220130 0
[pid=6069/tid=6070] ppid=6067 vsize=900660 CPUtime=1203.64 cores=0,2,4,6
/proc/6069/task/6070/stat : 6070 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 157474 0 0 0 120315 49 0 0 25 0 4 0 731436315 922275840 159231 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6069/tid=6071] ppid=6067 vsize=900660 CPUtime=1203.68 cores=0,2,4,6
/proc/6069/task/6071/stat : 6071 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 152143 0 0 0 120314 54 0 0 25 0 4 0 731436315 922275840 159231 33554432000 4194304 4650419 140734588478880 18446744073709551615 4366900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6069/tid=6072] ppid=6067 vsize=900660 CPUtime=1203.72 cores=0,2,4,6
/proc/6069/task/6072/stat : 6072 (strangenight1-m) R 6067 6069 5935 0 -1 4202560 91865 0 0 0 120341 31 0 0 25 0 4 0 731436315 922275840 159231 33554432000 4194304 4650419 140734588478880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 900660

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.75
CPU time (s): 4800.41
CPU user time (s): 4798.41
CPU system time (s): 2.00869
CPU usage (%): 398.789
Max. virtual memory (cumulated for all children) (KiB): 946740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.41
system time used= 2.00869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 576250
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= 517
involuntary context switches= 21230

runsolver used 3.9624 second user time and 10.2974 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-15 00:27:36
IDJOB=3369092
IDBENCH=83101
IDSOLVER=1846
FILE ID=node118/3369092-1305412056
RUNJOBID= node118-1305410849-5953
PBS_JOBID= 13324527
Free space on /tmp= 73044 MiB

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

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

MD5SUM BENCH= a8d280a0ad5a42e6946605bb6356e226
RANDOM SEED=1628417270

node118.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.842
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.68
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.842
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.842
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.842
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17777708 kB
Buffers:        276132 kB
Cached:        4389288 kB
SwapCached:      22084 kB
Active:       12287936 kB
Inactive:      2582288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17777708 kB
SwapTotal:    67111528 kB
SwapFree:     45193364 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:    10196268 kB
Mapped:          15664 kB
Slab:           148284 kB
PageTables:      91088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 89223380 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= 73036 MiB
End job on node118 at 2011-05-15 00:47:42