Trace number 3175170

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-mtSAT 1837.67 460.054

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf
MD5SUMee861b5bc3d48577f06373bd13f4b8a5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.035993
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

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-3175170-1304094867.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.00	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.00	c -- vars added         50
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.37
0.39/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.39/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.39/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.39/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.39/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      26 undec:       1 neg:      23
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.17/0.80	c  N dy    10      4040        50      4450         0      3495     31150     64081     15.30     16.12  --
3.17/0.80	c  N dy    26      9879        50      4450         0      6340     31150    110198     15.36     16.29  --
3.17/0.80	c  N dy    38     16226        50      4450         0      8148     31150    137040     15.13     15.95  --
3.17/0.80	c  N dy    61     20283        50      4450         0      6817     31150    109234     15.32     17.51  --
3.97/1.10	c  F st    79     25002        50      4450         0     10921     31150    182942     15.33     13.46  --
3.97/1.10	c  N st    79     25002        50      4450         0     10921     31150    182942     15.33     13.46  --
4.78/1.21	c  N dy    85     30001        50      4450         0      9363     31150    149670     15.33   no data  --
4.78/1.21	c  S st    85     30001        50      4450         0      9363     31150    149670     15.33   no data  --
4.78/1.25	c  S st    85     30503        50      4450         0      9818     31150    158377     15.33   no data  --
4.78/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.78/1.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.78/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.78/1.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.78/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.78/1.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.78/1.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.36/2.16	c lits-rem:      1264  cl-subs:     1604  v-elim:      0  v-fix:    0  time:  3.62 s
9.18/2.39	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.90
9.18/2.39	c calculated reachability. Time: 0.00
9.18/2.39	c  N dy    85     30503        50      4450         0      8214     31150    130835     15.33   no data  --
10.35/2.69	c  N dy   112     36810        50      4450         0      6937     31150     98905     15.36     16.18  --
11.96/3.09	c  N dy   137     45101        50      4450         0     14065     31150    226967     15.35     16.36  --
12.36/3.13	c  S st   144     45756        50      4450         0     14632     31150    237719     15.38   no data  --
12.36/3.18	c  S st   144     46261        50      4450         0     15086     31150    246506     15.38   no data  --
12.36/3.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.36/3.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.36/3.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.36/3.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.36/3.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.36/3.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.36/3.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.15/4.37	c lits-rem:      2062  cl-subs:     2660  v-elim:      0  v-fix:    0  time:  4.71 s
17.15/4.37	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.15/4.37	c vivif2 --  cl tried    12426 cl shrink        0 lits rem          0 time: 0.01
18.75/4.70	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.28
18.75/4.70	c calculated reachability. Time: 0.00
18.75/4.70	c  N dy   144     46261        50      4450         0     12426     31150    198889     15.38   no data  --
19.94/5.08	c  N dy   168     53159        50      4450         0     10915     31150    162377     15.36     16.17  --
22.73/5.74	c  N dy   197     65205        50      4450         0     12788     31150    187542     15.27     16.11  --
23.93/6.01	c  N dy   227     69391        50      4450         0     16431     31150    255172     15.35   no data  --
23.93/6.01	c  S st   227     69391        50      4450         0     16431     31150    255172     15.35   no data  --
23.93/6.06	c  S st   227     69899        50      4450         0     16882     31150    264046     15.35   no data  --
23.93/6.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.93/6.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.93/6.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.93/6.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.93/6.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.93/6.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
23.93/6.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.73/7.23	c lits-rem:      1925  cl-subs:     2826  v-elim:      0  v-fix:    0  time:  4.62 s
28.73/7.23	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.73/7.23	c vivif2 --  cl tried    14056 cl shrink        0 lits rem          0 time: 0.01
29.93/7.56	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.31
29.93/7.56	c calculated reachability. Time: 0.00
29.93/7.56	c  N dy   227     69899        50      4450         0     14056     31150    214703     15.35   no data  --
31.92/8.01	c  N dy   256     76038        50      4450         0     10110     31150    134637     15.40     16.32  --
33.12/8.31	c  N dy   295     80937        50      4450         0     14397     31150    214641     15.48     16.46  --
34.72/8.76	c  F st   320     87500        50      4450         0     20058     31150    317188     15.49     14.58  --
34.72/8.76	c  N st   320     87500        50      4450         0     20058     31150    317188     15.49     14.58  --
35.92/9.08	c  N dy   330     93103        50      4450         0     14612     31150    212070     15.50     16.32  --
37.92/9.59	c  N dy   362    100405        50      4450         0     21015     31150    329999     15.53     16.46  --
39.53/9.90	c  S st   378    104848        50      4450         0     13643     31150    187504     15.54     14.22  --
39.53/9.95	c  S st   378    105353        50      4450         0     14100     31150    196203     15.54   no data  --
39.53/9.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.53/9.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.53/9.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
39.53/9.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.53/9.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.53/9.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.53/9.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.92/11.04	c lits-rem:       773  cl-subs:      801  v-elim:      0  v-fix:    0  time:  4.32 s
43.92/11.04	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
43.92/11.04	c vivif2 --  cl tried    13299 cl shrink        0 lits rem          0 time: 0.01
45.10/11.36	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.27
45.10/11.36	c calculated reachability. Time: 0.00
45.10/11.36	c  N dy   378    105353        50      4450         0     13299     31150    181348     15.54   no data  --
47.10/11.81	c  N dy   386    112748        50      4450         0     19700     31150    295588     15.47     16.33  --
49.50/12.44	c  N dy   425    120944        50      4450         0     14722     31150    197496     15.50     16.34  --
51.90/13.02	c  N dy   459    129050        50      4450         0     21770     31150    328540     15.53     16.37  --
58.29/14.69	c  N dy   475    154195        50      4450         0     16571     31150    214689     15.26     16.11  --
59.89/15.00	c  S st   512    158029        50      4450         0     19932     31150    277551     15.30   no data  --
59.89/15.05	c  S st   512    158529        50      4450         0     20380     31150    286206     15.30   no data  --
59.89/15.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.89/15.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.89/15.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
59.89/15.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.89/15.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.89/15.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
59.89/15.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.09/16.37	c lits-rem:      1418  cl-subs:     2196  v-elim:      0  v-fix:    0  time:  5.21 s
65.09/16.37	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
65.09/16.37	c vivif2 --  cl tried    18184 cl shrink        0 lits rem          0 time: 0.01
66.68/16.73	c asymm  cl-useful: 0/3747/4450 lits-rem:0 time: 1.42
66.68/16.73	c calculated reachability. Time: 0.00
66.68/16.73	c  N dy   512    158529        50      4450         0     18184     31150    248998     15.30   no data  --
70.30/17.67	c  N dy   590    168663        50      4450         0     26976     31150    413742     15.39     18.03  --
74.68/18.76	c  N dy   636    181714        50      4450         0     23734     31150    341523     15.39     16.25  --
79.08/19.84	c  N dy   680    193332        50      4450         0     18311     31150    237992     15.39     16.63  --
83.88/21.08	c  N dy   746    205791        50      4450         0     29178     31150    438430     15.44     16.29  --
89.04/22.32	c  N dy   776    219158        50      4450         0     24288     31150    334490     15.41     16.23  --
95.44/23.96	c  N dy   891    233279        50      4450         0     19239     31150    239237     15.49     16.38  --
97.06/24.34	c  S st   914    237794        50      4450         0     23157     31150    311052     15.50     13.99  --
97.44/24.40	c  S st   914    238296        50      4450         0     23592     31150    319477     15.50   no data  --
97.44/24.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
97.44/24.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.44/24.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
97.44/24.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.44/24.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.44/24.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
97.44/24.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.43/25.95	c lits-rem:      1237  cl-subs:     1742  v-elim:      0  v-fix:    0  time:  6.13 s
103.43/25.95	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
103.43/25.96	c vivif2 --  cl tried    21850 cl shrink        0 lits rem          0 time: 0.01
103.83/26.05	c asymm  cl-useful: 0/703/4450 lits-rem:0 time: 0.36
103.83/26.05	c calculated reachability. Time: 0.00
103.83/26.05	c  N dy   914    238296        50      4450         0     21850     31150    286741     15.50   no data  --
110.25/27.69	c  N dy   993    253562        50      4450         0     35048     31150    531552     15.54     17.11  --
117.02/29.30	c  N dy  1056    270205        50      4450         0     31424     31150    453655     15.55     16.37  --
125.40/31.43	c  N dy  1079    292670        50      4450         0     31655     31150    435014     15.44     16.45  --
131.00/32.82	c  F st  1121    306250        50      4450         0     23551     31150    294075     15.43     14.34  --
132.60/33.25	c  N dy  1127    311448        50      4450         0     28038     31150    377753     15.43   no data  --
142.58/35.71	c  N dy  1241    332106        50      4450         0     25244     31150    319665     15.47     16.48  --
152.57/38.26	c  N dy  1325    353182        50      4450         0     21907     31150    252157     15.47     16.42  --
154.19/38.66	c  S st  1346    357445        50      4450         0     25636     31150    320607     15.48     14.83  --
154.56/38.73	c  S st  1346    357946        50      4450         0     26069     31150    329140     15.48   no data  --
154.56/38.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
154.56/38.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.56/38.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
154.56/38.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.56/38.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.56/38.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
154.56/38.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
161.75/40.52	c lits-rem:      1133  cl-subs:     1281  v-elim:      0  v-fix:    0  time:  7.06 s
161.75/40.52	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
161.75/40.52	c vivif2 --  cl tried    24788 cl shrink        0 lits rem          0 time: 0.02
162.97/40.86	c asymm  cl-useful: 0/2972/4450 lits-rem:0 time: 1.35
162.97/40.87	c calculated reachability. Time: 0.00
162.97/40.87	c  N dy  1346    357946        50      4450         0     24788     31150    305294     15.48   no data  --
177.33/44.42	c  N dy  1417    386663        50      4450         0     27121     31150    336123     15.44     16.37  --
189.34/47.46	c  N dy  1516    406682        50      4450         0     44385     31150    652822     15.46     18.23  --
198.91/49.88	c  N dy  1576    426835        50      4450         0     38553     31150    535460     15.45     16.28  --
222.87/55.83	c  N dy  1672    477196        50      4450         0     32524     31150    399197     15.35     16.57  --
234.45/58.79	c  N dy  1792    497234        50      4450         0     49928     31150    721902     15.38     17.08  --
245.64/61.56	c  N dy  1895    517285        50      4450         0     41421     31150    570295     15.40     17.10  --
256.83/64.39	c  S st  1995    536922        50      4450         0     31676     31150    388134     15.42     14.04  --
257.23/64.47	c  S st  1995    537425        50      4450         0     32114     31150    396512     15.42   no data  --
257.23/64.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.23/64.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
257.23/64.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
257.23/64.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.23/64.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.23/64.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
257.23/64.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
267.21/66.92	c lits-rem:      1332  cl-subs:     1494  v-elim:      0  v-fix:    0  time:  9.68 s
267.21/66.92	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
267.21/66.92	c vivif2 --  cl tried    30620 cl shrink        0 lits rem          0 time: 0.02
268.02/67.18	c asymm  cl-useful: 0/1478/4450 lits-rem:0 time: 1.03
268.02/67.19	c calculated reachability. Time: 0.00
268.02/67.19	c  N dy  1995    537425        50      4450         0     30620     31150    367650     15.42   no data  --
279.19/69.91	c  N dy  2085    557526        50      4450         0     47903     31150    686268     15.44     16.26  --
292.38/73.29	c  N dy  2248    577547        50      4450         0     37778     31150    494766     15.49     16.62  --
305.56/76.50	c  N dy  2291    598596        50      4450         0     55892     31150    818815     15.47     16.29  --
324.74/81.31	c  N dy  2316    636622        50      4450         0     30649     31150    345106     15.36     16.19  --
336.32/84.23	c  N dy  2438    656850        50      4450         0     48147     31150    670693     15.39     16.21  --
352.69/88.37	c  N dy  2579    677491        50      4450         0     36028     31150    440949     15.42     16.28  --
365.47/91.56	c  N dy  2670    697506        50      4450         0     53207     31150    755498     15.43     17.10  --
380.66/95.36	c  N dy  2813    717533        50      4450         0     39608     31150    501480     15.47     17.99  --
395.46/99.04	c  N dy  2872    738220        50      4450         0     57351     31150    821209     15.46     16.35  --
409.42/102.54	c  N dy  2974    758276        50      4450         0     42773     31150    549320     15.48     17.16  --
428.99/107.41	c  N dy  3061    785178        50      4450         0     33139     31150    362911     15.47     16.35  --
441.38/110.57	c  N dy  3166    806140        50      4450         0     51108     31150    693801     15.48     14.90  --
441.38/110.57	c  S st  3166    806140        50      4450         0     51108     31150    693801     15.48     14.90  --
442.18/110.72	c  S st  3166    806643        50      4450         0     51561     31150    702579     15.48   no data  --
442.18/110.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
442.18/110.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
442.18/110.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
442.18/110.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
442.18/110.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.18/110.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
442.18/110.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
465.77/116.69	c lits-rem:      2347  cl-subs:     5890  v-elim:      0  v-fix:    0  time: 23.71 s
465.77/116.70	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
466.17/116.70	c vivif2 --  cl tried    45671 cl shrink        0 lits rem          0 time: 0.03
466.94/116.91	c asymm  cl-useful: 0/922/4450 lits-rem:0 time: 0.84
466.94/116.91	c calculated reachability. Time: 0.00
466.94/116.91	c  N dy  3166    806643        50      4450         0     45671     31150    597007     15.48   no data  --
485.32/121.53	c  N dy  3309    826705        50      4450         0     63001     31150    922142     15.51     16.73  --
499.30/125.01	c  N dy  3404    846880        50      4450         0     47226     31150    612158     15.51     16.34  --
524.06/131.25	c  N dy  3494    882776        50      4450         0     43761     31150    531035     15.49     16.31  --
541.64/135.63	c  N dy  3575    907137        50      4450         0     64629     31150    909095     15.48     16.34  --
556.42/139.34	c  N dy  3659    927209        50      4450         0     46862     31150    595845     15.49     16.34  --
576.39/144.33	c  N dy  3758    951335        50      4450         0     67585     31150    973466     15.50     16.34  --
593.19/148.58	c  N dy  3875    974132        50      4450         0     51230     31150    667305     15.51     16.40  --
611.54/153.14	c  N dy  3992    994236        50      4450         0     68618     31150    990808     15.52     16.47  --
628.34/157.34	c  N dy  4093   1015159        50      4450         0     49605     31150    626864     15.53     16.44  --
648.30/162.35	c  N dy  4171   1040570        50      4450         0     71310     31150   1018258     15.53     16.42  --
663.89/166.25	c  N dy  4237   1060963        50      4450         0     50924     31150    639530     15.52     16.35  --
672.69/168.44	c  F st  4276   1071875        50      4450         0     60302     31150    810096     15.52     14.57  --
682.25/170.80	c  N dy  4295   1082435        50      4450         0     69318     31150    974791     15.52     16.44  --
701.02/175.51	c  N dy  4352   1105783        50      4450         0     50726     31150    628944     15.52     16.43  --
719.00/180.05	c  N dy  4466   1125808        50      4450         0     67895     31150    947960     15.53     16.37  --
736.58/184.42	c  N dy  4507   1145898        50      4450         0     45585     31150    527983     15.51     17.15  --
750.95/188.09	c  N dy  4529   1169390        50      4450         0     65564     31150    874208     15.49     16.36  --
774.52/193.95	c  N dy  4660   1189461        50      4450         0     42725     31150    476450     15.50     16.50  --
790.10/197.80	c  N dy  4718   1209965        50      4450         0     60219     31150    790524     15.49     12.87  --
790.10/197.80	c  S st  4718   1209965        50      4450         0     60219     31150    790524     15.49     12.87  --
790.50/197.99	c  S st  4718   1210468        50      4450         0     60672     31150    799536     15.49   no data  --
790.50/197.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
790.50/197.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
790.91/198.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
790.91/198.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
790.91/198.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
790.91/198.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
790.91/198.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
851.22/213.15	c lits-rem:      2659  cl-subs:     6926  v-elim:      0  v-fix:    0  time: 60.32 s
851.22/213.15	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
851.22/213.16	c vivif2 --  cl tried    53746 cl shrink        0 lits rem          0 time: 0.04
852.84/213.56	c asymm  cl-useful: 0/646/4450 lits-rem:0 time: 1.59
852.84/213.56	c calculated reachability. Time: 0.00
852.84/213.56	c  N dy  4718   1210468        50      4450         0     53746     31150    681821     15.49   no data  --
874.81/219.05	c  N dy  4827   1230500        50      4450         0     70920     31150   1000970     15.50     17.66  --
899.55/225.26	c  N dy  4974   1252809        50      4450         0     49510     31150    594633     15.52     16.42  --
922.74/231.02	c  N dy  5074   1281571        50      4450         0     74133     31150   1046569     15.52     16.34  --
942.69/236.01	c  N dy  5142   1301672        50      4450         0     49593     31150    589088     15.52     17.23  --
962.69/241.01	c  N dy  5224   1321732        50      4450         0     66781     31150    903304     15.52     17.54  --
994.62/249.04	c  N dy  5332   1346003        50      4450         0     44871     31150    491309     15.52     16.37  --
1013.00/253.66	c  N dy  5438   1366010        50      4450         0     62012     31150    809029     15.53     16.99  --
1034.97/259.17	c  N dy  5551   1386048        50      4450         0     79207     31150   1128857     15.54     17.46  --
1055.34/264.28	c  N dy  5629   1407436        50      4450         0     53931     31150    650544     15.54     16.56  --
1074.52/269.03	c  N dy  5742   1427650        50      4450         0     71262     31150    972159     15.55     16.38  --
1095.68/274.33	c  N dy  5791   1447689        50      4450         0     88368     31150   1281510     15.55     17.89  --
1117.65/279.82	c  N dy  5798   1481600        50      4450         0     72499     31150    951455     15.51     16.33  --
1144.02/286.43	c  N dy  5898   1505386        50      4450         0     47694     31150    522718     15.51     16.43  --
1162.00/290.92	c  N dy  6041   1525460        50      4450         0     64923     31150    847903     15.53     17.19  --
1185.17/296.70	c  N dy  6151   1545537        50      4450         0     82139     31150   1169049     15.54     17.10  --
1209.13/302.70	c  N dy  6242   1565698        50      4450         0     53256     31150    614865     15.54     16.48  --
1226.33/307.01	c  N dy  6325   1586157        50      4450         0     70783     31150    935358     15.54     16.49  --
1253.47/313.87	c  N dy  6471   1607299        50      4450         0     88960     31150   1276122     15.56     16.41  --
1275.45/319.35	c  N dy  6606   1627389        50      4450         0     59091     31150    717885     15.57     16.45  --
1297.81/324.90	c  N dy  6747   1647696        50      4450         0     76534     31150   1046197     15.58     16.41  --
1324.18/331.53	c  N dy  6852   1667697        50      4450         0     93678     31150   1364999     15.59     16.54  --
1344.97/336.78	c  N dy  7006   1687767        50      4450         0     62908     31150    790784     15.60     17.49  --
1364.52/341.62	c  N dy  7060   1707779        50      4450         0     79916     31150   1092239     15.59     17.07  --
1368.12/342.55	c  S st  7074   1710469        50      4450         0     82251     31150   1135898     15.59     14.51  --
1369.32/342.86	c  S st  7074   1710973        50      4450         0     82709     31150   1144909     15.59   no data  --
1369.32/342.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1369.32/342.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1369.72/342.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1369.72/342.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1369.72/342.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1369.72/342.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1369.72/342.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1517.91/380.00	c lits-rem:      4866  cl-subs:    11780  v-elim:      0  v-fix:    0  time: 147.97 s
1517.91/380.00	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1517.91/380.02	c vivif2 --  cl tried    70929 cl shrink        0 lits rem          0 time: 0.06
1519.51/380.46	c asymm  cl-useful: 0/475/4450 lits-rem:0 time: 1.78
1519.51/380.46	c calculated reachability. Time: 0.00
1519.51/380.46	c  N dy  7074   1710973        50      4450         0     70929     31150    937268     15.59   no data  --
1552.67/388.70	c  N dy  7176   1731653        50      4450         0     88653     31150   1265413     15.60     16.58  --
1580.23/395.67	c  N dy  7230   1754435        50      4450         0     60053     31150    720936     15.60     16.42  --
1606.59/402.29	c  N dy  7382   1774494        50      4450         0     77311     31150   1048086     15.61     17.78  --
1640.95/410.82	c  N dy  7456   1794581        50      4450         0     94516     31150   1365182     15.61     17.18  --
1680.09/420.67	c  N dy  7567   1826782        50      4450         0     72760     31150    945158     15.61     16.49  --
1708.05/427.61	c  N dy  7617   1848278        50      4450         0     91034     31150   1266536     15.60     16.45  --
1737.61/435.02	c  N dy  7727   1868326        50      4450         0     58050     31150    676303     15.60     17.11  --
1758.78/440.31	c  N dy  7831   1888362        50      4450         0     75212     31150    993886     15.61     18.32  --
1783.97/446.64	c  N dy  7919   1908441        50      4450         0     92345     31150   1309890     15.61     18.56  --
1808.32/452.70	c  N dy  8000   1928479        50      4450         0     58243     31150    669748     15.61     16.63  --
1827.91/457.60	c  N dy  8104   1948515        50      4450         0     75348     31150    987500     15.62     16.49  --
1837.47/460.04	c Following stats are for *FIRST FINISHED THREAD ONLY*
1837.47/460.04	c num threads              : 4          
1837.47/460.04	c restarts                 : 8307       
1837.47/460.04	c dynamic restarts         : 8277       
1837.47/460.04	c static restarts          : 30         
1837.47/460.04	c full restarts            : 4          
1837.47/460.04	c total simplify time      : 0.01       
1837.47/460.04	c learnts DL2              : 0          
1837.47/460.04	c learnts size 2           : 0          
1837.47/460.04	c learnts size 1           : 0           (0.00      % of vars)
1837.47/460.04	c filedLit time            : 0.45        (0.02      % time)
1837.47/460.04	c v-elim SatELite          : 0           (0.00      % vars)
1837.47/460.04	c SatELite time            : 207.69      (11.31     % time)
1837.47/460.04	c v-elim xor               : 0           (0.00      % vars)
1837.47/460.04	c xor elim time            : 0.06        (0.00      % time)
1837.47/460.04	c num binary xor trees     : 0          
1837.47/460.04	c binxor trees' crown      : 0           (nan       leafs/tree)
1837.47/460.04	c bin xor find time        : 0.00       
1837.47/460.04	c OTF clause improved      : 281229      (0.14      clauses/conflict)
1837.47/460.04	c OTF impr. size diff      : 283129      (1.01       lits/clause)
1837.47/460.04	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
1837.47/460.04	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
1837.47/460.04	c tried to recurMin cls    : 150012      (7.54       % of conflicts)
1837.47/460.04	c updated cache            : 7           (0.00       lits/tried recurMin)
1837.47/460.04	c unit cls received        : 0           (nan       % of units)
1837.47/460.04	c unit cls sent            : 0           (nan       % of units)
1837.47/460.04	c bin cls received         : 0          
1837.47/460.04	c bin cls sent             : 0          
1837.47/460.04	c clauses over max glue    : 0           (0.00      % of all clauses)
1837.47/460.04	c conflicts                : 1990647     (1083.76   / sec)
1837.47/460.04	c decisions                : 2280631     (0.46      % random)
1837.47/460.04	c bogo-props               : 62294445201 (33914718.50 / sec)
1837.47/460.04	c conflict literals        : 36184471    (11.31     % deleted)
1837.47/460.04	c Memory used              : 460.65      MB
1837.47/460.04	c single-thread CPU time   : 1836.80     s
1837.47/460.04	c all-threads sum CPU time : 1836.80     s
1837.47/460.04	s SATISFIABLE
1837.47/460.04	v 1 -2 3 -4 -5 -6 -7 -8 -9 10 -11 12 -13 -14 15 -16 -17 -18 19 -20 21 22 -23 24 -25 -26 27 -28 29 30 31 -32 33 34 35 36 -37 38 39 40 -41 -42 -43 -44 45 -46 47 48 49 -50 0

