Trace number 3175100

Some explanations

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

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

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

Solver answer on this benchmark

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

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.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-3175100-1307655638.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.00	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.00	c -- vars added        800
0.00/0.00	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     21  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     350 undec:      91 neg:     359
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       779      3392         0         0     10288         0   no data   no data  --
0.39/0.12	c Decided on static restart strategy
0.39/0.18	c  N st     8      4917       779      3392         0      4880     10288    169451   no data   no data  --
1.58/0.48	c  N st    10     11299       779      3392         0      4527     10288    105387   no data   no data  --
3.17/0.80	c  N st    11     17047       779      3392         0     10210     10288    305157   no data   no data  --
4.80/1.27	c  F st    12     25000       779      3392         0     12496     10288    384763   no data   no data  --
4.80/1.27	c  N st    12     25000       779      3392         0     12496     10288    384763   no data   no data  --
5.97/1.55	c  N dy    18     30000       779      3392         0     10738     10288    276720   no data   no data  --
5.97/1.55	c  S st    18     30000       779      3392         0     10738     10288    276720   no data   no data  --
5.97/1.58	c  S st    18     30503       779      3392         0     11241     10288    292444   no data   no data  --
5.97/1.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.97/1.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
5.97/1.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.58/1.94	c lits-rem:        57  cl-subs:      219  v-elim:      0  v-fix:    0  time:  1.41 s
7.58/1.95	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.04
7.58/1.96	c calculated reachability. Time: 0.00
7.58/1.96	c  N dy    18     30503       779      3392         0     11022     10288    284006   no data   no data  --
8.79/2.21	c  N dy    39     34595       779      3392         0     15098     10288    405988     20.54     21.73  --
9.97/2.50	c  N dy    59     39616       779      3392         0     12228     10288    255045     20.37     21.55  --
11.17/2.88	c  N dy    87     45117       779      3392         0     17700     10288    425040     20.61     21.70  --
11.57/2.92	c  S st    91     45754       779      3392         0      9437     10288    134565     20.63     19.72  --
11.57/2.95	c  S st    91     46259       779      3392         0      9942     10288    149496     20.63   no data  --
11.57/2.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.57/2.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.57/2.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
11.57/2.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.57/2.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.57/2.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
11.57/2.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.97/3.09	c lits-rem:         7  cl-subs:       10  v-elim:      0  v-fix:    0  time:  0.52 s
11.97/3.09	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
11.97/3.09	c vivif2 --  cl tried     9932 cl shrink        0 lits rem          0 time: 0.00
12.37/3.10	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.04
12.37/3.10	c calculated reachability. Time: 0.00
12.37/3.10	c  N dy    91     46259       779      3392         0      9932     10288    149103     20.63   no data  --
13.18/3.34	c  N dy   118     50309       779      3392         0     13970     10288    275357     20.80     24.19  --
14.36/3.61	c  N dy   151     54404       779      3392         0     18048     10288    405316     21.15     22.35  --
15.96/4.01	c  N dy   169     60154       779      3392         0     13820     10288    234845     21.05     22.20  --
17.16/4.30	c  N dy   195     64334       779      3392         0     17985     10288    369105     21.22     22.49  --
18.36/4.66	c  N dy   212     68493       779      3392         0     11194     10288    129198     21.22     22.36  --
18.76/4.71	c  S st   219     69389       779      3392         0     12087     10288    157579     21.24   no data  --
18.76/4.74	c  S st   219     69891       779      3392         0     12589     10288    172854     21.24   no data  --
18.76/4.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.76/4.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.76/4.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.76/4.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.76/4.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.76/4.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
18.76/4.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.56/4.94	c lits-rem:        14  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.75 s
19.56/4.94	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
19.56/4.95	c vivif2 --  cl tried    12574 cl shrink        0 lits rem          0 time: 0.01
19.56/4.96	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.04
19.56/4.96	c calculated reachability. Time: 0.00
19.56/4.96	c  N dy   219     69891       779      3392         0     12574     10288    172260     21.24   no data  --
21.15/5.33	c  N dy   252     75425       779      3392         0     18089     10288    349632     21.35     22.59  --
22.74/5.72	c  N dy   284     80261       779      3392         0     22895     10288    503394     21.44     23.60  --
23.94/6.08	c  N dy   308     85497       779      3392         0     16170     10288    261220     21.45     22.72  --
24.75/6.22	c  F st   317     87500       779      3392         0     18167     10288    322766     21.45   no data  --
26.36/6.64	c  N dy   323     92693       779      3392         0     23336     10288    494252     21.45   no data  --
28.34/7.14	c  N dy   345     99065       779      3392         0     16723     10288    254868     21.45     22.64  --
30.34/7.61	c  S st   354    104839       779      3392         0     22459     10288    436572     21.29     21.91  --
30.34/7.67	c  S st   354    105345       779      3392         0     22963     10288    452013     21.29   no data  --
30.34/7.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.34/7.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.34/7.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.34/7.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.34/7.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.34/7.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
30.34/7.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.15/8.89	c lits-rem:       107  cl-subs:      339  v-elim:      0  v-fix:    0  time:  4.78 s
35.15/8.89	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
35.15/8.90	c vivif2 --  cl tried    22624 cl shrink        0 lits rem          0 time: 0.02
35.55/8.92	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.08
35.55/8.92	c calculated reachability. Time: 0.00
35.55/8.92	c  N dy   354    105345       779      3392         0     22624     10288    439918     21.29   no data  --
38.33/9.69	c  N dy   384    114141       779      3392         0     17445     10288    251917     21.21     22.49  --
41.12/10.37	c  N dy   422    121956       779      3392         0     25201     10288    493380     21.24     22.42  --
44.34/11.16	c  N dy   449    130418       779      3392         0     18724     10288    260651     21.23     22.39  --
47.91/12.02	c  N dy   475    139855       779      3392         0     28097     10288    555453     21.13     22.28  --
51.11/12.86	c  N dy   520    148908       779      3392         0     21198     10288    311900     21.16     22.28  --
54.70/13.72	c  S st   567    158019       779      3392         0     30262     10288    594522     21.19   no data  --
54.70/13.79	c  S st   567    158520       779      3392         0     30762     10288    610209     21.19   no data  --
54.70/13.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
54.70/13.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.10/13.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
55.10/13.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.10/13.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.10/13.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
55.10/13.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.89/16.03	c lits-rem:       312  cl-subs:      254  v-elim:      0  v-fix:    0  time:  8.80 s
63.89/16.03	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
63.89/16.04	c vivif2 --  cl tried    30508 cl shrink        0 lits rem          0 time: 0.03
63.89/16.06	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.11
63.89/16.06	c calculated reachability. Time: 0.00
63.89/16.06	c  N dy   567    158520       779      3392         0     30508     10288    600004     21.19   no data  --
67.88/17.01	c  N dy   615    169014       779      3392         0     24034     10288    375765     21.19     22.35  --
72.28/18.17	c  N dy   677    179869       779      3392         0     34835     10288    721747     21.27     22.51  --
77.07/19.31	c  N dy   741    191704       779      3392         0     28699     10288    502614     21.32     22.54  --
83.07/20.81	c  N dy   796    204032       779      3392         0     22072     10288    263867     21.31     23.76  --
88.66/22.22	c  N dy   874    217126       779      3392         0     35096     10288    676790     21.36     22.83  --
94.65/23.76	c  N dy   946    231517       779      3392         0     29526     10288    475200     21.40     22.54  --
97.45/24.47	c  S st   965    237780       779      3392         0     35759     10288    674061     21.37     20.27  --
97.85/24.55	c  S st   965    238282       779      3392         0     36261     10288    689192     21.37   no data  --
97.85/24.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.85/24.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.85/24.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
97.85/24.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.85/24.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.85/24.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
97.85/24.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
107.43/26.98	c lits-rem:       694  cl-subs:      315  v-elim:      0  v-fix:    0  time:  9.52 s
107.43/26.98	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
107.43/26.98	c vivif2 --  cl tried    35946 cl shrink        0 lits rem          0 time: 0.03
107.83/27.02	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.13
107.83/27.02	c calculated reachability. Time: 0.00
107.83/27.02	c  N dy   965    238282       779      3392         0     35946     10288    676433     21.37   no data  --
114.64/28.77	c  N dy  1057    253671       779      3392         0     30358     10288    476114     21.44     22.80  --
123.02/30.87	c  N dy  1136    269937       779      3392         0     24657     10288    268428     21.47     26.45  --
132.99/33.30	c  N dy  1199    289508       779      3392         0     44098     10288    883707     21.43     22.69  --
140.60/35.24	c  F st  1255    306251       779      3392         0     37867     10288    661413     21.41     16.62  --
141.78/35.50	c  N st  1259    308289       779      3392         0     39899     10288    730107     21.41   no data  --
151.37/37.99	c  N dy  1340    328017       779      3392         0     35646     10288    571414     21.42     24.22  --
162.57/40.78	c  N dy  1423    348027       779      3392         0     30678     10288    379570     21.42     24.58  --
167.37/41.99	c  S st  1480    357423       779      3392         0     40017     10288    675473     21.44     20.15  --
167.74/42.07	c  S st  1480    357924       779      3392         0     40518     10288    690252     21.44   no data  --
167.74/42.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
167.74/42.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.74/42.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
168.14/42.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
168.14/42.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
168.14/42.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
168.14/42.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
178.13/44.62	c lits-rem:       463  cl-subs:      313  v-elim:      0  v-fix:    0  time: 10.01 s
178.13/44.62	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
178.13/44.63	c vivif2 --  cl tried    40205 cl shrink        0 lits rem          0 time: 0.03
178.13/44.67	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.15
178.13/44.67	c calculated reachability. Time: 0.00
178.13/44.67	c  N dy  1480    357924       779      3392         0     40205     10288    677972     21.44   no data  --
189.34/47.45	c  N dy  1550    377984       779      3392         0     34297     10288    474307     21.41     23.38  --
202.90/50.81	c  N dy  1670    398081       779      3392         0     27457     10288    228683     21.46     23.02  --
213.68/53.59	c  N dy  1790    418165       779      3392         0     47438     10288    870415     21.50     22.76  --
225.66/56.52	c  N dy  1877    438166       779      3392         0     39501     10288    588603     21.52     25.93  --
239.25/59.95	c  N dy  1981    458211       779      3392         0     30583     10288    274092     21.53     22.71  --
251.23/62.90	c  N dy  2063    478710       779      3392         0     50926     10288    925812     21.53     22.68  --
264.41/66.29	c  N dy  2144    499606       779      3392         0     41889     10288    614936     21.53     22.74  --
279.60/70.04	c  N dy  2221    519847       779      3392         0     31198     10288    245512     21.51     23.00  --
289.18/72.44	c  S st  2313    536887       779      3392         0     48142     10288    787360     21.54   no data  --
289.59/72.55	c  S st  2313    537391       779      3392         0     48646     10288    803509     21.54   no data  --
289.59/72.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
289.59/72.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
289.59/72.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
289.59/72.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
289.59/72.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
289.59/72.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
289.59/72.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
301.16/75.49	c lits-rem:       621  cl-subs:      349  v-elim:      0  v-fix:    0  time: 11.52 s
301.16/75.49	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
301.16/75.50	c vivif2 --  cl tried    48297 cl shrink        0 lits rem          0 time: 0.04
301.56/75.55	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.20
301.56/75.55	c calculated reachability. Time: 0.00
301.56/75.55	c  N dy  2313    537391       779      3392         0     48297     10288    789492     21.54   no data  --
316.76/79.32	c  N dy  2420    557401       779      3392         0     36378     10288    383465     21.57     23.01  --
331.12/82.95	c  N dy  2530    578650       779      3392         0     57495     10288   1061620     21.59     22.93  --
344.30/86.28	c  N dy  2601    598871       779      3392         0     44800     10288    637389     21.57     22.83  --
362.28/90.73	c  N dy  2719    620728       779      3392         0     66528     10288   1340341     21.60     22.81  --
375.06/93.90	c  N dy  2792    640825       779      3392         0     52705     10288    871735     21.59     22.93  --
391.05/97.91	c  N dy  2829    661323       779      3392         0     38272     10288    374035     21.55     22.70  --
405.42/101.56	c  N dy  2903    681706       779      3392         0     58530     10288   1010149     21.54     22.99  --
422.99/105.91	c  N dy  2999    702263       779      3392         0     43195     10288    503184     21.55     23.10  --
438.58/109.89	c  N dy  3074    722832       779      3392         0     63601     10288   1151039     21.54     22.94  --
455.35/114.00	c  N dy  3175    743347       779      3392         0     47231     10288    606803     21.55     22.76  --
472.93/118.48	c  N dy  3270    765009       779      3392         0     68786     10288   1296544     21.55     22.81  --
488.50/122.39	c  N dy  3362    785092       779      3392         0     50965     10288    699808     21.56     22.76  --
506.88/126.96	c  N dy  3457    805238       779      3392         0     70976     10288   1340395     21.57     22.88  --
507.68/127.20	c  S st  3465    806088       779      3392         0     71826     10288   1367952     21.57     18.83  --
508.48/127.37	c  S st  3465    806591       779      3392         0     72328     10288   1384108     21.57   no data  --
508.48/127.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
508.48/127.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
508.88/127.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
508.88/127.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
508.88/127.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
508.88/127.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
508.88/127.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
518.88/129.93	c lits-rem:       262  cl-subs:      765  v-elim:      0  v-fix:    0  time:  9.89 s
518.88/129.93	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
518.88/129.95	c vivif2 --  cl tried    71563 cl shrink        0 lits rem          0 time: 0.07
519.26/130.04	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.36
519.26/130.04	c calculated reachability. Time: 0.00
519.26/130.04	c  N dy  3465    806591       779      3392         0     71563     10288   1354545     21.57   no data  --
544.03/136.27	c  N dy  3532    838658       779      3392         0     64586     10288   1124325     21.52     22.68  --
563.60/141.10	c  N dy  3645    858661       779      3392         0     44761     10288    449761     21.54     27.28  --
581.98/145.70	c  N dy  3755    880465       779      3392         0     66428     10288   1142858     21.55     22.85  --
601.97/150.76	c  N dy  3879    900633       779      3392         0     45751     10288    457668     21.58     23.05  --
617.54/154.68	c  N dy  3945    920840       779      3392         0     65795     10288   1091138     21.57     22.95  --
638.70/159.96	c  N dy  4022    940923       779      3392         0     44034     10288    375025     21.56     22.74  --
654.70/163.92	c  N dy  4152    960967       779      3392         0     63949     10288   1018012     21.59     22.79  --
675.85/169.25	c  N dy  4243    980971       779      3392         0     83858     10288   1666477     21.60     23.70  --
691.82/173.23	c  N dy  4337   1000974       779      3392         0     61020     10288    900883     21.61     23.87  --
712.22/178.35	c  N dy  4406   1021513       779      3392         0     81439     10288   1563316     21.60     22.87  --
730.58/182.94	c  N dy  4524   1041674       779      3392         0     57764     10288    769923     21.62     23.15  --
751.77/188.21	c  N dy  4651   1061973       779      3392         0     77957     10288   1427683     21.64     23.00  --
763.73/191.22	c  F st  4680   1071876       779      3392         0     87781     10288   1742570     21.64     22.25  --
768.13/192.34	c Decided on static restart strategy
772.52/193.45	c  N st  4688   1084180       779      3392         0     55243     10288    674282     21.64   no data  --
800.10/200.33	c  N st  4691   1114578       779      3392         0     85318     10288   1748392     21.64   no data  --
819.25/205.16	c  N st  4692   1136173       779      3392         0     61075     10288   1612381     21.64   no data  --
851.61/213.20	c  N st  4693   1168565       779      3392         0     93085     10288   2740288     21.64   no data  --
897.14/224.64	c  N st  4694   1209887       779      3392         0     87412     10288   2379520     21.64   no data  --
897.14/224.64	c  S st  4694   1209887       779      3392         0     87412     10288   2379520     21.64   no data  --
897.94/224.89	c  S st  4694   1210392       779      3392         0     87916     10288   2394952     21.64   no data  --
897.94/224.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
897.94/224.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
898.34/224.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
898.75/225.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
898.75/225.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
898.75/225.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
898.75/225.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
929.11/232.60	c lits-rem:      3353  cl-subs:     2276  v-elim:      0  v-fix:    0  time: 30.25 s
929.11/232.60	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
929.11/232.63	c vivif2 --  cl tried    85640 cl shrink        0 lits rem          0 time: 0.10
929.51/232.75	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.48
929.51/232.75	c calculated reachability. Time: 0.00
929.51/232.75	c  N st  4694   1210392       779      3392         0     85640     10288   2295143     21.64   no data  --
1011.39/253.20	c  N st  4695   1283274       779      3392         0     61993     10288   1350122     21.64   no data  --
1132.83/283.61	c  N st  4696   1392600       779      3392         0     69986     10288   1591631     21.64   no data  --
1319.37/330.39	c  N st  4697   1556585       779      3392         0     74628     10288   1563703     21.64   no data  --
1505.12/376.86	c  N st  4698   1710394       779      3392         0     60693     10288    950437     21.64   no data  --
1505.12/376.86	c  S st  4698   1710394       779      3392         0     60693     10288    950437     21.64   no data  --
1505.92/377.01	c  S st  4698   1710900       779      3392         0     61196     10288    965849     21.64   no data  --
1505.92/377.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1505.92/377.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1505.92/377.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
1505.92/377.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1505.92/377.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1505.92/377.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
1505.92/377.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1517.10/379.84	c lits-rem:       636  cl-subs:      618  v-elim:      0  v-fix:    0  time: 11.01 s
1517.10/379.84	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
1517.10/379.85	c vivif2 --  cl tried    60578 cl shrink        0 lits rem          0 time: 0.05
1517.50/379.93	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.33
1517.50/379.94	c calculated reachability. Time: 0.00
1517.50/379.94	c  N st  4698   1710900       779      3392         0     60578     10288    946194     21.64   no data  --
2006.84/502.43	c  N st  4699   2079864       779      3392         0     66650     10288    984838     21.64   no data  --
2181.00/546.05	c  N st  4700   2210900       779      3392         0     68723     10288    980692     21.64   no data  --
2181.00/546.05	c  S st  4700   2210900       779      3392         0     68723     10288    980692     21.64   no data  --
2181.79/546.23	c  S st  4700   2211406       779      3392         0     69229     10288    995815     21.64   no data  --
2181.79/546.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2181.79/546.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2181.79/546.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
2182.19/546.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2182.19/546.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2182.19/546.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
2182.19/546.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2186.99/547.55	c lits-rem:       176  cl-subs:      314  v-elim:      0  v-fix:    0  time:  5.01 s
2186.99/547.55	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
2186.99/547.57	c vivif2 --  cl tried    68915 cl shrink        0 lits rem          0 time: 0.05
2187.39/547.65	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.35
2187.39/547.66	c calculated reachability. Time: 0.00
2187.39/547.66	c  N st  4700   2211406       779      3392         0     68915     10288    984792     21.64   no data  --
2904.01/727.00	c  N st  4701   2711407       779      3392         0     85205     10288   1355931     21.64   no data  --
2904.01/727.00	c  S st  4701   2711407       779      3392         0     85205     10288   1355931     21.64   no data  --
2904.83/727.22	c  S st  4701   2711912       779      3392         0     85710     10288   1371580     21.64   no data  --
2904.83/727.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2904.83/727.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2904.83/727.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
2905.21/727.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2905.21/727.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2905.21/727.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
2905.21/727.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2914.79/729.72	c lits-rem:       142  cl-subs:     1340  v-elim:      0  v-fix:    0  time:  9.61 s
2914.79/729.72	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
2914.79/729.74	c vivif2 --  cl tried    84370 cl shrink        0 lits rem          0 time: 0.07
2915.19/729.85	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.46
2915.19/729.86	c calculated reachability. Time: 0.00
2915.19/729.86	c  N st  4701   2711912       779      3392         0     84370     10288   1329054     21.64   no data  --
3633.01/909.53	c  N st  4702   3211913       779      3392         0    130593     10288   2911912     21.64   no data  --
3633.01/909.53	c  S st  4702   3211913       779      3392         0    130593     10288   2911912     21.64   no data  --
3634.61/909.95	c  S st  4702   3212419       779      3392         0    131099     10288   2928254     21.64   no data  --
3634.61/909.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3634.61/909.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3635.01/910.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
3635.41/910.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3635.41/910.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3635.41/910.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
3635.41/910.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3728.08/933.32	c lits-rem:        92  cl-subs:     5620  v-elim:      0  v-fix:    0  time: 92.58 s
3728.08/933.33	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
3728.08/933.36	c vivif2 --  cl tried   125479 cl shrink        0 lits rem          0 time: 0.13
3728.88/933.55	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.78
3728.88/933.56	c calculated reachability. Time: 0.00
3728.88/933.56	c  N st  4702   3212419       779      3392         0    125479     10288   2734138     21.64   no data  --
4569.33/1143.94	c  N st  4703   3712419       779      3392         0    136275     10288   2799412     21.64   no data  --
4569.33/1143.94	c  S st  4703   3712419       779      3392         0    136275     10288   2799412     21.64   no data  --
4570.93/1144.35	c  S st  4703   3712921       779      3392         0    136776     10288   2815706     21.64   no data  --
4570.93/1144.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4570.93/1144.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4571.33/1144.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.30
4571.73/1144.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4571.73/1144.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4571.73/1144.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.00 s
4571.73/1144.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4675.98/1170.67	c lits-rem:       112  cl-subs:     7025  v-elim:      0  v-fix:    0  time: 104.39 s
4675.98/1170.67	c vivif2 --  cl tried     3392 cl shrink        0 lits rem          0 time: 0.00
4676.38/1170.70	c vivif2 --  cl tried   129751 cl shrink        0 lits rem          0 time: 0.13
4676.78/1170.89	c asymm  cl-useful: 0/3392/3392 lits-rem:0 time: 0.76
4677.18/1170.90	c calculated reachability. Time: 0.00
4677.18/1170.90	c  N st  4703   3712921       779      3392         0    129751     10288   2589324     21.64   no data  --
4749.09/1188.90	c  F st  4704   3751562       779      3392         0     84299     10288    984973     21.64   no data  --
4749.09/1188.90	c  N st  4704   3751562       779      3392         0     84299     10288    984973     21.64   no data  --
4754.71/1190.31	c Decided on static restart strategy
4784.64/1197.81	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: 977)

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-3175100-1307655638/watcher-3175100-1307655638 -o /tmp/evaluation-result-3175100-1307655638/solver-3175100-1307655638 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175100-1307655638.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: 8.04 8.09 7.58 7/180 28918
/proc/meminfo: memFree=32090588/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 877163478 52465664 357 33554432000 4194304 4650419 140736428386976 18446744073709551615 47990709556765 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 12809 357 306 112 0 7774 0
[pid=28918/tid=28919] ppid=28916 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 877163479 52465664 357 33554432000 4194304 4650419 140736428386976 18446744073709551615 47990709557164 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 877163479 52465664 357 33554432000 4194304 4650419 140736428386976 18446744073709551615 47990709556761 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 877163479 52465664 357 33554432000 4194304 4650419 140736428386976 18446744073709551615 47990709556761 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.105355 s]
/proc/loadavg: 8.04 8.09 7.58 7/180 28918
/proc/meminfo: memFree=32090588/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=282672 CPUtime=0.39 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 2091 0 0 0 39 0 0 0 25 0 4 0 877163478 289456128 1942 33554432000 4194304 4650419 140736428386976 18446744073709551615 4364746 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 70668 1942 391 112 0 65633 0
[pid=28918/tid=28919] ppid=28916 vsize=282672 CPUtime=0.09 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 465 0 0 0 9 0 0 0 25 0 4 0 877163479 289456128 1942 33554432000 4194304 4650419 140736428386976 18446744073709551615 4329380 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=282672 CPUtime=0.09 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 473 0 0 0 9 0 0 0 25 0 4 0 877163479 289456128 1942 33554432000 4194304 4650419 140736428386976 18446744073709551615 4334028 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=282672 CPUtime=0.09 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 275 0 0 0 9 0 0 0 25 0 4 0 877163479 289456128 1942 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282672

