Trace number 3175117

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.26 1201.93

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-3175117-1304089221.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.78/0.20	c Parsing time:  0.02 s
0.78/0.20	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.73
0.78/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.99/1.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3.99/1.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.99/1.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.99/1.01	c Finding binary XORs  T:     0.00 s  found:       0
3.99/1.01	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.99/1.01	c calculated reachability. Time: 0.00
3.99/1.01	c Calc default polars -  time:   0.00 s pos:      36 undec:       1 neg:      53
3.99/1.01	c =========================================================================================
3.99/1.01	c types(t): F = full restart, N = normal restart
3.99/1.01	c types(t): S = simplification begin/end, E = solution found
3.99/1.01	c restart types(rt): st = static, dy = dynamic
3.99/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.99/1.01	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.99/1.01	c  N dy    10      5918        90      8010         0      3179     56070     82697     25.33     26.75  --
3.99/1.01	c  N dy    19     11277        90      8010         0      4202     56070     96682     25.09     26.62  --
3.99/1.01	c  N dy    35     15602        90      8010         0      8200     56070    215031     25.23     26.67  --
4.37/1.11	c  N dy    55     20659        90      8010         0      7689     56070    182787     25.40     26.77  --
5.17/1.31	c  N dy    66     24827        90      8010         0     11561     56070    296622     25.43     26.85  --
5.17/1.31	c  F st    68     25000        90      8010         0     11726     56070    301529     25.44   no data  --
5.97/1.56	c  N dy    74     30001        90      8010         0     10035     56070    233740     25.44   no data  --
5.97/1.56	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.83	c lits-rem:      1447  cl-subs:      690  v-elim:      0  v-fix:    0  time:  5.06 s
12.37/3.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.41
12.37/3.19	c calculated reachability. Time: 0.00
12.37/3.19	c  N dy    74     30506        90      8010         0      9820     56070    224586     25.44   no data  --
13.55/3.42	c  N dy    93     34523        90      8010         0     13535     56070    335263     25.58     28.16  --
14.76/3.71	c  N dy   103     40036        90      8010         0     11319     56070    252003     25.52     26.94  --
15.96/4.05	c  N dy   110     45759        90      8010         0      8349     56070    149261     25.31     25.41  --
15.96/4.05	c  S st   110     45759        90      8010         0      8349     56070    149261     25.31     25.41  --
15.96/4.08	c  S st   110     46259        90      8010         0      8819     56070    163086     25.31   no data  --
15.96/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.96/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.96/4.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.95/5.01	c lits-rem:       176  cl-subs:       44  v-elim:      0  v-fix:    0  time:  3.68 s
19.95/5.01	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.95/5.01	c vivif2 --  cl tried     8775 cl shrink        0 lits rem          0 time: 0.00
21.17/5.31	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.19
21.17/5.31	c calculated reachability. Time: 0.00
21.17/5.31	c  N dy   110     46259        90      8010         0      8775     56070    161384     25.31   no data  --
21.95/5.53	c  N dy   130     50312        90      8010         0     12506     56070    271402     25.41     28.12  --
23.94/6.00	c  N dy   145     57414        90      8010         0      9860     56070    176093     25.36     26.72  --
24.74/6.23	c  N dy   165     61435        90      8010         0     13607     56070    288168     25.44     27.87  --
26.73/6.76	c  N dy   172     69388        90      8010         0     10796     56070    186252     25.30     24.13  --
26.73/6.76	c  S st   172     69388        90      8010         0     10796     56070    186252     25.30     24.13  --
27.13/6.80	c  S st   172     69889        90      8010         0     11269     56070    200301     25.30   no data  --
27.13/6.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.13/6.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.13/6.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.13/6.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.13/6.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.13/6.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.13/6.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.13/7.85	c lits-rem:       359  cl-subs:      177  v-elim:      0  v-fix:    0  time:  4.14 s
31.13/7.85	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.13/7.85	c vivif2 --  cl tried    11092 cl shrink        0 lits rem          0 time: 0.01
32.73/8.21	c asymm  cl-useful: 0/7767/8010 lits-rem:0 time: 1.42
32.73/8.21	c calculated reachability. Time: 0.00
32.73/8.21	c  N dy   172     69889        90      8010         0     11092     56070    194648     25.30   no data  --
33.94/8.52	c  N dy   192     74937        90      8010         0     15795     56070    333538     25.34     26.76  --
35.53/8.91	c  N dy   218     79801        90      8010         0     20341     56070    469424     25.41     26.78  --
37.13/9.34	c  N dy   233     85250        90      8010         0     14230     56070    266256     25.40     26.82  --
37.93/9.51	c  F st   246     87500        90      8010         0     16313     56070    327975     25.43     24.55  --
38.74/9.74	c  N st   251     90798        90      8010         0     19342     56070    418183     25.43   no data  --
41.12/10.33	c  N dy   271     97749        90      8010         0     13769     56070    239123     25.45     26.93  --
43.13/10.81	c  N dy   284    104833        90      8010         0     20343     56070    433087     25.44     24.35  --
43.13/10.81	c  S st   284    104833        90      8010         0     20343     56070    433087     25.44     24.35  --
43.13/10.87	c  S st   284    105344        90      8010         0     20824     56070    447339     25.44   no data  --
43.13/10.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.13/10.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.13/10.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
43.13/10.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.13/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.13/10.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.13/10.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.71/12.76	c lits-rem:      1608  cl-subs:     1615  v-elim:      0  v-fix:    0  time:  7.45 s
50.71/12.76	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.71/12.76	c vivif2 --  cl tried    19209 cl shrink        0 lits rem          0 time: 0.02
52.30/13.18	c asymm  cl-useful: 0/5384/8010 lits-rem:0 time: 1.66
52.30/13.18	c calculated reachability. Time: 0.00
52.30/13.18	c  N dy   284    105344        90      8010         0     19209     56070    395115     25.44   no data  --
54.70/13.76	c  N dy   297    112117        90      8010         0     25493     56070    578518     25.41     26.79  --
58.30/14.63	c  N dy   311    123499        90      8010         0     23047     56070    490225     25.35     26.70  --
63.49/15.93	c  N dy   332    139912        90      8010         0     24351     56070    511243     25.24     26.65  --
66.28/16.62	c  N dy   338    148874        90      8010         0     17875     56070    307907     25.16     26.73  --
69.10/17.36	c  S st   377    158018        90      8010         0     26353     56070    555965     25.18     24.40  --
69.50/17.43	c  S st   377    158522        90      8010         0     26831     56070    570407     25.18   no data  --
69.50/17.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.50/17.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.50/17.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.50/17.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.50/17.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.50/17.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.50/17.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.47/19.94	c lits-rem:      1959  cl-subs:     2221  v-elim:      0  v-fix:    0  time:  9.89 s
79.47/19.94	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.47/19.94	c vivif2 --  cl tried    24610 cl shrink        0 lits rem          0 time: 0.02
80.27/20.18	c asymm  cl-useful: 0/1930/8010 lits-rem:0 time: 0.96
80.27/20.18	c calculated reachability. Time: 0.00
80.27/20.18	c  N dy   377    158522        90      8010         0     24610     56070    500277     25.18   no data  --
84.26/21.13	c  N dy   401    168652        90      8010         0     18344     56070    307252     25.17     26.53  --
88.25/22.17	c  N dy   445    179953        90      8010         0     28870     56070    616680     25.20     26.57  --
93.44/23.40	c  N dy   497    193721        90      8010         0     24977     56070    482288     25.21     26.56  --
99.04/24.86	c  N dy   532    206343        90      8010         0     19087     56070    290905     25.22     26.62  --
105.83/26.57	c  N dy   541    225647        90      8010         0     36822     56070    800619     25.08     26.60  --
110.62/27.72	c  S st   590    237784        90      8010         0     29607     56070    585112     25.11   no data  --
111.02/27.80	c  S st   590    238288        90      8010         0     30073     56070    599181     25.11   no data  --
111.02/27.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
111.02/27.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.02/27.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
111.02/27.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.02/27.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.02/27.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
111.02/27.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.61/30.74	c lits-rem:      1903  cl-subs:     2075  v-elim:      0  v-fix:    0  time: 11.61 s
122.61/30.74	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
122.61/30.74	c vivif2 --  cl tried    27998 cl shrink        0 lits rem          0 time: 0.02
123.01/30.82	c asymm  cl-useful: 0/696/8010 lits-rem:0 time: 0.33
123.01/30.83	c calculated reachability. Time: 0.00
123.01/30.83	c  N dy   590    238288        90      8010         0     27998     56070    531395     25.11   no data  --
129.00/32.33	c  N dy   612    253505        90      8010         0     22643     56070    359245     25.05     27.87  --
135.79/34.08	c  N dy   676    270177        90      8010         0     38119     56070    816263     25.09     26.41  --
143.39/35.90	c  N dy   769    287503        90      8010         0     33933     56070    684106     25.15     26.73  --
150.97/37.86	c  F st   793    306250        90      8010         0     29861     56070    530394     25.06     22.18  --
150.97/37.86	c  N st   793    306250        90      8010         0     29861     56070    530394     25.06     22.18  --
160.16/40.15	c  N dy   872    325841        90      8010         0     25929     56070    406140     25.10     26.56  --
169.35/42.48	c  N dy   946    345944        90      8010         0     44592     56070    954599     25.12     26.70  --
174.56/43.74	c  S st   974    357432        90      8010         0     32065     56070    564853     25.12   no data  --
174.96/43.82	c  S st   974    357936        90      8010         0     32548     56070    579279     25.12   no data  --
174.96/43.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
174.96/43.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
174.96/43.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
174.96/43.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
174.96/43.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
174.96/43.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
174.96/43.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
184.93/46.32	c lits-rem:      1342  cl-subs:     1722  v-elim:      0  v-fix:    0  time:  9.86 s
184.93/46.32	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
184.93/46.32	c vivif2 --  cl tried    30826 cl shrink        0 lits rem          0 time: 0.02
185.73/46.52	c asymm  cl-useful: 0/2133/8010 lits-rem:0 time: 0.79
185.73/46.52	c calculated reachability. Time: 0.00
185.73/46.52	c  N dy   974    357936        90      8010         0     30826     56070    524670     25.12   no data  --
198.91/49.88	c  N dy  1066    377954        90      8010         0     25387     56070    351784     25.17     27.87  --
210.49/52.76	c  N dy  1160    398992        90      8010         0     44876     56070    930326     25.21     26.63  --
221.27/55.48	c  N dy  1217    419078        90      8010         0     38445     56070    718252     25.22     26.59  --
232.46/58.21	c  N dy  1285    439168        90      8010         0     31166     56070    488143     25.23     27.22  --
244.45/61.29	c  N dy  1354    462423        90      8010         0     52654     56070   1123264     25.24     26.70  --
255.23/63.97	c  N dy  1412    483837        90      8010         0     45644     56070    894927     25.24     26.58  --
266.83/66.83	c  N dy  1486    504860        90      8010         0     37374     56070    635709     25.25     26.60  --
278.40/69.79	c  N dy  1554    524941        90      8010         0     55938     56070   1183626     25.26     26.74  --
284.82/71.37	c  S st  1606    536904        90      8010         0     38356     56070    644671     25.27   no data  --
285.19/71.47	c  S st  1606    537407        90      8010         0     38833     56070    659124     25.27   no data  --
285.19/71.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
285.19/71.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.19/71.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
285.59/71.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
285.59/71.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
285.59/71.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
285.59/71.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
298.38/74.76	c lits-rem:      1381  cl-subs:     1751  v-elim:      0  v-fix:    0  time: 12.99 s
298.38/74.76	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
298.38/74.77	c vivif2 --  cl tried    37082 cl shrink        0 lits rem          0 time: 0.03
299.18/74.99	c asymm  cl-useful: 0/1534/8010 lits-rem:0 time: 0.89
299.18/74.99	c calculated reachability. Time: 0.00
299.18/74.99	c  N dy  1606    537407        90      8010         0     37082     56070    601791     25.27   no data  --
311.56/78.07	c  N dy  1683    557640        90      8010         0     55849     56070   1158921     25.29     26.67  --
323.54/81.04	c  N dy  1762    579080        90      8010         0     46157     56070    855039     25.30     26.64  --
340.72/85.33	c  N dy  1775    613712        90      8010         0     47394     56070    866265     25.18     26.53  --
353.11/88.41	c  N dy  1812    635468        90      8010         0     36104     56070    524522     25.18     26.66  --
377.87/94.70	c  N dy  1880    677412        90      8010         0     42557     56070    695530     25.13     26.59  --
399.45/100.06	c  N dy  1902    717145        90      8010         0     45841     56070    768062     25.01     26.68  --
414.22/103.78	c  N dy  1971    737560        90      8010         0     64711     56070   1320881     25.01     26.40  --
444.18/111.21	c  N dy  2035    780858        90      8010         0     35453     56070    436374     24.95     26.30  --
458.56/114.80	c  N dy  2159    803558        90      8010         0     56576     56070   1066197     24.99     26.34  --
460.18/115.30	c  S st  2173    806110        90      8010         0     58943     56070   1136003     24.99     23.19  --
460.95/115.45	c  S st  2173    806614        90      8010         0     59420     56070   1150616     24.99   no data  --
460.95/115.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
460.95/115.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.95/115.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
461.35/115.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
461.35/115.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
461.35/115.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
461.35/115.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
505.70/126.65	c lits-rem:      2517  cl-subs:     3999  v-elim:      0  v-fix:    0  time: 44.45 s
505.70/126.65	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
505.70/126.66	c vivif2 --  cl tried    55421 cl shrink        0 lits rem          0 time: 0.05
507.30/127.02	c asymm  cl-useful: 0/1020/8010 lits-rem:0 time: 1.45
507.30/127.03	c calculated reachability. Time: 0.00
507.30/127.03	c  N dy  2173    806614        90      8010         0     55421     56070   1018712     24.99   no data  --
551.64/138.15	c  N dy  2268    869220        90      8010         0     40351     56070    542040     24.90     26.33  --
564.83/141.46	c  N dy  2360    889255        90      8010         0     58890     56070   1088860     24.92     28.93  --
582.80/145.94	c  N dy  2447    909264        90      8010         0     39656     56070    502620     24.94     26.59  --
596.80/149.44	c  N dy  2565    929344        90      8010         0     58341     56070   1057743     24.96     26.43  --
615.55/154.17	c  N dy  2648    949851        90      8010         0     77370     56070   1620290     24.98     26.30  --
629.14/157.51	c  N dy  2713    970126        90      8010         0     57240     56070    998432     24.98     26.31  --
647.91/162.24	c  N dy  2816    991204        90      8010         0     76748     56070   1575442     25.00     26.45  --
663.89/166.23	c  N dy  2931   1011567        90      8010         0     55809     56070    941567     25.03     26.91  --
681.46/170.66	c  N dy  2995   1032300        90      8010         0     74988     56070   1508733     25.03     26.36  --
698.64/174.97	c  N dy  3125   1052350        90      8010         0     52867     56070    839940     25.05     26.98  --
712.22/178.36	c  F st  3147   1071876        90      8010         0     70809     56070   1351335     25.02     20.56  --
712.62/178.49	c  N st  3149   1072502        90      8010         0     71380     56070   1368474     25.02   no data  --
731.40/183.12	c  N dy  3237   1092555        90      8010         0     48289     56070    680315     25.04     26.40  --
746.97/187.06	c  N dy  3288   1114858        90      8010         0     68858     56070   1282293     25.03     26.45  --
769.34/192.64	c  N dy  3421   1135439        90      8010         0     45467     56070    582693     25.06     26.43  --
786.92/197.08	c  N dy  3508   1156385        90      8010         0     64909     56070   1159382     25.07     26.40  --
809.54/202.70	c  N dy  3574   1176734        90      8010         0     83681     56070   1714367     25.07     26.57  --
826.58/207.06	c  N dy  3600   1198236        90      8010         0     59890     56070    979340     25.06     26.48  --
838.43/210.06	c  S st  3657   1209921        90      8010         0     70742     56070   1301656     25.07     23.91  --
839.22/210.29	c  S st  3657   1210424        90      8010         0     71216     56070   1315925     25.07   no data  --
839.62/210.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
839.62/210.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
839.62/210.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
839.62/210.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
839.62/210.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
839.62/210.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
839.62/210.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
931.03/233.32	c lits-rem:      2995  cl-subs:     5632  v-elim:      0  v-fix:    0  time: 91.13 s
931.03/233.32	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
931.03/233.34	c vivif2 --  cl tried    65584 cl shrink        0 lits rem          0 time: 0.06
932.63/233.72	c asymm  cl-useful: 0/867/8010 lits-rem:0 time: 1.52
932.63/233.72	c calculated reachability. Time: 0.00
932.63/233.72	c  N dy  3657   1210424        90      8010         0     65584     56070   1145090     25.07   no data  --
957.80/240.08	c  N dy  3757   1230843        90      8010         0     84517     56070   1704744     25.08     26.40  --
977.37/244.95	c  N dy  3831   1250891        90      8010         0     58943     56070    938889     25.08     26.44  --
1000.53/250.73	c  N dy  3941   1271275        90      8010         0     77874     56070   1502509     25.10     26.61  --
1020.11/255.68	c  N dy  3968   1291302        90      8010         0     51064     56070    686729     25.07     27.63  --
1037.69/260.04	c  N dy  4011   1311459        90      8010         0     69556     56070   1230154     25.07     26.39  --
1061.27/265.97	c  N dy  4067   1332931        90      8010         0     89374     56070   1810870     25.06     26.43  --
1080.03/270.66	c  N dy  4124   1353039        90      8010         0     61901     56070    988892     25.06     26.66  --
1099.61/275.59	c  N dy  4172   1373121        90      8010         0     80361     56070   1530908     25.06     28.21  --
1122.79/281.32	c  N dy  4278   1393149        90      8010         0     51887     56070    677522     25.08     26.64  --
1139.95/285.64	c  N dy  4404   1413211        90      8010         0     70513     56070   1235656     25.10     26.75  --
1163.52/291.52	c  N dy  4529   1433493        90      8010         0     89380     56070   1799450     25.11     26.45  --
1184.70/296.84	c  N dy  4665   1453513        90      8010         0     59816     56070    892229     25.14     26.74  --
1200.67/300.82	c  N dy  4666   1473986        90      8010         0     78640     56070   1430915     25.11     26.48  --
1242.21/311.27	c  N dy  4688   1527434        90      8010         0     78509     56070   1396534     25.01     26.53  --
1267.79/317.69	c  N dy  4787   1549207        90      8010         0     98687     56070   1993230     25.02     26.36  --
1286.54/322.36	c  N dy  4918   1569222        90      8010         0     67555     56070   1090922     25.04     28.58  --
1308.52/327.84	c  N dy  5004   1591170        90      8010         0     87778     56070   1691854     25.05     26.40  --
1334.10/334.23	c  N dy  5132   1611781        90      8010         0     56195     56070    732616     25.07     26.39  --
1352.85/338.90	c  N dy  5243   1631787        90      8010         0     74726     56070   1283137     25.08     26.71  --
1374.83/344.45	c  N dy  5315   1651832        90      8010         0     93234     56070   1830543     25.08     26.47  --
1400.01/350.74	c  N dy  5454   1672126        90      8010         0     60301     56070    835358     25.10     26.64  --
1421.17/356.00	c  N dy  5553   1692184        90      8010         0     78882     56070   1389235     25.12     27.46  --
1441.94/361.27	c  S st  5612   1710425        90      8010         0     95740     56070   1884220     25.12     25.65  --
1443.14/361.54	c  S st  5612   1710929        90      8010         0     96218     56070   1898432     25.12   no data  --
1443.14/361.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1443.14/361.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1443.56/361.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1443.56/361.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1443.56/361.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1443.56/361.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1443.56/361.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1793.07/449.17	c lits-rem:      5407  cl-subs:     7979  v-elim:      0  v-fix:    0  time: 349.40 s
1793.07/449.17	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1793.07/449.19	c vivif2 --  cl tried    88239 cl shrink        0 lits rem          0 time: 0.08
1794.67/449.55	c asymm  cl-useful: 0/630/8010 lits-rem:0 time: 1.45
1794.67/449.56	c calculated reachability. Time: 0.00
1794.67/449.56	c  N dy  5612   1710929        90      8010         0     88239     56070   1641028     25.12   no data  --
1822.63/456.58	c  N dy  5714   1730994        90      8010         0     54411     56070    642590     25.13     28.17  --
1843.00/461.62	c  N dy  5776   1756269        90      8010         0     77687     56070   1321318     25.12     26.54  --
1866.97/467.65	c  N dy  5876   1776296        90      8010         0     96265     56070   1873909     25.13     26.72  --
1892.53/474.06	c  N dy  6005   1796336        90      8010         0     61301     56070    828898     25.15     27.19  --
1911.30/478.75	c  N dy  6084   1816639        90      8010         0     80117     56070   1386702     25.15     26.51  --
1934.88/484.65	c  N dy  6161   1836962        90      8010         0     98866     56070   1941490     25.16     26.59  --
1957.24/490.20	c  N dy  6203   1856984        90      8010         0     62873     56070    852011     25.15     26.72  --
1983.61/496.84	c  N dy  6317   1883910        90      8010         0     87750     56070   1589272     25.16     26.60  --
2015.56/504.86	c  N dy  6419   1907009        90      8010         0    109163     56070   2224544     25.17     26.55  --
2038.33/510.57	c  N dy  6508   1930568        90      8010         0     75517     56070   1210621     25.17     26.56  --
2063.12/516.76	c  N dy  6604   1950657        90      8010         0     94226     56070   1767429     25.18     27.05  --
2098.67/525.62	c  N dy  6756   1970700        90      8010         0    112831     56070   2328208     25.20     28.91  --
2118.62/530.64	c  N dy  6836   1990743        90      8010         0     74859     56070   1172886     25.21     26.69  --
2145.39/537.33	c  N dy  6908   2013741        90      8010         0     96050     56070   1800542     25.21     26.56  --
2172.97/544.22	c  N dy  6971   2033784        90      8010         0    114604     56070   2350603     25.21     27.65  --
2191.72/548.92	c  N dy  7053   2053806        90      8010         0     75698     56070   1177564     25.22     29.36  --
2212.92/554.23	c  N dy  7103   2073951        90      8010         0     94232     56070   1720421     25.21     26.64  --
2265.64/567.41	c  N dy  7171   2126995        90      8010         0     84759     56070   1421015     25.18     26.75  --
2289.60/573.43	c  N dy  7234   2147152        90      8010         0    103417     56070   1972171     25.18     26.54  --
2319.15/580.88	c  N dy  7320   2167472        90      8010         0     63249     56070    776691     25.18     26.59  --
2337.53/585.41	c  N dy  7387   2187516        90      8010         0     81725     56070   1322654     25.19     27.55  --
2363.09/591.85	c  N dy  7487   2207554        90      8010         0    100290     56070   1877110     25.19     28.57  --
2368.28/593.16	c  S st  7502   2210930        90      8010         0    103405     56070   1969022     25.19     23.79  --
2369.88/593.51	c  S st  7502   2211430        90      8010         0    103868     56070   1983151     25.19   no data  --
2369.88/593.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2369.88/593.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2369.88/593.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.25
2370.28/593.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2370.28/593.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2370.28/593.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2370.28/593.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2858.84/715.99	c lits-rem:      5151  cl-subs:     8105  v-elim:      0  v-fix:    0  time: 488.53 s
2858.84/715.99	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2859.22/716.01	c vivif2 --  cl tried    95763 cl shrink        0 lits rem          0 time: 0.10
2860.82/716.48	c asymm  cl-useful: 0/585/8010 lits-rem:0 time: 1.88
2860.82/716.49	c calculated reachability. Time: 0.00
2860.82/716.49	c  N dy  7502   2211430        90      8010         0     95763     56070   1722621     25.19   no data  --
2897.99/725.77	c  N dy  7586   2233395        90      8010         0    116093     56070   2326518     25.20     26.69  --
2921.94/731.80	c  N dy  7667   2256015        90      8010         0     77296     56070   1171062     25.20     26.55  --
2945.11/737.50	c  N dy  7751   2276020        90      8010         0     95811     56070   1725313     25.21     28.66  --
2975.06/745.09	c  N dy  7850   2296325        90      8010         0    114614     56070   2286643     25.22     26.57  --
2999.45/751.13	c  N dy  7910   2316369        90      8010         0     72277     56070   1001524     25.22     27.37  --
3023.00/757.02	c  N dy  8005   2337639        90      8010         0     91955     56070   1588592     25.22     26.59  --
3054.96/765.01	c  N dy  8102   2360061        90      8010         0    112568     56070   2201470     25.23     26.76  --
3081.73/771.73	c  N dy  8174   2380068        90      8010         0     69221     56070    895747     25.23     27.66  --
3105.28/777.67	c  N dy  8283   2400160        90      8010         0     87743     56070   1451199     25.24     26.73  --
3132.05/784.30	c  N dy  8335   2420196        90      8010         0    106209     56070   1998296     25.24     27.38  --
3160.81/791.54	c  N dy  8381   2440347        90      8010         0    124769     56070   2546817     25.24     26.65  --
3183.19/797.15	c  N dy  8481   2461051        90      8010         0     81251     56070   1241198     25.25     26.58  --
3209.96/803.89	c  N dy  8603   2481078        90      8010         0     99870     56070   1800178     25.26     26.59  --
3244.30/812.45	c  N dy  8729   2501296        90      8010         0    118585     56070   2362029     25.27     26.80  --
3269.87/818.88	c  N dy  8766   2523568        90      8010         0     75282     56070   1026092     25.26     27.00  --
3293.86/824.89	c  N dy  8849   2543891        90      8010         0     94011     56070   1579050     25.26     26.71  --
3322.59/832.07	c  N dy  8922   2563915        90      8010         0    112528     56070   2127112     25.27     29.40  --
3353.35/839.75	c  N dy  8971   2584167        90      8010         0     66573     56070    761403     25.26     26.63  --
3371.73/844.37	c  N dy  9013   2604178        90      8010         0     85034     56070   1301663     25.26     26.59  --
3398.09/850.92	c  N dy  9112   2624239        90      8010         0    103592     56070   1857600     25.27     27.98  --
3433.65/859.88	c  N dy  9229   2645576        90      8010         0    123380     56070   2453193     25.28     26.99  --
3466.40/868.04	c  N dy  9297   2671942        90      8010         0     82115     56070   1191883     25.27     26.65  --
3493.16/874.72	c  N dy  9406   2692012        90      8010         0    100766     56070   1749806     25.28     26.71  --
3523.92/882.44	c  S st  9512   2711430        90      8010         0    118705     56070   2288954     25.29     26.16  --
3525.12/882.79	c  S st  9512   2711935        90      8010         0    119174     56070   2303208     25.29   no data  --
3525.52/882.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3525.52/882.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3525.52/882.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
3525.92/882.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3525.92/882.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3525.92/882.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3525.92/882.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4586.49/1148.44	c lits-rem:      6886  cl-subs:     9798  v-elim:      0  v-fix:    0  time: 1060.47 s
4586.49/1148.44	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4586.49/1148.47	c vivif2 --  cl tried   109376 cl shrink        0 lits rem          0 time: 0.12
4588.88/1149.01	c asymm  cl-useful: 0/509/8010 lits-rem:0 time: 2.16
4588.88/1149.02	c calculated reachability. Time: 0.00
4588.88/1149.02	c  N dy  9512   2711935        90      8010         0    109376     56070   1991286     25.29   no data  --
4632.83/1160.08	c  N dy  9569   2732079        90      8010         0    127963     56070   2539313     25.29     26.69  --
4669.20/1169.14	c  N dy  9698   2752170        90      8010         0     80357     56070   1143281     25.30     29.09  --
4704.35/1177.92	c  N dy  9756   2775096        90      8010         0    101523     56070   1771395     25.30     26.71  --
4736.27/1185.96	c  N dy  9791   2795134        90      8010         0    119983     56070   2315949     25.30     28.57  --
4777.83/1196.30	c  N dy  9816   2823864        90      8010         0     79146     56070   1074211     25.29     26.70  --

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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175117-1304089221/watcher-3175117-1304089221 -o /tmp/evaluation-result-3175117-1304089221/solver-3175117-1304089221 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175117-1304089221.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: 1.80 2.02 2.67 6/179 18386
/proc/meminfo: memFree=30255896/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 520524423 52465664 352 33554432000 4194304 4650419 140737345135968 18446744073709551615 47914104874928 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18386/statm: 12809 352 303 112 0 7774 0
[pid=18386/tid=18388] ppid=18384 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 520524423 52465664 352 33554432000 4194304 4650419 140737345135968 18446744073709551615 47914104874930 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 520524423 52465664 352 33554432000 4194304 4650419 140737345135968 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 520524423 52465664 352 33554432000 4194304 4650419 140737345135968 18446744073709551615 47914104874934 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0619649 s]
/proc/loadavg: 1.80 2.02 2.67 6/179 18386
/proc/meminfo: memFree=30255896/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=285540 CPUtime=0.78 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) D 18384 18386 17513 0 -1 4202496 2767 0 0 0 78 0 0 0 18 0 4 0 520524423 292392960 2186 33554432000 4194304 4650419 140737345135968 18446744073709551615 212435678241 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 71385 2215 378 112 0 66350 0
[pid=18386/tid=18388] ppid=18384 vsize=285540 CPUtime=0.19 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) D 18384 18386 17513 0 -1 4202560 757 0 0 0 19 0 0 0 18 0 4 0 520524423 292392960 2234 33554432000 4194304 4650419 140737345135968 18446744073709551615 212435677893 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=285672 CPUtime=0.18 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 476 0 0 0 18 0 0 0 25 0 4 0 520524423 292528128 2310 33554432000 4194304 4650419 140737345135968 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=285672 CPUtime=0.19 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 719 0 0 0 19 0 0 0 18 0 4 0 520524423 292528128 2350 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366698 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 285540

