Trace number 3366685

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-2-mt (fixed)? (TO) 4800.11 1203.25

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf
MD5SUM0fc04a37bb65455aedf3737bd6551a47
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.220966
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366685-1305412056.cnf'
0.00/0.01	c -- header says num vars:            750
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        750
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       750      3195         0         0      9585         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.19	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.00 s
0.00/0.19	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.19	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.19	c calculated reachability. Time: 0.00
0.00/0.19	c Calc default polars -  time:   0.00 s pos:     329 undec:      91 neg:     330
0.00/0.19	c =========================================================================================
0.00/0.19	c types(t): F = full restart, N = normal restart
0.00/0.19	c types(t): S = simplification begin/end, E = solution found
0.00/0.19	c restart types(rt): st = static, dy = dynamic
0.00/0.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.19	c  B st     0         0       734      3181         0         0      9637         0   no data   no data
0.00/0.19	c Decided on static restart strategy
0.00/0.81	c  N st     8      4917       734      3181         0      4851      9637    153485   no data   no data
0.00/0.81	c  N st    10     11299       734      3181         0      4506      9637     95146   no data   no data
3.22/0.91	c  N st    11     17043       734      3181         0     10135      9637    265626   no data   no data
5.16/1.30	c  F st    12     25002       734      3181         0     12479      9637    339416   no data   no data
5.16/1.30	c  N st    12     25002       734      3181         0     12479      9637    339416   no data   no data
5.96/1.55	c  N dy    18     30002       734      3181         0     10742      9637    261744   no data   no data
5.96/1.55	c  S st    18     30002       734      3181         0     10742      9637    261744   no data   no data
5.96/1.58	c  S st    18     30505       734      3181         0     11245      9637    275158   no data   no data
5.96/1.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.96/1.59	c blocked clauses removed:       10 vars:      1 tried:         734 T: 0.00 s
5.96/1.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
5.96/1.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
6.37/1.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.65	c lits-rem:        56  cl-subs:      332  v-elim:      0  v-fix:    0  time:  0.05 s
6.37/1.66	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.01
6.37/1.66	c calculated reachability. Time: 0.00
6.37/1.66	c  N dy    18     30505       733      3171         0     10913      9607    262880   no data   no data
7.60/1.92	c  N dy    35     34747       733      3171         0     15130      9607    388872     20.21     21.31
8.35/2.18	c  N dy    43     39264       733      3171         0     11756      9607    228649     19.37     21.11
9.55/2.44	c  N dy    60     43335       733      3171         0     15807      9607    347836     19.50     20.82
10.35/2.61	c  S st    71     45757       733      3171         0      9321      9607    123760     19.50     17.85
10.35/2.64	c  S st    71     46259       733      3171         0      9823      9607    137529     19.50   no data
10.35/2.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.35/2.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.35/2.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
10.35/2.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.35/2.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.35/2.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.66	c lits-rem:         4  cl-subs:       13  v-elim:      0  v-fix:    0  time:  0.01 s
10.35/2.66	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
10.35/2.66	c vivif2 --  cl tried     9810 cl shrink        0 lits rem          0 time: 0.00
10.35/2.67	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.01
10.35/2.67	c calculated reachability. Time: 0.00
10.35/2.67	c  N dy    71     46259       733      3171         0      9810      9607    137141     19.50   no data
11.15/2.91	c  N dy    89     50330       733      3171         0     13857      9607    256872     19.50     23.75
12.35/3.19	c  N dy   119     54432       733      3171         0     17938      9607    379971     19.78     20.99
13.94/3.50	c  N dy   139     59179       733      3171         0     12732      9607    198295     19.86     21.22
14.74/3.77	c  N dy   160     63295       733      3171         0     16828      9607    321700     19.90     20.96
15.96/4.10	c  N dy   191     67402       733      3171         0     20907      9607    443747     20.04     22.34
16.73/4.25	c  S st   206     69389       733      3171         0     11967      9607    150500     20.14   no data
16.73/4.28	c  S st   206     69891       733      3171         0     12469      9607    164867     20.14   no data
16.73/4.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.73/4.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.73/4.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.73/4.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.73/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
16.73/4.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.73/4.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.73/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.13/4.31	c lits-rem:        24  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.01 s
17.13/4.31	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
17.13/4.31	c vivif2 --  cl tried    12454 cl shrink        0 lits rem          0 time: 0.00
17.13/4.32	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.01
17.13/4.32	c calculated reachability. Time: 0.00
17.13/4.32	c  N dy   206     69891       733      3171         0     12454      9607    164292     20.14   no data
18.32/4.69	c  N dy   214     75434       733      3171         0     17950      9607    329095     19.96     21.09
19.92/5.09	c  N dy   245     80290       733      3171         0     22786      9607    472973     20.01     21.15
21.52/5.45	c  N dy   264     85485       733      3171         0     16017      9607    240194     19.98     21.17
21.92/5.59	c  F st   273     87504       733      3171         0     18019      9607    299162     19.99     19.13
23.52/5.99	c  N dy   279     92703       733      3171         0     23178      9607    457638     19.99   no data
25.51/6.47	c  N dy   304     98698       733      3171         0     16238      9607    228643     20.00     21.07
27.50/6.95	c  S st   345    104836       733      3171         0     22343      9607    412501     20.10   no data
27.90/7.00	c  S st   345    105337       733      3171         0     22844      9607    427064     20.10   no data
27.90/7.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.90/7.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.90/7.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.90/7.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.90/7.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.90/7.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
27.90/7.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.90/7.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.90/7.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.90/7.09	c lits-rem:        73  cl-subs:      127  v-elim:      0  v-fix:    0  time:  0.06 s
27.90/7.09	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
28.31/7.10	c vivif2 --  cl tried    22717 cl shrink        0 lits rem          0 time: 0.00
28.31/7.11	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.01
28.31/7.11	c calculated reachability. Time: 0.00
28.31/7.11	c  N dy   345    105337       733      3171         0     22717      9607    422012     20.10   no data
30.69/7.73	c  N dy   373    112151       733      3171         0     15560      9607    180199     20.11     22.79
32.70/8.28	c  N dy   411    119406       733      3171         0     22768      9607    399344     20.15     23.75
35.88/9.06	c  N dy   453    127143       733      3171         0     15557      9607    156634     20.18     21.43
38.67/9.79	c  N dy   500    136309       733      3171         0     24673      9607    431111     20.23     21.34
42.29/10.66	c  N dy   537    145109       733      3171         0     17504      9607    191911     20.23     21.36
45.47/11.45	c  N dy   597    154391       733      3171         0     26729      9607    469906     20.31     23.40
47.10/11.83	c  S st   611    158006       733      3171         0     30316      9607    576110     20.30     18.06
47.45/11.90	c  S st   611    158512       733      3171         0     30822      9607    590476     20.30   no data
47.45/11.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.45/11.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.45/11.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.45/11.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.45/11.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.45/11.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
47.45/11.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.45/11.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.45/11.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.85/12.07	c lits-rem:       142  cl-subs:      311  v-elim:      0  v-fix:    0  time:  0.13 s
47.85/12.08	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
47.85/12.08	c vivif2 --  cl tried    30511 cl shrink        0 lits rem          0 time: 0.01
48.25/12.10	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.02
48.25/12.10	c calculated reachability. Time: 0.00
48.25/12.10	c  N dy   611    158512       733      3171         0     30511      9607    578911     20.30   no data
51.84/13.08	c  N dy   658    168985       733      3171         0     24044      9607    363943     20.34     21.59
57.03/14.30	c  N dy   743    179856       733      3171         0     34865      9607    697727     20.46     21.57
61.82/15.56	c  N dy   789    193320       733      3171         0     30354      9607    545230     20.42     21.72
67.81/17.03	c  N dy   858    206505       733      3171         0     24569      9607    330687     20.46     21.77
74.18/18.68	c  N dy   913    220951       733      3171         0     38912      9607    762477     20.42     22.01
80.17/20.14	c  N dy   998    235113       733      3171         0     33119      9607    567503     20.45     21.86
81.37/20.46	c  S st  1007    237768       733      3171         0     35758      9607    647953     20.45   no data
81.79/20.54	c  S st  1007    238274       733      3171         0     36264      9607    662642     20.45   no data
81.79/20.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.79/20.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.79/20.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.79/20.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.79/20.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.79/20.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
81.79/20.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.79/20.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.79/20.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.56/20.75	c lits-rem:        88  cl-subs:      255  v-elim:      0  v-fix:    0  time:  0.17 s
82.56/20.75	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
82.56/20.76	c vivif2 --  cl tried    36009 cl shrink        0 lits rem          0 time: 0.01
82.56/20.79	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.02
82.56/20.79	c calculated reachability. Time: 0.00
82.56/20.79	c  N dy  1007    238274       733      3171         0     36009      9607    652826     20.45   no data
89.76/22.52	c  N dy  1062    253498       733      3171         0     30240      9607    456191     20.44     21.54
98.13/24.60	c  N dy  1130    269736       733      3171         0     24506      9607    263345     20.44     23.29
106.11/26.65	c  N dy  1188    287000       733      3171         0     41636      9607    782545     20.41     24.90
115.28/28.94	c  N dy  1278    305503       733      3171         0     37181      9607    612202     20.43     21.51
115.68/29.04	c  F st  1283    306251       733      3171         0     37924      9607    635526     20.43     20.30
118.48/29.78	c Decided on static restart strategy
130.07/32.63	c  N st  1293    334556       733      3171         0     42147      9607    998495     20.43   no data
142.82/35.82	c  N st  1295    357412       733      3171         0     40041      9607   1001106     20.43   no data
142.82/35.82	c  S st  1295    357412       733      3171         0     40041      9607   1001106     20.43   no data
143.23/35.93	c  S st  1295    357912       733      3171         0     40541      9607   1016140     20.43   no data
143.23/35.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.23/35.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
143.23/35.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.23/35.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.23/35.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.23/35.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
143.23/35.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.23/35.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
143.23/35.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.00/36.62	c lits-rem:       226  cl-subs:      951  v-elim:      0  v-fix:    0  time:  0.63 s
146.00/36.62	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
146.00/36.63	c vivif2 --  cl tried    39590 cl shrink        0 lits rem          0 time: 0.01
146.00/36.66	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.03
146.00/36.66	c calculated reachability. Time: 0.00
146.00/36.66	c  N st  1295    357912       733      3171         0     39590      9607    979988     20.43   no data
163.96/41.13	c  N st  1296    390306       733      3171         0     45838      9607   1213993     20.43   no data
198.28/49.73	c  N st  1297    438895       733      3171         0     39440      9607    874788     20.43   no data
250.94/62.95	c  N st  1298    511777       733      3171         0     53107      9607   1358395     20.43   no data
266.54/66.83	c  N st  1299    536869       733      3171         0     47354      9607   1060248     20.43   no data
266.54/66.83	c  S st  1299    536869       733      3171         0     47354      9607   1060248     20.43   no data
266.90/66.96	c  S st  1299    537375       733      3171         0     47860      9607   1074685     20.43   no data
266.90/66.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
266.90/66.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
266.90/66.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
266.90/66.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
266.90/66.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.90/66.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
266.90/66.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
267.30/67.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
267.30/67.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.94/67.97	c lits-rem:      1252  cl-subs:      894  v-elim:      0  v-fix:    0  time:  0.94 s
270.94/67.97	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
270.94/67.98	c vivif2 --  cl tried    46966 cl shrink        0 lits rem          0 time: 0.01
271.29/68.02	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.04
271.29/68.03	c calculated reachability. Time: 0.00
271.29/68.03	c  N st  1299    537375       733      3171         0     46966      9607   1039280     20.43   no data
401.78/100.80	c  N st  1300    701361       733      3171         0     41049      9607    695317     20.43   no data
489.56/122.72	c  N st  1301    806062       733      3171         0     69905      9607   1575941     20.43   no data
489.56/122.72	c  S st  1301    806062       733      3171         0     69905      9607   1575941     20.43   no data
489.98/122.90	c  S st  1301    806569       733      3171         0     70410      9607   1590715     20.43   no data
489.98/122.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
490.40/122.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
490.40/122.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
490.40/122.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
490.40/122.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
490.40/122.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
490.40/122.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
490.40/122.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
490.75/123.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
508.31/127.48	c lits-rem:       503  cl-subs:     3164  v-elim:      0  v-fix:    0  time:  4.48 s
508.31/127.48	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
508.71/127.50	c vivif2 --  cl tried    67246 cl shrink        0 lits rem          0 time: 0.02
508.71/127.57	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.06
508.71/127.57	c calculated reachability. Time: 0.00
508.71/127.57	c  N st  1301    806569       733      3171         0     67246      9607   1491446     20.43   no data
763.27/191.34	c  F st  1302   1071877       733      3171         0     83508      9607   2001620     20.43   no data
763.27/191.34	c  N st  1302   1071877       733      3171         0     83508      9607   2001620     20.43   no data
770.88/193.30	c Decided on static restart strategy
789.22/197.86	c  N st  1312   1100177       733      3171         0     67220      9607   1303814     20.43   no data
823.13/206.36	c  N st  1314   1136170       733      3171         0     57366      9607    968328     20.43   no data
855.85/214.52	c  N st  1315   1168564       733      3171         0     89464      9607   2105080     20.43   no data
895.74/224.51	c  N st  1316   1209853       733      3171         0     83714      9607   1796228     20.43   no data
895.74/224.51	c  S st  1316   1209853       733      3171         0     83714      9607   1796228     20.43   no data
896.54/224.74	c  S st  1316   1210355       733      3171         0     84216      9607   1810168     20.43   no data
896.54/224.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
896.54/224.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
896.54/224.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
896.54/224.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
896.54/224.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
896.54/224.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
896.54/224.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
896.95/224.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
896.95/224.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
919.29/230.47	c lits-rem:       469  cl-subs:     3109  v-elim:      0  v-fix:    0  time:  5.60 s
919.29/230.47	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
919.29/230.49	c vivif2 --  cl tried    81107 cl shrink        0 lits rem          0 time: 0.02
919.69/230.57	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.08
919.69/230.57	c calculated reachability. Time: 0.00
919.69/230.57	c  N st  1316   1210355       733      3171         0     81107      9607   1699761     20.43   no data
986.72/247.36	c  N st  1317   1283238       733      3171         0     57255      9607    881809     20.43   no data
1095.26/274.60	c  N st  1318   1392562       733      3171         0     65574      9607   1118636     20.43   no data
1268.82/318.07	c  N st  1319   1556546       733      3171         0     70416      9607   1200227     20.43   no data
1447.22/362.79	c  N st  1320   1710357       733      3171         0     56349      9607    643137     20.43   no data
1447.22/362.79	c  S st  1320   1710357       733      3171         0     56349      9607    643137     20.43   no data
1447.98/362.93	c  S st  1320   1710860       733      3171         0     56852      9607    658385     20.43   no data
1447.98/362.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1447.98/362.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1447.98/362.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1447.98/362.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1447.98/362.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1447.98/362.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
1447.98/362.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1447.98/362.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1447.98/362.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1448.78/363.10	c lits-rem:        18  cl-subs:       72  v-elim:      0  v-fix:    0  time:  0.11 s
1448.78/363.10	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
1448.78/363.11	c vivif2 --  cl tried    56780 cl shrink        0 lits rem          0 time: 0.01
1448.78/363.16	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.05
1448.78/363.16	c calculated reachability. Time: 0.00
1448.78/363.16	c  N st  1320   1710860       733      3171         0     56780      9607    656690     20.43   no data
1891.68/474.12	c  N st  1321   2079824       733      3171         0     62690      9607    717598     20.43   no data
2056.90/515.58	c  N st  1322   2210860       733      3171         0     64561      9607    727489     20.43   no data
2056.90/515.58	c  S st  1322   2210860       733      3171         0     64561      9607    727489     20.43   no data
2057.68/515.75	c  S st  1322   2211360       733      3171         0     65060      9607    743175     20.43   no data
2057.68/515.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2057.68/515.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2057.68/515.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2057.68/515.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2057.68/515.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2057.68/515.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
2057.68/515.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2058.08/515.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2058.08/515.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2058.48/515.95	c lits-rem:        26  cl-subs:       86  v-elim:      0  v-fix:    0  time:  0.13 s
2058.48/515.95	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
2058.48/515.96	c vivif2 --  cl tried    64974 cl shrink        0 lits rem          0 time: 0.01
2058.88/516.02	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.06
2058.88/516.02	c calculated reachability. Time: 0.00
2058.88/516.02	c  N st  1322   2211360       733      3171         0     64974      9607    740700     20.43   no data
2731.05/684.53	c  N st  1323   2711362       733      3171         0     81176      9607   1139906     20.43   no data
2731.05/684.53	c  S st  1323   2711362       733      3171         0     81176      9607   1139906     20.43   no data
2731.85/684.78	c  S st  1323   2711865       733      3171         0     81679      9607   1156012     20.43   no data
2731.85/684.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2732.25/684.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2732.25/684.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2732.25/684.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2732.25/684.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2732.25/684.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
2732.25/684.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2732.25/684.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2732.25/684.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2735.81/685.76	c lits-rem:       169  cl-subs:     1245  v-elim:      0  v-fix:    0  time:  0.88 s
2735.81/685.76	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
2735.81/685.77	c vivif2 --  cl tried    80434 cl shrink        0 lits rem          0 time: 0.02
2736.21/685.85	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.07
2736.21/685.85	c calculated reachability. Time: 0.00
2736.21/685.85	c  N st  1323   2711865       733      3171         0     80434      9607   1116379     20.43   no data
3475.75/871.34	c  N st  1324   3211868       733      3171         0    126746      9607   2482012     20.43   no data
3475.75/871.34	c  S st  1324   3211868       733      3171         0    126746      9607   2482012     20.43   no data
3477.35/871.75	c  S st  1324   3212372       733      3171         0    127249      9607   2496621     20.43   no data
3477.35/871.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3477.75/871.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3477.75/871.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3477.75/871.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3477.75/871.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3477.75/871.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
3477.75/871.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3477.75/871.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3478.16/871.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3579.51/897.33	c lits-rem:       332  cl-subs:     6529  v-elim:      0  v-fix:    0  time: 25.38 s
3579.51/897.33	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
3579.51/897.37	c vivif2 --  cl tried   120720 cl shrink        0 lits rem          0 time: 0.04
3580.27/897.54	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.17
3580.27/897.54	c calculated reachability. Time: 0.00
3580.27/897.54	c  N st  1324   3212372       733      3171         0    120720      9607   2293615     20.43   no data
4345.97/1089.41	c  N st  1325   3712372       733      3171         0    131111      9607   2475030     20.43   no data
4345.97/1089.41	c  S st  1325   3712372       733      3171         0    131111      9607   2475030     20.43   no data
4347.61/1089.82	c  S st  1325   3712875       733      3171         0    131613      9607   2490400     20.43   no data
4347.61/1089.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4347.96/1089.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4347.96/1089.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4347.96/1089.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4347.96/1089.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4347.96/1089.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
4347.96/1089.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4347.96/1089.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4348.36/1090.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4434.55/1111.61	c lits-rem:       688  cl-subs:     8830  v-elim:      0  v-fix:    0  time: 21.60 s
4434.55/1111.61	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
4434.55/1111.64	c vivif2 --  cl tried   122783 cl shrink        0 lits rem          0 time: 0.03
4434.96/1111.78	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.13
4434.96/1111.78	c calculated reachability. Time: 0.00
4434.96/1111.78	c  N st  1325   3712875       733      3171         0    122783      9607   2223837     20.43   no data
4509.58/1130.46	c  F st  1326   3751563       733      3171         0    160802      9607   3517644     20.43   no data
4509.58/1130.46	c  N st  1326   3751563       733      3171         0    160802      9607   3517644     20.43   no data
4555.04/1141.80	c  N dy  1409   3775955       733      3171         0    101914      9607   1420414     20.45     21.61
4592.53/1151.24	c  N dy  1493   3796671       733      3171         0    122464      9607   2043875     20.46     21.56
4636.43/1162.25	c  N dy  1608   3816675       733      3171         0    142336      9607   2658849     20.52     24.96
4690.70/1175.83	c  N dy  1726   3837099       733      3171         0    162639      9607   3285958     20.57     21.85
4738.57/1187.83	c  N dy  1861   3857115       733      3171         0     97818      9607   1212699     20.63     22.31
4791.64/1201.15	c  N dy  1930   3882355       733      3171         0    122814      9607   1969468     20.59     21.75

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-3366685-1305412056/watcher-3366685-1305412056 -o /tmp/evaluation-result-3366685-1305412056/solver-3366685-1305412056 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366685-1305412056.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.78 7.88 5.85 2/314 18447
/proc/meminfo: memFree=15685820/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 407 0 0 0 0 0 0 0 18 0 4 0 731436275 52396032 347 33554432000 4194304 4580107 140736921066880 18446744073709551615 47474569021352 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 12792 347 299 95 0 7774 0
[pid=18447/tid=18448] ppid=18445 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 731436275 52396032 347 33554432000 4194304 4580107 140736921066880 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 731436275 52396032 347 33554432000 4194304 4580107 140736921066880 18446744073709551615 47474569021362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 731436275 52396032 347 33554432000 4194304 4580107 140736921066880 18446744073709551615 47474569021360 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.814015 s]
/proc/loadavg: 7.78 7.88 5.85 2/314 18447
/proc/meminfo: memFree=15685820/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=285428 CPUtime=3.22 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 5332 0 0 0 321 1 0 0 18 0 4 0 731436275 292278272 3294 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 71357 3294 377 95 0 66339 0
[pid=18447/tid=18448] ppid=18445 vsize=285428 CPUtime=0.79 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1257 0 0 0 79 0 0 0 19 0 4 0 731436275 292278272 3294 33554432000 4194304 4580107 140736921066880 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=285428 CPUtime=0.8 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1284 0 0 0 80 0 0 0 19 0 4 0 731436275 292278272 3294 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=285428 CPUtime=0.8 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1175 0 0 0 80 0 0 0 19 0 4 0 731436275 292278272 3294 33554432000 4194304 4580107 140736921066880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 285428