[startup+0.200338 s]
/proc/loadavg: 8.04 8.09 7.58 7/180 28918
/proc/meminfo: memFree=32090588/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=284200 CPUtime=0.78 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 2970 0 0 0 77 1 0 0 25 0 4 0 877163478 291020800 2025 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 71050 2025 393 112 0 66015 0
[pid=28918/tid=28919] ppid=28916 vsize=284200 CPUtime=0.19 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 682 0 0 0 19 0 0 0 25 0 4 0 877163479 291020800 2025 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=284200 CPUtime=0.19 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 675 0 0 0 19 0 0 0 25 0 4 0 877163479 291020800 2025 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=284200 CPUtime=0.19 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 495 0 0 0 19 0 0 0 25 0 4 0 877163479 291020800 2025 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 284200

[startup+0.300319 s]
/proc/loadavg: 8.04 8.09 7.58 7/180 28918
/proc/meminfo: memFree=32090588/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=284200 CPUtime=1.18 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 3362 0 0 0 117 1 0 0 25 0 4 0 877163478 291020800 2417 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 71050 2417 393 112 0 66015 0
[pid=28918/tid=28919] ppid=28916 vsize=284200 CPUtime=0.29 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 773 0 0 0 29 0 0 0 25 0 4 0 877163479 291020800 2417 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=284200 CPUtime=0.29 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 770 0 0 0 29 0 0 0 25 0 4 0 877163479 291020800 2417 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=284200 CPUtime=0.29 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 602 0 0 0 29 0 0 0 25 0 4 0 877163479 291020800 2417 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284200