Verifier Data 

OK

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-3175170-1304094867/watcher-3175170-1304094867 -o /tmp/evaluation-result-3175170-1304094867/solver-3175170-1304094867 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175170-1304094867.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: 6.80 7.80 7.90 3/176 25014
/proc/meminfo: memFree=25306116/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=273580 CPUtime=0 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) S 25012 25014 24182 0 -1 4202496 722 0 0 0 0 0 0 0 23 0 4 0 521089441 280145920 640 33554432000 4194304 4650419 140733521620064 18446744073709551615 218371062254 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 68395 642 343 112 0 63360 0
[pid=25014/tid=25018] ppid=25012 vsize=273580 CPUtime=0 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 54 0 0 0 0 0 0 0 24 0 4 0 521089441 280145920 648 33554432000 4194304 4650419 140733521620064 18446744073709551615 218370618053 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=273580 CPUtime=0 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 86 0 0 0 0 0 0 0 24 0 4 0 521089441 280145920 650 33554432000 4194304 4650419 140733521620064 18446744073709551615 4373896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=273580 CPUtime=0 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) S 25012 25014 24182 0 -1 4202560 92 0 0 0 0 0 0 0 24 0 4 0 521089441 280145920 650 33554432000 4194304 4650419 140733521620064 18446744073709551615 218371062254 0 0 4096 2 18446604453918529600 0 0 -1 2 0 0 0