[startup+0.913995 s]
/proc/loadavg: 7.78 7.88 5.85 2/314 18447
/proc/meminfo: memFree=15685820/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=286160 CPUtime=3.62 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 6297 0 0 0 361 1 0 0 19 0 4 0 731436275 293027840 2841 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 71540 2841 377 95 0 66522 0
[pid=18447/tid=18448] ppid=18445 vsize=286160 CPUtime=0.89 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1499 0 0 0 89 0 0 0 19 0 4 0 731436275 293027840 2841 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=286160 CPUtime=0.9 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1513 0 0 0 90 0 0 0 19 0 4 0 731436275 293027840 2841 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=286160 CPUtime=0.9 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1426 0 0 0 90 0 0 0 19 0 4 0 731436275 293027840 2841 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 286160

[startup+1.01397 s]
/proc/loadavg: 7.78 7.88 5.85 2/314 18447
/proc/meminfo: memFree=15685820/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=286340 CPUtime=4.02 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 6562 0 0 0 401 1 0 0 19 0 4 0 731436275 293212160 3106 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 71585 3107 377 95 0 66567 0
[pid=18447/tid=18448] ppid=18445 vsize=286340 CPUtime=0.99 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1566 0 0 0 99 0 0 0 19 0 4 0 731436275 293212160 3107 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=286340 CPUtime=1 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1580 0 0 0 100 0 0 0 19 0 4 0 731436275 293212160 3107 33554432000 4194304 4580107 140736921066880 18446744073709551615 4321126 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=286340 CPUtime=1 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1492 0 0 0 100 0 0 0 19 0 4 0 731436275 293212160 3107 33554432000 4194304 4580107 140736921066880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 286340

