Trace number 3368726

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.44 1203.13

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf
MD5SUMae2c6ab9f054a239f861b972b7e9a79b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.386941
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58010

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-3368726-1305401728.cnf'
0.00/0.01	c -- header says num vars:             90
0.00/0.01	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.78/0.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.74
0.78/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.78/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.78/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.78/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.78/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.57/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.57/1.00	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.57/1.00	c calculated reachability. Time: 0.00
3.57/1.00	c Calc default polars -  time:   0.00 s pos:      36 undec:       1 neg:      53
3.57/1.00	c =========================================================================================
3.57/1.00	c types(t): F = full restart, N = normal restart
3.57/1.00	c types(t): S = simplification begin/end, E = solution found
3.57/1.00	c restart types(rt): st = static, dy = dynamic
3.57/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/1.00	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.57/1.00	c  N dy    10      5918        90      8010         0      3179     56070     82697     25.33     26.75  --
3.57/1.00	c  N dy    19     11277        90      8010         0      4202     56070     96682     25.09     26.62  --
3.57/1.00	c  N dy    35     15602        90      8010         0      8200     56070    215031     25.23     26.67  --
3.99/1.10	c  N dy    55     20659        90      8010         0      7689     56070    182787     25.40     26.77  --
4.76/1.26	c  N dy    66     24827        90      8010         0     11561     56070    296622     25.43     26.85  --
4.76/1.27	c  F st    68     25000        90      8010         0     11726     56070    301529     25.44   no data  --
5.97/1.52	c  N dy    74     30001        90      8010         0     10035     56070    233740     25.44   no data  --
5.97/1.52	c  S st    74     30001        90      8010         0     10035     56070    233740     25.44   no data  --
5.97/1.56	c  S st    74     30506        90      8010         0     10510     56070    248251     25.44   no data  --
5.97/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.97/1.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.16/2.84	c lits-rem:      1447  cl-subs:      690  v-elim:      0  v-fix:    0  time:  5.04 s
12.36/3.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.41
12.36/3.19	c calculated reachability. Time: 0.00
12.36/3.19	c  N dy    74     30506        90      8010         0      9820     56070    224586     25.44   no data  --
13.54/3.42	c  N dy    93     34523        90      8010         0     13535     56070    335263     25.58     28.16  --
14.74/3.71	c  N dy   103     40036        90      8010         0     11319     56070    252003     25.52     26.94  --
15.94/4.05	c  N dy   110     45759        90      8010         0      8349     56070    149261     25.31     25.41  --
15.94/4.05	c  S st   110     45759        90      8010         0      8349     56070    149261     25.31     25.41  --
15.94/4.08	c  S st   110     46259        90      8010         0      8819     56070    163086     25.31   no data  --
15.94/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.94/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.94/4.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.93/5.00	c lits-rem:       176  cl-subs:       44  v-elim:      0  v-fix:    0  time:  3.61 s
19.93/5.00	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.93/5.00	c vivif2 --  cl tried     8775 cl shrink        0 lits rem          0 time: 0.00
21.13/5.30	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.19
21.13/5.30	c calculated reachability. Time: 0.00
21.13/5.30	c  N dy   110     46259        90      8010         0      8775     56070    161384     25.31   no data  --
21.96/5.52	c  N dy   130     50312        90      8010         0     12506     56070    271402     25.41     28.12  --
23.52/5.99	c  N dy   145     57414        90      8010         0      9860     56070    176093     25.36     26.72  --
24.72/6.22	c  N dy   165     61435        90      8010         0     13607     56070    288168     25.44     27.87  --
26.71/6.74	c  N dy   172     69388        90      8010         0     10796     56070    186252     25.30     24.13  --
26.71/6.74	c  S st   172     69388        90      8010         0     10796     56070    186252     25.30     24.13  --
26.71/6.78	c  S st   172     69889        90      8010         0     11269     56070    200301     25.30   no data  --
26.71/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.71/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.71/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.71/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.71/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.71/6.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.71/6.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.10/7.82	c lits-rem:       359  cl-subs:      177  v-elim:      0  v-fix:    0  time:  4.09 s
31.10/7.82	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.10/7.82	c vivif2 --  cl tried    11092 cl shrink        0 lits rem          0 time: 0.01
32.30/8.18	c asymm  cl-useful: 0/7767/8010 lits-rem:0 time: 1.45
32.30/8.18	c calculated reachability. Time: 0.00
32.30/8.18	c  N dy   172     69889        90      8010         0     11092     56070    194648     25.30   no data  --
33.50/8.50	c  N dy   192     74937        90      8010         0     15795     56070    333538     25.34     26.76  --
35.13/8.87	c  N dy   218     79801        90      8010         0     20341     56070    469424     25.41     26.78  --
37.09/9.30	c  N dy   233     85250        90      8010         0     14230     56070    266256     25.40     26.82  --
37.49/9.48	c  F st   246     87500        90      8010         0     16313     56070    327975     25.43     24.55  --
38.69/9.71	c  N st   251     90798        90      8010         0     19342     56070    418183     25.43   no data  --
40.67/10.28	c  N dy   271     97749        90      8010         0     13769     56070    239123     25.45     26.93  --
42.68/10.76	c  N dy   284    104833        90      8010         0     20343     56070    433087     25.44     24.35  --
42.68/10.76	c  S st   284    104833        90      8010         0     20343     56070    433087     25.44     24.35  --
43.08/10.81	c  S st   284    105344        90      8010         0     20824     56070    447339     25.44   no data  --
43.08/10.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.08/10.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.08/10.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
43.08/10.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.08/10.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.08/10.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.08/10.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.65/12.70	c lits-rem:      1608  cl-subs:     1615  v-elim:      0  v-fix:    0  time:  7.42 s
50.65/12.70	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.65/12.71	c vivif2 --  cl tried    19209 cl shrink        0 lits rem          0 time: 0.02
52.27/13.11	c asymm  cl-useful: 0/5384/8010 lits-rem:0 time: 1.62
52.27/13.12	c calculated reachability. Time: 0.00
52.27/13.12	c  N dy   284    105344        90      8010         0     19209     56070    395115     25.44   no data  --
54.64/13.70	c  N dy   297    112117        90      8010         0     25493     56070    578518     25.41     26.79  --
57.83/14.55	c  N dy   311    123499        90      8010         0     23047     56070    490225     25.35     26.70  --
63.02/15.85	c  N dy   332    139912        90      8010         0     24351     56070    511243     25.24     26.65  --
65.85/16.53	c  N dy   338    148874        90      8010         0     17875     56070    307907     25.16     26.73  --
68.61/17.26	c  S st   377    158018        90      8010         0     26353     56070    555965     25.18     24.40  --
69.01/17.33	c  S st   377    158522        90      8010         0     26831     56070    570407     25.18   no data  --
69.01/17.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
69.01/17.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.01/17.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.01/17.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.01/17.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.01/17.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.01/17.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.02/19.82	c lits-rem:      1959  cl-subs:     2221  v-elim:      0  v-fix:    0  time:  9.78 s
79.02/19.82	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.02/19.82	c vivif2 --  cl tried    24610 cl shrink        0 lits rem          0 time: 0.02
79.78/20.05	c asymm  cl-useful: 0/1930/8010 lits-rem:0 time: 0.93
79.78/20.06	c calculated reachability. Time: 0.00
79.78/20.06	c  N dy   377    158522        90      8010         0     24610     56070    500277     25.18   no data  --
83.76/21.01	c  N dy   401    168652        90      8010         0     18344     56070    307252     25.17     26.53  --
87.80/22.01	c  N dy   445    179953        90      8010         0     28870     56070    616680     25.20     26.57  --
92.54/23.24	c  N dy   497    193721        90      8010         0     24977     56070    482288     25.21     26.56  --
98.13/24.68	c  N dy   532    206343        90      8010         0     19087     56070    290905     25.22     26.62  --
104.94/26.39	c  N dy   541    225647        90      8010         0     36822     56070    800619     25.08     26.60  --
109.74/27.51	c  S st   590    237784        90      8010         0     29607     56070    585112     25.11   no data  --
109.74/27.59	c  S st   590    238288        90      8010         0     30073     56070    599181     25.11   no data  --
109.74/27.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
109.74/27.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.10/27.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
110.10/27.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.10/27.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.10/27.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.10/27.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.68/30.50	c lits-rem:      1903  cl-subs:     2075  v-elim:      0  v-fix:    0  time: 11.50 s
121.68/30.50	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
121.68/30.50	c vivif2 --  cl tried    27998 cl shrink        0 lits rem          0 time: 0.02
121.68/30.59	c asymm  cl-useful: 0/696/8010 lits-rem:0 time: 0.36
121.68/30.60	c calculated reachability. Time: 0.00
121.68/30.60	c  N dy   590    238288        90      8010         0     27998     56070    531395     25.11   no data  --
128.05/32.10	c  N dy   612    253505        90      8010         0     22643     56070    359245     25.05     27.87  --
134.84/33.83	c  N dy   676    270177        90      8010         0     38119     56070    816263     25.09     26.41  --
142.02/35.64	c  N dy   769    287503        90      8010         0     33933     56070    684106     25.15     26.73  --
149.60/37.59	c  F st   793    306250        90      8010         0     29861     56070    530394     25.06     22.18  --
149.60/37.59	c  N st   793    306250        90      8010         0     29861     56070    530394     25.06     22.18  --
158.77/39.86	c  N dy   872    325841        90      8010         0     25929     56070    406140     25.10     26.56  --
167.96/42.16	c  N dy   946    345944        90      8010         0     44592     56070    954599     25.12     26.70  --
173.14/43.42	c  S st   974    357432        90      8010         0     32065     56070    564853     25.12   no data  --
173.54/43.50	c  S st   974    357936        90      8010         0     32548     56070    579279     25.12   no data  --
173.54/43.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
173.54/43.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
173.54/43.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
173.54/43.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
173.54/43.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
173.54/43.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
173.54/43.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
183.13/45.97	c lits-rem:      1342  cl-subs:     1722  v-elim:      0  v-fix:    0  time:  9.71 s
183.13/45.97	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
183.13/45.97	c vivif2 --  cl tried    30826 cl shrink        0 lits rem          0 time: 0.02
183.94/46.18	c asymm  cl-useful: 0/2133/8010 lits-rem:0 time: 0.81
183.94/46.18	c calculated reachability. Time: 0.00
183.94/46.18	c  N dy   974    357936        90      8010         0     30826     56070    524670     25.12   no data  --
197.53/49.57	c  N dy  1066    377954        90      8010         0     25387     56070    351784     25.17     27.87  --
209.06/52.42	c  N dy  1160    398992        90      8010         0     44876     56070    930326     25.21     26.63  --
219.48/55.10	c  N dy  1217    419078        90      8010         0     38445     56070    718252     25.22     26.59  --
230.21/57.78	c  N dy  1285    439168        90      8010         0     31166     56070    488143     25.23     27.22  --
242.57/60.85	c  N dy  1354    462423        90      8010         0     52654     56070   1123264     25.24     26.70  --
252.95/63.49	c  N dy  1412    483837        90      8010         0     45644     56070    894927     25.24     26.58  --
264.52/66.34	c  N dy  1486    504860        90      8010         0     37374     56070    635709     25.25     26.60  --
276.11/69.27	c  N dy  1554    524941        90      8010         0     55938     56070   1183626     25.26     26.74  --
282.47/70.84	c  S st  1606    536904        90      8010         0     38356     56070    644671     25.27   no data  --
282.87/70.94	c  S st  1606    537407        90      8010         0     38833     56070    659124     25.27   no data  --
282.87/70.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.87/70.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.87/70.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
282.87/70.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.87/70.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.87/70.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
282.87/70.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
295.64/74.13	c lits-rem:      1381  cl-subs:     1751  v-elim:      0  v-fix:    0  time: 12.57 s
295.64/74.13	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
295.64/74.14	c vivif2 --  cl tried    37082 cl shrink        0 lits rem          0 time: 0.02
296.44/74.36	c asymm  cl-useful: 0/1534/8010 lits-rem:0 time: 0.88
296.44/74.36	c calculated reachability. Time: 0.00
296.44/74.36	c  N dy  1606    537407        90      8010         0     37082     56070    601791     25.27   no data  --
308.81/77.41	c  N dy  1683    557640        90      8010         0     55849     56070   1158921     25.29     26.67  --
320.42/80.34	c  N dy  1762    579080        90      8010         0     46157     56070    855039     25.30     26.64  --
337.56/84.61	c  N dy  1775    613712        90      8010         0     47394     56070    866265     25.18     26.53  --
349.50/87.68	c  N dy  1812    635468        90      8010         0     36104     56070    524522     25.18     26.66  --
373.44/93.67	c  N dy  1880    677412        90      8010         0     42557     56070    695530     25.13     26.59  --
395.79/99.25	c  N dy  1902    717145        90      8010         0     45841     56070    768062     25.01     26.68  --
410.56/102.97	c  N dy  1971    737560        90      8010         0     64711     56070   1320881     25.01     26.40  --
440.08/110.36	c  N dy  2035    780858        90      8010         0     35453     56070    436374     24.95     26.30  --
454.45/113.90	c  N dy  2159    803558        90      8010         0     56576     56070   1066197     24.99     26.34  --
456.48/114.41	c  S st  2173    806110        90      8010         0     58943     56070   1136003     24.99     23.19  --
456.84/114.57	c  S st  2173    806614        90      8010         0     59420     56070   1150616     24.99   no data  --
456.84/114.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
456.84/114.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
457.24/114.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
457.24/114.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
457.24/114.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.24/114.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
457.24/114.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
500.38/125.47	c lits-rem:      2517  cl-subs:     3999  v-elim:      0  v-fix:    0  time: 43.23 s
500.38/125.47	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
500.38/125.48	c vivif2 --  cl tried    55421 cl shrink        0 lits rem          0 time: 0.06
501.93/125.83	c asymm  cl-useful: 0/1020/8010 lits-rem:0 time: 1.39
501.93/125.84	c calculated reachability. Time: 0.00
501.93/125.84	c  N dy  2173    806614        90      8010         0     55421     56070   1018712     24.99   no data  --
545.82/136.89	c  N dy  2268    869220        90      8010         0     40351     56070    542040     24.90     26.33  --
558.99/140.19	c  N dy  2360    889255        90      8010         0     58890     56070   1088860     24.92     28.93  --
576.55/144.59	c  N dy  2447    909264        90      8010         0     39656     56070    502620     24.94     26.59  --
590.51/148.07	c  N dy  2565    929344        90      8010         0     58341     56070   1057743     24.96     26.43  --
609.26/152.76	c  N dy  2648    949851        90      8010         0     77370     56070   1620290     24.98     26.30  --
622.44/156.08	c  N dy  2713    970126        90      8010         0     57240     56070    998432     24.98     26.31  --
641.18/160.74	c  N dy  2816    991204        90      8010         0     76748     56070   1575442     25.00     26.45  --
657.16/164.70	c  N dy  2931   1011567        90      8010         0     55809     56070    941567     25.03     26.91  --
674.31/169.08	c  N dy  2995   1032300        90      8010         0     74988     56070   1508733     25.03     26.36  --
691.46/173.32	c  N dy  3125   1052350        90      8010         0     52867     56070    839940     25.05     26.98  --
705.03/176.70	c  F st  3147   1071876        90      8010         0     70809     56070   1351335     25.02     20.56  --
705.42/176.83	c  N st  3149   1072502        90      8010         0     71380     56070   1368474     25.02   no data  --
723.80/181.42	c  N dy  3237   1092555        90      8010         0     48289     56070    680315     25.04     26.40  --
739.34/185.36	c  N dy  3288   1114858        90      8010         0     68858     56070   1282293     25.03     26.45  --
761.29/190.88	c  N dy  3421   1135439        90      8010         0     45467     56070    582693     25.06     26.43  --
776.47/194.62	c  N dy  3508   1156385        90      8010         0     64909     56070   1159382     25.07     26.40  --
798.84/200.21	c  N dy  3574   1176734        90      8010         0     83681     56070   1714367     25.07     26.57  --
815.56/204.47	c  N dy  3600   1198236        90      8010         0     59890     56070    979340     25.06     26.48  --
827.53/207.42	c  S st  3657   1209921        90      8010         0     70742     56070   1301656     25.07     23.91  --
828.33/207.64	c  S st  3657   1210424        90      8010         0     71216     56070   1315925     25.07   no data  --
828.33/207.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
828.33/207.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
828.33/207.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
828.73/207.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
828.73/207.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
828.73/207.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
828.73/207.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
926.87/232.35	c lits-rem:      2995  cl-subs:     5632  v-elim:      0  v-fix:    0  time: 98.20 s
926.87/232.35	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
926.87/232.37	c vivif2 --  cl tried    65584 cl shrink        0 lits rem          0 time: 0.07
928.86/232.80	c asymm  cl-useful: 0/867/8010 lits-rem:0 time: 1.74
928.86/232.80	c calculated reachability. Time: 0.00
928.86/232.80	c  N dy  3657   1210424        90      8010         0     65584     56070   1145090     25.07   no data  --
954.01/239.19	c  N dy  3757   1230843        90      8010         0     84517     56070   1704744     25.08     26.40  --
973.56/244.04	c  N dy  3831   1250891        90      8010         0     58943     56070    938889     25.08     26.44  --
997.10/249.95	c  N dy  3941   1271275        90      8010         0     77874     56070   1502509     25.10     26.61  --
1016.65/254.82	c  N dy  3968   1291302        90      8010         0     51064     56070    686729     25.07     27.63  --
1033.81/259.11	c  N dy  4011   1311459        90      8010         0     69556     56070   1230154     25.07     26.39  --
1057.37/265.08	c  N dy  4067   1332931        90      8010         0     89374     56070   1810870     25.06     26.43  --
1076.10/269.71	c  N dy  4124   1353039        90      8010         0     61901     56070    988892     25.06     26.66  --
1095.65/274.60	c  N dy  4172   1373121        90      8010         0     80361     56070   1530908     25.06     28.21  --
1117.20/280.09	c  N dy  4278   1393149        90      8010         0     51887     56070    677522     25.08     26.64  --
1134.35/284.33	c  N dy  4404   1413211        90      8010         0     70513     56070   1235656     25.10     26.75  --
1157.91/290.21	c  N dy  4529   1433493        90      8010         0     89380     56070   1799450     25.11     26.45  --
1178.65/295.43	c  N dy  4665   1453513        90      8010         0     59816     56070    892229     25.14     26.74  --
1194.61/299.41	c  N dy  4666   1473986        90      8010         0     78640     56070   1430915     25.11     26.48  --
1235.71/309.79	c  N dy  4688   1527434        90      8010         0     78509     56070   1396534     25.01     26.53  --
1261.64/316.21	c  N dy  4787   1549207        90      8010         0     98687     56070   1993230     25.02     26.36  --
1279.60/320.74	c  N dy  4918   1569222        90      8010         0     67555     56070   1090922     25.04     28.58  --
1301.55/326.20	c  N dy  5004   1591170        90      8010         0     87778     56070   1691854     25.05     26.40  --
1326.68/332.55	c  N dy  5132   1611781        90      8010         0     56195     56070    732616     25.07     26.39  --
1345.04/337.18	c  N dy  5243   1631787        90      8010         0     74726     56070   1283137     25.08     26.71  --
1367.38/342.71	c  N dy  5315   1651832        90      8010         0     93234     56070   1830543     25.08     26.47  --
1391.72/348.88	c  N dy  5454   1672126        90      8010         0     60301     56070    835358     25.10     26.64  --
1410.47/353.56	c  N dy  5553   1692184        90      8010         0     78882     56070   1389235     25.12     27.46  --
1432.02/358.93	c  S st  5612   1710425        90      8010         0     95740     56070   1884220     25.12     25.65  --
1433.22/359.24	c  S st  5612   1710929        90      8010         0     96218     56070   1898432     25.12   no data  --
1433.22/359.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1433.22/359.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1433.62/359.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1433.62/359.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1433.62/359.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1433.62/359.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1433.62/359.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1783.14/446.90	c lits-rem:      5407  cl-subs:     7979  v-elim:      0  v-fix:    0  time: 349.12 s
1783.14/446.91	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1783.14/446.93	c vivif2 --  cl tried    88239 cl shrink        0 lits rem          0 time: 0.09
1784.34/447.28	c asymm  cl-useful: 0/630/8010 lits-rem:0 time: 1.42
1784.34/447.29	c calculated reachability. Time: 0.00
1784.34/447.29	c  N dy  5612   1710929        90      8010         0     88239     56070   1641028     25.12   no data  --
1812.30/454.21	c  N dy  5714   1730994        90      8010         0     54411     56070    642590     25.13     28.17  --
1832.22/459.23	c  N dy  5776   1756269        90      8010         0     77687     56070   1321318     25.12     26.54  --
1856.19/465.25	c  N dy  5876   1776296        90      8010         0     96265     56070   1873909     25.13     26.72  --
1881.31/471.59	c  N dy  6005   1796336        90      8010         0     61301     56070    828898     25.15     27.19  --
1899.67/476.19	c  N dy  6084   1816639        90      8010         0     80117     56070   1386702     25.15     26.51  --
1923.59/482.11	c  N dy  6161   1836962        90      8010         0     98866     56070   1941490     25.16     26.59  --
1945.54/487.66	c  N dy  6203   1856984        90      8010         0     62873     56070    852011     25.15     26.72  --
1971.87/494.20	c  N dy  6317   1883910        90      8010         0     87750     56070   1589272     25.16     26.60  --
2003.40/502.17	c  N dy  6419   1907009        90      8010         0    109163     56070   2224544     25.17     26.55  --
2025.75/507.78	c  N dy  6508   1930568        90      8010         0     75517     56070   1210621     25.17     26.56  --
2049.31/513.62	c  N dy  6604   1950657        90      8010         0     94226     56070   1767429     25.18     27.05  --
2082.40/521.94	c  N dy  6756   1970700        90      8010         0    112831     56070   2328208     25.20     28.91  --
2101.97/526.86	c  N dy  6836   1990743        90      8010         0     74859     56070   1172886     25.21     26.69  --
2133.12/534.63	c  N dy  6908   2013741        90      8010         0     96050     56070   1800542     25.21     26.56  --
2159.81/541.39	c  N dy  6971   2033784        90      8010         0    114604     56070   2350603     25.21     27.65  --
2178.57/546.08	c  N dy  7053   2053806        90      8010         0     75698     56070   1177564     25.22     29.36  --
2200.11/551.41	c  N dy  7103   2073951        90      8010         0     94232     56070   1720421     25.21     26.64  --
2251.98/564.44	c  N dy  7171   2126995        90      8010         0     84759     56070   1421015     25.18     26.75  --
2275.93/570.48	c  N dy  7234   2147152        90      8010         0    103417     56070   1972171     25.18     26.54  --
2305.45/577.81	c  N dy  7320   2167472        90      8010         0     63249     56070    776691     25.18     26.59  --
2323.01/582.25	c  N dy  7387   2187516        90      8010         0     81725     56070   1322654     25.19     27.55  --
2348.55/588.62	c  N dy  7487   2207554        90      8010         0    100290     56070   1877110     25.19     28.57  --
2353.33/589.85	c  S st  7502   2210930        90      8010         0    103405     56070   1969022     25.19     23.79  --
2354.53/590.17	c  S st  7502   2211430        90      8010         0    103868     56070   1983151     25.19   no data  --
2354.53/590.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2354.53/590.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2354.93/590.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2354.93/590.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2354.93/590.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2354.93/590.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2354.93/590.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2816.98/706.01	c lits-rem:      5151  cl-subs:     8105  v-elim:      0  v-fix:    0  time: 461.57 s
2816.98/706.01	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2816.98/706.03	c vivif2 --  cl tried    95763 cl shrink        0 lits rem          0 time: 0.09
2818.57/706.40	c asymm  cl-useful: 0/585/8010 lits-rem:0 time: 1.47
2818.57/706.41	c calculated reachability. Time: 0.00
2818.57/706.41	c  N dy  7502   2211430        90      8010         0     95763     56070   1722621     25.19   no data  --
2854.09/715.31	c  N dy  7586   2233395        90      8010         0    116093     56070   2326518     25.20     26.69  --
2884.01/722.86	c  N dy  7667   2256015        90      8010         0     77296     56070   1171062     25.20     26.55  --
2911.54/729.75	c  N dy  7751   2276020        90      8010         0     95811     56070   1725313     25.21     28.66  --
2941.47/737.26	c  N dy  7850   2296325        90      8010         0    114614     56070   2286643     25.22     26.57  --
2965.41/743.26	c  N dy  7910   2316369        90      8010         0     72277     56070   1001524     25.22     27.37  --
2989.35/749.22	c  N dy  8005   2337639        90      8010         0     91955     56070   1588592     25.22     26.59  --
3020.07/756.98	c  N dy  8102   2360061        90      8010         0    112568     56070   2201470     25.23     26.76  --
3046.80/763.63	c  N dy  8174   2380068        90      8010         0     69221     56070    895747     25.23     27.66  --
3069.15/769.21	c  N dy  8283   2400160        90      8010         0     87743     56070   1451199     25.24     26.73  --
3093.91/775.48	c  N dy  8335   2420196        90      8010         0    106209     56070   1998296     25.24     27.38  --
3125.06/783.25	c  N dy  8381   2440347        90      8010         0    124769     56070   2546817     25.24     26.65  --
3147.00/788.79	c  N dy  8481   2461051        90      8010         0     81251     56070   1241198     25.25     26.58  --
3173.69/795.42	c  N dy  8603   2481078        90      8010         0     99870     56070   1800178     25.26     26.59  --
3207.62/803.99	c  N dy  8729   2501296        90      8010         0    118585     56070   2362029     25.27     26.80  --
3233.15/810.34	c  N dy  8766   2523568        90      8010         0     75282     56070   1026092     25.26     27.00  --
3256.73/816.27	c  N dy  8849   2543891        90      8010         0     94011     56070   1579050     25.26     26.71  --
3285.42/823.47	c  N dy  8922   2563915        90      8010         0    112528     56070   2127112     25.27     29.40  --
3316.15/831.11	c  N dy  8971   2584167        90      8010         0     66573     56070    761403     25.26     26.63  --
3334.50/835.71	c  N dy  9013   2604178        90      8010         0     85034     56070   1301663     25.26     26.59  --
3360.44/842.21	c  N dy  9112   2624239        90      8010         0    103592     56070   1857600     25.27     27.98  --
3395.55/851.09	c  N dy  9229   2645576        90      8010         0    123380     56070   2453193     25.28     26.99  --
3428.27/859.26	c  N dy  9297   2671942        90      8010         0     82115     56070   1191883     25.27     26.65  --
3454.24/865.74	c  N dy  9406   2692012        90      8010         0    100766     56070   1749806     25.28     26.71  --
3484.54/873.37	c  S st  9512   2711430        90      8010         0    118705     56070   2288954     25.29     26.16  --
3486.12/873.72	c  S st  9512   2711935        90      8010         0    119174     56070   2303208     25.29   no data  --
3486.12/873.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3486.12/873.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3486.12/873.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
3486.53/873.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3486.53/873.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3486.53/873.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3486.53/873.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4480.78/1123.04	c lits-rem:      6886  cl-subs:     9798  v-elim:      0  v-fix:    0  time: 993.92 s
4480.78/1123.04	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4480.78/1123.07	c vivif2 --  cl tried   109376 cl shrink        0 lits rem          0 time: 0.12
4483.15/1123.61	c asymm  cl-useful: 0/509/8010 lits-rem:0 time: 2.17
4483.15/1123.61	c calculated reachability. Time: 0.00
4483.15/1123.61	c  N dy  9512   2711935        90      8010         0    109376     56070   1991286     25.29   no data  --
4529.06/1135.11	c  N dy  9569   2732079        90      8010         0    127963     56070   2539313     25.29     26.69  --
4568.14/1144.93	c  N dy  9698   2752170        90      8010         0     80357     56070   1143281     25.30     29.09  --
4604.84/1154.16	c  N dy  9756   2775096        90      8010         0    101523     56070   1771395     25.30     26.71  --
4640.35/1163.07	c  N dy  9791   2795134        90      8010         0    119983     56070   2315949     25.30     28.57  --
4687.06/1174.80	c  N dy  9816   2823864        90      8010         0     79146     56070   1074211     25.29     26.70  --
4717.79/1182.43	c  N dy  9885   2844303        90      8010         0     97976     56070   1632980     25.29     26.92  --
4755.67/1191.94	c  N dy  9992   2864306        90      8010         0    116504     56070   2186205     25.29     26.67  --
4797.20/1202.34	c  N dy 10085   2887599        90      8010         0     69856     56070    788216     25.30     26.76  --

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-3368726-1305401728/watcher-3368726-1305401728 -o /tmp/evaluation-result-3368726-1305401728/solver-3368726-1305401728 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368726-1305401728.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.46 7.95 7.91 6/317 10075
/proc/meminfo: memFree=22940456/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 730403279 52465664 354 33554432000 4194304 4650419 140735118439504 18446744073709551615 46952248129458 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 12809 354 303 112 0 7774 0
[pid=10075/tid=10076] ppid=10073 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 730403279 52465664 354 33554432000 4194304 4650419 140735118439504 18446744073709551615 46952248129458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 730403279 52465664 354 33554432000 4194304 4650419 140735118439504 18446744073709551615 46952248129458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730403279 52465664 354 33554432000 4194304 4650419 140735118439504 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.085613 s]
/proc/loadavg: 7.46 7.95 7.91 6/317 10075
/proc/meminfo: memFree=22940456/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=282064 CPUtime=0.32 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 1582 0 0 0 32 0 0 0 18 0 4 0 730403279 288833536 1491 33554432000 4194304 4650419 140735118439504 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 70516 1491 366 112 0 65481 0
[pid=10075/tid=10076] ppid=10073 vsize=282064 CPUtime=0.08 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 251 0 0 0 8 0 0 0 18 0 4 0 730403279 288833536 1491 33554432000 4194304 4650419 140735118439504 18446744073709551615 4370693 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=282064 CPUtime=0.08 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 267 0 0 0 8 0 0 0 18 0 4 0 730403279 288833536 1491 33554432000 4194304 4650419 140735118439504 18446744073709551615 4370630 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=282064 CPUtime=0.07 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 368 0 0 0 7 0 0 0 25 0 4 0 730403279 288833536 1491 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 282064