[startup+0.70025 s]
/proc/loadavg: 8.04 8.09 7.58 7/180 28918
/proc/meminfo: memFree=32090588/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=285344 CPUtime=2.78 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 5321 0 0 0 277 1 0 0 25 0 4 0 877163478 292192256 3193 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 71336 3193 393 112 0 66301 0
[pid=28918/tid=28919] ppid=28916 vsize=285344 CPUtime=0.69 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 1266 0 0 0 69 0 0 0 25 0 4 0 877163479 292192256 3193 33554432000 4194304 4650419 140736428386976 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=285344 CPUtime=0.69 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 1264 0 0 0 69 0 0 0 25 0 4 0 877163479 292192256 3193 33554432000 4194304 4650419 140736428386976 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=285344 CPUtime=0.69 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 1087 0 0 0 69 0 0 0 25 0 4 0 877163479 292192256 3193 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285344

[startup+1.50111 s]
/proc/loadavg: 8.04 8.09 7.59 10/184 28923
/proc/meminfo: memFree=32069128/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=287056 CPUtime=5.97 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 9220 0 0 0 595 2 0 0 25 0 4 0 877163478 293945344 3781 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 71764 3781 394 112 0 66729 0
[pid=28918/tid=28919] ppid=28916 vsize=287056 CPUtime=1.48 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 2245 0 0 0 148 0 0 0 25 0 4 0 877163479 293945344 3781 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=287056 CPUtime=1.49 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 2244 0 0 0 149 0 0 0 25 0 4 0 877163479 293945344 3781 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363534 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=287056 CPUtime=1.48 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 1985 0 0 0 148 0 0 0 25 0 4 0 877163479 293945344 3781 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287056

