Trace number 3368709

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.14 1203.65

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf
MD5SUM7dd8c0785d0d6e3db3893df5c914e46d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.262959
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-3368709-1305401338.cnf'
0.00/0.01	c -- header says num vars:            800
0.00/0.01	c -- header says num clauses:        3408
0.00/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.01	c -- vars added        800
0.00/0.01	c Parsing time:  0.01 s
0.00/0.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
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     21  v-fix:    0  time:  0.01 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:     350 undec:      91 neg:     359
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       779      3392         0         0     10288         0   no data   no data  --
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4917       779      3392         0      4880     10288    169451   no data   no data  --
3.57/0.90	c  N st    10     11299       779      3392         0      4527     10288    105387   no data   no data  --
3.57/0.90	c  N st    11     17047       779      3392         0     10210     10288    305157   no data   no data  --
4.75/1.27	c  F st    12     25000       779      3392         0     12496     10288    384763   no data   no data  --
4.75/1.27	c  N st    12     25000       779      3392         0     12496     10288    384763   no data   no data  --
5.96/1.54	c  N dy    18     30000       779      3392         0     10738     10288    276720   no data   no data  --
5.96/1.54	c  S st    18     30000       779      3392         0     10738     10288    276720   no data   no data  --
5.96/1.57	c  S st    18     30503       779      3392         0     11241     10288    292444   no data   no data  --
5.96/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.96/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
5.96/1.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.55/1.94	c lits-rem:        57  cl-subs:      219  v-elim:      0  v-fix:    0  time:  1.43 s
7.55/1.95	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.04
7.55/1.95	c calculated reachability. Time: 0.00
7.55/1.95	c  N dy    18     30503       779      3392         0     11022     10288    284006   no data   no data  --
8.37/2.20	c  N dy    39     34595       779      3392         0     15098     10288    405988     20.54     21.73  --
9.54/2.49	c  N dy    59     39616       779      3392         0     12228     10288    255045     20.37     21.55  --
11.15/2.86	c  N dy    87     45117       779      3392         0     17700     10288    425040     20.61     21.70  --
11.55/2.90	c  S st    91     45754       779      3392         0      9437     10288    134565     20.63     19.72  --
11.55/2.93	c  S st    91     46259       779      3392         0      9942     10288    149496     20.63   no data  --
11.55/2.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.55/2.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.55/2.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.55/2.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.55/2.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.55/2.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
11.55/2.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.95/3.07	c lits-rem:         7  cl-subs:       10  v-elim:      0  v-fix:    0  time:  0.53 s
11.95/3.07	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
11.95/3.08	c vivif2 --  cl tried     9932 cl shrink        0 lits rem          0 time: 0.01
11.95/3.08	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.03
11.95/3.08	c calculated reachability. Time: 0.00
11.95/3.08	c  N dy    91     46259       779      3392         0      9932     10288    149103     20.63   no data  --
13.18/3.32	c  N dy   118     50309       779      3392         0     13970     10288    275357     20.80     24.19  --
13.93/3.59	c  N dy   151     54404       779      3392         0     18048     10288    405316     21.15     22.35  --
15.53/3.98	c  N dy   169     60154       779      3392         0     13820     10288    234845     21.05     22.20  --
16.73/4.27	c  N dy   195     64334       779      3392         0     17985     10288    369105     21.22     22.49  --
18.31/4.62	c  N dy   212     68493       779      3392         0     11194     10288    129198     21.22     22.36  --
18.31/4.67	c  S st   219     69389       779      3392         0     12087     10288    157579     21.24   no data  --
18.71/4.71	c  S st   219     69891       779      3392         0     12589     10288    172854     21.24   no data  --
18.71/4.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.71/4.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.71/4.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.71/4.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.71/4.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.71/4.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
18.71/4.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.51/4.91	c lits-rem:        14  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.76 s
19.51/4.91	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
19.51/4.91	c vivif2 --  cl tried    12574 cl shrink        0 lits rem          0 time: 0.01
19.51/4.92	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.04
19.51/4.92	c calculated reachability. Time: 0.00
19.51/4.92	c  N dy   219     69891       779      3392         0     12574     10288    172260     21.24   no data  --
20.71/5.29	c  N dy   252     75425       779      3392         0     18089     10288    349632     21.35     22.59  --
22.30/5.68	c  N dy   284     80261       779      3392         0     22895     10288    503394     21.44     23.60  --
23.90/6.04	c  N dy   308     85497       779      3392         0     16170     10288    261220     21.45     22.72  --
24.30/6.17	c  F st   317     87500       779      3392         0     18167     10288    322766     21.45   no data  --
25.92/6.59	c  N dy   323     92693       779      3392         0     23336     10288    494252     21.45   no data  --
28.29/7.10	c  N dy   345     99065       779      3392         0     16723     10288    254868     21.45     22.64  --
29.89/7.56	c  S st   354    104839       779      3392         0     22459     10288    436572     21.29     21.91  --
30.31/7.62	c  S st   354    105345       779      3392         0     22963     10288    452013     21.29   no data  --
30.31/7.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.31/7.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.31/7.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.31/7.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.31/7.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.31/7.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
30.31/7.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.11/8.88	c lits-rem:       107  cl-subs:      339  v-elim:      0  v-fix:    0  time:  4.92 s
35.11/8.88	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
35.11/8.88	c vivif2 --  cl tried    22624 cl shrink        0 lits rem          0 time: 0.02
35.46/8.90	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.08
35.46/8.90	c calculated reachability. Time: 0.00
35.46/8.90	c  N dy   354    105345       779      3392         0     22624     10288    439918     21.29   no data  --
38.27/9.67	c  N dy   384    114141       779      3392         0     17445     10288    251917     21.21     22.49  --
41.05/10.35	c  N dy   422    121956       779      3392         0     25201     10288    493380     21.24     22.42  --
44.24/11.14	c  N dy   449    130418       779      3392         0     18724     10288    260651     21.23     22.39  --
47.44/11.98	c  N dy   475    139855       779      3392         0     28097     10288    555453     21.13     22.28  --
51.03/12.81	c  N dy   520    148908       779      3392         0     21198     10288    311900     21.16     22.28  --
54.22/13.67	c  S st   567    158019       779      3392         0     30262     10288    594522     21.19   no data  --
54.61/13.74	c  S st   567    158520       779      3392         0     30762     10288    610209     21.19   no data  --
54.61/13.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
54.61/13.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.61/13.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
54.61/13.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.61/13.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.61/13.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
54.61/13.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.79/16.01	c lits-rem:       312  cl-subs:      254  v-elim:      0  v-fix:    0  time:  8.93 s
63.79/16.01	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
63.79/16.02	c vivif2 --  cl tried    30508 cl shrink        0 lits rem          0 time: 0.03
63.79/16.04	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.11
63.79/16.04	c calculated reachability. Time: 0.00
63.79/16.04	c  N dy   567    158520       779      3392         0     30508     10288    600004     21.19   no data  --
67.38/16.99	c  N dy   615    169014       779      3392         0     24034     10288    375765     21.19     22.35  --
72.16/18.15	c  N dy   677    179869       779      3392         0     34835     10288    721747     21.27     22.51  --
76.55/19.30	c  N dy   741    191704       779      3392         0     28699     10288    502614     21.32     22.54  --
82.54/20.77	c  N dy   796    204032       779      3392         0     22072     10288    263867     21.31     23.76  --
88.11/22.18	c  N dy   874    217126       779      3392         0     35096     10288    676790     21.36     22.83  --
94.49/23.70	c  N dy   946    231517       779      3392         0     29526     10288    475200     21.40     22.54  --
97.28/24.41	c  S st   965    237780       779      3392         0     35759     10288    674061     21.37     20.27  --
97.28/24.49	c  S st   965    238282       779      3392         0     36261     10288    689192     21.37   no data  --
97.28/24.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.28/24.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.68/24.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
97.68/24.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.68/24.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.68/24.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
97.68/24.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
107.65/27.01	c lits-rem:       694  cl-subs:      315  v-elim:      0  v-fix:    0  time:  9.90 s
107.65/27.01	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
107.65/27.02	c vivif2 --  cl tried    35946 cl shrink        0 lits rem          0 time: 0.03
107.65/27.05	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.13
107.65/27.05	c calculated reachability. Time: 0.00
107.65/27.05	c  N dy   965    238282       779      3392         0     35946     10288    676433     21.37   no data  --
114.83/28.80	c  N dy  1057    253671       779      3392         0     30358     10288    476114     21.44     22.80  --
122.86/30.89	c  N dy  1136    269937       779      3392         0     24657     10288    268428     21.47     26.45  --
132.38/33.30	c  N dy  1199    289508       779      3392         0     44098     10288    883707     21.43     22.69  --
140.41/35.22	c  F st  1255    306251       779      3392         0     37867     10288    661413     21.41     16.62  --
141.15/35.48	c  N st  1259    308289       779      3392         0     39899     10288    730107     21.41   no data  --
151.12/37.96	c  N dy  1340    328017       779      3392         0     35646     10288    571414     21.42     24.22  --
162.33/40.74	c  N dy  1423    348027       779      3392         0     30678     10288    379570     21.42     24.58  --
167.07/41.94	c  S st  1480    357423       779      3392         0     40017     10288    675473     21.44     20.15  --
167.47/42.03	c  S st  1480    357924       779      3392         0     40518     10288    690252     21.44   no data  --
167.47/42.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
167.47/42.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.47/42.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
167.47/42.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.47/42.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.47/42.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
167.47/42.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
177.84/44.66	c lits-rem:       463  cl-subs:      313  v-elim:      0  v-fix:    0  time: 10.33 s
177.84/44.66	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
177.84/44.66	c vivif2 --  cl tried    40205 cl shrink        0 lits rem          0 time: 0.03
178.24/44.70	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.16
178.24/44.70	c calculated reachability. Time: 0.00
178.24/44.70	c  N dy  1480    357924       779      3392         0     40205     10288    677972     21.44   no data  --
189.00/47.47	c  N dy  1550    377984       779      3392         0     34297     10288    474307     21.41     23.38  --
202.57/50.88	c  N dy  1670    398081       779      3392         0     27457     10288    228683     21.46     23.02  --
213.74/53.60	c  N dy  1790    418165       779      3392         0     47438     10288    870415     21.50     22.76  --
225.30/56.54	c  N dy  1877    438166       779      3392         0     39501     10288    588603     21.52     25.93  --
238.86/59.96	c  N dy  1981    458211       779      3392         0     30583     10288    274092     21.53     22.71  --
250.82/62.90	c  N dy  2063    478710       779      3392         0     50926     10288    925812     21.53     22.68  --
263.99/66.28	c  N dy  2144    499606       779      3392         0     41889     10288    614936     21.53     22.74  --
279.15/70.01	c  N dy  2221    519847       779      3392         0     31198     10288    245512     21.51     23.00  --
288.32/72.39	c  S st  2313    536887       779      3392         0     48142     10288    787360     21.54   no data  --
288.72/72.50	c  S st  2313    537391       779      3392         0     48646     10288    803509     21.54   no data  --
288.72/72.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
288.72/72.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
289.14/72.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
289.14/72.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
289.14/72.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
289.14/72.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
289.14/72.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
301.08/75.56	c lits-rem:       621  cl-subs:      349  v-elim:      0  v-fix:    0  time: 12.01 s
301.08/75.56	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
301.08/75.57	c vivif2 --  cl tried    48297 cl shrink        0 lits rem          0 time: 0.04
301.48/75.62	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.20
301.48/75.62	c calculated reachability. Time: 0.00
301.48/75.62	c  N dy  2313    537391       779      3392         0     48297     10288    789492     21.54   no data  --
316.23/79.36	c  N dy  2420    557401       779      3392         0     36378     10288    383465     21.57     23.01  --
330.60/82.98	c  N dy  2530    578650       779      3392         0     57495     10288   1061620     21.59     22.93  --
343.76/86.29	c  N dy  2601    598871       779      3392         0     44800     10288    637389     21.57     22.83  --
361.71/90.74	c  N dy  2719    620728       779      3392         0     66528     10288   1340341     21.60     22.81  --
374.06/93.88	c  N dy  2792    640825       779      3392         0     52705     10288    871735     21.59     22.93  --
390.04/97.88	c  N dy  2829    661323       779      3392         0     38272     10288    374035     21.55     22.70  --
404.37/101.45	c  N dy  2903    681706       779      3392         0     58530     10288   1010149     21.54     22.99  --
422.32/105.92	c  N dy  2999    702263       779      3392         0     43195     10288    503184     21.55     23.10  --
437.88/109.83	c  N dy  3074    722832       779      3392         0     63601     10288   1151039     21.54     22.94  --
454.23/113.92	c  N dy  3175    743347       779      3392         0     47231     10288    606803     21.55     22.76  --
471.78/118.37	c  N dy  3270    765009       779      3392         0     68786     10288   1296544     21.55     22.81  --
487.33/122.28	c  N dy  3362    785092       779      3392         0     50965     10288    699808     21.56     22.76  --
505.67/126.84	c  N dy  3457    805238       779      3392         0     70976     10288   1340395     21.57     22.88  --
506.47/127.07	c  S st  3465    806088       779      3392         0     71826     10288   1367952     21.57     18.83  --
507.27/127.24	c  S st  3465    806591       779      3392         0     72328     10288   1384108     21.57   no data  --
507.27/127.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
507.27/127.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
507.27/127.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
507.67/127.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
507.67/127.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
507.67/127.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
507.67/127.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
517.69/129.83	c lits-rem:       262  cl-subs:      765  v-elim:      0  v-fix:    0  time: 10.00 s
517.69/129.83	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
517.69/129.85	c vivif2 --  cl tried    71563 cl shrink        0 lits rem          0 time: 0.07
518.04/129.94	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.37
518.04/129.94	c calculated reachability. Time: 0.00
518.04/129.94	c  N dy  3465    806591       779      3392         0     71563     10288   1354545     21.57   no data  --
542.77/136.16	c  N dy  3532    838658       779      3392         0     64586     10288   1124325     21.52     22.68  --
562.30/141.10	c  N dy  3645    858661       779      3392         0     44761     10288    449761     21.54     27.28  --
580.24/145.58	c  N dy  3755    880465       779      3392         0     66428     10288   1142858     21.55     22.85  --
600.61/150.63	c  N dy  3879    900633       779      3392         0     45751     10288    457668     21.58     23.05  --
616.14/154.54	c  N dy  3945    920840       779      3392         0     65795     10288   1091138     21.57     22.95  --
636.87/159.79	c  N dy  4022    940923       779      3392         0     44034     10288    375025     21.56     22.74  --
652.84/163.77	c  N dy  4152    960967       779      3392         0     63949     10288   1018012     21.59     22.79  --
673.97/169.07	c  N dy  4243    980971       779      3392         0     83858     10288   1666477     21.60     23.70  --
689.92/173.02	c  N dy  4337   1000974       779      3392         0     61020     10288    900883     21.61     23.87  --
710.30/178.11	c  N dy  4406   1021513       779      3392         0     81439     10288   1563316     21.60     22.87  --
728.27/182.68	c  N dy  4524   1041674       779      3392         0     57764     10288    769923     21.62     23.15  --
749.36/187.94	c  N dy  4651   1061973       779      3392         0     77957     10288   1427683     21.64     23.00  --
761.32/190.94	c  F st  4680   1071876       779      3392         0     87781     10288   1742570     21.64     22.25  --
765.70/192.06	c Decided on static restart strategy
770.09/193.16	c  N st  4688   1084180       779      3392         0     55243     10288    674282     21.64   no data  --
797.61/200.03	c  N st  4691   1114578       779      3392         0     85318     10288   1748392     21.64   no data  --
816.75/204.83	c  N st  4692   1136173       779      3392         0     61075     10288   1612381     21.64   no data  --
848.66/212.86	c  N st  4693   1168565       779      3392         0     93085     10288   2740288     21.64   no data  --
893.74/224.18	c  N st  4694   1209887       779      3392         0     87412     10288   2379520     21.64   no data  --
893.74/224.18	c  S st  4694   1209887       779      3392         0     87412     10288   2379520     21.64   no data  --
894.97/224.45	c  S st  4694   1210392       779      3392         0     87916     10288   2394952     21.64   no data  --
894.97/224.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
894.97/224.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
895.32/224.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
895.32/224.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
895.32/224.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
895.32/224.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
895.32/224.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
926.02/232.25	c lits-rem:      3353  cl-subs:     2276  v-elim:      0  v-fix:    0  time: 30.54 s
926.02/232.25	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
926.02/232.28	c vivif2 --  cl tried    85640 cl shrink        0 lits rem          0 time: 0.11
926.82/232.40	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.49
926.82/232.41	c calculated reachability. Time: 0.00
926.82/232.41	c  N st  4694   1210392       779      3392         0     85640     10288   2295143     21.64   no data  --
1008.19/252.89	c  N st  4695   1283274       779      3392         0     61993     10288   1350122     21.64   no data  --
1129.43/283.27	c  N st  4696   1392600       779      3392         0     69986     10288   1591631     21.64   no data  --
1316.13/330.07	c  N st  4697   1556585       779      3392         0     74628     10288   1563703     21.64   no data  --
1501.13/376.44	c  N st  4698   1710394       779      3392         0     60693     10288    950437     21.64   no data  --
1501.13/376.44	c  S st  4698   1710394       779      3392         0     60693     10288    950437     21.64   no data  --
1501.93/376.61	c  S st  4698   1710900       779      3392         0     61196     10288    965849     21.64   no data  --
1501.93/376.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1501.93/376.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1501.93/376.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.14
1501.93/376.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1501.93/376.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1501.93/376.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
1501.93/376.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1515.08/379.90	c lits-rem:       636  cl-subs:      618  v-elim:      0  v-fix:    0  time: 12.81 s
1515.08/379.90	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
1515.08/379.91	c vivif2 --  cl tried    60578 cl shrink        0 lits rem          0 time: 0.05
1515.08/379.98	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.30
1515.08/379.99	c calculated reachability. Time: 0.00
1515.08/379.99	c  N st  4698   1710900       779      3392         0     60578     10288    946194     21.64   no data  --
2003.62/502.41	c  N st  4699   2079864       779      3392         0     66650     10288    984838     21.64   no data  --
2177.51/546.08	c  N st  4700   2210900       779      3392         0     68723     10288    980692     21.64   no data  --
2177.51/546.08	c  S st  4700   2210900       779      3392         0     68723     10288    980692     21.64   no data  --
2178.31/546.26	c  S st  4700   2211406       779      3392         0     69229     10288    995815     21.64   no data  --
2178.31/546.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2178.31/546.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2178.71/546.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
2178.71/546.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2178.71/546.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2178.71/546.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
2178.71/546.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2183.89/547.60	c lits-rem:       176  cl-subs:      314  v-elim:      0  v-fix:    0  time:  5.06 s
2183.89/547.60	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
2183.89/547.61	c vivif2 --  cl tried    68915 cl shrink        0 lits rem          0 time: 0.05
2183.89/547.70	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.34
2183.89/547.70	c calculated reachability. Time: 0.00
2183.89/547.70	c  N st  4700   2211406       779      3392         0     68915     10288    984792     21.64   no data  --
2899.37/727.02	c  N st  4701   2711407       779      3392         0     85205     10288   1355931     21.64   no data  --
2899.37/727.02	c  S st  4701   2711407       779      3392         0     85205     10288   1355931     21.64   no data  --
2900.14/727.24	c  S st  4701   2711912       779      3392         0     85710     10288   1371580     21.64   no data  --
2900.14/727.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2900.14/727.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2900.14/727.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
2900.55/727.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2900.55/727.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2900.55/727.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
2900.55/727.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2910.12/729.76	c lits-rem:       142  cl-subs:     1340  v-elim:      0  v-fix:    0  time:  9.65 s
2910.12/729.76	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
2910.12/729.77	c vivif2 --  cl tried    84370 cl shrink        0 lits rem          0 time: 0.07
2910.52/729.89	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.46
2910.52/729.89	c calculated reachability. Time: 0.00
2910.52/729.89	c  N st  4701   2711912       779      3392         0     84370     10288   1329054     21.64   no data  --
3627.20/909.54	c  N st  4702   3211913       779      3392         0    130593     10288   2911912     21.64   no data  --
3627.20/909.54	c  S st  4702   3211913       779      3392         0    130593     10288   2911912     21.64   no data  --
3628.78/909.96	c  S st  4702   3212419       779      3392         0    131099     10288   2928254     21.64   no data  --
3628.78/909.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3628.78/909.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3629.18/910.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
3629.58/910.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3629.58/910.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3629.58/910.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
3629.58/910.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3720.15/932.89	c lits-rem:        92  cl-subs:     5620  v-elim:      0  v-fix:    0  time: 90.66 s
3720.15/932.89	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
3720.49/932.93	c vivif2 --  cl tried   125479 cl shrink        0 lits rem          0 time: 0.14
3721.29/933.13	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.78
3721.29/933.13	c calculated reachability. Time: 0.00
3721.29/933.13	c  N st  4702   3212419       779      3392         0    125479     10288   2734138     21.64   no data  --
4561.58/1143.82	c  N st  4703   3712419       779      3392         0    136275     10288   2799412     21.64   no data  --
4561.58/1143.82	c  S st  4703   3712419       779      3392         0    136275     10288   2799412     21.64   no data  --
4563.17/1144.23	c  S st  4703   3712921       779      3392         0    136776     10288   2815706     21.64   no data  --
4563.17/1144.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4563.17/1144.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4563.57/1144.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.30
4563.97/1144.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4563.97/1144.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4563.97/1144.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
4563.97/1144.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4666.05/1170.03	c lits-rem:       112  cl-subs:     7025  v-elim:      0  v-fix:    0  time: 102.10 s
4666.05/1170.03	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
4666.05/1170.06	c vivif2 --  cl tried   129751 cl shrink        0 lits rem          0 time: 0.13
4666.84/1170.25	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.78
4666.84/1170.26	c calculated reachability. Time: 0.00
4666.84/1170.26	c  N st  4703   3712921       779      3392         0    129751     10288   2589324     21.64   no data  --
4739.04/1188.31	c  F st  4704   3751562       779      3392         0     84299     10288    984973     21.64   no data  --
4739.04/1188.32	c  N st  4704   3751562       779      3392         0     84299     10288    984973     21.64   no data  --
4744.62/1189.72	c Decided on static restart strategy
4774.53/1197.23	c  N st  4714   3779866       779      3392         0    112271     10288   1938917     21.64   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-3368709-1305401338/watcher-3368709-1305401338 -o /tmp/evaluation-result-3368709-1305401338/solver-3368709-1305401338 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368709-1305401338.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.47 7.98 7.94 5/373 17049
/proc/meminfo: memFree=22609596/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 651731493 52465664 353 33554432000 4194304 4650419 140737064698240 18446744073709551615 47460236339122 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 12809 353 303 112 0 7774 0
[pid=17049/tid=17050] ppid=17047 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 651731493 52465664 353 33554432000 4194304 4650419 140737064698240 18446744073709551615 47460236339122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 651731493 52465664 353 33554432000 4194304 4650419 140737064698240 18446744073709551615 47460236339122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651731494 52465664 353 33554432000 4194304 4650419 140737064698240 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0326479 s]
/proc/loadavg: 7.47 7.98 7.94 5/373 17049
/proc/meminfo: memFree=22609596/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=282496 CPUtime=0.1 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 1713 0 0 0 10 0 0 0 18 0 4 0 651731493 289275904 1548 33554432000 4194304 4650419 140737064698240 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 70624 1548 390 112 0 65589 0
[pid=17049/tid=17050] ppid=17047 vsize=282496 CPUtime=0.02 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 375 0 0 0 2 0 0 0 18 0 4 0 651731493 289275904 1548 33554432000 4194304 4650419 140737064698240 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=282496 CPUtime=0.02 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 372 0 0 0 2 0 0 0 18 0 4 0 651731493 289275904 1548 33554432000 4194304 4650419 140737064698240 18446744073709551615 4371426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=282496 CPUtime=0.01 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 196 0 0 0 1 0 0 0 24 0 4 0 651731494 289275904 1548 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 282496