[startup+0.103757 s]
/proc/loadavg: 6.80 7.80 7.90 3/176 25014
/proc/meminfo: memFree=25306116/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=292072 CPUtime=0.39 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 1846 0 0 0 39 0 0 0 18 0 4 0 521089441 299081728 1673 33554432000 4194304 4650419 140733521620064 18446744073709551615 218370618401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 70966 1632 382 112 0 65931 0
[pid=25014/tid=25018] ppid=25012 vsize=283864 CPUtime=0.09 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 253 0 0 0 9 0 0 0 18 0 4 0 521089441 290676736 1636 33554432000 4194304 4650419 140733521620064 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=283864 CPUtime=0.09 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 545 0 0 0 9 0 0 0 18 0 4 0 521089441 290676736 1640 33554432000 4194304 4650419 140733521620064 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=283864 CPUtime=0.09 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 304 0 0 0 9 0 0 0 24 0 4 0 521089441 290676736 1644 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 292072

[startup+0.200742 s]
/proc/loadavg: 6.80 7.80 7.90 3/176 25014
/proc/meminfo: memFree=25306116/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=284272 CPUtime=0.77 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 2718 0 0 0 77 0 0 0 18 0 4 0 521089441 291094528 2337 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 71068 2337 390 112 0 66033 0
[pid=25014/tid=25018] ppid=25012 vsize=284272 CPUtime=0.19 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 602 0 0 0 19 0 0 0 18 0 4 0 521089441 291094528 2337 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=284272 CPUtime=0.19 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 617 0 0 0 19 0 0 0 18 0 4 0 521089441 291094528 2337 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=284272 CPUtime=0.19 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 462 0 0 0 19 0 0 0 24 0 4 0 521089441 291094528 2337 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 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) 284272