[startup+3.10083 s]
/proc/loadavg: 8.04 8.09 7.59 9/184 28923
/proc/meminfo: memFree=32041256/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=278652 CPUtime=12.37 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 19575 0 0 0 1232 5 0 0 25 0 4 0 877163478 285339648 12094 33554432000 4194304 4650419 140736428386976 18446744073709551615 4370732 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 69663 12094 395 112 0 64628 0
[pid=28918/tid=28919] ppid=28916 vsize=278652 CPUtime=3.08 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 4581 0 0 0 307 1 0 0 25 0 4 0 877163479 285339648 12094 33554432000 4194304 4650419 140736428386976 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=278652 CPUtime=3.08 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 5164 0 0 0 308 0 0 0 25 0 4 0 877163479 285339648 12094 33554432000 4194304 4650419 140736428386976 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=278652 CPUtime=3.09 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 4342 0 0 0 308 1 0 0 25 0 4 0 877163479 285339648 12094 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 278652

[startup+6.30027 s]
/proc/loadavg: 8.04 8.09 7.59 9/184 28923
/proc/meminfo: memFree=31959364/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=353216 CPUtime=25.15 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 27273 0 0 0 2508 7 0 0 25 0 4 0 877163478 361693184 19038 33554432000 4194304 4650419 140736428386976 18446744073709551615 4334286 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 88304 19038 395 112 0 83269 0
[pid=28918/tid=28919] ppid=28916 vsize=353216 CPUtime=6.26 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 7652 0 0 0 624 2 0 0 25 0 4 0 877163479 361693184 19038 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=353216 CPUtime=6.28 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 6937 0 0 0 628 0 0 0 25 0 4 0 877163479 361693184 19038 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=353216 CPUtime=6.28 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 5943 0 0 0 627 1 0 0 25 0 4 0 877163479 361693184 19038 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 353216