[startup+0.100636 s]
/proc/loadavg: 7.47 7.98 7.94 5/373 17049
/proc/meminfo: memFree=22609596/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=282496 CPUtime=0.37 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 2029 0 0 0 37 0 0 0 18 0 4 0 651731493 289275904 1864 33554432000 4194304 4650419 140737064698240 18446744073709551615 4361036 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 70624 1864 391 112 0 65589 0
[pid=17049/tid=17050] ppid=17047 vsize=282496 CPUtime=0.09 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 453 0 0 0 9 0 0 0 18 0 4 0 651731493 289275904 1864 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=282496 CPUtime=0.09 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 457 0 0 0 9 0 0 0 18 0 4 0 651731493 289275904 1870 33554432000 4194304 4650419 140737064698240 18446744073709551615 212687372384 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=282496 CPUtime=0.08 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 274 0 0 0 8 0 0 0 24 0 4 0 651731494 289275904 1870 33554432000 4194304 4650419 140737064698240 18446744073709551615 4333978 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282496

[startup+0.300601 s]
/proc/loadavg: 7.47 7.98 7.94 5/373 17049
/proc/meminfo: memFree=22609596/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=284084 CPUtime=1.17 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 3378 0 0 0 117 0 0 0 18 0 4 0 651731493 290902016 2417 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 71021 2417 393 112 0 65986 0
[pid=17049/tid=17050] ppid=17047 vsize=284084 CPUtime=0.29 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 787 0 0 0 29 0 0 0 18 0 4 0 651731493 290902016 2417 33554432000 4194304 4650419 140737064698240 18446744073709551615 4328328 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=284084 CPUtime=0.29 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 787 0 0 0 29 0 0 0 18 0 4 0 651731493 290902016 2417 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=284084 CPUtime=0.28 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 601 0 0 0 28 0 0 0 25 0 4 0 651731494 290902016 2418 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284084