[startup+0.10061 s]
/proc/loadavg: 7.46 7.95 7.91 6/317 10075
/proc/meminfo: memFree=22940456/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=282064 CPUtime=0.38 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 1619 0 0 0 38 0 0 0 18 0 4 0 730403279 288833536 1528 33554432000 4194304 4650419 140735118439504 18446744073709551615 4371120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 70516 1528 366 112 0 65481 0
[pid=10075/tid=10076] ppid=10073 vsize=282064 CPUtime=0.09 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 255 0 0 0 9 0 0 0 18 0 4 0 730403279 288833536 1528 33554432000 4194304 4650419 140735118439504 18446744073709551615 4370693 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=282064 CPUtime=0.09 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 272 0 0 0 9 0 0 0 18 0 4 0 730403279 288833536 1528 33554432000 4194304 4650419 140735118439504 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=282064 CPUtime=0.08 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 395 0 0 0 8 0 0 0 25 0 4 0 730403279 288833536 1528 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282064

[startup+0.300576 s]
/proc/loadavg: 7.46 7.95 7.91 6/317 10075
/proc/meminfo: memFree=22940456/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=286576 CPUtime=1.17 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 4108 0 0 0 117 0 0 0 18 0 4 0 730403279 293453824 3490 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 71644 3490 390 112 0 66609 0
[pid=10075/tid=10076] ppid=10073 vsize=286576 CPUtime=0.29 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 951 0 0 0 29 0 0 0 18 0 4 0 730403279 293453824 3490 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=286576 CPUtime=0.29 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 940 0 0 0 29 0 0 0 18 0 4 0 730403279 293453824 3490 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=286576 CPUtime=0.28 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 817 0 0 0 28 0 0 0 25 0 4 0 730403279 293453824 3490 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 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) 286576

