Trace number 3175436

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.45 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf
MD5SUM28731ba8f9c5274ff0cd070fd7aeff45
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175436-1304123816.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.18/0.80	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.74
3.18/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.18/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3.18/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:      46 undec:       0 neg:      44
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.18/0.80	c  N dy     8      5828        90      8010         0      3054     56070     79158     25.12     26.47  --
3.18/0.80	c  N dy    25     11589        90      8010         0      4467     56070    104943     25.47     26.83  --
3.98/1.00	c  N dy    31     17981        90      8010         0     10382     56070    276814     25.04     26.42  --
5.17/1.30	c  F st    42     25001        90      8010         0     11628     56070    297203     24.84     24.03  --
5.17/1.30	c  N st    42     25001        90      8010         0     11628     56070    297203     24.84     24.03  --
5.97/1.53	c  N dy    48     30000        90      8010         0      9989     56070    236649     24.84   no data  --
5.97/1.53	c  S st    48     30000        90      8010         0      9989     56070    236649     24.84   no data  --
5.97/1.56	c  S st    48     30502        90      8010         0     10463     56070    251086     24.84   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.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.97/1.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.76/2.77	c lits-rem:      1763  cl-subs:      676  v-elim:      0  v-fix:    0  time:  4.75 s
12.36/3.16	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.55
12.36/3.16	c calculated reachability. Time: 0.00
12.36/3.16	c  N dy    48     30502        90      8010         0      9787     56070    226631     24.84   no data  --
13.96/3.56	c  N dy    58     37603        90      8010         0      9051     56070    187098     24.69     26.02  --
14.76/3.78	c  N dy    84     41630        90      8010         0     12803     56070    299086     24.90     26.24  --
15.95/4.06	c  N dy   108     45753        90      8010         0      8364     56070    150476     24.99     24.81  --
15.95/4.06	c  S st   108     45753        90      8010         0      8364     56070    150476     24.99     24.81  --
16.36/4.10	c  S st   108     46257        90      8010         0      8838     56070    164305     24.99   no data  --
16.36/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.36/4.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.36/4.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.36/4.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.96/5.07	c lits-rem:       160  cl-subs:       48  v-elim:      0  v-fix:    0  time:  3.86 s
19.96/5.08	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.96/5.08	c vivif2 --  cl tried     8790 cl shrink        0 lits rem          0 time: 0.00
21.15/5.37	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.17
21.15/5.37	c calculated reachability. Time: 0.00
21.15/5.37	c  N dy   108     46257        90      8010         0      8790     56070    162467     24.99   no data  --
21.97/5.60	c  N dy   129     50319        90      8010         0     12529     56070    271902     25.06     26.59  --
23.14/5.88	c  N dy   156     54342        90      8010         0     16246     56070    381633     25.16     27.52  --
24.34/6.19	c  N dy   184     58687        90      8010         0     11061     56070    212008     25.26     26.81  --
25.54/6.48	c  N dy   198     63413        90      8010         0     15455     56070    341086     25.28     26.64  --
26.77/6.76	c  N dy   215     67519        90      8010         0     19272     56070    454704     25.33     27.13  --
27.54/6.93	c  S st   232     69388        90      8010         0     10814     56070    188132     25.38   no data  --
27.54/6.96	c  S st   232     69890        90      8010         0     11281     56070    201974     25.38   no data  --
27.54/6.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.54/6.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.54/6.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.54/6.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.93/8.03	c lits-rem:       280  cl-subs:      119  v-elim:      0  v-fix:    0  time:  4.23 s
31.93/8.04	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.93/8.04	c vivif2 --  cl tried    11162 cl shrink        0 lits rem          0 time: 0.01
33.14/8.39	c asymm  cl-useful: 0/7800/8010 lits-rem:0 time: 1.41
33.14/8.39	c calculated reachability. Time: 0.00
33.14/8.39	c  N dy   232     69890        90      8010         0     11162     56070    197392     25.38   no data  --
35.55/8.93	c  N dy   245     77943        90      8010         0     18581     56070    416469     25.35     26.71  --
37.12/9.35	c  N dy   251     83261        90      8010         0     12405     56070    217147     25.31     26.76  --
38.33/9.65	c  F st   271     87500        90      8010         0     16365     56070    335206     25.34     25.54  --
38.73/9.73	c  N st   274     88688        90      8010         0     17472     56070    368887     25.34   no data  --
40.33/10.14	c  N dy   282     94360        90      8010         0     22731     56070    526763     25.35     26.87  --
41.92/10.58	c  N dy   298    100413        90      8010         0     16278     56070    314668     25.36     27.03  --
43.12/10.89	c  S st   302    104835        90      8010         0     20370     56070    433048     25.32     24.67  --
43.52/10.95	c  S st   302    105337        90      8010         0     20843     56070    447046     25.32   no data  --
43.52/10.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.52/10.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.52/10.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.52/10.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.52/10.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.52/10.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.52/10.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.31/12.64	c lits-rem:      1904  cl-subs:     1680  v-elim:      0  v-fix:    0  time:  6.68 s
50.31/12.64	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.31/12.65	c vivif2 --  cl tried    19163 cl shrink        0 lits rem          0 time: 0.02
51.91/13.05	c asymm  cl-useful: 0/5657/8010 lits-rem:0 time: 1.61
51.91/13.05	c calculated reachability. Time: 0.00
51.91/13.05	c  N dy   302    105337        90      8010         0     19163     56070    393632     25.32   no data  --
54.30/13.65	c  N dy   324    112480        90      8010         0     25749     56070    588421     25.35     26.92  --
59.50/14.90	c  N dy   334    128733        90      8010         0     14019     56070    215105     25.13     26.65  --
61.52/15.49	c  N dy   364    137064        90      8010         0     21692     56070    440737     25.16     26.60  --
65.09/16.33	c  N dy   406    145926        90      8010         0     15153     56070    228364     25.21     26.61  --
68.69/17.22	c  N dy   425    158005        90      8010         0     26322     56070    555094     25.15     22.14  --
68.69/17.22	c  S st   425    158005        90      8010         0     26322     56070    555094     25.15     22.14  --
68.69/17.29	c  S st   425    158512        90      8010         0     26802     56070    569367     25.15   no data  --
68.69/17.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
68.69/17.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.09/17.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.09/17.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.09/17.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.09/17.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.09/17.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.88/19.56	c lits-rem:      1702  cl-subs:     2190  v-elim:      0  v-fix:    0  time:  8.96 s
77.88/19.56	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
77.88/19.57	c vivif2 --  cl tried    24612 cl shrink        0 lits rem          0 time: 0.02
79.09/19.82	c asymm  cl-useful: 0/1932/8010 lits-rem:0 time: 1.01
79.09/19.82	c calculated reachability. Time: 0.00
79.09/19.82	c  N dy   425    158512        90      8010         0     24612     56070    501013     25.15   no data  --
83.89/21.06	c  N dy   481    171086        90      8010         0     20605     56070    371152     25.21     26.57  --
87.88/22.05	c  N dy   508    182039        90      8010         0     30767     56070    670129     25.19     29.28  --
91.85/23.09	c  N dy   551    193717        90      8010         0     25009     56070    484733     25.22     26.62  --
98.24/24.66	c  N dy   591    208821        90      8010         0     21374     56070    355679     25.20     26.85  --
103.85/26.09	c  N dy   648    222190        90      8010         0     33812     56070    723924     25.24     27.26  --
109.85/27.52	c  N dy   729    236402        90      8010         0     28478     56070    554131     25.31     28.05  --
110.25/27.67	c  S st   737    237768        90      8010         0     29740     56070    591420     25.32   no data  --
110.62/27.75	c  S st   737    238271        90      8010         0     30213     56070    605483     25.32   no data  --
110.62/27.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
110.62/27.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.62/27.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
110.62/27.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.62/27.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.62/27.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.62/27.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.44/30.99	c lits-rem:      2171  cl-subs:     1714  v-elim:      0  v-fix:    0  time: 12.81 s
123.44/30.99	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
123.44/30.99	c vivif2 --  cl tried    28499 cl shrink        0 lits rem          0 time: 0.02
124.22/31.19	c asymm  cl-useful: 0/2270/8010 lits-rem:0 time: 0.77
124.22/31.19	c calculated reachability. Time: 0.00
124.22/31.19	c  N dy   737    238271        90      8010         0     28499     56070    545647     25.32   no data  --
130.21/32.67	c  N dy   776    253677        90      8010         0     23360     56070    380273     25.30     26.70  --
137.39/34.42	c  N dy   820    271127        90      8010         0     39530     56070    859953     25.30     26.79  --
144.59/36.23	c  N dy   834    290895        90      8010         0     37387     56070    764486     25.19     26.52  --
151.38/37.92	c  F st   907    306252        90      8010         0     30335     56070    553748     25.24     23.73  --
152.57/38.24	c  N st   912    309549        90      8010         0     33357     56070    643921     25.24   no data  --
162.16/40.63	c  N dy   967    331233        90      8010         0     31239     56070    559456     25.24     26.57  --
171.37/43.00	c  N dy  1034    351445        90      8010         0     26894     56070    411335     25.25     26.80  --
174.14/43.62	c  S st  1057    357406        90      8010         0     32418     56070    574339     25.27     25.14  --
174.54/43.71	c  S st  1057    357910        90      8010         0     32903     56070    588949     25.27   no data  --
174.54/43.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
174.54/43.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
174.54/43.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
174.54/43.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
174.54/43.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
174.54/43.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
174.54/43.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
187.73/47.03	c lits-rem:      1703  cl-subs:     1656  v-elim:      0  v-fix:    0  time: 13.13 s
187.73/47.03	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
187.73/47.03	c vivif2 --  cl tried    31247 cl shrink        0 lits rem          0 time: 0.02
188.53/47.28	c asymm  cl-useful: 0/1703/8010 lits-rem:0 time: 1.00
188.53/47.29	c calculated reachability. Time: 0.00
188.53/47.29	c  N dy  1057    357910        90      8010         0     31247     56070    534262     25.27   no data  --
200.51/50.23	c  N dy  1097    377923        90      8010         0     25731     56070    360420     25.24     26.77  --
219.28/54.97	c  N dy  1122    417825        90      8010         0     37518     56070    689514     25.13     26.51  --
230.87/57.80	c  N dy  1204    438246        90      8010         0     30635     56070    473288     25.15     26.48  --
240.86/60.38	c  N dy  1239    459818        90      8010         0     50504     56070   1052744     25.11     26.52  --
250.46/62.74	c  N dy  1259    479859        90      8010         0     42208     56070    784750     25.05     27.58  --
262.43/65.74	c  N dy  1353    499885        90      8010         0     33122     56070    509865     25.09     28.99  --
275.20/68.92	c  N dy  1378    525778        90      8010         0     56962     56070   1210760     25.04     26.40  --
280.41/70.24	c  S st  1410    536865        90      8010         0     38625     56070    653633     25.05   no data  --
280.81/70.34	c  S st  1410    537366        90      8010         0     39101     56070    667895     25.05   no data  --
280.81/70.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
280.81/70.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
280.81/70.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
280.81/70.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
280.81/70.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
280.81/70.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
280.81/70.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
292.38/73.24	c lits-rem:      1093  cl-subs:     1803  v-elim:      0  v-fix:    0  time: 11.38 s
292.38/73.24	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
292.38/73.24	c vivif2 --  cl tried    37298 cl shrink        0 lits rem          0 time: 0.03
293.18/73.48	c asymm  cl-useful: 0/1445/8010 lits-rem:0 time: 0.93
293.18/73.48	c calculated reachability. Time: 0.00
293.18/73.48	c  N dy  1410    537366        90      8010         0     37298     56070    610533     25.05   no data  --
305.56/76.59	c  N dy  1505    557408        90      8010         0     55935     56070   1164418     25.08     26.45  --
317.95/79.67	c  N dy  1651    577411        90      8010         0     44963     56070    827160     25.14     26.48  --
332.33/83.26	c  N dy  1701    600584        90      8010         0     35818     56070    531831     25.13     26.47  --
343.52/86.09	c  N dy  1759    620732        90      8010         0     54439     56070   1079305     25.13     26.53  --
355.91/89.15	c  N dy  1827    640741        90      8010         0     41528     56070    685393     25.13     26.57  --
368.28/92.20	c  N dy  1868    660791        90      8010         0     60003     56070   1226826     25.11     26.66  --
384.26/96.22	c  N dy  1953    683602        90      8010         0     48789     56070    876874     25.12     26.45  --
400.64/100.34	c  N dy  2027    707240        90      8010         0     37325     56070    522126     25.11     26.48  --
413.82/103.68	c  N dy  2115    727294        90      8010         0     55950     56070   1075846     25.13     28.20  --
432.60/108.30	c  N dy  2181    750526        90      8010         0     43148     56070    673326     25.12     26.54  --
444.97/111.47	c  N dy  2218    771523        90      8010         0     62477     56070   1240715     25.10     26.43  --
458.15/114.70	c  N dy  2255    793081        90      8010         0     47265     56070    779857     25.08     26.49  --
466.95/116.97	c  S st  2312    806049        90      8010         0     59309     56070   1137141     25.09     23.28  --
467.75/117.13	c  S st  2312    806554        90      8010         0     59791     56070   1151544     25.09   no data  --
467.75/117.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
467.75/117.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
467.75/117.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
467.75/117.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.75/117.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.75/117.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
467.75/117.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
513.69/128.65	c lits-rem:      2725  cl-subs:     4261  v-elim:      0  v-fix:    0  time: 45.76 s
513.69/128.65	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
513.69/128.67	c vivif2 --  cl tried    55530 cl shrink        0 lits rem          0 time: 0.05
515.28/129.03	c asymm  cl-useful: 0/987/8010 lits-rem:0 time: 1.45
515.28/129.03	c calculated reachability. Time: 0.00
515.28/129.03	c  N dy  2312    806554        90      8010         0     55530     56070   1017661     25.09   no data  --
532.86/133.44	c  N dy  2352    831445        90      8010         0     42577     56070    622925     25.08     26.42  --
545.64/136.69	c  N dy  2387    851743        90      8010         0     61337     56070   1170449     25.07     26.43  --
562.84/140.92	c  N dy  2491    872046        90      8010         0     43327     56070    627612     25.09     26.44  --
576.39/144.32	c  N dy  2556    892724        90      8010         0     62437     56070   1192466     25.10     26.42  --
592.38/148.32	c  N dy  2613    912845        90      8010         0     43146     56070    603022     25.10     26.61  --
606.79/151.98	c  N dy  2726    932846        90      8010         0     61744     56070   1159172     25.13     26.87  --
625.54/156.69	c  N dy  2796    956562        90      8010         0     44764     56070    626694     25.13     26.59  --
640.31/160.38	c  N dy  2872    976844        90      8010         0     63509     56070   1180173     25.14     26.60  --
658.69/164.93	c  N dy  2948    998960        90      8010         0     44253     56070    595901     25.14     26.50  --
673.07/168.54	c  N dy  3037   1019021        90      8010         0     62883     56070   1148448     25.16     26.65  --
692.25/173.39	c  N dy  3116   1039066        90      8010         0     81511     56070   1701684     25.17     27.21  --
706.23/176.81	c  N dy  3175   1059321        90      8010         0     59446     56070   1023052     25.17     26.61  --
716.64/179.49	c  F st  3214   1071878        90      8010         0     71063     56070   1365810     25.17   no data  --
725.80/181.78	c  N dy  3230   1082193        90      8010         0     80594     56070   1650323     25.17     26.55  --
741.78/185.70	c  N dy  3324   1102210        90      8010         0     57489     56070    951348     25.19     27.81  --
761.75/190.74	c  N dy  3393   1125632        90      8010         0     79123     56070   1590926     25.19     26.57  --
778.16/194.80	c  N dy  3460   1145702        90      8010         0     55196     56070    864725     25.19     27.26  --
798.11/199.82	c  N dy  3576   1165774        90      8010         0     73815     56070   1420795     25.21     26.66  --
821.70/205.71	c  N dy  3657   1185919        90      8010         0     48924     56070    660195     25.23     26.65  --
840.45/210.44	c  N dy  3766   1205951        90      8010         0     67581     56070   1219749     25.25     27.76  --
845.25/211.67	c  S st  3788   1209831        90      8010         0     71178     56070   1326907     25.25   no data  --
846.45/211.95	c  S st  3788   1210336        90      8010         0     71657     56070   1341253     25.25   no data  --
846.45/211.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
846.45/211.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
846.85/212.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.20
846.85/212.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
846.85/212.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
846.85/212.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
846.85/212.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
948.31/237.45	c lits-rem:      3423  cl-subs:     4576  v-elim:      0  v-fix:    0  time: 101.45 s
948.31/237.45	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
948.31/237.47	c vivif2 --  cl tried    67081 cl shrink        0 lits rem          0 time: 0.06
949.90/237.86	c asymm  cl-useful: 0/815/8010 lits-rem:0 time: 1.55
949.90/237.86	c calculated reachability. Time: 0.00
949.90/237.86	c  N dy  3788   1210336        90      8010         0     67081     56070   1188943     25.25   no data  --
979.88/245.37	c  N dy  3873   1234483        90      8010         0     45067     56070    526368     25.26     26.61  --
1005.03/251.62	c  N dy  3945   1260888        90      8010         0     69463     56070   1250947     25.25     26.79  --
1030.99/258.12	c  N dy  4051   1280890        90      8010         0     87987     56070   1802825     25.26     26.61  --
1049.38/262.78	c  N dy  4135   1300895        90      8010         0     61249     56070    991568     25.27     29.03  --
1072.94/268.62	c  N dy  4223   1321630        90      8010         0     80427     56070   1561996     25.28     26.82  --
1095.31/274.22	c  N dy  4287   1341672        90      8010         0     52702     56070    715561     25.29     26.63  --
1114.09/278.95	c  N dy  4354   1361757        90      8010         0     71334     56070   1267692     25.29     27.86  --
1148.84/287.64	c  N dy  4412   1392579        90      8010         0     52582     56070    690048     25.29     26.68  --
1174.80/294.10	c  N dy  4458   1420915        90      8010         0     78658     56070   1450142     25.27     26.64  --
1201.17/300.79	c  N dy  4509   1440965        90      8010         0     49168     56070    573768     25.27     28.14  --
1217.17/304.73	c  N dy  4533   1461248        90      8010         0     67888     56070   1123982     25.25     26.73  --
1248.70/312.65	c  N dy  4563   1490028        90      8010         0     94336     56070   1894829     25.23     26.88  --
1266.68/317.18	c  N dy  4575   1511638        90      8010         0     65353     56070   1030409     25.21     26.72  --
1296.27/324.55	c  N dy  4619   1540006        90      8010         0     91322     56070   1788006     25.19     26.52  --
1321.41/330.82	c  N dy  4714   1560041        90      8010         0     60221     56070    869539     25.20     29.29  --
1338.59/335.11	c  N dy  4763   1580063        90      8010         0     78644     56070   1410653     25.20     27.95  --
1366.97/342.26	c  N dy  4871   1602850        90      8010         0     99741     56070   2040822     25.21     26.63  --
1383.73/346.44	c  N dy  4921   1622913        90      8010         0     67595     56070   1062538     25.21     28.79  --
1414.09/354.01	c  N dy  4986   1653557        90      8010         0     95801     56070   1890375     25.20     26.61  --
1466.41/367.14	c  N dy  5025   1710336        90      8010         0     96109     56070   1863026     25.15     24.80  --
1466.41/367.14	c  S st  5025   1710336        90      8010         0     96109     56070   1863026     25.15     24.80  --
1467.63/367.40	c  S st  5025   1710840        90      8010         0     96583     56070   1877513     25.15   no data  --
1467.63/367.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1467.63/367.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1467.63/367.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1468.04/367.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1468.04/367.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1468.04/367.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1468.04/367.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1633.79/409.00	c lits-rem:      5182  cl-subs:    10782  v-elim:      0  v-fix:    0  time: 165.62 s
1633.79/409.00	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1633.79/409.02	c vivif2 --  cl tried    85801 cl shrink        0 lits rem          0 time: 0.08
1635.01/409.37	c asymm  cl-useful: 0/662/8010 lits-rem:0 time: 1.38
1635.01/409.37	c calculated reachability. Time: 0.00
1635.01/409.37	c  N dy  5025   1710840        90      8010         0     85801     56070   1574821     25.15   no data  --
1662.55/416.23	c  N dy  5117   1730919        90      8010         0     52431     56070    590222     25.15     28.53  --
1679.73/420.60	c  N dy  5222   1750998        90      8010         0     71069     56070   1146338     25.16     26.52  --
1703.30/426.43	c  N dy  5334   1771938        90      8010         0     90466     56070   1726605     25.18     26.78  --
1730.87/433.30	c  N dy  5434   1791960        90      8010         0     55655     56070    661504     25.19     27.91  --
1760.42/440.71	c  N dy  5532   1826901        90      8010         0     87805     56070   1607506     25.18     26.51  --
1788.81/447.89	c  N dy  5631   1847175        90      8010         0    106577     56070   2166392     25.19     26.55  --
1811.95/453.61	c  N dy  5709   1871372        90      8010         0     74553     56070   1200929     25.20     26.67  --
1836.32/459.73	c  N dy  5822   1891484        90      8010         0     93176     56070   1755718     25.21     26.60  --
1864.28/466.75	c  N dy  5892   1911517        90      8010         0     56331     56070    642081     25.22     27.56  --
1913.02/478.94	c  N dy  5907   1961884        90      8010         0    102214     56070   1957680     25.16     26.51  --
1941.39/486.04	c  N dy  5986   1982519        90      8010         0     65284     56070    894217     25.16     26.57  --
1965.35/492.01	c  N dy  6077   2002571        90      8010         0     83857     56070   1447882     25.17     26.60  --
1994.52/499.30	c  N dy  6195   2022936        90      8010         0    102796     56070   2017851     25.19     26.60  --
2020.88/505.96	c  N dy  6294   2042980        90      8010         0     64136     56070    837714     25.20     26.88  --
2041.25/511.08	c  N dy  6399   2063102        90      8010         0     82742     56070   1393726     25.21     26.55  --
2068.81/517.99	c  N dy  6543   2083106        90      8010         0    101321     56070   1957068     25.22     28.21  --
2096.39/524.86	c  N dy  6613   2103119        90      8010         0     61615     56070    740961     25.23     26.58  --
2115.15/529.53	c  N dy  6687   2123157        90      8010         0     80146     56070   1288856     25.23     28.18  --
2140.34/535.82	c  N dy  6753   2144589        90      8010         0     99900     56070   1870435     25.23     26.72  --
2174.68/544.46	c  N dy  6845   2165073        90      8010         0     59690     56070    666669     25.23     26.66  --
2192.25/548.90	c  N dy  6890   2187388        90      8010         0     80226     56070   1275018     25.23     26.58  --
2221.01/556.08	c  N dy  6999   2207419        90      8010         0     98777     56070   1829583     25.24     26.60  --
2226.60/557.42	c  S st  7010   2210841        90      8010         0    101971     56070   1925064     25.24     25.26  --
2227.82/557.72	c  S st  7010   2211345        90      8010         0    102453     56070   1939673     25.24   no data  --
2227.82/557.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2227.82/557.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2227.82/557.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2228.22/557.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2228.22/557.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2228.22/557.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2228.22/557.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2650.84/663.66	c lits-rem:      6070  cl-subs:     7798  v-elim:      0  v-fix:    0  time: 422.55 s
2650.84/663.66	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2650.84/663.68	c vivif2 --  cl tried    94655 cl shrink        0 lits rem          0 time: 0.09
2652.44/664.09	c asymm  cl-useful: 0/815/8010 lits-rem:0 time: 1.61
2652.44/664.09	c calculated reachability. Time: 0.00
2652.44/664.09	c  N dy  7010   2211345        90      8010         0     94655     56070   1689551     25.24   no data  --
2687.19/672.73	c  N dy  7110   2231436        90      8010         0    113287     56070   2248171     25.25     27.35  --
2711.58/678.81	c  N dy  7184   2251484        90      8010         0     71998     56070   1017913     25.25     27.56  --
2734.72/684.64	c  N dy  7290   2271491        90      8010         0     90507     56070   1572565     25.26     28.26  --
2766.68/692.62	c  N dy  7361   2296274        90      8010         0    113366     56070   2249148     25.26     26.63  --
2791.05/698.79	c  N dy  7428   2318021        90      8010         0     72616     56070   1012496     25.26     26.65  --
2813.82/704.42	c  N dy  7461   2339718        90      8010         0     92627     56070   1602097     25.25     26.59  --
2846.18/712.57	c  N dy  7530   2364366        90      8010         0    115321     56070   2269280     25.25     26.76  --
2889.72/723.41	c  N dy  7628   2400854        90      8010         0     87143     56070   1421717     25.24     26.67  --
2919.27/730.84	c  N dy  7711   2420887        90      8010         0    105706     56070   1976589     25.25     27.81  --
2954.43/739.67	c  N dy  7821   2440907        90      8010         0    124276     56070   2534546     25.26     27.56  --
2978.39/745.63	c  N dy  7879   2461000        90      8010         0     80043     56070   1194986     25.26     27.06  --
3007.96/753.09	c  N dy  7928   2486663        90      8010         0    103565     56070   1889291     25.25     26.62  --
3041.51/761.44	c  N dy  8036   2506723        90      8010         0    122142     56070   2447691     25.26     28.58  --
3065.88/767.56	c  N dy  8115   2526785        90      8010         0     77084     56070   1093759     25.27     28.67  --
3090.65/773.71	c  N dy  8219   2546913        90      8010         0     95729     56070   1649950     25.27     26.93  --
3124.22/782.18	c  N dy  8290   2572605        90      8010         0    119374     56070   2346157     25.27     26.65  --
3164.95/792.35	c  N dy  8383   2605950        90      8010         0     85382     56070   1305078     25.26     26.70  --
3192.91/799.37	c  N dy  8495   2625984        90      8010         0    103919     56070   1861547     25.27     27.16  --
3220.47/806.28	c  N dy  8530   2646039        90      8010         0    122416     56070   2402296     25.27     27.41  --
3244.85/812.31	c  N dy  8547   2666220        90      8010         0     75445     56070    999485     25.26     26.64  --
3268.01/818.13	c  N dy  8632   2686298        90      8010         0     94052     56070   1554791     25.27     27.51  --
3299.17/825.99	c  N dy  8682   2711131        90      8010         0    116888     56070   2228821     25.26     26.69  --
3299.57/826.08	c  S st  8684   2711347        90      8010         0    117090     56070   2234917     25.26     26.20  --
3301.17/826.42	c  S st  8684   2711852        90      8010         0    117565     56070   2249225     25.26   no data  --
3301.17/826.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3301.17/826.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3301.57/826.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.26
3301.57/826.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3301.57/826.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3301.57/826.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3301.57/826.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4005.03/1002.62	c lits-rem:      7484  cl-subs:    10463  v-elim:      0  v-fix:    0  time: 703.09 s
4005.03/1002.62	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4005.03/1002.65	c vivif2 --  cl tried   107102 cl shrink        0 lits rem          0 time: 0.11
4007.03/1003.14	c asymm  cl-useful: 0/622/8010 lits-rem:0 time: 1.96
4007.03/1003.14	c calculated reachability. Time: 0.00
4007.03/1003.14	c  N dy  8684   2711852        90      8010         0    107102     56070   1925979     25.26   no data  --
4050.97/1014.13	c  N dy  8789   2731935        90      8010         0    125703     56070   2484989     25.27     26.64  --
4081.74/1021.80	c  N dy  8814   2752361        90      8010         0     78471     56070   1077141     25.26     26.65  --
4113.69/1029.82	c  N dy  8878   2773485        90      8010         0     97998     56070   1656612     25.26     26.62  --
4153.65/1039.82	c  N dy  8986   2793705        90      8010         0    116770     56070   2220480     25.27     26.71  --
4193.99/1049.91	c  N dy  9012   2816077        90      8010         0     70211     56070    816150     25.26     26.87  --
4220.75/1056.65	c  N dy  9083   2836135        90      8010         0     88759     56070   1370325     25.27     28.46  --
4256.31/1065.52	c  N dy  9180   2856151        90      8010         0    107264     56070   1928089     25.27     27.85  --
4294.65/1075.15	c  N dy  9236   2876387        90      8010         0    125957     56070   2480683     25.27     26.78  --
4332.62/1084.70	c  N dy  9301   2896436        90      8010         0     76250     56070    976104     25.27     28.33  --
4362.57/1092.15	c  N dy  9376   2916788        90      8010         0     95059     56070   1532834     25.28     26.67  --
4407.73/1103.44	c  N dy  9473   2939570        90      8010         0    116140     56070   2160826     25.28     26.63  --
4453.25/1114.81	c  N dy  9560   2960925        90      8010         0    135851     56070   2751169     25.29     26.66  --
4492.80/1124.75	c  N dy  9689   2980935        90      8010         0     85174     56070   1228834     25.29     28.10  --
4540.73/1136.74	c  N dy  9724   3010822        90      8010         0    112550     56070   2015009     25.28     26.66  --
4593.86/1150.02	c  N dy  9818   3033243        90      8010         0    133295     56070   2633938     25.28     26.71  --
4638.21/1161.19	c  N dy  9924   3054882        90      8010         0     83237     56070   1151904     25.29     26.71  --
4671.38/1169.49	c  N dy  9980   3074950        90      8010         0    101709     56070   1696642     25.29     27.27  --
4718.10/1181.17	c  N dy 10072   3096329        90      8010         0    121468     56070   2287329     25.29     26.68  --
4764.43/1192.78	c  N dy 10110   3120660        90      8010         0     72770     56070    819595     25.29     26.65  --
4792.40/1199.79	c  N dy 10225   3140690        90      8010         0     91284     56070   1377445     25.30     27.45  --

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-3175436-1304123816/watcher-3175436-1304123816 -o /tmp/evaluation-result-3175436-1304123816/solver-3175436-1304123816 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175436-1304123816.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: 8.12 8.07 7.96 6/180 5177
/proc/meminfo: memFree=30632160/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 504797532 52465664 357 33554432000 4194304 4650419 140737439407136 18446744073709551615 47528251533234 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 12809 357 306 112 0 7774 0
[pid=5177/tid=5178] ppid=5175 vsize=116772 CPUtime=0 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 4 0 504797532 119574528 376 33554432000 4194304 4650419 140737439407136 18446744073709551615 4463936 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=182308 CPUtime=0 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 4 0 504797532 186683392 381 33554432000 4194304 4650419 140737439407136 18446744073709551615 220840608176 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=182308 CPUtime=0 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) D 5175 5177 4321 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 4 0 504797532 186683392 396 33554432000 4194304 4650419 140737439407136 18446744073709551615 220816279642 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.103922 s]
/proc/loadavg: 8.12 8.07 7.96 6/180 5177
/proc/meminfo: memFree=30632160/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=216520 CPUtime=0.39 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 1629 0 0 0 39 0 0 0 18 0 4 0 504797532 221716480 1541 33554432000 4194304 4650419 140737439407136 18446744073709551615 4370515 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 54130 1541 366 112 0 49095 0
[pid=5177/tid=5178] ppid=5175 vsize=216520 CPUtime=0.09 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 245 0 0 0 9 0 0 0 25 0 4 0 504797532 221716480 1541 33554432000 4194304 4650419 140737439407136 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=216520 CPUtime=0.09 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 268 0 0 0 9 0 0 0 18 0 4 0 504797532 221716480 1541 33554432000 4194304 4650419 140737439407136 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=216520 CPUtime=0.09 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 411 0 0 0 9 0 0 0 18 0 4 0 504797532 221716480 1541 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 216520