[startup+0.700528 s]
/proc/loadavg: 7.47 7.98 7.94 5/373 17049
/proc/meminfo: memFree=22609596/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=285076 CPUtime=2.77 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 5329 0 0 0 276 1 0 0 18 0 4 0 651731493 291917824 3185 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 71269 3185 393 112 0 66234 0
[pid=17049/tid=17050] ppid=17047 vsize=285076 CPUtime=0.69 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 1284 0 0 0 69 0 0 0 18 0 4 0 651731493 291917824 3185 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=285076 CPUtime=0.69 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 1278 0 0 0 69 0 0 0 18 0 4 0 651731493 291917824 3185 33554432000 4194304 4650419 140737064698240 18446744073709551615 4315143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=285076 CPUtime=0.68 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 1074 0 0 0 68 0 0 0 25 0 4 0 651731494 291917824 3185 33554432000 4194304 4650419 140737064698240 18446744073709551615 4360491 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285076

[startup+1.50038 s]
/proc/loadavg: 7.59 7.99 7.95 9/377 17053
/proc/meminfo: memFree=22588608/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=286704 CPUtime=5.96 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 9252 0 0 0 594 2 0 0 20 0 4 0 651731493 293584896 3804 33554432000 4194304 4650419 140737064698240 18446744073709551615 4363553 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 71676 3804 394 112 0 66641 0
[pid=17049/tid=17050] ppid=17047 vsize=286704 CPUtime=1.49 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 2290 0 0 0 149 0 0 0 19 0 4 0 651731493 293584896 3804 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=286704 CPUtime=1.48 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 2315 0 0 0 148 0 0 0 19 0 4 0 651731493 293584896 3804 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=286704 CPUtime=1.47 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 1932 0 0 0 147 0 0 0 25 0 4 0 651731494 293584896 3804 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286704