[startup+0.700501 s]
/proc/loadavg: 7.46 7.95 7.91 6/317 10075
/proc/meminfo: memFree=22940456/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=288324 CPUtime=2.78 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 6712 0 0 0 277 1 0 0 18 0 4 0 730403279 295243776 4127 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365410 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 72081 4127 390 112 0 67046 0
[pid=10075/tid=10076] ppid=10073 vsize=288324 CPUtime=0.69 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 1586 0 0 0 69 0 0 0 18 0 4 0 730403279 295243776 4127 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=288324 CPUtime=0.69 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 1663 0 0 0 69 0 0 0 18 0 4 0 730403279 295243776 4127 33554432000 4194304 4650419 140735118439504 18446744073709551615 4331130 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=288324 CPUtime=0.68 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 1379 0 0 0 68 0 0 0 25 0 4 0 730403279 295243776 4127 33554432000 4194304 4650419 140735118439504 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 288324

[startup+1.50035 s]
/proc/loadavg: 7.46 7.95 7.91 10/321 10079
/proc/meminfo: memFree=22913268/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=289728 CPUtime=5.97 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 10873 0 0 0 595 2 0 0 20 0 4 0 730403279 296681472 4984 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 72432 4984 391 112 0 67397 0
[pid=10075/tid=10076] ppid=10073 vsize=289728 CPUtime=1.49 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 2662 0 0 0 149 0 0 0 20 0 4 0 730403279 296681472 4984 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=289728 CPUtime=1.49 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 2738 0 0 0 149 0 0 0 19 0 4 0 730403279 296681472 4984 33554432000 4194304 4650419 140735118439504 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=289728 CPUtime=1.47 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 2365 0 0 0 147 0 0 0 25 0 4 0 730403279 296681472 4984 33554432000 4194304 4650419 140735118439504 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289728