[startup+1.00567 s]
/proc/loadavg: 1.80 2.02 2.67 6/179 18386
/proc/meminfo: memFree=30255896/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=288632 CPUtime=3.99 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 8624 0 0 0 398 1 0 0 19 0 4 0 520524423 295559168 4403 33554432000 4194304 4650419 140737345135968 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 72158 4403 390 112 0 67123 0
[pid=18386/tid=18388] ppid=18384 vsize=288632 CPUtime=0.99 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2104 0 0 0 99 0 0 0 18 0 4 0 520524423 295559168 4403 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=288632 CPUtime=0.98 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2151 0 0 0 98 0 0 0 18 0 4 0 520524423 295559168 4403 33554432000 4194304 4650419 140737345135968 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=288632 CPUtime=0.99 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 1828 0 0 0 99 0 0 0 19 0 4 0 520524423 295559168 4403 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 288632

[startup+1.10065 s]
/proc/loadavg: 1.80 2.02 2.67 6/179 18386
/proc/meminfo: memFree=30255896/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=288632 CPUtime=4.37 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 8879 0 0 0 436 1 0 0 19 0 4 0 520524423 295559168 4658 33554432000 4194304 4650419 140737345135968 18446744073709551615 4514695 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 72158 4658 391 112 0 67123 0
[pid=18386/tid=18388] ppid=18384 vsize=288632 CPUtime=1.09 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2171 0 0 0 109 0 0 0 19 0 4 0 520524423 295559168 4658 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=288632 CPUtime=1.07 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2216 0 0 0 107 0 0 0 19 0 4 0 520524423 295559168 4658 33554432000 4194304 4650419 140737345135968 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=288632 CPUtime=1.09 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 1886 0 0 0 109 0 0 0 19 0 4 0 520524423 295559168 4658 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 288632