[startup+3.10109 s]
/proc/loadavg: 7.59 7.99 7.95 9/377 17053
/proc/meminfo: memFree=22561336/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=268672 CPUtime=12.35 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 19376 0 0 0 1232 3 0 0 25 0 4 0 651731493 275120128 11869 33554432000 4194304 4650419 140737064698240 18446744073709551615 4363604 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 67168 11869 395 112 0 62133 0
[pid=17049/tid=17050] ppid=17047 vsize=268672 CPUtime=3.09 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 4606 0 0 0 309 0 0 0 25 0 4 0 651731493 275120128 11869 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=268672 CPUtime=3.08 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 5212 0 0 0 308 0 0 0 25 0 4 0 651731493 275120128 11869 33554432000 4194304 4650419 140737064698240 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=268672 CPUtime=3.05 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 4273 0 0 0 305 0 0 0 25 0 4 0 651731494 275120128 11869 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 268672

[startup+6.30051 s]
/proc/loadavg: 7.62 7.99 7.95 9/377 17053
/proc/meminfo: memFree=22490104/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=277740 CPUtime=25.1 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 25935 0 0 0 2507 3 0 0 25 0 4 0 651731493 284405760 17361 33554432000 4194304 4650419 140737064698240 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 69435 17361 395 112 0 64400 0
[pid=17049/tid=17050] ppid=17047 vsize=277740 CPUtime=6.29 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 6932 0 0 0 629 0 0 0 25 0 4 0 651731493 284405760 17361 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=277740 CPUtime=6.29 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 6884 0 0 0 628 1 0 0 25 0 4 0 651731493 284405760 17361 33554432000 4194304 4650419 140737064698240 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=277740 CPUtime=6.21 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 5254 0 0 0 621 0 0 0 25 0 4 0 651731494 284405760 17361 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 277740