[startup+3.10106 s]
/proc/loadavg: 7.51 7.95 7.91 10/321 10079
/proc/meminfo: memFree=22883096/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=297128 CPUtime=12.36 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 21103 0 0 0 1232 4 0 0 25 0 4 0 730403279 304259072 12986 33554432000 4194304 4650419 140735118439504 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 74282 12986 392 112 0 69247 0
[pid=10075/tid=10076] ppid=10073 vsize=297128 CPUtime=3.09 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 4493 0 0 0 309 0 0 0 25 0 4 0 730403279 304259072 12986 33554432000 4194304 4650419 140735118439504 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=297128 CPUtime=3.08 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 5894 0 0 0 308 0 0 0 23 0 4 0 730403279 304259072 12986 33554432000 4194304 4650419 140735118439504 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=297128 CPUtime=3.06 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 5933 0 0 0 305 1 0 0 25 0 4 0 730403279 304259072 12986 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 297128

[startup+6.30046 s]
/proc/loadavg: 7.51 7.95 7.91 10/321 10079
/proc/meminfo: memFree=22837100/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=297744 CPUtime=25.11 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 30216 0 0 0 2506 5 0 0 25 0 4 0 730403279 304889856 16260 33554432000 4194304 4650419 140735118439504 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 74436 16260 392 112 0 69401 0
[pid=10075/tid=10076] ppid=10073 vsize=297744 CPUtime=6.28 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 7596 0 0 0 628 0 0 0 25 0 4 0 730403279 304889856 16260 33554432000 4194304 4650419 140735118439504 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=297744 CPUtime=6.29 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 7833 0 0 0 628 1 0 0 25 0 4 0 730403279 304889856 16260 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=297744 CPUtime=6.23 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 8156 0 0 0 621 2 0 0 25 0 4 0 730403279 304889856 16260 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 297744