[startup+12.7011 s]
/proc/loadavg: 8.03 8.09 7.59 10/184 28923
/proc/meminfo: memFree=31914112/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=389956 CPUtime=50.72 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 37917 0 0 0 5063 9 0 0 25 0 4 0 877163478 399314944 23377 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 97489 23377 395 112 0 92454 0
[pid=28918/tid=28919] ppid=28916 vsize=389956 CPUtime=12.62 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 10457 0 0 0 1260 2 0 0 25 0 4 0 877163479 399314944 23377 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=389956 CPUtime=12.68 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 9355 0 0 0 1267 1 0 0 25 0 4 0 877163479 399314944 23377 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=389956 CPUtime=12.69 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 8655 0 0 0 1267 2 0 0 25 0 4 0 877163479 399314944 23377 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 389956

[startup+25.5009 s]
/proc/loadavg: 8.03 8.08 7.59 9/184 28923
/proc/meminfo: memFree=31863020/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=390756 CPUtime=101.84 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 59880 0 0 0 10168 16 0 0 25 0 4 0 877163478 400134144 27684 33554432000 4194304 4650419 140736428386976 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 97689 27684 395 112 0 92654 0
[pid=28918/tid=28919] ppid=28916 vsize=390756 CPUtime=25.35 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 15872 0 0 0 2531 4 0 0 25 0 4 0 877163479 400134144 27684 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=390756 CPUtime=25.48 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 14991 0 0 0 2545 3 0 0 25 0 4 0 877163479 400134144 27684 33554432000 4194304 4650419 140736428386976 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=390756 CPUtime=25.49 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 13793 0 0 0 2545 4 0 0 25 0 4 0 877163479 400134144 27684 33554432000 4194304 4650419 140736428386976 18446744073709551615 4364746 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 390756