[startup+1.11396 s]
/proc/loadavg: 7.78 7.88 5.85 2/314 18447
/proc/meminfo: memFree=15685820/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=286340 CPUtime=4.42 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 6823 0 0 0 441 1 0 0 19 0 4 0 731436275 293212160 3367 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 71585 3367 377 95 0 66567 0
[pid=18447/tid=18448] ppid=18445 vsize=286340 CPUtime=1.09 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1631 0 0 0 109 0 0 0 19 0 4 0 731436275 293212160 3367 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=286340 CPUtime=1.1 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1648 0 0 0 110 0 0 0 19 0 4 0 731436275 293212160 3367 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=286340 CPUtime=1.1 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 1560 0 0 0 110 0 0 0 19 0 4 0 731436275 293212160 3367 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 286340

[startup+1.50088 s]
/proc/loadavg: 7.78 7.88 5.85 2/314 18447
/proc/meminfo: memFree=15685820/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=286924 CPUtime=5.96 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 8685 0 0 0 595 1 0 0 20 0 4 0 731436275 293810176 3504 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 71731 3504 378 95 0 66713 0
[pid=18447/tid=18448] ppid=18445 vsize=286924 CPUtime=1.48 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 2103 0 0 0 148 0 0 0 20 0 4 0 731436275 293810176 3504 33554432000 4194304 4580107 140736921066880 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=286924 CPUtime=1.48 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 2106 0 0 0 148 0 0 0 20 0 4 0 731436275 293810176 3504 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=286924 CPUtime=1.49 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 2038 0 0 0 149 0 0 0 19 0 4 0 731436275 293810176 3504 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286924