[startup+0.300723 s]
/proc/loadavg: 6.80 7.80 7.90 3/176 25014
/proc/meminfo: memFree=25306116/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=284880 CPUtime=1.17 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 3329 0 0 0 117 0 0 0 18 0 4 0 521089441 291717120 2537 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 71220 2537 390 112 0 66185 0
[pid=25014/tid=25018] ppid=25012 vsize=284880 CPUtime=0.29 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 817 0 0 0 29 0 0 0 18 0 4 0 521089441 291717120 2537 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=284880 CPUtime=0.29 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 777 0 0 0 29 0 0 0 18 0 4 0 521089441 291717120 2537 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=284880 CPUtime=0.29 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 521 0 0 0 29 0 0 0 25 0 4 0 521089441 291717120 2537 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365343 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) 284880

[startup+0.700652 s]
/proc/loadavg: 6.80 7.80 7.90 3/176 25014
/proc/meminfo: memFree=25306116/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=295068 CPUtime=2.77 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 5466 0 0 0 277 0 0 0 18 0 4 0 521089441 302149632 3427 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 73767 3434 390 112 0 68732 0
[pid=25014/tid=25018] ppid=25012 vsize=295068 CPUtime=0.69 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 1404 0 0 0 69 0 0 0 18 0 4 0 521089441 302149632 3438 33554432000 4194304 4650419 140733521620064 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=295068 CPUtime=0.69 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 1361 0 0 0 69 0 0 0 18 0 4 0 521089441 302149632 3443 33554432000 4194304 4650419 140733521620064 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=295068 CPUtime=0.69 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 1089 0 0 0 69 0 0 0 25 0 4 0 521089441 302149632 3448 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 295068