[startup+1.20063 s]
/proc/loadavg: 1.80 2.02 2.67 6/179 18386
/proc/meminfo: memFree=30255896/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=288716 CPUtime=4.77 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 9410 0 0 0 475 2 0 0 19 0 4 0 520524423 295645184 4716 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 72179 4716 391 112 0 67144 0
[pid=18386/tid=18388] ppid=18384 vsize=288716 CPUtime=1.19 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2233 0 0 0 119 0 0 0 19 0 4 0 520524423 295645184 4716 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=288716 CPUtime=1.17 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2273 0 0 0 117 0 0 0 19 0 4 0 520524423 295645184 4716 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=288716 CPUtime=1.19 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2229 0 0 0 119 0 0 0 19 0 4 0 520524423 295645184 4716 33554432000 4194304 4650419 140737345135968 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 288716

[startup+1.50057 s]
/proc/loadavg: 1.80 2.02 2.67 6/179 18386
/proc/meminfo: memFree=30255896/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=289344 CPUtime=5.97 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 10986 0 0 0 595 2 0 0 19 0 4 0 520524423 296288256 4958 33554432000 4194304 4650419 140737345135968 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 72336 4958 391 112 0 67301 0
[pid=18386/tid=18388] ppid=18384 vsize=289344 CPUtime=1.49 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2685 0 0 0 149 0 0 0 19 0 4 0 520524423 296288256 4958 33554432000 4194304 4650419 140737345135968 18446744073709551615 4303975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=289344 CPUtime=1.47 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2769 0 0 0 147 0 0 0 19 0 4 0 520524423 296288256 4958 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=289344 CPUtime=1.49 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 2402 0 0 0 149 0 0 0 20 0 4 0 520524423 296288256 4959 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289344