[startup+3.10058 s]
/proc/loadavg: 7.78 7.88 5.85 9/323 18481
/proc/meminfo: memFree=15623268/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=279732 CPUtime=12.35 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 19893 0 0 0 1231 4 0 0 25 0 4 0 731436275 286445568 11885 33554432000 4194304 4580107 140736921066880 18446744073709551615 4306073 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 69933 11885 379 95 0 64915 0
[pid=18447/tid=18448] ppid=18445 vsize=279732 CPUtime=3.06 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 4481 0 0 0 305 1 0 0 25 0 4 0 731436275 286445568 11886 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=279732 CPUtime=3.08 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 5786 0 0 0 307 1 0 0 25 0 4 0 731436275 286445568 11886 33554432000 4194304 4580107 140736921066880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=279732 CPUtime=3.08 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 4433 0 0 0 308 0 0 0 25 0 4 0 731436275 286445568 11886 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 279732

[startup+6.31198 s]
/proc/loadavg: 7.80 7.88 5.86 9/323 18481
/proc/meminfo: memFree=15593524/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=280048 CPUtime=25.15 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 28279 0 0 0 2510 5 0 0 25 0 4 0 731436275 286769152 14404 33554432000 4194304 4580107 140736921066880 18446744073709551615 4322582 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 70012 14404 379 95 0 64994 0
[pid=18447/tid=18448] ppid=18445 vsize=280048 CPUtime=6.23 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 7147 0 0 0 622 1 0 0 25 0 4 0 731436275 286769152 14404 33554432000 4194304 4580107 140736921066880 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=280048 CPUtime=6.29 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 7866 0 0 0 628 1 0 0 25 0 4 0 731436275 286769152 14404 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=280048 CPUtime=6.3 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 6487 0 0 0 629 1 0 0 25 0 4 0 731436275 286769152 14404 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 280048