[startup+0.200907 s]
/proc/loadavg: 8.12 8.07 7.96 6/180 5177
/proc/meminfo: memFree=30632160/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=220740 CPUtime=0.77 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 3506 0 0 0 77 0 0 0 18 0 4 0 504797532 226037760 2922 33554432000 4194304 4650419 140737439407136 18446744073709551615 4440752 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 55185 2922 384 112 0 50150 0
[pid=5177/tid=5178] ppid=5175 vsize=220740 CPUtime=0.19 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 517 0 0 0 19 0 0 0 25 0 4 0 504797532 226037760 2922 33554432000 4194304 4650419 140737439407136 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=220740 CPUtime=0.19 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 927 0 0 0 19 0 0 0 18 0 4 0 504797532 226037760 2922 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=220740 CPUtime=0.19 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 740 0 0 0 19 0 0 0 18 0 4 0 504797532 226037760 2934 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 220740

[startup+0.300889 s]
/proc/loadavg: 8.12 8.07 7.96 6/180 5177
/proc/meminfo: memFree=30632160/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=220740 CPUtime=1.17 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 4169 0 0 0 117 0 0 0 18 0 4 0 504797532 226037760 3423 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 55185 3423 390 112 0 50150 0
[pid=5177/tid=5178] ppid=5175 vsize=220740 CPUtime=0.29 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 921 0 0 0 29 0 0 0 25 0 4 0 504797532 226037760 3423 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=220740 CPUtime=0.29 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 1007 0 0 0 29 0 0 0 18 0 4 0 504797532 226037760 3423 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=220740 CPUtime=0.29 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 816 0 0 0 29 0 0 0 18 0 4 0 504797532 226037760 3423 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 220740