[startup+12.7003 s]
/proc/loadavg: 7.65 7.99 7.95 9/377 17053
/proc/meminfo: memFree=22426776/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=296232 CPUtime=50.63 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 37194 0 0 0 5056 7 0 0 25 0 4 0 651731493 303341568 22444 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 74058 22444 395 112 0 69023 0
[pid=17049/tid=17050] ppid=17047 vsize=296232 CPUtime=12.69 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 9326 0 0 0 1268 1 0 0 25 0 4 0 651731493 303341568 22444 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=296232 CPUtime=12.68 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 10317 0 0 0 1266 2 0 0 25 0 4 0 651731493 303341568 22444 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=296232 CPUtime=12.54 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 7541 0 0 0 1253 1 0 0 25 0 4 0 651731494 303341568 22444 33554432000 4194304 4650419 140737064698240 18446744073709551615 4332020 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 296232

[startup+25.501 s]
/proc/loadavg: 7.78 8.01 7.95 9/377 17054
/proc/meminfo: memFree=22373704/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=315444 CPUtime=101.67 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 56272 0 0 0 10155 12 0 0 25 0 4 0 651731493 323014656 26417 33554432000 4194304 4650419 140737064698240 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 78861 26417 395 112 0 73826 0
[pid=17049/tid=17050] ppid=17047 vsize=315444 CPUtime=25.48 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 14645 0 0 0 2546 2 0 0 25 0 4 0 651731493 323014656 26417 33554432000 4194304 4650419 140737064698240 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=315444 CPUtime=25.49 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 15795 0 0 0 2545 4 0 0 25 0 4 0 651731493 323014656 26417 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=315444 CPUtime=25.18 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 10540 0 0 0 2517 1 0 0 25 0 4 0 651731494 323014656 26417 33554432000 4194304 4650419 140737064698240 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 315444