[startup+51.1004 s]
/proc/loadavg: 8.08 8.09 7.61 10/184 28924
/proc/meminfo: memFree=31803936/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=374404 CPUtime=204.1 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 94050 0 0 0 20384 26 0 0 25 0 4 0 877163478 383389696 35133 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 93601 35133 395 112 0 88566 0
[pid=28918/tid=28919] ppid=28916 vsize=374404 CPUtime=50.81 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 23838 0 0 0 5076 5 0 0 25 0 4 0 877163479 383389696 35133 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=374404 CPUtime=51.08 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 26528 0 0 0 5102 6 0 0 25 0 4 0 877163479 383389696 35133 33554432000 4194304 4650419 140736428386976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=374404 CPUtime=51.08 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 21675 0 0 0 5101 7 0 0 25 0 4 0 877163479 383389696 35133 33554432000 4194304 4650419 140736428386976 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 374404

[startup+102.3 s]
/proc/loadavg: 8.09 8.09 7.64 9/184 28925
/proc/meminfo: memFree=31707672/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=450612 CPUtime=408.63 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 137558 0 0 0 40823 40 0 0 25 0 4 0 877163478 461426688 45920 33554432000 4194304 4650419 140736428386976 18446744073709551615 4333957 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 112653 45920 395 112 0 107618 0
[pid=28918/tid=28919] ppid=28916 vsize=450612 CPUtime=101.74 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 31789 0 0 0 10166 8 0 0 25 0 4 0 877163479 461426688 45920 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=450612 CPUtime=102.3 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 40059 0 0 0 10219 11 0 0 25 0 4 0 877163479 461426688 45920 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=450612 CPUtime=102.29 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 33514 0 0 0 10218 11 0 0 25 0 4 0 877163479 461426688 45920 33554432000 4194304 4650419 140736428386976 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 450612