[startup+0.700816 s]
/proc/loadavg: 8.12 8.07 7.96 6/180 5177
/proc/meminfo: memFree=30632160/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=222704 CPUtime=2.78 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 6753 0 0 0 277 1 0 0 18 0 4 0 504797532 228048896 4043 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 55676 4043 390 112 0 50641 0
[pid=5177/tid=5178] ppid=5175 vsize=222704 CPUtime=0.69 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 1658 0 0 0 69 0 0 0 25 0 4 0 504797532 228048896 4043 33554432000 4194304 4650419 140737439407136 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=222704 CPUtime=0.69 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 1719 0 0 0 69 0 0 0 18 0 4 0 504797532 228048896 4043 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=222704 CPUtime=0.69 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 1288 0 0 0 69 0 0 0 18 0 4 0 504797532 228048896 4043 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 222704

[startup+1.50067 s]
/proc/loadavg: 8.12 8.07 7.96 9/184 5181
/proc/meminfo: memFree=30613336/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=224012 CPUtime=5.97 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 10963 0 0 0 596 1 0 0 19 0 4 0 504797532 229388288 4915 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 56003 4915 391 112 0 50968 0
[pid=5177/tid=5178] ppid=5175 vsize=224012 CPUtime=1.48 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 2722 0 0 0 148 0 0 0 25 0 4 0 504797532 229388288 4915 33554432000 4194304 4650419 140737439407136 18446744073709551615 4331235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=224012 CPUtime=1.49 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 2797 0 0 0 149 0 0 0 20 0 4 0 504797532 229388288 4915 33554432000 4194304 4650419 140737439407136 18446744073709551615 4331957 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=224012 CPUtime=1.48 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 2320 0 0 0 148 0 0 0 20 0 4 0 504797532 229388288 4915 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 224012