[startup+12.7003 s]
/proc/loadavg: 7.58 7.95 7.91 10/321 10079
/proc/meminfo: memFree=22793520/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=308028 CPUtime=50.65 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 42946 0 0 0 5057 8 0 0 25 0 4 0 730403279 315420672 22164 33554432000 4194304 4650419 140735118439504 18446744073709551615 4541342 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 77007 22164 392 112 0 71972 0
[pid=10075/tid=10076] ppid=10073 vsize=308028 CPUtime=12.68 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 10136 0 0 0 1267 1 0 0 25 0 4 0 730403279 315420672 22164 33554432000 4194304 4650419 140735118439504 18446744073709551615 4438750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=308028 CPUtime=12.69 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 11196 0 0 0 1267 2 0 0 25 0 4 0 730403279 315420672 22164 33554432000 4194304 4650419 140735118439504 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=308028 CPUtime=12.55 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 12044 0 0 0 1253 2 0 0 25 0 4 0 730403279 315420672 22164 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 308028

[startup+25.5009 s]
/proc/loadavg: 7.65 7.95 7.91 10/321 10079
/proc/meminfo: memFree=22741308/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=320592 CPUtime=101.72 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 64767 0 0 0 10157 15 0 0 25 0 4 0 730403279 328286208 28386 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 80148 28386 392 112 0 75113 0
[pid=10075/tid=10076] ppid=10073 vsize=320592 CPUtime=25.48 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 16454 0 0 0 2546 2 0 0 25 0 4 0 730403279 328286208 28386 33554432000 4194304 4650419 140735118439504 18446744073709551615 4438792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=320592 CPUtime=25.48 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 16970 0 0 0 2545 3 0 0 25 0 4 0 730403279 328286208 28386 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=320592 CPUtime=25.23 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 18244 0 0 0 2518 5 0 0 25 0 4 0 730403279 328286208 28386 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 320592