[startup+12.7008 s]
/proc/loadavg: 7.81 7.88 5.87 9/323 18481
/proc/meminfo: memFree=15543296/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=280208 CPUtime=50.65 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 45531 0 0 0 5056 9 0 0 25 0 4 0 731436275 286932992 23313 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 70052 23313 379 95 0 65034 0
[pid=18447/tid=18448] ppid=18445 vsize=280208 CPUtime=12.57 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 10414 0 0 0 1255 2 0 0 25 0 4 0 731436275 286932992 23313 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=280208 CPUtime=12.68 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 12774 0 0 0 1266 2 0 0 25 0 4 0 731436275 286932992 23313 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=280208 CPUtime=12.69 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 11539 0 0 0 1267 2 0 0 25 0 4 0 731436275 286932992 23313 33554432000 4194304 4580107 140736921066880 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 280208

[startup+25.5003 s]
/proc/loadavg: 7.92 7.90 5.91 9/323 18481
/proc/meminfo: memFree=15496208/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=289284 CPUtime=101.72 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 65738 0 0 0 10158 14 0 0 25 0 4 0 731436275 296226816 28609 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 72321 28609 379 95 0 67303 0
[pid=18447/tid=18448] ppid=18445 vsize=289284 CPUtime=25.24 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 13857 0 0 0 2521 3 0 0 25 0 4 0 731436275 296226816 28609 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=289284 CPUtime=25.48 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 20963 0 0 0 2544 4 0 0 25 0 4 0 731436275 296226816 28609 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=289284 CPUtime=25.48 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 16300 0 0 0 2545 3 0 0 25 0 4 0 731436275 296226816 28609 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 289284