[startup+3.10038 s]
/proc/loadavg: 8.12 8.07 7.96 9/184 5181
/proc/meminfo: memFree=30597340/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=231640 CPUtime=12.36 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 20930 0 0 0 1233 3 0 0 25 0 4 0 504797532 237199360 12571 33554432000 4194304 4650419 140737439407136 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 57910 12571 392 112 0 52875 0
[pid=5177/tid=5178] ppid=5175 vsize=231640 CPUtime=3.07 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 4593 0 0 0 307 0 0 0 25 0 4 0 504797532 237199360 12571 33554432000 4194304 4650419 140737439407136 18446744073709551615 4438449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=231640 CPUtime=3.09 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 5874 0 0 0 308 1 0 0 25 0 4 0 504797532 237199360 12571 33554432000 4194304 4650419 140737439407136 18446744073709551615 4438727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=231640 CPUtime=3.08 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 5584 0 0 0 308 0 0 0 25 0 4 0 504797532 237199360 12571 33554432000 4194304 4650419 140737439407136 18446744073709551615 4541376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 231640

[startup+6.30079 s]
/proc/loadavg: 8.11 8.07 7.96 9/184 5181
/proc/meminfo: memFree=30580740/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=241164 CPUtime=25.14 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 29724 0 0 0 2509 5 0 0 25 0 4 0 504797532 246951936 16917 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 60291 16917 392 112 0 55256 0
[pid=5177/tid=5178] ppid=5175 vsize=241164 CPUtime=6.26 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 7718 0 0 0 625 1 0 0 25 0 4 0 504797532 246951936 16917 33554432000 4194304 4650419 140737439407136 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=241164 CPUtime=6.29 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 7861 0 0 0 628 1 0 0 25 0 4 0 504797532 246951936 16917 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=241164 CPUtime=6.28 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 7771 0 0 0 627 1 0 0 25 0 4 0 504797532 246951936 16917 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 241164