[startup+51.1011 s]
/proc/loadavg: 7.84 7.97 7.91 9/321 10080
/proc/meminfo: memFree=22701220/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=308084 CPUtime=203.87 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 98398 0 0 0 20362 25 0 0 25 0 4 0 730403279 315478016 32173 33554432000 4194304 4650419 140735118439504 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 77021 32173 392 112 0 71986 0
[pid=10075/tid=10076] ppid=10073 vsize=308084 CPUtime=51.08 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 26756 0 0 0 5104 4 0 0 25 0 4 0 730403279 315478016 32173 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=308084 CPUtime=51.09 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 26843 0 0 0 5102 7 0 0 25 0 4 0 730403279 315478016 32173 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=308084 CPUtime=50.58 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 26197 0 0 0 5050 8 0 0 25 0 4 0 730403279 315478016 32173 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 308084

[startup+102.312 s]
/proc/loadavg: 8.08 8.00 7.93 10/321 10081
/proc/meminfo: memFree=22624812/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=354708 CPUtime=408.2 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 151306 0 0 0 40778 42 0 0 25 0 4 0 730403279 363220992 43633 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 88677 43633 392 112 0 83642 0
[pid=10075/tid=10076] ppid=10073 vsize=354708 CPUtime=102.3 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 38940 0 0 0 10222 8 0 0 25 0 4 0 730403279 363220992 43633 33554432000 4194304 4650419 140735118439504 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=354708 CPUtime=102.3 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 42403 0 0 0 10218 12 0 0 25 0 4 0 730403279 363220992 43633 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=354708 CPUtime=101.27 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 41247 0 0 0 10114 13 0 0 25 0 4 0 730403279 363220992 43633 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 354708