[startup+51.1003 s]
/proc/loadavg: 7.92 8.02 7.96 9/377 17054
/proc/meminfo: memFree=22298288/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=308716 CPUtime=203.77 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 92784 0 0 0 20355 22 0 0 25 0 4 0 651731493 316125184 37360 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 77179 37360 395 112 0 72144 0
[pid=17049/tid=17050] ppid=17047 vsize=308716 CPUtime=51.08 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 22504 0 0 0 5104 4 0 0 25 0 4 0 651731493 316125184 37360 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=308716 CPUtime=51.09 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 28728 0 0 0 5102 7 0 0 25 0 4 0 651731493 316125184 37360 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=308716 CPUtime=50.48 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 17789 0 0 0 5045 3 0 0 25 0 4 0 651731494 316125184 37360 33554432000 4194304 4650419 140737064698240 18446744073709551615 4360517 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 308716

[startup+102.314 s]
/proc/loadavg: 8.08 8.05 7.97 9/377 17056
/proc/meminfo: memFree=22229212/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=298412 CPUtime=408.01 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 129534 0 0 0 40764 37 0 0 25 0 4 0 651731493 305573888 42638 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 74603 42638 395 112 0 69568 0
[pid=17049/tid=17050] ppid=17047 vsize=298412 CPUtime=102.3 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 33053 0 0 0 10220 10 0 0 25 0 4 0 651731493 305573888 42638 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=298412 CPUtime=102.3 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 44603 0 0 0 10217 13 0 0 25 0 4 0 651731493 305573888 42638 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=298412 CPUtime=101.08 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 20582 0 0 0 10104 4 0 0 25 0 4 0 651731494 305573888 42638 33554432000 4194304 4650419 140737064698240 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.01
Current children cumulated vsize (KiB) 298412

[startup+162.301 s]

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