[startup+3.10627 s]
/proc/loadavg: 2.29 2.12 2.70 10/184 18391
/proc/meminfo: memFree=30160996/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=295020 CPUtime=12.37 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 21090 0 0 0 1234 3 0 0 24 0 4 0 520524423 302100480 12543 33554432000 4194304 4650419 140737345135968 18446744073709551615 4370465 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 73755 12543 392 112 0 68720 0
[pid=18386/tid=18388] ppid=18384 vsize=295020 CPUtime=3.09 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 4469 0 0 0 309 0 0 0 24 0 4 0 520524423 302100480 12543 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=295020 CPUtime=3.08 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 5889 0 0 0 307 1 0 0 24 0 4 0 520524423 302100480 12543 33554432000 4194304 4650419 140737345135968 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=295020 CPUtime=3.09 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 5886 0 0 0 308 1 0 0 25 0 4 0 520524423 302100480 12543 33554432000 4194304 4650419 140737345135968 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 295020

[startup+6.30067 s]
/proc/loadavg: 2.29 2.12 2.70 10/184 18391
/proc/meminfo: memFree=30122864/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=293800 CPUtime=25.16 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 30302 0 0 0 2511 5 0 0 25 0 4 0 520524423 300851200 16786 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 73450 16786 392 112 0 68415 0
[pid=18386/tid=18388] ppid=18384 vsize=293800 CPUtime=6.29 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 7660 0 0 0 629 0 0 0 25 0 4 0 520524423 300851200 16786 33554432000 4194304 4650419 140737345135968 18446744073709551615 4438666 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=293800 CPUtime=6.28 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 7646 0 0 0 627 1 0 0 25 0 4 0 520524423 300851200 16786 33554432000 4194304 4650419 140737345135968 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=293800 CPUtime=6.3 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 8125 0 0 0 628 2 0 0 25 0 4 0 520524423 300851200 16786 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 293800