[startup+162.3 s]

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

[pid=10075] ppid=10073 vsize=459752 CPUtime=2802.22 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 442671 0 0 0 280043 179 0 0 25 0 4 0 730403279 470786048 83569 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 114938 83569 392 112 0 109903 0
[pid=10075/tid=10076] ppid=10073 vsize=459752 CPUtime=702.31 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 112052 0 0 0 70188 43 0 0 25 0 4 0 730403279 470786048 83569 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=459752 CPUtime=702.3 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 128929 0 0 0 70179 51 0 0 25 0 4 0 730403279 470786048 83569 33554432000 4194304 4650419 140735118439504 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=459752 CPUtime=695.26 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 121504 0 0 0 69476 50 0 0 25 0 4 0 730403279 470786048 83569 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.22
Current children cumulated vsize (KiB) 459752

[startup+762.312 s]
/proc/loadavg: 8.08 8.09 8.01 10/321 10102
/proc/meminfo: memFree=22286052/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=473408 CPUtime=3041.66 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 466689 0 0 0 303978 188 0 0 25 0 4 0 730403279 484769792 83074 33554432000 4194304 4650419 140735118439504 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 118352 83074 392 112 0 113317 0
[pid=10075/tid=10076] ppid=10073 vsize=473408 CPUtime=762.33 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 119215 0 0 0 76187 46 0 0 25 0 4 0 730403279 484769792 83074 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=473408 CPUtime=762.31 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 137891 0 0 0 76176 55 0 0 25 0 4 0 730403279 484769792 83074 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=473408 CPUtime=754.67 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 128455 0 0 0 75415 52 0 0 25 0 4 0 730403279 484769792 83074 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.66
Current children cumulated vsize (KiB) 473408

[startup+822.301 s]
/proc/loadavg: 8.06 8.08 8.01 10/321 10104
/proc/meminfo: memFree=22269036/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=473792 CPUtime=3281.04 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 486945 0 0 0 327905 199 0 0 25 0 4 0 730403279 485163008 83885 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 118448 83885 392 112 0 113413 0
[pid=10075/tid=10076] ppid=10073 vsize=473792 CPUtime=822.31 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 126365 0 0 0 82182 49 0 0 25 0 4 0 730403279 485163008 83885 33554432000 4194304 4650419 140735118439504 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=473792 CPUtime=822.3 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 144002 0 0 0 82172 58 0 0 25 0 4 0 730403279 485163008 83885 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=473792 CPUtime=814.07 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 135409 0 0 0 81351 56 0 0 25 0 4 0 730403279 485163008 83885 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.04
Current children cumulated vsize (KiB) 473792

[startup+882.301 s]
/proc/loadavg: 8.23 8.12 8.02 10/321 10105
/proc/meminfo: memFree=22265660/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=510760 CPUtime=3520.44 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 516331 0 0 0 351830 214 0 0 25 0 4 0 730403279 523018240 83462 33554432000 4194304 4650419 140735118439504 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 127690 83462 392 112 0 122655 0
[pid=10075/tid=10076] ppid=10073 vsize=510760 CPUtime=882.32 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 133494 0 0 0 88178 54 0 0 25 0 4 0 730403279 523018240 83462 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=510760 CPUtime=882.31 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 150534 0 0 0 88170 61 0 0 25 0 4 0 730403279 523018240 83462 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=510760 CPUtime=873.47 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 142772 0 0 0 87287 60 0 0 25 0 4 0 730403279 523018240 83462 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.44
Current children cumulated vsize (KiB) 510760

[startup+942.3 s]
/proc/loadavg: 8.16 8.12 8.02 10/321 10107
/proc/meminfo: memFree=22247668/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=579680 CPUtime=3759.84 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 535161 0 0 0 375761 223 0 0 25 0 4 0 730403279 593592320 92176 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 144920 92176 392 112 0 139885 0
[pid=10075/tid=10076] ppid=10073 vsize=579680 CPUtime=942.32 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 138624 0 0 0 94175 57 0 0 25 0 4 0 730403279 593592320 92176 33554432000 4194304 4650419 140735118439504 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=579680 CPUtime=942.31 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 155055 0 0 0 94167 64 0 0 25 0 4 0 730403279 593592320 92176 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=579680 CPUtime=932.87 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 151470 0 0 0 93224 63 0 0 25 0 4 0 730403279 593592320 92176 33554432000 4194304 4650419 140735118439504 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.84
Current children cumulated vsize (KiB) 579680

[startup+1002.3 s]
/proc/loadavg: 8.11 8.11 8.02 10/321 10108
/proc/meminfo: memFree=22227196/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=579792 CPUtime=3999.24 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 547486 0 0 0 399697 227 0 0 25 0 4 0 730403279 593707008 90296 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 144948 90296 392 112 0 139913 0
[pid=10075/tid=10076] ppid=10073 vsize=579792 CPUtime=1002.31 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 142896 0 0 0 100174 57 0 0 25 0 4 0 730403279 593707008 90296 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=579792 CPUtime=1002.31 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 160525 0 0 0 100164 67 0 0 25 0 4 0 730403279 593707008 90296 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=579792 CPUtime=992.27 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 154053 0 0 0 99163 64 0 0 25 0 4 0 730403279 593707008 90296 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.24
Current children cumulated vsize (KiB) 579792