[pid=17049] ppid=17047 vsize=592260 CPUtime=2561.57 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 371533 0 0 0 256008 149 0 0 25 0 4 0 651731493 606474240 97296 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 148065 97296 395 112 0 143030 0
[pid=17049/tid=17050] ppid=17047 vsize=592260 CPUtime=642.31 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 91554 0 0 0 64189 42 0 0 25 0 4 0 651731493 606474240 97297 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=592260 CPUtime=642.3 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 130599 0 0 0 64180 50 0 0 25 0 4 0 651731493 606474240 97297 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=592260 CPUtime=634.64 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 48479 0 0 0 63447 17 0 0 25 0 4 0 651731494 606474240 97297 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.57
Current children cumulated vsize (KiB) 592260

[startup+702.301 s]
/proc/loadavg: 8.13 8.11 8.02 9/377 17072
/proc/meminfo: memFree=21790972/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=564208 CPUtime=2800.85 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 397655 0 0 0 279923 162 0 0 25 0 4 0 651731493 577748992 98509 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 141052 98509 395 112 0 136017 0
[pid=17049/tid=17050] ppid=17047 vsize=564208 CPUtime=702.3 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 98362 0 0 0 70185 45 0 0 25 0 4 0 651731493 577748992 98509 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=564208 CPUtime=702.29 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 139929 0 0 0 70175 54 0 0 25 0 4 0 651731493 577748992 98509 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=564208 CPUtime=693.93 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 52136 0 0 0 69374 19 0 0 25 0 4 0 651731494 577748992 98509 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.85
Current children cumulated vsize (KiB) 564208

[startup+762.314 s]
/proc/loadavg: 8.11 8.11 8.02 9/377 17073
/proc/meminfo: memFree=21702652/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=565516 CPUtime=3040.17 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 415778 0 0 0 303843 174 0 0 25 0 4 0 651731493 579088384 104795 33554432000 4194304 4650419 140737064698240 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 141379 104795 395 112 0 136344 0
[pid=17049/tid=17050] ppid=17047 vsize=565516 CPUtime=762.31 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 104448 0 0 0 76182 49 0 0 25 0 4 0 651731493 579088384 104795 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=565516 CPUtime=762.3 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 145574 0 0 0 76173 57 0 0 25 0 4 0 651731493 579088384 104795 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=565516 CPUtime=753.21 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 53100 0 0 0 75301 20 0 0 25 0 4 0 651731494 579088384 104795 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.17
Current children cumulated vsize (KiB) 565516

[startup+822.301 s]
/proc/loadavg: 8.04 8.08 8.01 9/377 17075
/proc/meminfo: memFree=21715288/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=623788 CPUtime=3279.42 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 433902 0 0 0 327759 183 0 0 25 0 4 0 651731493 638758912 111055 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 155947 111055 395 112 0 150912 0
[pid=17049/tid=17050] ppid=17047 vsize=623788 CPUtime=822.3 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 108079 0 0 0 82178 52 0 0 25 0 4 0 651731493 638758912 111055 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=623788 CPUtime=822.29 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 151183 0 0 0 82169 60 0 0 25 0 4 0 651731493 638758912 111055 33554432000 4194304 4650419 140737064698240 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=623788 CPUtime=812.49 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 57009 0 0 0 81228 21 0 0 25 0 4 0 651731494 638758912 111055 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.42
Current children cumulated vsize (KiB) 623788

[startup+882.301 s]
/proc/loadavg: 8.14 8.10 8.02 9/377 17077
/proc/meminfo: memFree=21703980/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=731676 CPUtime=3518.71 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 455673 0 0 0 351676 195 0 0 25 0 4 0 651731493 749236224 107807 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 182919 107807 395 112 0 177884 0
[pid=17049/tid=17050] ppid=17047 vsize=731676 CPUtime=882.3 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 114521 0 0 0 88175 55 0 0 25 0 4 0 651731493 749236224 107807 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=731676 CPUtime=882.29 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 154144 0 0 0 88167 62 0 0 25 0 4 0 651731493 749236224 107807 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=731676 CPUtime=871.78 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 60711 0 0 0 87154 24 0 0 25 0 4 0 651731494 749236224 107807 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.71
Current children cumulated vsize (KiB) 731676

[startup+942.301 s]
/proc/loadavg: 8.05 8.08 8.01 9/377 17078
/proc/meminfo: memFree=21653256/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=686176 CPUtime=3757.99 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 471444 0 0 0 375593 206 0 0 25 0 4 0 651731493 702644224 117003 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 171544 117003 395 112 0 166509 0
[pid=17049/tid=17050] ppid=17047 vsize=686176 CPUtime=942.3 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 117149 0 0 0 94173 57 0 0 25 0 4 0 651731493 702644224 117003 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=686176 CPUtime=942.29 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 161318 0 0 0 94162 67 0 0 25 0 4 0 651731493 702644224 117003 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=686176 CPUtime=931.06 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 61688 0 0 0 93081 25 0 0 25 0 4 0 651731494 702644224 117003 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.99
Current children cumulated vsize (KiB) 686176

[startup+1002.3 s]
/proc/loadavg: 8.12 8.09 8.02 9/377 17080
/proc/meminfo: memFree=21578332/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=804320 CPUtime=3997.26 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 500505 0 0 0 399510 216 0 0 25 0 4 0 651731493 823623680 129299 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 201080 129299 395 112 0 196045 0
[pid=17049/tid=17050] ppid=17047 vsize=804320 CPUtime=1002.31 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 127364 0 0 0 100172 59 0 0 25 0 4 0 651731493 823623680 129299 33554432000 4194304 4650419 140737064698240 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=804320 CPUtime=1002.28 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 165462 0 0 0 100159 69 0 0 25 0 4 0 651731493 823623680 129299 33554432000 4194304 4650419 140737064698240 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=804320 CPUtime=990.32 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 72060 0 0 0 99004 28 0 0 25 0 4 0 651731494 823623680 129299 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.26
Current children cumulated vsize (KiB) 804320