[startup+51.1005 s]
/proc/loadavg: 8.03 7.93 5.97 9/323 18482
/proc/meminfo: memFree=15446108/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=309676 CPUtime=203.86 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 100680 0 0 0 20361 25 0 0 25 0 4 0 731436275 317108224 36991 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 77419 36991 379 95 0 72401 0
[pid=18447/tid=18448] ppid=18445 vsize=309676 CPUtime=50.58 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 19126 0 0 0 5053 5 0 0 25 0 4 0 731436275 317108224 36991 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=309676 CPUtime=51.08 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 29634 0 0 0 5101 7 0 0 25 0 4 0 731436275 317108224 36991 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=309676 CPUtime=51.09 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 25882 0 0 0 5103 6 0 0 25 0 4 0 731436275 317108224 36991 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 309676

[startup+102.301 s]
/proc/loadavg: 8.06 7.95 6.08 9/323 18483
/proc/meminfo: memFree=15335856/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=397564 CPUtime=408.16 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 148436 0 0 0 40776 40 0 0 25 0 4 0 731436275 407105536 57902 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 99391 57902 379 95 0 94373 0
[pid=18447/tid=18448] ppid=18445 vsize=397564 CPUtime=101.27 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 29196 0 0 0 10118 9 0 0 25 0 4 0 731436275 407105536 57902 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=397564 CPUtime=102.27 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 35256 0 0 0 10219 8 0 0 25 0 4 0 731436275 407105536 57902 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=397564 CPUtime=102.29 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 43147 0 0 0 10218 11 0 0 25 0 4 0 731436275 407105536 57902 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.16
Current children cumulated vsize (KiB) 397564

[startup+162.3 s]

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

[pid=18447] ppid=18445 vsize=705176 CPUtime=2562.83 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 397525 0 0 0 256121 162 0 0 25 0 4 0 731436275 722100224 117608 33554432000 4194304 4580107 140736921066880 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 176294 117608 379 95 0 171276 0
[pid=18447/tid=18448] ppid=18445 vsize=705176 CPUtime=635.89 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 94285 0 0 0 63550 39 0 0 25 0 4 0 731436275 722100224 117608 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=705176 CPUtime=642.29 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 65728 0 0 0 64206 23 0 0 25 0 4 0 731436275 722100224 117608 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=705176 CPUtime=642.31 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 117586 0 0 0 64185 46 0 0 25 0 4 0 731436275 722100224 117608 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.83
Current children cumulated vsize (KiB) 705176