[startup+12.7005 s]
/proc/loadavg: 2.75 2.22 2.73 10/184 18392
/proc/meminfo: memFree=30083664/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=297656 CPUtime=50.71 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 43517 0 0 0 5063 8 0 0 25 0 4 0 520524423 304799744 23173 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 74414 23173 392 112 0 69379 0
[pid=18386/tid=18388] ppid=18384 vsize=297656 CPUtime=12.69 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 10679 0 0 0 1268 1 0 0 25 0 4 0 520524423 304799744 23173 33554432000 4194304 4650419 140737345135968 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=297656 CPUtime=12.67 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 10407 0 0 0 1265 2 0 0 25 0 4 0 520524423 304799744 23173 33554432000 4194304 4650419 140737345135968 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=297656 CPUtime=12.68 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 12588 0 0 0 1266 2 0 0 25 0 4 0 520524423 304799744 23173 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 297656

[startup+25.501 s]
/proc/loadavg: 3.91 2.50 2.81 10/184 18392
/proc/meminfo: memFree=30012724/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=307592 CPUtime=101.84 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 65151 0 0 0 10171 13 0 0 25 0 4 0 520524423 314974208 30535 33554432000 4194304 4650419 140737345135968 18446744073709551615 4310752 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 76898 30535 392 112 0 71863 0
[pid=18386/tid=18388] ppid=18384 vsize=307592 CPUtime=25.48 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 14935 0 0 0 2547 1 0 0 25 0 4 0 520524423 314974208 30535 33554432000 4194304 4650419 140737345135968 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=307592 CPUtime=25.47 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 16385 0 0 0 2543 4 0 0 25 0 4 0 520524423 314974208 30535 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=307592 CPUtime=25.49 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 18969 0 0 0 2545 4 0 0 25 0 4 0 520524423 314974208 30535 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 307592