[startup+1062.3 s]
/proc/loadavg: 8.14 8.10 8.02 9/377 17081
/proc/meminfo: memFree=21554140/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=685768 CPUtime=4236.54 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 519629 0 0 0 423427 227 0 0 25 0 4 0 651731493 702226432 127652 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 171442 127652 395 112 0 166407 0
[pid=17049/tid=17050] ppid=17047 vsize=685768 CPUtime=1062.31 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 133737 0 0 0 106167 64 0 0 25 0 4 0 651731493 702226432 127652 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=685768 CPUtime=1062.29 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 170123 0 0 0 106157 72 0 0 25 0 4 0 651731493 702226432 127652 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=685768 CPUtime=1049.6 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 75013 0 0 0 104930 30 0 0 25 0 4 0 651731494 702226432 127652 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.54
Current children cumulated vsize (KiB) 685768

[startup+1122.3 s]
/proc/loadavg: 8.23 8.14 8.04 9/377 17083
/proc/meminfo: memFree=21563564/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=915888 CPUtime=4475.82 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 537045 0 0 0 447343 239 0 0 25 0 4 0 651731493 937869312 130421 33554432000 4194304 4650419 140737064698240 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 228972 130421 395 112 0 223937 0
[pid=17049/tid=17050] ppid=17047 vsize=915888 CPUtime=1122.31 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 138735 0 0 0 112163 68 0 0 25 0 4 0 651731493 937869312 130421 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=915888 CPUtime=1122.29 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 172543 0 0 0 112156 73 0 0 25 0 4 0 651731493 937869312 130421 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=915888 CPUtime=1108.88 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 80114 0 0 0 110854 34 0 0 25 0 4 0 651731494 937869312 130421 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.82
Current children cumulated vsize (KiB) 915888

[startup+1182.3 s]
/proc/loadavg: 8.16 8.14 8.04 9/377 17085
/proc/meminfo: memFree=21525080/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=755652 CPUtime=4715.11 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 562343 0 0 0 471261 250 0 0 25 0 4 0 651731493 773787648 132103 33554432000 4194304 4650419 140737064698240 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 188913 132103 395 112 0 183878 0
[pid=17049/tid=17050] ppid=17047 vsize=755652 CPUtime=1182.31 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 144797 0 0 0 118160 71 0 0 25 0 4 0 651731493 773787648 132103 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=755652 CPUtime=1182.29 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 180279 0 0 0 118153 76 0 0 25 0 4 0 651731493 773787648 132103 33554432000 4194304 4650419 140737064698240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=755652 CPUtime=1168.16 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 82772 0 0 0 116780 36 0 0 25 0 4 0 651731494 773787648 132103 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.11
Current children cumulated vsize (KiB) 755652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.20 8.15 8.05 9/377 17085
/proc/meminfo: memFree=21531400/32951124 swapFree=67111348/67111528
[pid=17049] ppid=17047 vsize=796876 CPUtime=4800.07 cores=1,3,5,7
/proc/17049/stat : 17049 (strangenight1-m) R 17047 17049 16711 0 -1 4202496 570173 0 0 0 479751 256 0 0 25 0 4 0 651731493 816001024 127318 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17049/statm: 199219 127318 395 112 0 194184 0
[pid=17049/tid=17050] ppid=17047 vsize=796876 CPUtime=1203.63 cores=1,3,5,7
/proc/17049/task/17050/stat : 17050 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 146188 0 0 0 120291 72 0 0 25 0 4 0 651731493 816001024 127320 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17049/tid=17051] ppid=17047 vsize=796876 CPUtime=1203.6 cores=1,3,5,7
/proc/17049/task/17051/stat : 17051 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 181532 0 0 0 120283 77 0 0 25 0 4 0 651731493 816001024 127320 33554432000 4194304 4650419 140737064698240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17049/tid=17052] ppid=17047 vsize=796876 CPUtime=1189.2 cores=1,3,5,7
/proc/17049/task/17052/stat : 17052 (strangenight1-m) R 17047 17049 16711 0 -1 4202560 84324 0 0 0 118883 37 0 0 25 0 4 0 651731494 816001024 127320 33554432000 4194304 4650419 140737064698240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 796876

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.65
CPU time (s): 4800.14
CPU user time (s): 4797.56
CPU system time (s): 2.58861
CPU usage (%): 398.8
Max. virtual memory (cumulated for all children) (KiB): 915888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.56
system time used= 2.58861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570175
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= 280
involuntary context switches= 19051

runsolver used 3.91341 second user time and 10.5374 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-14 21:28:58
IDJOB=3368709
IDBENCH=82718
IDSOLVER=1846
FILE ID=node139/3368709-1305401338
RUNJOBID= node139-1305401337-17027
PBS_JOBID= 13324464
Free space on /tmp= 73352 MiB

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

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

MD5SUM BENCH= 7dd8c0785d0d6e3db3893df5c914e46d
RANDOM SEED=228414783

node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22609876 kB
Buffers:        297532 kB
Cached:        2890264 kB
SwapCached:          0 kB
Active:        7975348 kB
Inactive:      2060912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22609876 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12576 kB
Writeback:           0 kB
AnonPages:     6848120 kB
Mapped:          29552 kB
Slab:           203588 kB
PageTables:      38024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76859320 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= 73344 MiB
End job on node139 at 2011-05-14 21:49:03