[startup+12.7006 s]
/proc/loadavg: 8.18 8.08 7.97 9/184 5181
/proc/meminfo: memFree=30550612/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=232280 CPUtime=50.71 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 41593 0 0 0 5062 9 0 0 25 0 4 0 504797532 237854720 22562 33554432000 4194304 4650419 140737439407136 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 58070 22562 392 112 0 53035 0
[pid=5177/tid=5178] ppid=5175 vsize=232280 CPUtime=12.62 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 10620 0 0 0 1260 2 0 0 25 0 4 0 504797532 237854720 22562 33554432000 4194304 4650419 140737439407136 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=232280 CPUtime=12.69 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 9773 0 0 0 1267 2 0 0 25 0 4 0 504797532 237854720 22563 33554432000 4194304 4650419 140737439407136 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=232280 CPUtime=12.68 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 11638 0 0 0 1266 2 0 0 25 0 4 0 504797532 237854720 22563 33554432000 4194304 4650419 140737439407136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 232280

[startup+25.5013 s]
/proc/loadavg: 8.14 8.08 7.97 9/184 5182
/proc/meminfo: memFree=30496260/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=236488 CPUtime=101.84 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 62145 0 0 0 10169 15 0 0 25 0 4 0 504797532 242163712 29732 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 59122 29732 392 112 0 54087 0
[pid=5177/tid=5178] ppid=5175 vsize=236488 CPUtime=25.35 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 16215 0 0 0 2531 4 0 0 25 0 4 0 504797532 242163712 29732 33554432000 4194304 4650419 140737439407136 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=236488 CPUtime=25.49 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 15471 0 0 0 2546 3 0 0 25 0 4 0 504797532 242163712 29732 33554432000 4194304 4650419 140737439407136 18446744073709551615 4520372 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=236488 CPUtime=25.48 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 18015 0 0 0 2544 4 0 0 25 0 4 0 504797532 242163712 29732 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 236488