[startup+702.301 s]
/proc/loadavg: 8.50 8.18 7.06 9/323 18502
/proc/meminfo: memFree=14957724/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=640344 CPUtime=2801.42 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 415096 0 0 0 279970 172 0 0 25 0 4 0 731436275 655712256 112361 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 160086 112361 379 95 0 155068 0
[pid=18447/tid=18448] ppid=18445 vsize=640344 CPUtime=695.26 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 99488 0 0 0 69484 42 0 0 25 0 4 0 731436275 655712256 112361 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=640344 CPUtime=702.3 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 66703 0 0 0 70206 24 0 0 25 0 4 0 731436275 655712256 112361 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=640344 CPUtime=701.52 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 124440 0 0 0 70103 49 0 0 25 0 4 0 731436275 655712256 112361 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.42
Current children cumulated vsize (KiB) 640344

[startup+762.3 s]
/proc/loadavg: 8.24 8.16 7.12 9/323 18504
/proc/meminfo: memFree=14884732/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=641360 CPUtime=3040.82 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 435120 0 0 0 303899 183 0 0 25 0 4 0 731436275 656752640 123196 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 160340 123196 379 95 0 155322 0
[pid=18447/tid=18448] ppid=18445 vsize=641360 CPUtime=754.66 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 106980 0 0 0 75419 47 0 0 25 0 4 0 731436275 656752640 123196 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=641360 CPUtime=762.29 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 67674 0 0 0 76205 24 0 0 25 0 4 0 731436275 656752640 123196 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=641360 CPUtime=761.52 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 131851 0 0 0 76099 53 0 0 25 0 4 0 731436275 656752640 123196 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.82
Current children cumulated vsize (KiB) 641360

[startup+822.301 s]
/proc/loadavg: 8.09 8.13 7.17 9/323 18506
/proc/meminfo: memFree=14877124/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=707512 CPUtime=3280.24 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 452691 0 0 0 327831 193 0 0 25 0 4 0 731436275 724492288 123605 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 176878 123605 379 95 0 171860 0
[pid=18447/tid=18448] ppid=18445 vsize=707512 CPUtime=814.07 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 111542 0 0 0 81358 49 0 0 25 0 4 0 731436275 724492288 123605 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=707512 CPUtime=822.3 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 68819 0 0 0 82204 26 0 0 25 0 4 0 731436275 724492288 123605 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=707512 CPUtime=821.52 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 136009 0 0 0 82096 56 0 0 25 0 4 0 731436275 724492288 123605 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.24
Current children cumulated vsize (KiB) 707512

[startup+882.301 s]
/proc/loadavg: 8.03 8.10 7.22 9/323 18507
/proc/meminfo: memFree=14855364/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=794168 CPUtime=3519.63 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 475416 0 0 0 351760 203 0 0 25 0 4 0 731436275 813228032 132999 33554432000 4194304 4580107 140736921066880 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 198542 132999 379 95 0 193524 0
[pid=18447/tid=18448] ppid=18445 vsize=794168 CPUtime=873.46 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 116060 0 0 0 87294 52 0 0 25 0 4 0 731436275 813228032 132999 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=794168 CPUtime=882.29 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 71580 0 0 0 88202 27 0 0 25 0 4 0 731436275 813228032 132999 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=794168 CPUtime=881.53 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 145208 0 0 0 88094 59 0 0 25 0 4 0 731436275 813228032 132999 33554432000 4194304 4580107 140736921066880 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.63
Current children cumulated vsize (KiB) 794168

[startup+942.3 s]
/proc/loadavg: 8.01 8.08 7.27 9/323 18509
/proc/meminfo: memFree=14798796/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=848824 CPUtime=3759.05 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 494646 0 0 0 375693 212 0 0 25 0 4 0 731436275 869195776 143744 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 212206 143744 379 95 0 207188 0
[pid=18447/tid=18448] ppid=18445 vsize=848824 CPUtime=932.85 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 125753 0 0 0 93230 55 0 0 25 0 4 0 731436275 869195776 143744 33554432000 4194304 4580107 140736921066880 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=848824 CPUtime=942.31 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 72270 0 0 0 94203 28 0 0 25 0 4 0 731436275 869195776 143744 33554432000 4194304 4580107 140736921066880 18446744073709551615 4296025 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=848824 CPUtime=941.54 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 149412 0 0 0 94093 61 0 0 25 0 4 0 731436275 869195776 143744 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.05
Current children cumulated vsize (KiB) 848824

[startup+1002.3 s]
/proc/loadavg: 8.30 8.15 7.34 9/323 18540
/proc/meminfo: memFree=14985660/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=753980 CPUtime=3998.43 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 516267 0 0 0 399621 222 0 0 25 0 4 0 731436275 772075520 150102 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 188495 150102 379 95 0 183477 0
[pid=18447/tid=18448] ppid=18445 vsize=753980 CPUtime=992.25 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 132049 0 0 0 99167 58 0 0 25 0 4 0 731436275 772075520 150102 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=753980 CPUtime=1002.31 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 76215 0 0 0 100201 30 0 0 25 0 4 0 731436275 772075520 150102 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=753980 CPUtime=1001.53 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 156384 0 0 0 100088 65 0 0 25 0 4 0 731436275 772075520 150102 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.43
Current children cumulated vsize (KiB) 753980