[startup+1.50051 s]
/proc/loadavg: 6.80 7.80 7.90 11/184 25022
/proc/meminfo: memFree=25280260/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=287384 CPUtime=5.97 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 9213 0 0 0 596 1 0 0 19 0 4 0 521089441 294281216 4666 33554432000 4194304 4650419 140733521620064 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 71846 4667 392 112 0 66811 0
[pid=25014/tid=25018] ppid=25012 vsize=287384 CPUtime=1.49 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 2152 0 0 0 149 0 0 0 20 0 4 0 521089441 294281216 4667 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=287384 CPUtime=1.49 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 2083 0 0 0 149 0 0 0 20 0 4 0 521089441 294281216 4667 33554432000 4194304 4650419 140733521620064 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=287384 CPUtime=1.48 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 1771 0 0 0 148 0 0 0 25 0 4 0 521089441 294281216 4667 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287384

[startup+3.10022 s]
/proc/loadavg: 6.80 7.80 7.90 10/184 25022
/proc/meminfo: memFree=25232220/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=285380 CPUtime=12.36 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 14577 0 0 0 1234 2 0 0 25 0 4 0 521089441 292229120 8961 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 71345 8961 392 112 0 66310 0
[pid=25014/tid=25018] ppid=25012 vsize=285380 CPUtime=3.09 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 3458 0 0 0 309 0 0 0 25 0 4 0 521089441 292229120 8961 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=285380 CPUtime=3.09 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 3837 0 0 0 309 0 0 0 25 0 4 0 521089441 292229120 8961 33554432000 4194304 4650419 140733521620064 18446744073709551615 4370723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=285380 CPUtime=3.07 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 3647 0 0 0 307 0 0 0 25 0 4 0 521089441 292229120 8961 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366896 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) 285380