[startup+51.1005 s]
/proc/loadavg: 8.09 8.07 7.97 9/184 5183
/proc/meminfo: memFree=30451968/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=326428 CPUtime=204.1 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 91084 0 0 0 20387 23 0 0 25 0 4 0 504797532 334262272 40477 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 81607 40477 392 112 0 76572 0
[pid=5177/tid=5178] ppid=5175 vsize=326428 CPUtime=50.81 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 25409 0 0 0 5075 6 0 0 25 0 4 0 504797532 334262272 40477 33554432000 4194304 4650419 140737439407136 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=326428 CPUtime=51.09 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 23126 0 0 0 5104 5 0 0 25 0 4 0 504797532 334262272 40477 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=326428 CPUtime=51.08 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 23850 0 0 0 5102 6 0 0 25 0 4 0 504797532 334262272 40477 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 326428

[startup+102.301 s]
/proc/loadavg: 8.04 8.06 7.97 9/184 5184
/proc/meminfo: memFree=30421064/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=350632 CPUtime=408.65 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 130043 0 0 0 40824 41 0 0 25 0 4 0 504797532 359047168 46963 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 87658 46963 392 112 0 82623 0
[pid=5177/tid=5178] ppid=5175 vsize=350632 CPUtime=101.74 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 31771 0 0 0 10166 8 0 0 25 0 4 0 504797532 359047168 46963 33554432000 4194304 4650419 140737439407136 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=350632 CPUtime=102.29 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 38474 0 0 0 10216 13 0 0 25 0 4 0 504797532 359047168 46963 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=350632 CPUtime=102.29 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 32526 0 0 0 10220 9 0 0 25 0 4 0 504797532 359047168 46963 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 350632