[startup+162.301 s]

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

[pid=28918] ppid=28916 vsize=708156 CPUtime=2565.68 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 376915 0 0 0 256431 137 0 0 25 0 4 0 877163478 725151744 102629 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 177039 102629 395 112 0 172004 0
[pid=28918/tid=28919] ppid=28916 vsize=708156 CPUtime=638.8 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 74758 0 0 0 63856 24 0 0 25 0 4 0 877163479 725151744 102629 33554432000 4194304 4650419 140736428386976 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=708156 CPUtime=642.29 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 128293 0 0 0 64182 47 0 0 25 0 4 0 877163479 725151744 102629 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=708156 CPUtime=642.3 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 92092 0 0 0 64194 36 0 0 25 0 4 0 877163479 725151744 102629 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.68
Current children cumulated vsize (KiB) 708156

[startup+702.301 s]
/proc/loadavg: 8.09 8.07 7.83 9/184 28941
/proc/meminfo: memFree=31243128/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=657132 CPUtime=2805.34 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 392924 0 0 0 280391 143 0 0 25 0 4 0 877163478 672903168 106239 33554432000 4194304 4650419 140736428386976 18446744073709551615 4331865 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 164283 106239 395 112 0 159248 0
[pid=28918/tid=28919] ppid=28916 vsize=657132 CPUtime=698.47 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 78475 0 0 0 69821 26 0 0 25 0 4 0 877163479 672903168 106239 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=657132 CPUtime=702.3 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 134249 0 0 0 70180 50 0 0 25 0 4 0 877163479 672903168 106239 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=657132 CPUtime=702.3 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 95808 0 0 0 70192 38 0 0 25 0 4 0 877163479 672903168 106239 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 657132

[startup+762.301 s]
/proc/loadavg: 8.10 8.07 7.84 9/184 28943
/proc/meminfo: memFree=31232300/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=659200 CPUtime=3045.04 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 411348 0 0 0 304352 152 0 0 25 0 4 0 877163478 675020800 102736 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 164800 102736 395 112 0 159765 0
[pid=28918/tid=28919] ppid=28916 vsize=659200 CPUtime=758.15 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 82944 0 0 0 75787 28 0 0 25 0 4 0 877163479 675020800 102736 33554432000 4194304 4650419 140736428386976 18446744073709551615 4426564 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=659200 CPUtime=762.31 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 140279 0 0 0 76179 52 0 0 25 0 4 0 877163479 675020800 102736 33554432000 4194304 4650419 140736428386976 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=659200 CPUtime=762.3 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 101082 0 0 0 76191 39 0 0 25 0 4 0 877163479 675020800 102736 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 659200

[startup+822.301 s]
/proc/loadavg: 8.10 8.07 7.85 9/184 28944
/proc/meminfo: memFree=31186732/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=725224 CPUtime=3284.69 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 425904 0 0 0 328310 159 0 0 25 0 4 0 877163478 742629376 103516 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 181306 103516 395 112 0 176271 0
[pid=28918/tid=28919] ppid=28916 vsize=725224 CPUtime=817.83 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 86243 0 0 0 81753 30 0 0 25 0 4 0 877163479 742629376 103516 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=725224 CPUtime=822.3 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 141611 0 0 0 82178 52 0 0 25 0 4 0 877163479 742629376 103516 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=725224 CPUtime=822.3 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 105902 0 0 0 82188 42 0 0 25 0 4 0 877163479 742629376 103516 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 725224

[startup+882.307 s]
/proc/loadavg: 8.04 8.05 7.86 10/184 28946
/proc/meminfo: memFree=31143528/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=772828 CPUtime=3524.38 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 446109 0 0 0 352270 168 0 0 25 0 4 0 877163478 791375872 113521 33554432000 4194304 4650419 140736428386976 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 193207 113521 395 112 0 188172 0
[pid=28918/tid=28919] ppid=28916 vsize=772828 CPUtime=877.5 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 91878 0 0 0 87718 32 0 0 25 0 4 0 877163479 791375872 113521 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=772828 CPUtime=882.31 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 149164 0 0 0 88175 56 0 0 25 0 4 0 877163479 791375872 113521 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=772828 CPUtime=882.3 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 111340 0 0 0 88186 44 0 0 25 0 4 0 877163479 791375872 113521 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 772828

[startup+942.301 s]
/proc/loadavg: 8.01 8.04 7.87 10/184 28948
/proc/meminfo: memFree=31108116/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=792808 CPUtime=3764.03 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 465148 0 0 0 376226 177 0 0 25 0 4 0 877163478 811835392 123152 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 198202 123152 395 112 0 193167 0
[pid=28918/tid=28919] ppid=28916 vsize=792808 CPUtime=937.18 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 98137 0 0 0 93683 35 0 0 25 0 4 0 877163479 811835392 123152 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365303 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=792808 CPUtime=942.31 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 156444 0 0 0 94171 60 0 0 25 0 4 0 877163479 811835392 123152 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=792808 CPUtime=942.3 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 114457 0 0 0 94184 46 0 0 25 0 4 0 877163479 811835392 123152 33554432000 4194304 4650419 140736428386976 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 792808