[startup+6.30066 s]
/proc/loadavg: 6.90 7.80 7.90 10/184 25022
/proc/meminfo: memFree=25201348/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=276136 CPUtime=25.14 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 21190 0 0 0 2510 4 0 0 25 0 4 0 521089441 282763264 11869 33554432000 4194304 4650419 140733521620064 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 69034 11869 392 112 0 63999 0
[pid=25014/tid=25018] ppid=25012 vsize=276136 CPUtime=6.28 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 5428 0 0 0 627 1 0 0 25 0 4 0 521089441 282763264 11869 33554432000 4194304 4650419 140733521620064 18446744073709551615 4360427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=276136 CPUtime=6.29 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 4999 0 0 0 629 0 0 0 25 0 4 0 521089441 282763264 11869 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=276136 CPUtime=6.25 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 5402 0 0 0 625 0 0 0 25 0 4 0 521089441 282763264 11869 33554432000 4194304 4650419 140733521620064 18446744073709551615 4363426 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) 276136

[startup+12.7005 s]
/proc/loadavg: 6.99 7.80 7.90 10/184 25022
/proc/meminfo: memFree=25166056/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=297948 CPUtime=50.7 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 29019 0 0 0 5065 5 0 0 25 0 4 0 521089441 305098752 15735 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 74487 15735 392 112 0 69452 0
[pid=25014/tid=25018] ppid=25012 vsize=297948 CPUtime=12.68 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 7346 0 0 0 1267 1 0 0 25 0 4 0 521089441 305098752 15735 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=297948 CPUtime=12.69 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 6776 0 0 0 1269 0 0 0 25 0 4 0 521089441 305098752 15735 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=297948 CPUtime=12.61 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 8368 0 0 0 1261 0 0 0 25 0 4 0 521089441 305098752 15735 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365311 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) 297948

[startup+25.5002 s]
/proc/loadavg: 7.21 7.81 7.90 10/184 25023
/proc/meminfo: memFree=25125268/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=308500 CPUtime=101.83 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 44794 0 0 0 10175 8 0 0 25 0 4 0 521089441 315904000 19128 33554432000 4194304 4650419 140733521620064 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 77125 19128 392 112 0 72090 0
[pid=25014/tid=25018] ppid=25012 vsize=308500 CPUtime=25.48 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 10721 0 0 0 2546 2 0 0 25 0 4 0 521089441 315904000 19128 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=308500 CPUtime=25.48 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 10304 0 0 0 2548 0 0 0 25 0 4 0 521089441 315904000 19128 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=308500 CPUtime=25.35 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 13015 0 0 0 2533 2 0 0 25 0 4 0 521089441 315904000 19128 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 308500

[startup+51.1007 s]
/proc/loadavg: 7.69 7.87 7.92 10/184 25023
/proc/meminfo: memFree=25091616/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=290032 CPUtime=204.1 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 67636 0 0 0 20395 15 0 0 25 0 4 0 521089441 296992768 22647 33554432000 4194304 4650419 140733521620064 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 72508 22647 392 112 0 67473 0
[pid=25014/tid=25018] ppid=25012 vsize=290032 CPUtime=51.08 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 17022 0 0 0 5104 4 0 0 25 0 4 0 521089441 296992768 22647 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=290032 CPUtime=51.09 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 15620 0 0 0 5107 2 0 0 25 0 4 0 521089441 296992768 22647 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=290032 CPUtime=50.82 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 19155 0 0 0 5078 4 0 0 25 0 4 0 521089441 296992768 22647 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 290032

[startup+102.301 s]
/proc/loadavg: 7.87 7.89 7.92 10/184 25025
/proc/meminfo: memFree=25046572/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=322012 CPUtime=408.64 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 105096 0 0 0 40836 28 0 0 25 0 4 0 521089441 329740288 26047 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 80503 26047 392 112 0 75468 0
[pid=25014/tid=25018] ppid=25012 vsize=322012 CPUtime=102.27 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 23466 0 0 0 10221 6 0 0 25 0 4 0 521089441 329740288 26047 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=322012 CPUtime=102.3 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 25086 0 0 0 10224 6 0 0 25 0 4 0 521089441 329740288 26047 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=322012 CPUtime=101.75 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 31187 0 0 0 10168 7 0 0 25 0 4 0 521089441 329740288 26047 33554432000 4194304 4650419 140733521620064 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 322012

[startup+162.301 s]

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