[startup+51.1012 s]
/proc/loadavg: 5.43 2.97 2.96 10/184 18402
/proc/meminfo: memFree=29962152/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=327992 CPUtime=204.11 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 93484 0 0 0 20389 22 0 0 25 0 4 0 520524423 335863808 35317 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 81998 35317 392 112 0 76963 0
[pid=18386/tid=18388] ppid=18384 vsize=327992 CPUtime=51.08 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 17897 0 0 0 5106 2 0 0 25 0 4 0 520524423 335863808 35317 33554432000 4194304 4650419 140737345135968 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=327992 CPUtime=51.07 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 26218 0 0 0 5101 6 0 0 25 0 4 0 520524423 335863808 35317 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=327992 CPUtime=51.08 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 28165 0 0 0 5101 7 0 0 25 0 4 0 520524423 335863808 35317 33554432000 4194304 4650419 140737345135968 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 327992

[startup+102.3 s]
/proc/loadavg: 7.02 3.78 3.23 10/184 18403
/proc/meminfo: memFree=29870580/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=360908 CPUtime=408.63 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 140836 0 0 0 40827 36 0 0 25 0 4 0 520524423 369569792 42714 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 90227 42714 392 112 0 85192 0
[pid=18386/tid=18388] ppid=18384 vsize=360908 CPUtime=102.28 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 21682 0 0 0 10225 3 0 0 25 0 4 0 520524423 369569792 42714 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=360908 CPUtime=102.26 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 40297 0 0 0 10216 10 0 0 25 0 4 0 520524423 369569792 42714 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=360908 CPUtime=102.29 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 45981 0 0 0 10216 13 0 0 25 0 4 0 520524423 369569792 42714 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 360908