[startup+162.301 s]

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

[pid=5177] ppid=5175 vsize=454588 CPUtime=2565.75 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 391899 0 0 0 256413 162 0 0 25 0 4 0 504797532 465498112 81815 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 113647 81815 392 112 0 108612 0
[pid=5177/tid=5178] ppid=5175 vsize=454588 CPUtime=638.81 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 94973 0 0 0 63838 43 0 0 25 0 4 0 504797532 465498112 81815 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=454588 CPUtime=642.3 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 118989 0 0 0 64188 42 0 0 25 0 4 0 504797532 465498112 81815 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=454588 CPUtime=642.29 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 104339 0 0 0 64183 46 0 0 25 0 4 0 504797532 465498112 81815 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365542 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.75
Current children cumulated vsize (KiB) 454588

[startup+702.3 s]
/proc/loadavg: 8.04 8.07 8.00 9/184 5200
/proc/meminfo: memFree=30193272/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=455336 CPUtime=2805.43 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 410106 0 0 0 280368 175 0 0 25 0 4 0 504797532 466264064 83836 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 113834 83836 392 112 0 108799 0
[pid=5177/tid=5178] ppid=5175 vsize=455336 CPUtime=698.49 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 101675 0 0 0 69801 48 0 0 25 0 4 0 504797532 466264064 83836 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=455336 CPUtime=702.31 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 122800 0 0 0 70186 45 0 0 25 0 4 0 504797532 466264064 83836 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=455336 CPUtime=702.3 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 111580 0 0 0 70178 52 0 0 25 0 4 0 504797532 466264064 83836 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 455336

[startup+762.3 s]
/proc/loadavg: 8.01 8.05 8.00 9/184 5201
/proc/meminfo: memFree=30176736/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=455560 CPUtime=3045.13 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 426005 0 0 0 304328 185 0 0 25 0 4 0 504797532 466493440 83987 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 113890 83987 392 112 0 108855 0
[pid=5177/tid=5178] ppid=5175 vsize=455560 CPUtime=758.16 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 107898 0 0 0 75765 51 0 0 25 0 4 0 504797532 466493440 83987 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=455560 CPUtime=762.32 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 126622 0 0 0 76185 47 0 0 25 0 4 0 504797532 466493440 83987 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=455560 CPUtime=762.3 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 117209 0 0 0 76175 55 0 0 25 0 4 0 504797532 466493440 83987 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 455560

[startup+822.3 s]
/proc/loadavg: 8.00 8.04 8.00 9/184 5203
/proc/meminfo: memFree=30179660/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=455860 CPUtime=3284.79 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 446431 0 0 0 328280 199 0 0 25 0 4 0 504797532 466800640 84991 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 113965 84991 392 112 0 108930 0
[pid=5177/tid=5178] ppid=5175 vsize=455860 CPUtime=817.84 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 116069 0 0 0 81727 57 0 0 25 0 4 0 504797532 466800640 84991 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=455860 CPUtime=822.31 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 131727 0 0 0 82181 50 0 0 25 0 4 0 504797532 466800640 84991 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=455860 CPUtime=822.29 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 124359 0 0 0 82169 60 0 0 25 0 4 0 504797532 466800640 84991 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 455860

[startup+882.306 s]
/proc/loadavg: 6.69 7.72 7.90 5/175 5223
/proc/meminfo: memFree=30556188/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=456036 CPUtime=3524.49 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 461147 0 0 0 352242 207 0 0 25 0 4 0 504797532 466980864 82209 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 114009 82209 392 112 0 108974 0
[pid=5177/tid=5178] ppid=5175 vsize=456036 CPUtime=877.51 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 121340 0 0 0 87691 60 0 0 25 0 4 0 504797532 466980864 82209 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=456036 CPUtime=882.32 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 134877 0 0 0 88180 52 0 0 25 0 4 0 504797532 466980864 82209 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=456036 CPUtime=882.31 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 130570 0 0 0 88167 64 0 0 25 0 4 0 504797532 466980864 82209 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.49
Current children cumulated vsize (KiB) 456036

[startup+942.301 s]
/proc/loadavg: 5.03 7.06 7.66 5/175 5224
/proc/meminfo: memFree=30538932/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=521760 CPUtime=3764.15 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 478952 0 0 0 376199 216 0 0 25 0 4 0 504797532 534282240 86588 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 130440 86588 392 112 0 125405 0
[pid=5177/tid=5178] ppid=5175 vsize=521760 CPUtime=937.18 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 127446 0 0 0 93655 63 0 0 25 0 4 0 504797532 534282240 86588 33554432000 4194304 4650419 140737439407136 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=521760 CPUtime=942.31 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 138496 0 0 0 94178 53 0 0 25 0 4 0 504797532 534282240 86588 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=521760 CPUtime=942.31 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 138650 0 0 0 94163 68 0 0 25 0 4 0 504797532 534282240 86588 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 521760