[startup+1062.31 s]
/proc/loadavg: 8.33 8.18 7.40 9/323 18542
/proc/meminfo: memFree=14964108/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=787548 CPUtime=4237.88 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 535407 0 0 0 423555 233 0 0 25 0 4 0 731436275 806449152 142674 33554432000 4194304 4580107 140736921066880 18446744073709551615 4318767 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 196887 142674 379 95 0 191869 0
[pid=18447/tid=18448] ppid=18445 vsize=787548 CPUtime=1051.66 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 137998 0 0 0 105104 62 0 0 25 0 4 0 731436275 806449152 142674 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=787548 CPUtime=1062.31 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 81092 0 0 0 106199 32 0 0 25 0 4 0 731436275 806449152 142674 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=787548 CPUtime=1061.54 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 160255 0 0 0 106087 67 0 0 25 0 4 0 731436275 806449152 142674 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.88
Current children cumulated vsize (KiB) 787548

[startup+1122.3 s]
/proc/loadavg: 8.19 8.16 7.44 9/323 18544
/proc/meminfo: memFree=14831528/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=855932 CPUtime=4477.24 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 559022 0 0 0 447479 245 0 0 25 0 4 0 731436275 876474368 149265 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 213983 149265 379 95 0 208965 0
[pid=18447/tid=18448] ppid=18445 vsize=855932 CPUtime=1111.05 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 144898 0 0 0 111039 66 0 0 25 0 4 0 731436275 876474368 149265 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=855932 CPUtime=1122.3 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 86306 0 0 0 112195 35 0 0 25 0 4 0 731436275 876474368 149265 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=855932 CPUtime=1121.54 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 167165 0 0 0 112084 70 0 0 25 0 4 0 731436275 876474368 149265 33554432000 4194304 4580107 140736921066880 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.24
Current children cumulated vsize (KiB) 855932

[startup+1182.3 s]
/proc/loadavg: 8.17 8.16 7.48 9/323 18545
/proc/meminfo: memFree=14828416/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=870732 CPUtime=4716.63 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 578053 0 0 0 471403 260 0 0 25 0 4 0 731436275 891629568 149155 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 217683 149155 379 95 0 212665 0
[pid=18447/tid=18448] ppid=18445 vsize=870732 CPUtime=1170.42 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 147369 0 0 0 116974 68 0 0 25 0 4 0 731436275 891629568 149155 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=870732 CPUtime=1182.31 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 93393 0 0 0 118191 40 0 0 25 0 4 0 731436275 891629568 149155 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=870732 CPUtime=1181.54 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 171990 0 0 0 118081 73 0 0 25 0 4 0 731436275 891629568 149155 33554432000 4194304 4580107 140736921066880 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.63
Current children cumulated vsize (KiB) 870732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.11 8.15 7.49 9/323 18546
/proc/meminfo: memFree=14785124/32950928 swapFree=67085488/67111528
[pid=18447] ppid=18445 vsize=936580 CPUtime=4800.04 cores=1,3,5,7
/proc/18447/stat : 18447 (strangenight2-m) R 18445 18447 18342 0 -1 4202496 587508 0 0 0 479741 263 0 0 25 0 4 0 731436275 959057920 157862 33554432000 4194304 4580107 140736921066880 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18447/statm: 234145 157862 379 95 0 229127 0
[pid=18447/tid=18448] ppid=18445 vsize=936580 CPUtime=1191.12 cores=1,3,5,7
/proc/18447/task/18448/stat : 18448 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 152806 0 0 0 119043 69 0 0 25 0 4 0 731436275 959057920 157864 33554432000 4194304 4580107 140736921066880 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18447/tid=18449] ppid=18445 vsize=936580 CPUtime=1203.22 cores=1,3,5,7
/proc/18447/task/18449/stat : 18449 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 94698 0 0 0 120281 41 0 0 25 0 4 0 731436275 959057920 157864 33554432000 4194304 4580107 140736921066880 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18447/tid=18450] ppid=18445 vsize=936580 CPUtime=1202.44 cores=1,3,5,7
/proc/18447/task/18450/stat : 18450 (strangenight2-m) R 18445 18447 18342 0 -1 4202560 174705 0 0 0 120170 74 0 0 25 0 4 0 731436275 959057920 157864 33554432000 4194304 4580107 140736921066880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 936580

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.25
CPU time (s): 4800.11
CPU user time (s): 4797.45
CPU system time (s): 2.65859
CPU usage (%): 398.93
Max. virtual memory (cumulated for all children) (KiB): 990408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.45
system time used= 2.6586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 587510
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= 363
involuntary context switches= 33434

runsolver used 3.3005 second user time and 8.80766 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-15 00:27:36
IDJOB=3366685
IDBENCH=83094
IDSOLVER=1844
FILE ID=node114/3366685-1305412056
RUNJOBID= node114-1305410849-18361
PBS_JOBID= 13324529
Free space on /tmp= 72976 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366685-1305412056/watcher-3366685-1305412056 -o /tmp/evaluation-result-3366685-1305412056/solver-3366685-1305412056 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366685-1305412056.cnf

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

MD5SUM BENCH= 0fc04a37bb65455aedf3737bd6551a47
RANDOM SEED=1628417270

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15685976 kB
Buffers:        277696 kB
Cached:        6223868 kB
SwapCached:         96 kB
Active:       11892288 kB
Inactive:      4964260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15685976 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:            5448 kB
Writeback:           0 kB
AnonPages:    10355244 kB
Mapped:          26896 kB
Slab:           306784 kB
PageTables:      36824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52463924 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= 72968 MiB
End job on node114 at 2011-05-15 00:47:41