[startup+162.301 s]

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

[pid=18386] ppid=18384 vsize=476020 CPUtime=2564.82 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 449385 0 0 0 256327 155 0 0 25 0 4 0 520524423 487444480 79053 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 119005 79053 392 112 0 113970 0
[pid=18386/tid=18388] ppid=18384 vsize=476020 CPUtime=642.28 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 79993 0 0 0 64200 28 0 0 25 0 4 0 520524423 487444480 79053 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=476020 CPUtime=641.35 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 116612 0 0 0 64096 39 0 0 25 0 4 0 520524423 487444480 79053 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=476020 CPUtime=642.31 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 134361 0 0 0 64178 53 0 0 25 0 4 0 520524423 487444480 79053 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.82
Current children cumulated vsize (KiB) 476020

[startup+702.301 s]
/proc/loadavg: 8.07 7.53 5.54 10/184 18422
/proc/meminfo: memFree=29480876/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=476256 CPUtime=2804.5 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 465617 0 0 0 280285 165 0 0 25 0 4 0 520524423 487686144 80008 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 119064 80008 392 112 0 114029 0
[pid=18386/tid=18388] ppid=18384 vsize=476256 CPUtime=702.29 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 86462 0 0 0 70197 32 0 0 25 0 4 0 520524423 487686144 80008 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=476256 CPUtime=701.34 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 120345 0 0 0 70093 41 0 0 25 0 4 0 520524423 487686144 80008 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=476256 CPUtime=702.31 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 140391 0 0 0 70174 57 0 0 25 0 4 0 520524423 487686144 80008 33554432000 4194304 4650419 140737345135968 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.5
Current children cumulated vsize (KiB) 476256

[startup+762.301 s]
/proc/loadavg: 8.03 7.61 5.70 10/184 18424
/proc/meminfo: memFree=29439424/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=476432 CPUtime=3044.17 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 486831 0 0 0 304242 175 0 0 25 0 4 0 520524423 487866368 84447 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 119108 84447 392 112 0 114073 0
[pid=18386/tid=18388] ppid=18384 vsize=476432 CPUtime=762.29 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 92240 0 0 0 76195 34 0 0 25 0 4 0 520524423 487866368 84447 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=476432 CPUtime=761.34 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 124037 0 0 0 76090 44 0 0 25 0 4 0 520524423 487866368 84447 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=476432 CPUtime=762.32 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 146153 0 0 0 76172 60 0 0 25 0 4 0 520524423 487866368 84447 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.17
Current children cumulated vsize (KiB) 476432

[startup+822.301 s]
/proc/loadavg: 8.01 7.68 5.84 10/184 18425
/proc/meminfo: memFree=29459576/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=476728 CPUtime=3283.85 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 510222 0 0 0 328199 186 0 0 25 0 4 0 520524423 488169472 82428 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 119182 82428 392 112 0 114147 0
[pid=18386/tid=18388] ppid=18384 vsize=476728 CPUtime=822.29 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 99024 0 0 0 82191 38 0 0 25 0 4 0 520524423 488169472 82428 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=476728 CPUtime=821.34 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 127490 0 0 0 82088 46 0 0 25 0 4 0 520524423 488169472 82428 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=476728 CPUtime=822.32 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 154073 0 0 0 82169 63 0 0 25 0 4 0 520524423 488169472 82428 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.85
Current children cumulated vsize (KiB) 476728

[startup+882.3 s]
/proc/loadavg: 8.11 7.77 5.98 10/184 18427
/proc/meminfo: memFree=29476408/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=476936 CPUtime=3523.52 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 532594 0 0 0 352156 196 0 0 25 0 4 0 520524423 488382464 82093 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 119234 82093 392 112 0 114199 0
[pid=18386/tid=18388] ppid=18384 vsize=476936 CPUtime=882.3 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 106105 0 0 0 88189 41 0 0 25 0 4 0 520524423 488382464 82093 33554432000 4194304 4650419 140737345135968 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=476936 CPUtime=881.33 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 131134 0 0 0 88086 47 0 0 25 0 4 0 520524423 488382464 82093 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=476936 CPUtime=882.32 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 161728 0 0 0 88165 67 0 0 25 0 4 0 520524423 488382464 82093 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.52
Current children cumulated vsize (KiB) 476936

[startup+942.301 s]
/proc/loadavg: 8.11 7.82 6.11 10/184 18428
/proc/meminfo: memFree=29343080/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=567720 CPUtime=3763.2 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 548474 0 0 0 376118 202 0 0 25 0 4 0 520524423 581345280 94500 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 141930 94500 392 112 0 136895 0
[pid=18386/tid=18388] ppid=18384 vsize=567720 CPUtime=942.29 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 111899 0 0 0 94187 42 0 0 25 0 4 0 520524423 581345280 94500 33554432000 4194304 4650419 140737345135968 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=567720 CPUtime=941.33 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 134217 0 0 0 94084 49 0 0 25 0 4 0 520524423 581345280 94500 33554432000 4194304 4650419 140737345135968 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=567720 CPUtime=942.32 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 168502 0 0 0 94163 69 0 0 25 0 4 0 520524423 581345280 94500 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.2
Current children cumulated vsize (KiB) 567720