/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 50505 0 0 0 22097 13 0 0 25 0 4 0 521089441 325459968 40013 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.99
Current children cumulated vsize (KiB) 317832

[startup+282.3 s]
/proc/loadavg: 8.20 8.01 7.95 10/184 25030
/proc/meminfo: memFree=24845612/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=350640 CPUtime=1127.64 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 200965 0 0 0 112704 60 0 0 25 0 4 0 521089441 359055360 45728 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 87660 45728 392 112 0 82625 0
[pid=25014/tid=25018] ppid=25012 vsize=350640 CPUtime=282.26 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 44455 0 0 0 28213 13 0 0 25 0 4 0 521089441 359055360 45728 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=350640 CPUtime=282.29 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 49440 0 0 0 28215 14 0 0 25 0 4 0 521089441 359055360 45728 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=350640 CPUtime=280.77 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 56579 0 0 0 28061 16 0 0 25 0 4 0 521089441 359055360 45728 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1127.64
Current children cumulated vsize (KiB) 350640

[startup+342.301 s]
/proc/loadavg: 8.19 8.04 7.96 10/184 25031
/proc/meminfo: memFree=24798968/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=417048 CPUtime=1367.32 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 231241 0 0 0 136660 72 0 0 25 0 4 0 521089441 427057152 49694 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 104262 49694 392 112 0 99227 0
[pid=25014/tid=25018] ppid=25012 vsize=417048 CPUtime=342.25 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 51353 0 0 0 34209 16 0 0 25 0 4 0 521089441 427057152 49694 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=417048 CPUtime=342.29 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 56205 0 0 0 34212 17 0 0 25 0 4 0 521089441 427057152 49694 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=417048 CPUtime=340.44 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 66540 0 0 0 34025 19 0 0 25 0 4 0 521089441 427057152 49694 33554432000 4194304 4650419 140733521620064 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1367.32
Current children cumulated vsize (KiB) 417048

[startup+402.301 s]
/proc/loadavg: 8.18 8.06 7.97 10/184 25033
/proc/meminfo: memFree=24769176/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=459732 CPUtime=1606.99 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 246106 0 0 0 160621 78 0 0 25 0 4 0 521089441 470765568 54728 33554432000 4194304 4650419 140733521620064 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 114933 54728 392 112 0 109898 0
[pid=25014/tid=25018] ppid=25012 vsize=459732 CPUtime=402.24 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 55135 0 0 0 40207 17 0 0 25 0 4 0 521089441 470765568 54728 33554432000 4194304 4650419 140733521620064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=459732 CPUtime=402.3 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 61317 0 0 0 40210 20 0 0 25 0 4 0 521089441 470765568 54728 33554432000 4194304 4650419 140733521620064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=459732 CPUtime=400.13 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 67863 0 0 0 39993 20 0 0 25 0 4 0 521089441 470765568 54728 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1606.99
Current children cumulated vsize (KiB) 459732

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

[startup+409.601 s]
/proc/loadavg: 8.16 8.05 7.97 10/184 25033
/proc/meminfo: memFree=24765452/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=459732 CPUtime=1636.16 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 246831 0 0 0 163537 79 0 0 25 0 4 0 521089441 470765568 55453 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365308 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 114933 55453 392 112 0 109898 0
[pid=25014/tid=25018] ppid=25012 vsize=459732 CPUtime=409.54 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 55135 0 0 0 40937 17 0 0 25 0 4 0 521089441 470765568 55453 33554432000 4194304 4650419 140733521620064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=459732 CPUtime=409.6 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 61317 0 0 0 40940 20 0 0 25 0 4 0 521089441 470765568 55453 33554432000 4194304 4650419 140733521620064 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=459732 CPUtime=407.39 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 68276 0 0 0 40718 21 0 0 25 0 4 0 521089441 470765568 55453 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1636.16
Current children cumulated vsize (KiB) 459732

[startup+435.2 s]
/proc/loadavg: 8.26 8.08 7.98 10/184 25034
/proc/meminfo: memFree=24759120/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=459732 CPUtime=1738.41 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 251758 0 0 0 173760 81 0 0 25 0 4 0 521089441 470765568 58620 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 114933 58620 392 112 0 109898 0
[pid=25014/tid=25018] ppid=25012 vsize=459732 CPUtime=435.14 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 55135 0 0 0 43497 17 0 0 25 0 4 0 521089441 470765568 58620 33554432000 4194304 4650419 140733521620064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=459732 CPUtime=435.19 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 62197 0 0 0 43499 20 0 0 25 0 4 0 521089441 470765568 58620 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=459732 CPUtime=432.85 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 70328 0 0 0 43263 22 0 0 25 0 4 0 521089441 470765568 58620 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1738.41
Current children cumulated vsize (KiB) 459732

[startup+448.001 s]
/proc/loadavg: 8.20 8.08 7.98 10/184 25034
/proc/meminfo: memFree=24767424/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=459888 CPUtime=1789.55 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 256321 0 0 0 178872 83 0 0 25 0 4 0 521089441 470925312 55814 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 114972 55814 392 112 0 109937 0
[pid=25014/tid=25018] ppid=25012 vsize=459888 CPUtime=447.94 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 56517 0 0 0 44777 17 0 0 25 0 4 0 521089441 470925312 55814 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=459888 CPUtime=448 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 63726 0 0 0 44779 21 0 0 25 0 4 0 521089441 470925312 55814 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=459888 CPUtime=445.58 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 71931 0 0 0 44535 23 0 0 25 0 4 0 521089441 470925312 55814 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 459888

[startup+454.407 s]
/proc/loadavg: 8.19 8.08 7.98 10/184 25034
/proc/meminfo: memFree=24741880/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=471656 CPUtime=1815.13 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 259168 0 0 0 181429 84 0 0 25 0 4 0 521089441 482975744 56911 33554432000 4194304 4650419 140733521620064 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 117914 56911 392 112 0 112879 0
[pid=25014/tid=25018] ppid=25012 vsize=471656 CPUtime=454.35 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 56926 0 0 0 45417 18 0 0 25 0 4 0 521089441 482975744 56911 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=471656 CPUtime=454.4 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 64093 0 0 0 45419 21 0 0 25 0 4 0 521089441 482975744 56911 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=471656 CPUtime=451.95 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 73004 0 0 0 45172 23 0 0 25 0 4 0 521089441 482975744 56911 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1815.13
Current children cumulated vsize (KiB) 471656