[startup+1002.3 s]
/proc/loadavg: 8.06 8.05 7.88 10/184 28949
/proc/meminfo: memFree=31004896/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=833232 CPUtime=4003.71 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 486209 0 0 0 400185 186 0 0 25 0 4 0 877163478 853229568 136397 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 208308 136397 395 112 0 203273 0
[pid=28918/tid=28919] ppid=28916 vsize=833232 CPUtime=996.85 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 107987 0 0 0 99647 38 0 0 25 0 4 0 877163479 853229568 136397 33554432000 4194304 4650419 140736428386976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=833232 CPUtime=1002.31 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 163949 0 0 0 100168 63 0 0 25 0 4 0 877163479 853229568 136397 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=833232 CPUtime=1002.31 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 116752 0 0 0 100183 48 0 0 25 0 4 0 877163479 853229568 136397 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 833232

[startup+1062.3 s]
/proc/loadavg: 8.14 8.07 7.89 9/184 28951
/proc/meminfo: memFree=30968864/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=803716 CPUtime=4243.37 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 505757 0 0 0 424144 193 0 0 25 0 4 0 877163478 823005184 142030 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 200929 142030 395 112 0 195894 0
[pid=28918/tid=28919] ppid=28916 vsize=803716 CPUtime=1056.52 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 112574 0 0 0 105613 39 0 0 25 0 4 0 877163479 823005184 142030 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=803716 CPUtime=1062.31 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 174044 0 0 0 106165 66 0 0 25 0 4 0 877163479 823005184 142030 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=803716 CPUtime=1062.31 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 119921 0 0 0 106181 50 0 0 25 0 4 0 877163479 823005184 142030 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 803716

[startup+1122.3 s]
/proc/loadavg: 8.15 8.08 7.91 9/184 28952
/proc/meminfo: memFree=30946736/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=909912 CPUtime=4483.05 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 522400 0 0 0 448104 201 0 0 25 0 4 0 877163478 931749888 144402 33554432000 4194304 4650419 140736428386976 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 227478 144402 395 112 0 222443 0
[pid=28918/tid=28919] ppid=28916 vsize=909912 CPUtime=1116.19 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 113438 0 0 0 111580 39 0 0 25 0 4 0 877163479 931749888 144402 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=909912 CPUtime=1122.31 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 179954 0 0 0 112162 69 0 0 25 0 4 0 877163479 931749888 144402 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=909912 CPUtime=1122.31 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 124965 0 0 0 112179 52 0 0 25 0 4 0 877163479 931749888 144402 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 909912

[startup+1182.3 s]
/proc/loadavg: 8.10 8.08 7.91 9/184 28954
/proc/meminfo: memFree=30942724/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=910928 CPUtime=4722.72 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 539442 0 0 0 472062 210 0 0 25 0 4 0 877163478 932790272 149758 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 227732 149758 395 112 0 222697 0
[pid=28918/tid=28919] ppid=28916 vsize=910928 CPUtime=1175.87 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 118898 0 0 0 117544 43 0 0 25 0 4 0 877163479 932790272 149758 33554432000 4194304 4650419 140736428386976 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=910928 CPUtime=1182.31 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 187400 0 0 0 118158 73 0 0 25 0 4 0 877163479 932790272 149758 33554432000 4194304 4650419 140736428386976 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=910928 CPUtime=1182.31 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 128382 0 0 0 118177 54 0 0 25 0 4 0 877163479 932790272 149759 33554432000 4194304 4650419 140736428386976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 910928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.07 7.91 5/180 28956
/proc/meminfo: memFree=31467624/32950928 swapFree=67079488/67111528
[pid=28918] ppid=28916 vsize=972624 CPUtime=4800.23 cores=0,2,4,6
/proc/28918/stat : 28918 (strangenight1-m) R 28916 28918 28625 0 -1 4202496 546755 0 0 0 479810 213 0 0 25 0 4 0 877163478 995966976 156057 33554432000 4194304 4650419 140736428386976 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28918/statm: 243156 156057 395 112 0 238121 0
[pid=28918/tid=28919] ppid=28916 vsize=972624 CPUtime=1195.16 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 120404 0 0 0 119473 43 0 0 25 0 4 0 877163479 995966976 156057 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28918/tid=28920] ppid=28916 vsize=972624 CPUtime=1201.71 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 188866 0 0 0 120098 73 0 0 25 0 4 0 877163479 995966976 156057 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28918/tid=28921] ppid=28916 vsize=972624 CPUtime=1201.72 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (strangenight1-m) R 28916 28918 28625 0 -1 4202560 129611 0 0 0 120117 55 0 0 25 0 4 0 877163479 995966976 156057 33554432000 4194304 4650419 140736428386976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 972624

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): 1201.74
CPU time (s): 4800.3
CPU user time (s): 4798.13
CPU system time (s): 2.16567
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 1009124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.13
system time used= 2.16567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546757
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= 470
involuntary context switches= 23750

runsolver used 2.02869 second user time and 4.53931 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-09 23:40:38
IDJOB=3175100
IDBENCH=82718
IDSOLVER=1588
FILE ID=node125/3175100-1307655638
RUNJOBID= node125-1307653230-28643
PBS_JOBID= 13549420
Free space on /tmp= 74060 MiB

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

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

MD5SUM BENCH= 7dd8c0785d0d6e3db3893df5c914e46d
RANDOM SEED=348660481

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32091272 kB
Buffers:        214048 kB
Cached:         409212 kB
SwapCached:       3400 kB
Active:         344940 kB
Inactive:       319888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32091272 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:           12440 kB
Writeback:           0 kB
AnonPages:       39424 kB
Mapped:          14128 kB
Slab:           130308 kB
PageTables:       4660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   278792 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= 74052 MiB
End job on node125 at 2011-06-10 00:00:42