[startup+1002.3 s]
/proc/loadavg: 8.17 7.88 6.23 10/184 18430
/proc/meminfo: memFree=29348372/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=569992 CPUtime=4002.88 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 556233 0 0 0 400084 204 0 0 25 0 4 0 520524423 583671808 92848 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 142498 92848 392 112 0 137463 0
[pid=18386/tid=18388] ppid=18384 vsize=569992 CPUtime=1002.29 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 112098 0 0 0 100187 42 0 0 25 0 4 0 520524423 583671808 92848 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=569992 CPUtime=1001.32 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 136205 0 0 0 100082 50 0 0 25 0 4 0 520524423 583671808 92848 33554432000 4194304 4650419 140737345135968 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=569992 CPUtime=1002.33 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 174074 0 0 0 100163 70 0 0 25 0 4 0 520524423 583671808 92848 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.88
Current children cumulated vsize (KiB) 569992

[startup+1062.3 s]
/proc/loadavg: 8.19 7.93 6.35 10/184 18432
/proc/meminfo: memFree=29336676/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=569992 CPUtime=4242.57 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 564807 0 0 0 424050 207 0 0 25 0 4 0 520524423 583671808 93852 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 142498 93852 392 112 0 137463 0
[pid=18386/tid=18388] ppid=18384 vsize=569992 CPUtime=1062.31 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 112099 0 0 0 106188 43 0 0 25 0 4 0 520524423 583671808 93852 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=569992 CPUtime=1061.32 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 137082 0 0 0 106081 51 0 0 25 0 4 0 520524423 583671808 93852 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476454 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=569992 CPUtime=1062.33 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 181770 0 0 0 106162 71 0 0 25 0 4 0 520524423 583671808 93852 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.57
Current children cumulated vsize (KiB) 569992

[startup+1122.3 s]
/proc/loadavg: 8.18 7.97 6.46 10/184 18433
/proc/meminfo: memFree=29377052/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=569992 CPUtime=4482.22 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 572923 0 0 0 448013 209 0 0 25 0 4 0 520524423 583671808 93225 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 142498 93225 392 112 0 137463 0
[pid=18386/tid=18388] ppid=18384 vsize=569992 CPUtime=1122.31 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 112101 0 0 0 112188 43 0 0 25 0 4 0 520524423 583671808 93225 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=569992 CPUtime=1121.31 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 137082 0 0 0 112080 51 0 0 25 0 4 0 520524423 583671808 93225 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=569992 CPUtime=1122.32 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 189884 0 0 0 112159 73 0 0 25 0 4 0 520524423 583671808 93225 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.22
Current children cumulated vsize (KiB) 569992

[startup+1182.31 s]
/proc/loadavg: 8.06 7.97 6.56 10/184 18435
/proc/meminfo: memFree=29329520/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=570048 CPUtime=4721.92 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 586194 0 0 0 471978 214 0 0 25 0 4 0 520524423 583729152 95626 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 142512 95626 392 112 0 137477 0
[pid=18386/tid=18388] ppid=18384 vsize=570048 CPUtime=1182.31 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 114811 0 0 0 118187 44 0 0 25 0 4 0 520524423 583729152 95626 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=570048 CPUtime=1181.32 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 137082 0 0 0 118081 51 0 0 25 0 4 0 520524423 583729152 95626 33554432000 4194304 4650419 140737345135968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=570048 CPUtime=1182.34 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 197258 0 0 0 118159 75 0 0 25 0 4 0 520524423 583729152 95626 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.92
Current children cumulated vsize (KiB) 570048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.05 7.97 6.59 5/179 18436
/proc/meminfo: memFree=29886552/32951124 swapFree=67111416/67111528
[pid=18386] ppid=18384 vsize=570136 CPUtime=4800.21 cores=0,2,4,6
/proc/18386/stat : 18386 (strangenight1-m) R 18384 18386 17513 0 -1 4202496 591279 0 0 0 479804 217 0 0 25 0 4 0 520524423 583819264 91466 33554432000 4194304 4650419 140737345135968 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18386/statm: 142534 91466 392 112 0 137499 0
[pid=18386/tid=18388] ppid=18384 vsize=570136 CPUtime=1201.91 cores=0,2,4,6
/proc/18386/task/18388/stat : 18388 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 116186 0 0 0 120146 45 0 0 25 0 4 0 520524423 583819264 91466 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18386/tid=18389] ppid=18384 vsize=570136 CPUtime=1200.92 cores=0,2,4,6
/proc/18386/task/18389/stat : 18389 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 137655 0 0 0 120040 52 0 0 25 0 4 0 520524423 583819264 91466 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18386/tid=18390] ppid=18384 vsize=570136 CPUtime=1201.93 cores=0,2,4,6
/proc/18386/task/18390/stat : 18390 (strangenight1-m) R 18384 18386 17513 0 -1 4202560 199693 0 0 0 120117 76 0 0 25 0 4 0 520524423 583819264 91466 33554432000 4194304 4650419 140737345135968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 570136

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.93
CPU time (s): 4800.26
CPU user time (s): 4798.07
CPU system time (s): 2.19767
CPU usage (%): 399.379
Max. virtual memory (cumulated for all children) (KiB): 623092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.07
system time used= 2.19766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591280
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= 556
involuntary context switches= 22973

runsolver used 1.9577 second user time and 4.5853 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 17:00:21
IDJOB=3175117
IDBENCH=82735
IDSOLVER=1588
FILE ID=node102/3175117-1304089221
RUNJOBID= node102-1304089220-18364
PBS_JOBID= 13170533
Free space on /tmp= 71560 MiB

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

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

MD5SUM BENCH= ae2c6ab9f054a239f861b972b7e9a79b
RANDOM SEED=2134965588

node102.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	: 5226.15
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.82
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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:     32951124 kB
MemFree:      30256548 kB
Buffers:        649836 kB
Cached:        1555864 kB
SwapCached:          8 kB
Active:         265964 kB
Inactive:      2004556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30256548 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           12496 kB
Writeback:           0 kB
AnonPages:       63816 kB
Mapped:          14880 kB
Slab:           360040 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   230024 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= 71556 MiB
End job on node102 at 2011-04-29 17:20:25