[startup+457.6 s]
/proc/loadavg: 8.17 8.08 7.98 10/184 25034
/proc/meminfo: memFree=24746096/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=471704 CPUtime=1827.91 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 260787 0 0 0 182706 85 0 0 25 0 4 0 521089441 483024896 56705 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 117926 56705 392 112 0 112891 0
[pid=25014/tid=25018] ppid=25012 vsize=471704 CPUtime=457.55 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 57135 0 0 0 45737 18 0 0 25 0 4 0 521089441 483024896 56705 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=471704 CPUtime=457.6 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 64981 0 0 0 45739 21 0 0 25 0 4 0 521089441 483024896 56705 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=471704 CPUtime=455.13 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 73288 0 0 0 45490 23 0 0 25 0 4 0 521089441 483024896 56705 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1827.91
Current children cumulated vsize (KiB) 471704

[startup+459.201 s]
/proc/loadavg: 8.17 8.08 7.98 10/184 25034
/proc/meminfo: memFree=24744112/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=471704 CPUtime=1834.28 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 261196 0 0 0 183343 85 0 0 25 0 4 0 521089441 483024896 55410 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 117926 55410 392 112 0 112891 0
[pid=25014/tid=25018] ppid=25012 vsize=471704 CPUtime=459.15 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 57192 0 0 0 45897 18 0 0 25 0 4 0 521089441 483024896 55410 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=471704 CPUtime=459.2 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 65111 0 0 0 45899 21 0 0 25 0 4 0 521089441 483024896 55410 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=471704 CPUtime=456.71 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 73401 0 0 0 45648 23 0 0 25 0 4 0 521089441 483024896 55410 33554432000 4194304 4650419 140733521620064 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1834.28
Current children cumulated vsize (KiB) 471704

[startup+459.601 s]
/proc/loadavg: 8.17 8.08 7.98 10/184 25034
/proc/meminfo: memFree=24744112/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=471704 CPUtime=1835.88 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 261290 0 0 0 183503 85 0 0 25 0 4 0 521089441 483024896 55504 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 117926 55504 392 112 0 112891 0
[pid=25014/tid=25018] ppid=25012 vsize=471704 CPUtime=459.55 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 57192 0 0 0 45937 18 0 0 25 0 4 0 521089441 483024896 55504 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=471704 CPUtime=459.6 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 65148 0 0 0 45939 21 0 0 25 0 4 0 521089441 483024896 55504 33554432000 4194304 4650419 140733521620064 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=471704 CPUtime=457.11 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 73429 0 0 0 45688 23 0 0 25 0 4 0 521089441 483024896 55504 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1835.88
Current children cumulated vsize (KiB) 471704

[startup+460.001 s]
/proc/loadavg: 8.17 8.08 7.98 10/184 25034
/proc/meminfo: memFree=24748204/32951124 swapFree=67051468/67111528
[pid=25014] ppid=25012 vsize=471704 CPUtime=1837.47 cores=0,2,4,6
/proc/25014/stat : 25014 (strangenight1-m) R 25012 25014 24182 0 -1 4202496 261373 0 0 0 183662 85 0 0 25 0 4 0 521089441 483024896 55587 33554432000 4194304 4650419 140733521620064 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25014/statm: 117926 55587 392 112 0 112891 0
[pid=25014/tid=25018] ppid=25012 vsize=471704 CPUtime=459.95 cores=0,2,4,6
/proc/25014/task/25018/stat : 25018 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 57192 0 0 0 45977 18 0 0 25 0 4 0 521089441 483024896 55587 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25014/tid=25019] ppid=25012 vsize=471704 CPUtime=460 cores=0,2,4,6
/proc/25014/task/25019/stat : 25019 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 65178 0 0 0 45979 21 0 0 25 0 4 0 521089441 483024896 55587 33554432000 4194304 4650419 140733521620064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25014/tid=25020] ppid=25012 vsize=471704 CPUtime=457.51 cores=0,2,4,6
/proc/25014/task/25020/stat : 25020 (strangenight1-m) R 25012 25014 24182 0 -1 4202560 73453 0 0 0 45728 23 0 0 25 0 4 0 521089441 483024896 55587 33554432000 4194304 4650419 140733521620064 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1837.47
Current children cumulated vsize (KiB) 471704

Child status: 10
Real time (s): 460.054
CPU time (s): 1837.67
CPU user time (s): 1836.8
CPU system time (s): 0.868867
CPU usage (%): 399.445
Max. virtual memory (cumulated for all children) (KiB): 482836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1836.8
system time used= 0.868867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261389
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= 157
involuntary context switches= 10932

runsolver used 0.760884 second user time and 1.73374 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 18:34:27
IDJOB=3175170
IDBENCH=82788
IDSOLVER=1588
FILE ID=node101/3175170-1304094867
RUNJOBID= node101-1304094867-24995
PBS_JOBID= 13170559
Free space on /tmp= 72024 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175170-1304094867/watcher-3175170-1304094867 -o /tmp/evaluation-result-3175170-1304094867/solver-3175170-1304094867 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175170-1304094867.cnf

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

MD5SUM BENCH= ee861b5bc3d48577f06373bd13f4b8a5
RANDOM SEED=565813213

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25306520 kB
Buffers:       2026688 kB
Cached:        5139928 kB
SwapCached:      30452 kB
Active:        3073576 kB
Inactive:      4126956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25306520 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           12600 kB
Writeback:           0 kB
AnonPages:       25788 kB
Mapped:           8984 kB
Slab:           380716 kB
PageTables:       4508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   208492 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= 72012 MiB
End job on node101 at 2011-04-29 18:42:07