[startup+1062.3 s]
/proc/loadavg: 8.04 8.09 8.01 10/321 10110
/proc/meminfo: memFree=22241060/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=579792 CPUtime=4238.61 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 561731 0 0 0 423632 229 0 0 25 0 4 0 730403279 593707008 90054 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 144948 90054 392 112 0 139913 0
[pid=10075/tid=10076] ppid=10073 vsize=579792 CPUtime=1062.32 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 150429 0 0 0 106174 58 0 0 25 0 4 0 730403279 593707008 90054 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=579792 CPUtime=1062.31 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 161037 0 0 0 106164 67 0 0 25 0 4 0 730403279 593707008 90054 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=579792 CPUtime=1051.63 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 160253 0 0 0 105098 65 0 0 25 0 4 0 730403279 593707008 90054 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.61
Current children cumulated vsize (KiB) 579792

[startup+1122.3 s]
/proc/loadavg: 8.01 8.07 8.01 9/321 10112
/proc/meminfo: memFree=22224924/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=579792 CPUtime=4477.96 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 576584 0 0 0 447563 233 0 0 25 0 4 0 730403279 593707008 89554 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 144948 89554 392 112 0 139913 0
[pid=10075/tid=10076] ppid=10073 vsize=579792 CPUtime=1122.32 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 158577 0 0 0 112172 60 0 0 25 0 4 0 730403279 593707008 89554 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=579792 CPUtime=1122.31 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 161037 0 0 0 112164 67 0 0 25 0 4 0 730403279 593707008 89554 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=579792 CPUtime=1110.97 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 166958 0 0 0 111030 67 0 0 25 0 4 0 730403279 593707008 89554 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.96
Current children cumulated vsize (KiB) 579792

[startup+1182.3 s]
/proc/loadavg: 8.13 8.08 8.01 10/321 10113
/proc/meminfo: memFree=22198976/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=524732 CPUtime=4717.37 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 594547 0 0 0 471497 240 0 0 25 0 4 0 730403279 537325568 90499 33554432000 4194304 4650419 140735118439504 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 131183 90499 392 112 0 126148 0
[pid=10075/tid=10076] ppid=10073 vsize=524732 CPUtime=1182.32 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 163595 0 0 0 118170 62 0 0 25 0 4 0 730403279 537325568 90499 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=524732 CPUtime=1182.31 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 161135 0 0 0 118164 67 0 0 25 0 4 0 730403279 537325568 90499 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=524732 CPUtime=1170.37 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 174349 0 0 0 116969 68 0 0 25 0 4 0 730403279 537325568 90499 33554432000 4194304 4650419 140735118439504 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.37
Current children cumulated vsize (KiB) 524732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.08 8.08 8.01 9/321 10114
/proc/meminfo: memFree=22172292/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=590804 CPUtime=4800.39 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 600337 0 0 0 479796 243 0 0 25 0 4 0 730403279 604983296 95877 33554432000 4194304 4650419 140735118439504 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 147701 95877 392 112 0 142666 0
[pid=10075/tid=10076] ppid=10073 vsize=590804 CPUtime=1203.14 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 165078 0 0 0 120251 63 0 0 25 0 4 0 730403279 604983296 95878 33554432000 4194304 4650419 140735118439504 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=590804 CPUtime=1203.12 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 161973 0 0 0 120244 68 0 0 25 0 4 0 730403279 604983296 95878 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=590804 CPUtime=1190.96 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 175434 0 0 0 119028 68 0 0 25 0 4 0 730403279 604983296 95878 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 590804

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

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

[startup+1203.1 s]
/proc/loadavg: 8.08 8.08 8.01 9/321 10114
/proc/meminfo: memFree=22172292/32951124 swapFree=59305796/67111528
[pid=10075] ppid=10073 vsize=590804 CPUtime=4800.39 cores=1,3,5,7
/proc/10075/stat : 10075 (strangenight1-m) R 10073 10075 9737 0 -1 4202496 600337 0 0 0 479796 243 0 0 25 0 4 0 730403279 604983296 95877 33554432000 4194304 4650419 140735118439504 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10075/statm: 147701 95877 392 112 0 142666 0
[pid=10075/tid=10076] ppid=10073 vsize=590804 CPUtime=1203.14 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 165078 0 0 0 120251 63 0 0 25 0 4 0 730403279 604983296 95878 33554432000 4194304 4650419 140735118439504 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10075/tid=10077] ppid=10073 vsize=590804 CPUtime=1203.12 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 161973 0 0 0 120244 68 0 0 25 0 4 0 730403279 604983296 95878 33554432000 4194304 4650419 140735118439504 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10075/tid=10078] ppid=10073 vsize=590804 CPUtime=1190.96 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (strangenight1-m) R 10073 10075 9737 0 -1 4202560 175434 0 0 0 119028 68 0 0 25 0 4 0 730403279 604983296 95878 33554432000 4194304 4650419 140735118439504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 590804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.13
CPU time (s): 4800.44
CPU user time (s): 4798
CPU system time (s): 2.44563
CPU usage (%): 398.995
Max. virtual memory (cumulated for all children) (KiB): 633132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798
system time used= 2.44563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600339
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= 741
involuntary context switches= 18776

runsolver used 3.36349 second user time and 8.82866 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-14 21:35:28
IDJOB=3368726
IDBENCH=82735
IDSOLVER=1846
FILE ID=node111/3368726-1305401728
RUNJOBID= node111-1305401728-10053
PBS_JOBID= 13324478
Free space on /tmp= 73668 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368726-1305401728/watcher-3368726-1305401728 -o /tmp/evaluation-result-3368726-1305401728/solver-3368726-1305401728 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368726-1305401728.cnf

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

MD5SUM BENCH= ae2c6ab9f054a239f861b972b7e9a79b
RANDOM SEED=502494891

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22940868 kB
Buffers:        261448 kB
Cached:        6502396 kB
SwapCached:      13720 kB
Active:         925840 kB
Inactive:      8869876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22940868 kB
SwapTotal:    67111528 kB
SwapFree:     59305796 kB
Dirty:           12484 kB
Writeback:           8 kB
AnonPages:     3027732 kB
Mapped:          12632 kB
Slab:           115152 kB
PageTables:      36460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 53404808 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= 73664 MiB
End job on node111 at 2011-05-14 21:55:33