[startup+1002.3 s]
/proc/loadavg: 4.42 6.51 7.43 5/175 5226
/proc/meminfo: memFree=30509524/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=534992 CPUtime=4003.83 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 486732 0 0 0 400164 219 0 0 25 0 4 0 504797532 547831808 93964 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 133748 93964 392 112 0 128713 0
[pid=5177/tid=5178] ppid=5175 vsize=534992 CPUtime=996.85 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 132364 0 0 0 99621 64 0 0 25 0 4 0 504797532 547831808 93964 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=534992 CPUtime=1002.32 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 140891 0 0 0 100177 55 0 0 25 0 4 0 504797532 547831808 93964 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=534992 CPUtime=1002.3 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 139102 0 0 0 100162 68 0 0 25 0 4 0 504797532 547831808 93964 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 534992

[startup+1062.3 s]
/proc/loadavg: 4.19 6.07 7.22 5/175 5227
/proc/meminfo: memFree=30508868/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=541280 CPUtime=4243.53 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 494120 0 0 0 424129 224 0 0 25 0 4 0 504797532 554270720 94252 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 135320 94252 392 112 0 130285 0
[pid=5177/tid=5178] ppid=5175 vsize=541280 CPUtime=1056.55 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 134856 0 0 0 105590 65 0 0 25 0 4 0 504797532 554270720 94252 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=541280 CPUtime=1062.32 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 143214 0 0 0 106175 57 0 0 25 0 4 0 504797532 554270720 94252 33554432000 4194304 4650419 140737439407136 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=541280 CPUtime=1062.31 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 139742 0 0 0 106163 68 0 0 25 0 4 0 504797532 554270720 94252 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.53
Current children cumulated vsize (KiB) 541280

[startup+1122.3 s]
/proc/loadavg: 4.11 5.70 7.02 5/175 5229
/proc/meminfo: memFree=30501384/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=541092 CPUtime=4483.21 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 503876 0 0 0 448093 228 0 0 25 0 4 0 504797532 554078208 95736 33554432000 4194304 4650419 140737439407136 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 135273 95736 392 112 0 130238 0
[pid=5177/tid=5178] ppid=5175 vsize=541092 CPUtime=1116.22 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 136037 0 0 0 111557 65 0 0 25 0 4 0 504797532 554078208 95736 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=541092 CPUtime=1122.32 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 147459 0 0 0 112173 59 0 0 25 0 4 0 504797532 554078208 95736 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=541092 CPUtime=1122.31 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 142620 0 0 0 112162 69 0 0 25 0 4 0 504797532 554078208 95736 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.21
Current children cumulated vsize (KiB) 541092

[startup+1182.3 s]
/proc/loadavg: 4.07 5.41 6.83 5/175 5231
/proc/meminfo: memFree=30493784/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=541092 CPUtime=4722.89 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 509737 0 0 0 472059 230 0 0 25 0 4 0 504797532 554078208 98041 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 135273 98041 392 112 0 130238 0
[pid=5177/tid=5178] ppid=5175 vsize=541092 CPUtime=1175.9 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 136185 0 0 0 117525 65 0 0 25 0 4 0 504797532 554078208 98041 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=541092 CPUtime=1182.32 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 150435 0 0 0 118173 59 0 0 25 0 4 0 504797532 554078208 98041 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=541092 CPUtime=1182.31 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 143447 0 0 0 118162 69 0 0 25 0 4 0 504797532 554078208 98041 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.89
Current children cumulated vsize (KiB) 541092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.11 5.33 6.78 5/175 5231
/proc/meminfo: memFree=30496624/32951124 swapFree=67105204/67111528
[pid=5177] ppid=5175 vsize=580896 CPUtime=4800.4 cores=1,3,5,7
/proc/5177/stat : 5177 (strangenight1-m) R 5175 5177 4321 0 -1 4202496 518937 0 0 0 479807 233 0 0 25 0 4 0 504797532 594837504 97289 33554432000 4194304 4650419 140737439407136 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5177/statm: 145224 97289 392 112 0 140189 0
[pid=5177/tid=5178] ppid=5175 vsize=580896 CPUtime=1195.2 cores=1,3,5,7
/proc/5177/task/5178/stat : 5178 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 137111 0 0 0 119454 66 0 0 25 0 4 0 504797532 594837504 97289 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5177/tid=5179] ppid=5175 vsize=580896 CPUtime=1201.73 cores=1,3,5,7
/proc/5177/task/5179/stat : 5179 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 156083 0 0 0 120113 60 0 0 25 0 4 0 504797532 594837504 97289 33554432000 4194304 4650419 140737439407136 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5177/tid=5180] ppid=5175 vsize=580896 CPUtime=1201.72 cores=1,3,5,7
/proc/5177/task/5180/stat : 5180 (strangenight1-m) R 5175 5177 4321 0 -1 4202560 146037 0 0 0 120101 71 0 0 25 0 4 0 504797532 594837504 97289 33554432000 4194304 4650419 140737439407136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 580896

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.73
CPU time (s): 4800.45
CPU user time (s): 4798.1
CPU system time (s): 2.35164
CPU usage (%): 399.462
Max. virtual memory (cumulated for all children) (KiB): 646828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.1
system time used= 2.35164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518938
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= 392
involuntary context switches= 31386

runsolver used 1.67075 second user time and 4.88226 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-30 02:36:56
IDJOB=3175436
IDBENCH=83054
IDSOLVER=1588
FILE ID=node147/3175436-1304123816
RUNJOBID= node147-1304123241-5020
PBS_JOBID= 13170716
Free space on /tmp= 72652 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175436-1304123816/watcher-3175436-1304123816 -o /tmp/evaluation-result-3175436-1304123816/solver-3175436-1304123816 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175436-1304123816.cnf

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

MD5SUM BENCH= 28731ba8f9c5274ff0cd070fd7aeff45
RANDOM SEED=324536387

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.836
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.836
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.836
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.76
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.836
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.836
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:      30632440 kB
Buffers:        296740 kB
Cached:        1388928 kB
SwapCached:       3064 kB
Active:         412092 kB
Inactive:      1582524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30632440 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:      307152 kB
Mapped:          15420 kB
Slab:           260868 kB
PageTables:       5124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   576352 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= 72652 MiB
End job on node147 at 2011-04-30 02:57:00