Trace number 3366829

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.37 1203.05

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
MD5SUM9ffa0325c9e00b41c025f41d20ec5a0c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4252.27
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses49070
Sum of the clauses size98700
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 249050
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366829-1305415677.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:       49070
0.00/0.02	c -- clauses added:            0 learnts,        49070 normals,            0 xors
0.00/0.02	c -- vars added        600
0.00/0.02	c Parsing time:  0.01 s
0.00/0.02	c  N st     0         0       600        20     49050         0     98700         0   no data   no data
0.00/0.19	c asymm  cl-useful: 0/20/20 lits-rem:0 time: 0.00
0.00/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
0.00/0.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.19	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.00 s
0.00/0.19	c lits-rem:       420  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 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:     284 undec:      20 neg:     296
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.91	c restart types(rt): st = static, dy = dynamic
0.00/0.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.91	c  B st     0         0       580      1030     47440         0    130680         0   no data   no data
0.00/0.91	c  N dy    15      4313       580      1030     47447      4089    130680    153666      8.14      8.59
0.00/0.91	c  N dy    41      8500       580      1030     47455      5731    130680    153712      8.66      9.20
0.00/0.91	c  N dy    71     12537       580      1030     47457      5570    130680    140391      9.46     11.94
4.80/1.30	c  N dy   100     17530       577      1030     47465     10343    130680    601562      9.79     10.35
6.00/1.57	c  N dy   127     21698       577      1030     47468      8958    130680    379523     10.36     10.91
7.58/1.93	c  F st   141     25000       576      1030     47468     12170    130680    653310     10.53      7.61
7.99/2.08	c  N st   144     26187       576      1004     46470      6111    127647    230317     10.53   no data
9.15/2.39	c  S st   147     30000       576      1004     46471      9738    127647    333338     10.53   no data
9.55/2.42	c  S st   147     30502       576      1004     46473     10237    127647    363971     10.53   no data
9.55/2.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  3.3M T:  0.08
9.95/2.50	c blocked clauses removed:        0 vars:      0 tried:         576 T: 0.00 s
9.95/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.72	c subs with bin:        0  lits-rem:     11022  v-fix:    0  time:  0.21 s
10.75/2.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.00 s
10.75/2.73	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.00 s
10.75/2.73	c lits-rem:       105  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
16.77/4.24	c subs with bin:       85  lits-rem:       349  v-fix:    0  time:  1.50 s
18.73/4.73	c lits-rem:      2449  cl-subs:     1367  v-elim:      0  v-fix:    0  time:  0.49 s
18.73/4.79	c asymm  cl-useful: 0/984/1004 lits-rem:0 time: 0.05
18.73/4.79	c calculated reachability. Time: 0.00
18.73/4.79	c  N dy   147     30502       576      1004     46476      8785    116520    328970     10.53   no data
20.74/5.30	c  N dy   158     35319       576      1004     46488     13355    116520    494089     10.45     11.06
22.72/5.70	c  N dy   177     39338       575      1004     46501     10001    116520    363330     10.47     11.04
24.72/6.21	c  N dy   201     43368       575      1004     46503     13864    116520    582772     10.63     11.28
25.91/6.55	c  S st   213     45753       575      1004     46509     16142    116520    723125     10.66   no data
26.31/6.60	c  S st   213     46254       575      1004     46509     16639    116520    756848     10.66   no data
26.31/6.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.71/6.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  5.5M T:  0.13
26.71/6.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.71/6.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.51/6.90	c subs with bin:        0  lits-rem:        20  v-fix:    0  time:  0.15 s
27.51/6.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
27.51/6.91	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.00 s
27.51/6.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
33.50/8.47	c subs with bin:      574  lits-rem:      2441  v-fix:    0  time:  1.53 s
43.11/10.87	c lits-rem:      3674  cl-subs:     1158  v-elim:      0  v-fix:    0  time:  2.40 s
43.11/10.87	c vivif2 --  cl tried     1004 cl shrink        0 lits rem          0 time: 0.00
43.47/10.91	c vivif2 --  cl tried    14903 cl shrink     4566 lits rem       7716 time: 0.04
43.87/11.04	c asymm  cl-useful: 0/1004/1004 lits-rem:0 time: 0.13
43.87/11.04	c calculated reachability. Time: 0.00
43.87/11.04	c  N dy   213     46254       575      1004     46276     14902    115983    703931     10.66   no data
46.26/11.62	c  N dy   231     51171       575      1004     46277     11261    115983    408893     10.65     11.24
47.50/11.98	c  N dy   251     55173       572      1004     46296     15130    115983    608597     10.75     18.59
49.85/12.57	c  N dy   277     59265       572      1004     46306      9598    115983    302852     10.99     12.01
51.89/13.02	c  N dy   293     64236       572      1004     46306     14413    115983    570233     10.99     11.61
54.65/13.71	c  N dy   309     69234       572      1004     46310     19223    115983    742569     10.90     11.56
54.65/13.73	c  S st   310     69381       572      1004     46310     19363    115983    745943     10.90      9.62
54.65/13.78	c  S st   310     69882       572      1004     46310     19861    115983    774742     10.90   no data
54.65/13.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
55.45/13.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  5.2M T:  0.12
55.45/13.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
55.45/13.91	c bin-w-bin subsume rem            1 bins  time:  0.00 s
55.86/14.06	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  0.15 s
55.86/14.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    572 time:  0.00 s
55.86/14.07	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.00 s
55.86/14.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
62.22/15.61	c subs with bin:        0  lits-rem:        10  v-fix:    0  time:  1.51 s
67.01/16.88	c lits-rem:      3283  cl-subs:     1493  v-elim:      0  v-fix:    0  time:  1.27 s
67.01/16.88	c vivif2 --  cl tried      978 cl shrink        0 lits rem          0 time: 0.00
67.41/16.90	c vivif2 --  cl tried    12996 cl shrink      156 lits rem        202 time: 0.01
67.41/16.97	c asymm  cl-useful: 0/978/978 lits-rem:0 time: 0.08
67.41/16.98	c calculated reachability. Time: 0.00
67.41/16.98	c  N dy   310     69882       572       978     45569     12996    114160    644464     10.90   no data
70.20/17.60	c  N dy   334     75076       572       978     45583     10163    114160    536385     10.96     11.59
72.60/18.28	c  N dy   359     80157       571       978     45592     15052    114160    865303     11.04     11.90
76.98/19.34	c  N dy   377     85367       571       978     45600     20072    114160   1353142     11.03     23.79
78.22/19.62	c  F st   390     87501       571       978     45600     11972    114160    611298     11.07      9.56
81.37/20.46	c  N dy   396     92698       570       978     45388     16933    113685    994668     11.07   no data
86.99/21.84	c  N dy   446     98673       570       978     45391     22725    113685   1496479     11.37     12.10
91.38/22.97	c  S st   474    104825       570       978     45400     16803    113685    927196     11.42   no data
91.74/23.04	c  S st   474    105328       570       978     45400     17304    113685    970405     11.42   no data
91.74/23.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
92.54/23.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  6.8M T:  0.17
92.54/23.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.54/23.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.94/23.37	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  0.15 s
92.94/23.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
92.94/23.38	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.00 s
92.94/23.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
99.33/24.94	c subs with bin:        2  lits-rem:        73  v-fix:    0  time:  1.52 s
108.10/27.15	c lits-rem:      2178  cl-subs:      980  v-elim:      0  v-fix:    0  time:  2.20 s
108.10/27.15	c vivif2 --  cl tried      966 cl shrink        0 lits rem          0 time: 0.00
108.10/27.17	c vivif2 --  cl tried    16283 cl shrink      565 lits rem        815 time: 0.02
108.52/27.30	c asymm  cl-useful: 0/966/966 lits-rem:0 time: 0.13
108.52/27.30	c calculated reachability. Time: 0.00
108.52/27.30	c  N dy   474    105328       570       966     45185     16281    113046    944481     11.42   no data
114.89/28.87	c  N dy   520    112215       569       966     45198     22950    113046   1481621     11.53     12.33
120.08/30.18	c  N dy   538    119918       569       966     45203     17239    113046    759738     11.43     12.18
124.86/31.39	c  N dy   574    127689       569       966     45214     24775    113046   1345089     11.45     12.09
131.64/33.05	c  N dy   627    136081       569       966     45224     18563    113046    928632     11.64     12.39
139.66/35.09	c  N dy   655    145116       569       966     45239     27288    113046   1666209     11.61     12.63
147.21/36.92	c  N dy   699    154566       567       966     45256     21128    113046   1047490     11.64     12.35
149.60/37.52	c  S st   707    157992       567       966     45256     24459    113046   1326085     11.61   no data
150.00/37.63	c  S st   707    158493       567       966     45263     24960    113046   1363608     11.61   no data
150.00/37.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.80/37.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  9.8M T:  0.25
150.80/37.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.80/37.89	c bin-w-bin subsume rem            2 bins  time:  0.00 s
151.60/38.03	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.15 s
151.60/38.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    567 time:  0.00 s
151.60/38.04	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.00 s
151.60/38.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
158.38/39.72	c subs with bin:       83  lits-rem:       320  v-fix:    0  time:  1.62 s
172.74/43.35	c lits-rem:      1644  cl-subs:      697  v-elim:      0  v-fix:    0  time:  3.63 s
172.74/43.35	c vivif2 --  cl tried      966 cl shrink        0 lits rem          0 time: 0.00
172.74/43.38	c vivif2 --  cl tried    23142 cl shrink      704 lits rem        834 time: 0.03
173.54/43.58	c asymm  cl-useful: 0/966/966 lits-rem:0 time: 0.20
173.54/43.58	c calculated reachability. Time: 0.00
173.54/43.58	c  N dy   707    158493       567       966     44515     23141    111562   1319964     11.61   no data
183.91/46.12	c  N dy   751    169225       566       966     44538     17621    111562    780354     11.59     12.33
192.69/48.34	c  N dy   784    180041       566       966     44555     28037    111562   1553106     11.58     12.95
202.67/50.85	c  N dy   822    191602       566       966     44571     22046    111562   1015091     11.55     15.59
214.28/53.78	c  N dy   851    204365       566       966     44580     34368    111562   1944939     11.48     12.21
222.64/55.82	c Finding binary XORs  T:     0.00 s  found:       0
226.62/56.84	c  N dy   896    217483       565       966     44091     25520    110576   1366816     11.50     17.00
241.78/60.62	c  N dy   977    231645       564       966     44100     21650    110576   1011108     11.62     12.26
246.96/61.91	c  S st  1006    237739       564       966     44102     27545    110576   1449050     11.65     11.65
247.36/62.05	c  S st  1006    238242       564       966     44102     28045    110576   1488426     11.65   no data
247.36/62.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
248.56/62.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 11.3M T:  0.29
248.56/62.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
248.56/62.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
248.98/62.50	c subs with bin:        0  lits-rem:        10  v-fix:    0  time:  0.15 s
248.98/62.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    564 time:  0.00 s
248.98/62.50	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.00 s
249.40/62.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
256.14/64.20	c subs with bin:        1  lits-rem:        21  v-fix:    0  time:  1.63 s
274.10/68.75	c lits-rem:      2232  cl-subs:     1458  v-elim:      0  v-fix:    0  time:  4.55 s
274.10/68.75	c vivif2 --  cl tried      966 cl shrink        0 lits rem          0 time: 0.00
274.10/68.78	c vivif2 --  cl tried    26554 cl shrink     1045 lits rem       1394 time: 0.03
274.90/69.00	c asymm  cl-useful: 0/966/966 lits-rem:0 time: 0.22
274.90/69.00	c calculated reachability. Time: 0.00
274.90/69.00	c  N dy  1006    238242       564       966     43893     26553    110102   1453865     11.65   no data
291.66/73.17	c  N dy  1061    254144       564       966     43919     22524    110102   1055542     11.63     12.34
309.62/77.60	c  N dy  1115    270413       564       966     43928     38225    110102   2237066     11.60     23.04
327.58/82.19	c  N dy  1158    287848       563       966     43954     34094    110102   1573407     11.52     12.32
346.32/86.89	c  F st  1250    306252       562       966     43977     30004    110102   1437142     11.59      6.71
346.72/86.91	c  N st  1250    306252       562       966     43425     27618    109162   1404784     11.59      6.71
368.28/92.37	c  N dy  1325    326229       561       966     43449     25094    109162   1178008     11.64     12.38
394.61/98.95	c  N dy  1443    346290       559       966     43470     44560    109162   2731981     11.78     12.50
406.59/101.94	c  S st  1491    357365       558       966     43478     31728    109162   1511706     11.79     10.69
407.00/102.06	c  S st  1491    357870       558       966     43478     32230    109162   1545542     11.79   no data
407.00/102.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
408.17/102.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 11.8M T:  0.32
408.17/102.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
408.17/102.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
408.97/102.54	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  0.14 s
408.97/102.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    558 time:  0.00 s
408.97/102.55	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
408.97/102.57	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
415.78/104.21	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  1.60 s
433.34/108.69	c lits-rem:      2470  cl-subs:     1893  v-elim:      0  v-fix:    0  time:  4.47 s
433.34/108.69	c vivif2 --  cl tried      955 cl shrink        0 lits rem          0 time: 0.00
433.75/108.72	c vivif2 --  cl tried    28596 cl shrink      605 lits rem        715 time: 0.03
434.51/108.99	c asymm  cl-useful: 0/955/955 lits-rem:0 time: 0.27
434.51/108.99	c calculated reachability. Time: 0.00
434.51/108.99	c  N dy  1491    357870       558       955     42595     28595    107212   1467231     11.79   no data
464.06/116.41	c  N dy  1551    378898       557       955     42619     24995    107212   1109318     11.73     12.36
486.78/122.09	c  N dy  1621    399379       556       955     42640     44681    107212   2471934     11.71     12.36
513.12/128.63	c  N dy  1719    419863       556       955     42653     39019    107212   2133421     11.76     12.46
543.84/136.36	c  N dy  1809    439982       556       955     42670     31754    107212   1594569     11.81     12.43
574.97/144.10	c  N dy  1875    460620       556       955     42692     51683    107212   3079653     11.79     12.58
602.51/151.07	c  N dy  1973    480917       556       955     42711     43453    107212   2289168     11.85     12.59
634.43/159.00	c  N dy  2062    500995       556       955     42730     33942    107212   1548011     11.87     31.58
667.14/167.28	c  N dy  2157    521302       556       955     42742     53429    107212   2970705     11.92     12.78
673.93/168.97	c Finding binary XORs  T:     0.00 s  found:       0
689.89/172.92	c  S st  2208    536805       555       955     42352     38421    106339   1804166     11.90   no data
690.29/173.07	c  S st  2208    537307       555       955     42352     38920    106339   1843257     11.90   no data
690.29/173.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
691.89/173.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 14.6M T:  0.43
692.31/173.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
692.31/173.51	c bin-w-bin subsume rem            1 bins  time:  0.00 s
692.72/173.65	c subs with bin:        0  lits-rem:        30  v-fix:    0  time:  0.14 s
692.72/173.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    555 time:  0.00 s
692.72/173.66	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.00 s
692.72/173.68	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
699.47/175.35	c subs with bin:      122  lits-rem:       136  v-fix:    0  time:  1.61 s
723.02/181.22	c lits-rem:      3340  cl-subs:     1722  v-elim:      0  v-fix:    0  time:  5.87 s
723.02/181.22	c vivif2 --  cl tried      955 cl shrink        0 lits rem          0 time: 0.00
723.02/181.26	c vivif2 --  cl tried    36474 cl shrink     2092 lits rem       2910 time: 0.04
724.20/181.56	c asymm  cl-useful: 0/486/955 lits-rem:0 time: 0.30
724.20/181.56	c calculated reachability. Time: 0.00
724.20/181.56	c  N dy  2208    537307       555       955     42106     36466    105829   1791177     11.90   no data
756.53/189.63	c  N dy  2288    558123       555       955     42122     56516    105829   3203304     11.90     12.56
786.06/197.01	c  N dy  2353    578921       555       955     42137     46084    105829   2142651     11.88     12.54
817.18/204.85	c  N dy  2418    599255       555       955     42149     34069    105829   1323974     11.86     12.54
843.12/211.30	c  N dy  2504    619323       555       955     42176     53353    105828   2514402     11.86     12.58
872.27/218.65	c  N dy  2529    640314       554       955     42201     40844    105828   1430991     11.78     12.52
893.81/224.07	c  N dy  2585    660356       554       955     42211     60143    105828   2510154     11.74     12.37
916.59/229.78	c  N dy  2641    680424       552       955     42230     45815    105828   1864535     11.73     12.42
942.93/236.33	c  N dy  2720    700467       552       955     42251     65100    105828   3114289     11.74     12.64
966.43/242.28	c  N dy  2835    720710       552       955     42274     50131    105828   2225024     11.79     12.51
999.99/250.61	c  N dy  2917    740734       552       955     42292     69381    105828   3346541     11.81     12.52
1023.09/256.42	c  N dy  3012    761650       550       955     42308     53905    105828   2084241     11.84     12.48
1051.03/263.40	c  N dy  3106    781736       549       929     40835     31055    102774   1069667     11.89     20.47
1072.97/268.99	c  N dy  3194    802808       549       929     40861     51347    102774   2302421     11.90     12.62
1076.96/269.92	c  S st  3203    805960       549       929     40861     54406    102774   2508551     11.90     10.24
1077.76/270.11	c  S st  3203    806462       549       929     40863     54907    102774   2541388     11.90   no data
1077.76/270.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1080.15/270.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      3 BRemN:      0 P: 19.3M T:  0.58
1080.15/270.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1080.15/270.70	c bin-w-bin subsume rem            3 bins  time:  0.00 s
1080.55/270.84	c subs with bin:        1  lits-rem:        40  v-fix:    0  time:  0.13 s
1080.55/270.84	c Subs w/ non-existent bins:      0 l-rem:     11 v-fix:     0 done:    549 time:  0.00 s
1080.55/270.85	c Removed useless bin:      49  fixed:     0  props:   0.19M  time:  0.00 s
1080.55/270.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1087.77/272.62	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  1.68 s
1134.42/284.37	c lits-rem:      5727  cl-subs:     3512  v-elim:      0  v-fix:    0  time: 11.75 s
1134.42/284.37	c vivif2 --  cl tried      928 cl shrink        6 lits rem         23 time: 0.00
1134.82/284.44	c vivif2 --  cl tried    51395 cl shrink     6127 lits rem      10325 time: 0.07
1136.06/284.77	c asymm  cl-useful: 0/368/928 lits-rem:0 time: 0.32
1136.06/284.77	c calculated reachability. Time: 0.00
1136.06/284.77	c  N dy  3203    806462       549       928     40811     51394    102590   2448600     11.90   no data
1147.19/287.52	c Finding binary XORs  T:     0.00 s  found:       0
1169.13/293.08	c  N dy  3268    827018       544       895     40277     33497    101049   1226544     11.89     12.52
1189.88/298.23	c  N dy  3323    847412       543       895     40296     53051    101049   2481386     11.86     12.54
1222.21/306.31	c  N dy  3411    867606       542       895     40307     37000    101049   1303165     11.88     12.55
1245.37/312.17	c  N dy  3501    887676       541       895     40313     56362    101049   2677976     11.90     18.43
1282.87/321.56	c  N dy  3597    907747       541       895     40324     75679    101049   4059606     11.93     12.71
1307.24/327.68	c  N dy  3654    928712       540       861     39100     54924     98091   2531566     11.92     12.64
1345.12/337.12	c  N dy  3745    948744       540       861     39112     74146     98091   3798184     11.94     14.26
1372.67/344.03	c  N dy  3870    968797       540       861     39127     55268     98091   2468247     12.00     16.47
1407.78/352.86	c  N dy  3927    989194       539       861     39138     74718     98091   3694180     11.99     12.75
1439.68/360.85	c  N dy  3988   1009498       539       861     39149     54022     98091   2239699     11.96     12.79
1472.81/369.17	c  N dy  4036   1029577       539       861     39159     73320     98091   3389200     11.94     12.64
1504.78/377.13	c  N dy  4101   1049637       536       861     39187     50871     98091   2114170     11.93     16.50
1538.65/385.61	c  N dy  4206   1069707       535       861     39212     70206     98091   3334229     11.96     12.83
1542.24/386.50	c  F st  4209   1071876       535       861     39212     72288     98091   3428156     11.96     10.99
1578.97/395.73	c  N dy  4298   1089914       535       838     38103     42149     95706   1706803     12.00     12.79
1609.28/403.34	c  N dy  4405   1110702       535       838     38108     62280     95706   2995826     12.04     12.77
1648.79/413.20	c  N dy  4476   1131858       535       838     38123     82695     95706   4223251     12.05     12.91
1679.93/421.04	c  N dy  4593   1152027       535       838     38135     60219     95706   2733463     12.10     12.74
1721.41/431.40	c  N dy  4726   1172158       535       838     38136     79706     95706   4085997     12.16     12.95
1759.36/440.91	c  N dy  4857   1192171       535       838     38142     54884     95706   2363404     12.23     17.64
1789.66/448.54	c  S st  4949   1209693       535       838     38150     71841     95706   3461062     12.26   no data
1790.83/448.81	c  S st  4949   1210199       535       838     38150     72338     95706   3492256     12.26   no data
1790.83/448.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1794.48/449.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P: 25.2M T:  0.89
1794.48/449.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1794.48/449.71	c bin-w-bin subsume rem            1 bins  time:  0.00 s
1794.84/449.84	c subs with bin:        1  lits-rem:        13  v-fix:    0  time:  0.12 s
1794.84/449.84	c Subs w/ non-existent bins:      0 l-rem:      8 v-fix:     0 done:    535 time:  0.00 s
1794.84/449.84	c Removed useless bin:      47  fixed:     0  props:   0.17M  time:  0.00 s
1794.84/449.88	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1802.42/451.80	c subs with bin:        5  lits-rem:       222  v-fix:    0  time:  1.83 s
1855.09/464.96	c lits-rem:      6575  cl-subs:     4117  v-elim:      0  v-fix:    0  time: 13.16 s
1855.09/464.96	c vivif2 --  cl tried      837 cl shrink        5 lits rem         34 time: 0.00
1855.50/465.05	c vivif2 --  cl tried    68216 cl shrink     5766 lits rem       8373 time: 0.09
1857.08/465.41	c asymm  cl-useful: 0/283/837 lits-rem:0 time: 0.36
1857.08/465.42	c calculated reachability. Time: 0.00
1857.08/465.42	c  N dy  4949   1210199       535       837     38106     68211     95543   3389848     12.26   no data
1894.59/474.82	c Finding binary XORs  T:     0.00 s  found:       0
1899.39/476.10	c  N dy  4993   1230641       533       818     37835     87740     94696   4600518     12.24     13.06
1930.90/483.96	c  N dy  5063   1250716       531       818     37848     61411     94696   2688754     12.23     14.71
1973.20/494.52	c  N dy  5167   1271471       531       818     37861     81447     94696   4022723     12.26     13.03
2011.92/504.24	c  N dy  5220   1291601       531       818     37871     53990     94696   2236180     12.24     13.01
2047.83/513.29	c  N dy  5299   1311616       531       818     37874     73311     94696   3554780     12.26     14.81
2098.89/526.09	c  N dy  5403   1331706       531       818     37885     92697     94696   4928391     12.29     13.00
2131.62/534.25	c  N dy  5492   1351741       530       818     37892     63951     94696   2803293     12.30     25.65
2173.92/544.81	c  N dy  5603   1371795       530       818     37904     83287     94696   4020530     12.33     18.08
2217.01/555.63	c  N dy  5701   1391875       529       818     37917     53551     94696   2019130     12.34     14.75
2247.34/563.27	c  N dy  5793   1412065       529       818     37923     73001     94696   3299863     12.36     13.20
2294.45/575.10	c  N dy  5887   1432181       529       818     37928     92389     94696   4404313     12.38     13.13
2331.93/584.43	c  N dy  5991   1452247       529       818     37935     61614     94696   2460458     12.41     17.04
2364.68/592.63	c  N dy  6061   1472268       529       818     37942     80821     94696   3537836     12.41     13.08
2406.15/603.02	c  N dy  6149   1492429       529       818     37953    100267     94696   4811641     12.41     13.07
2436.88/610.72	c  N dy  6233   1513509       529       818     37959     69531     94696   2923547     12.43     13.10
2477.98/621.04	c  N dy  6341   1533713       529       818     37967     88950     94696   4121895     12.45     13.12
2516.68/630.74	c  N dy  6389   1554073       528       818     37973     56622     94696   2002587     12.43     13.17
2547.02/638.36	c  N dy  6458   1574448       528       818     37984     76202     94696   3161060     12.44     13.11
2585.72/648.04	c  N dy  6546   1594577       527       795     36720     85658     91964   4076204     12.45     13.12
2622.03/657.16	c  N dy  6636   1614644       527       795     36725     56991     91964   2073311     12.46     13.15
2653.55/665.03	c  N dy  6765   1634731       527       795     36728     76441     91964   3362362     12.50     35.03
2695.85/675.60	c  N dy  6886   1654777       527       795     36735     95771     91964   4585161     12.54     14.90
2731.36/684.60	c  N dy  6973   1675004       527       795     36745     63733     91964   2399703     12.54     13.28
2764.87/692.96	c  N dy  7054   1695126       527       795     36748     83125     91964   3546841     12.55     13.60
2794.82/700.47	c  S st  7146   1710199       527       795     36753     97702     91964   4446681     12.57   no data
2795.99/700.79	c  S st  7146   1710702       527       795     36753     98204     91964   4480952     12.57   no data
2796.39/700.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2800.78/701.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      2 BRemN:      0 P: 29.9M T:  1.11
2800.78/701.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2800.78/701.92	c bin-w-bin subsume rem            1 bins  time:  0.00 s
2801.19/702.03	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  0.12 s
2801.19/702.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    527 time:  0.00 s
2801.19/702.04	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.00 s
2801.19/702.09	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2809.56/704.15	c subs with bin:      118  lits-rem:       777  v-fix:    0  time:  1.95 s
2874.23/720.35	c lits-rem:      5515  cl-subs:     7067  v-elim:      0  v-fix:    0  time: 16.20 s
2874.23/720.35	c vivif2 --  cl tried      795 cl shrink        2 lits rem          2 time: 0.00
2874.59/720.49	c vivif2 --  cl tried    91019 cl shrink     8804 lits rem      13682 time: 0.13
2876.20/720.82	c asymm  cl-useful: 0/361/795 lits-rem:0 time: 0.34
2876.20/720.83	c calculated reachability. Time: 0.00
2876.20/720.83	c  N dy  7146   1710702       527       795     36761     91012     91946   4309443     12.57   no data
2920.49/731.97	c  N dy  7211   1730971       526       795     36780     56960     91946   2063459     12.56     13.74
2950.82/739.52	c  N dy  7273   1751347       526       795     36795     76498     91946   3210802     12.55     13.36
2998.71/751.59	c  N dy  7334   1774097       526       795     36810     98248     91946   4448259     12.53     13.30
3041.80/762.33	c  N dy  7401   1794181       525       795     36824     62425     91946   2297504     12.53     19.24
3073.33/770.27	c  N dy  7447   1815021       525       795     36830     82406     91946   3516944     12.51     13.29
3073.73/770.30	c Finding binary XORs  T:     0.00 s  found:       0
3121.20/782.25	c  N dy  7523   1835028       525       795     36425     99022     91179   4643413     12.50     13.81
3164.30/793.01	c  N dy  7598   1855169       525       795     36430     63405     91179   2411723     12.50     13.23
3202.21/802.58	c  N dy  7651   1876729       525       795     36445     84067     91179   3582057     12.49     13.53
3247.34/813.89	c  N dy  7704   1897044       523       795     36464    103492     91179   4645692     12.48     13.22
3286.43/823.63	c  N dy  7742   1917491       523       795     36480     66326     91179   2370196     12.45     13.18
3321.12/832.39	c  N dy  7793   1937809       523       795     36497     85758     91179   3351591     12.44     13.13
3363.82/843.07	c  N dy  7876   1958144       521       795     36508    105356     91179   4560965     12.44     13.22
3405.71/853.54	c  N dy  7950   1978221       521       795     36520     66586     91179   2395848     12.45     27.51
3441.23/862.41	c  N dy  8028   1999477       520       795     36529     87018     91179   3604018     12.45     13.18
3483.95/873.19	c  N dy  8122   2019535       520       795     36546    106293     91179   4784409     12.46     13.23
3527.83/884.20	c  N dy  8206   2039554       520       795     36551     66254     91179   2269291     12.47     14.56
3562.13/892.71	c  N dy  8316   2060331       520       795     36556     86311     91179   3597921     12.49     13.18
3608.01/904.22	c  N dy  8412   2081097       520       795     36566    106394     91179   4861796     12.50     13.44
3657.50/916.67	c  N dy  8527   2101211       519       795     35290     61637     88808   2229775     12.53     13.31
3692.20/925.37	c  N dy  8605   2121455       518       795     35301     81114     88808   3334078     12.54     13.36
3740.08/937.30	c  N dy  8697   2145484       518       795     35313    104218     88808   4742860     12.55     13.33
3790.36/949.98	c  N dy  8829   2165585       518       795     35325     63850     88808   2274535     12.59     13.27
3824.68/958.53	c  N dy  8903   2185859       518       795     35337     83340     88808   3461121     12.59     13.39
3872.15/970.42	c  N dy  8997   2206786       518       795     35345    103521     88808   4770040     12.60     13.67
3882.53/973.00	c  S st  9009   2210702       518       795     35348    107270     88808   5003792     12.60      9.53
3883.76/973.38	c  S st  9009   2211206       518       795     35348    107772     88808   5040294     12.60   no data
3883.76/973.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3889.31/974.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      3 BRemN:      0 P: 35.6M T:  1.36
3889.31/974.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3889.31/974.76	c bin-w-bin subsume rem            3 bins  time:  0.00 s
3889.71/974.87	c subs with bin:        0  lits-rem:        14  v-fix:    0  time:  0.11 s
3889.71/974.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    518 time:  0.00 s
3889.71/974.88	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.00 s
3890.11/974.93	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3900.08/977.48	c subs with bin:       38  lits-rem:       343  v-fix:    0  time:  2.39 s
3980.68/997.65	c lits-rem:      6212  cl-subs:     6897  v-elim:      0  v-fix:    0  time: 20.17 s
3980.68/997.65	c vivif2 --  cl tried      795 cl shrink        3 lits rem          3 time: 0.00
3981.48/997.80	c vivif2 --  cl tried   100534 cl shrink    10349 lits rem      13848 time: 0.15
3982.68/998.17	c asymm  cl-useful: 0/320/795 lits-rem:0 time: 0.38
3982.68/998.18	c calculated reachability. Time: 0.00
3982.68/998.18	c  N dy  9009   2211206       518       795     35187    100533     88455   4869995     12.60   no data
4028.60/1009.67	c Finding binary XORs  T:     0.00 s  found:       0
4043.33/1013.31	c  N dy  9093   2231226       516       795     34850    119068     87701   6040758     12.60     14.44
4082.43/1023.13	c  N dy  9173   2252433       516       795     34865     78281     87701   3025175     12.60     13.53
4123.94/1033.53	c  N dy  9240   2272516       515       795     34883     97585     87701   4191917     12.60     14.76
4178.60/1047.25	c  N dy  9327   2292564       515       795     34901    116855     87701   5373174     12.60     13.31
4222.88/1058.37	c  N dy  9397   2312817       514       795     34925     73605     87701   2726450     12.59     13.33
4262.78/1068.30	c  N dy  9482   2333385       514       795     34931     93310     87701   3847359     12.60     13.31
4313.48/1081.04	c  N dy  9535   2353670       513       795     34942    112665     87701   4856443     12.59     13.29
4370.54/1095.40	c  N dy  9630   2375136       512       795     34957     69360     87701   2373901     12.60     13.29
4407.63/1104.61	c  N dy  9702   2396826       512       795     34967     90152     87701   3485211     12.59     13.30
4447.94/1114.71	c  N dy  9768   2416990       512       795     34980    109537     87701   4630641     12.59     13.38
4508.99/1130.07	c  N dy  9862   2439721       511       795     34990     66273     87701   2098754     12.59     13.34
4542.91/1138.56	c  N dy  9995   2459864       509       795     33744     77279     85341   3212399     12.63     13.47
4586.79/1149.58	c  N dy 10094   2480121       509       795     33752     96867     85341   4431262     12.65     13.36
4645.05/1164.17	c  N dy 10185   2501304       509       795     33760    117272     85341   5714299     12.67     13.49
4688.15/1174.94	c  N dy 10298   2521383       509       795     33777     74686     85341   2859930     12.69     17.47
4728.45/1185.01	c  N dy 10387   2541473       508       795     33790     94030     85341   4140193     12.71     30.22
4780.72/1198.14	c  N dy 10469   2561497       506       795     33803    113311     85341   5375246     12.72     31.78

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-3366829-1305415677/watcher-3366829-1305415677 -o /tmp/evaluation-result-3366829-1305415677/solver-3366829-1305415677 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366829-1305415677.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.45 7.97 7.97 3/305 14734
/proc/meminfo: memFree=12310680/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 653166455 52396032 351 33554432000 4194304 4580107 140734501619152 18446744073709551615 47088554084278 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 12792 351 302 95 0 7774 0
[pid=14734/tid=14737] ppid=14731 vsize=216424 CPUtime=0 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 230 0 0 0 0 0 0 0 25 0 4 0 653166455 221618176 1262 33554432000 4194304 4580107 140734501619152 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=216424 CPUtime=0 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 231 0 0 0 0 0 0 0 25 0 4 0 653166455 221618176 1264 33554432000 4194304 4580107 140734501619152 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=216424 CPUtime=0 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 210 0 0 0 0 0 0 0 25 0 4 0 653166455 221618176 1265 33554432000 4194304 4580107 140734501619152 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.238643 s]
/proc/loadavg: 7.45 7.97 7.97 3/305 14734
/proc/meminfo: memFree=12310680/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=288040 CPUtime=3.61 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 8367 0 0 0 358 3 0 0 19 0 4 0 653166455 294952960 5524 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 72010 5525 376 95 0 66992 0
[pid=14734/tid=14737] ppid=14731 vsize=288040 CPUtime=0.9 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 1923 0 0 0 89 1 0 0 19 0 4 0 653166455 294952960 5525 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=288040 CPUtime=0.89 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2105 0 0 0 89 0 0 0 19 0 4 0 653166455 294952960 5525 33554432000 4194304 4580107 140734501619152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=288040 CPUtime=0.89 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 1904 0 0 0 89 0 0 0 19 0 4 0 653166455 294952960 5525 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 288040

[startup+1.01103 s]
/proc/loadavg: 7.45 7.97 7.97 3/305 14734
/proc/meminfo: memFree=12310680/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=288172 CPUtime=4.01 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 8774 0 0 0 398 3 0 0 19 0 4 0 653166455 295088128 5931 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 72043 5931 376 95 0 67025 0
[pid=14734/tid=14737] ppid=14731 vsize=288172 CPUtime=1 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 1990 0 0 0 99 1 0 0 19 0 4 0 653166455 295088128 5931 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=288172 CPUtime=0.99 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2223 0 0 0 99 0 0 0 19 0 4 0 653166455 295088128 5931 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=288172 CPUtime=0.99 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2005 0 0 0 99 0 0 0 19 0 4 0 653166455 295088128 5931 33554432000 4194304 4580107 140734501619152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 288172

[startup+1.11101 s]
/proc/loadavg: 7.45 7.97 7.97 3/305 14734
/proc/meminfo: memFree=12310680/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=288532 CPUtime=4.4 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 9395 0 0 0 437 3 0 0 19 0 4 0 653166455 295456768 5984 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 72133 5984 376 95 0 67115 0
[pid=14734/tid=14737] ppid=14731 vsize=288532 CPUtime=1.1 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2121 0 0 0 109 1 0 0 19 0 4 0 653166455 295456768 5984 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=288532 CPUtime=1.09 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2300 0 0 0 109 0 0 0 19 0 4 0 653166455 295456768 5985 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=288532 CPUtime=1.09 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2315 0 0 0 109 0 0 0 19 0 4 0 653166455 295456768 5985 33554432000 4194304 4580107 140734501619152 18446744073709551615 4321188 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 288532

[startup+1.21099 s]
/proc/loadavg: 7.45 7.97 7.97 3/305 14734
/proc/meminfo: memFree=12310680/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=288532 CPUtime=4.8 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 9757 0 0 0 477 3 0 0 19 0 4 0 653166455 295456768 6346 33554432000 4194304 4580107 140734501619152 18446744073709551615 4320919 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 72133 6347 376 95 0 67115 0
[pid=14734/tid=14737] ppid=14731 vsize=288532 CPUtime=1.2 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2221 0 0 0 119 1 0 0 19 0 4 0 653166455 295456768 6347 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=288532 CPUtime=1.19 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2353 0 0 0 119 0 0 0 19 0 4 0 653166455 295456768 6347 33554432000 4194304 4580107 140734501619152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=288532 CPUtime=1.19 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2420 0 0 0 119 0 0 0 19 0 4 0 653166455 295456768 6348 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 288532

[startup+1.51094 s]
/proc/loadavg: 7.45 7.97 7.97 3/305 14734
/proc/meminfo: memFree=12310680/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=289396 CPUtime=6 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 11072 0 0 0 597 3 0 0 20 0 4 0 653166455 296341504 6481 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 72349 6481 376 95 0 67331 0
[pid=14734/tid=14737] ppid=14731 vsize=289396 CPUtime=1.5 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2623 0 0 0 149 1 0 0 20 0 4 0 653166455 296341504 6481 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=289396 CPUtime=1.49 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2496 0 0 0 149 0 0 0 20 0 4 0 653166455 296341504 6481 33554432000 4194304 4580107 140734501619152 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=289396 CPUtime=1.49 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 2699 0 0 0 149 0 0 0 20 0 4 0 653166455 296341504 6481 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 289396

[startup+3.11166 s]
/proc/loadavg: 7.45 7.97 7.97 9/315 14744
/proc/meminfo: memFree=12238548/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=291672 CPUtime=12.38 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 18249 0 0 0 1233 5 0 0 25 0 4 0 653166455 298672128 9130 33554432000 4194304 4580107 140734501619152 18446744073709551615 4413346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 72918 9130 378 95 0 67900 0
[pid=14734/tid=14737] ppid=14731 vsize=291672 CPUtime=3.07 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 3940 0 0 0 306 1 0 0 25 0 4 0 653166455 298672128 9130 33554432000 4194304 4580107 140734501619152 18446744073709551615 4412654 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=291672 CPUtime=3.09 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 3932 0 0 0 308 1 0 0 25 0 4 0 653166455 298672128 9130 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=291672 CPUtime=3.1 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 4535 0 0 0 309 1 0 0 25 0 4 0 653166455 298672128 9130 33554432000 4194304 4580107 140734501619152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 291672

[startup+6.3011 s]
/proc/loadavg: 7.50 7.97 7.97 10/315 14744
/proc/meminfo: memFree=12156956/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=293628 CPUtime=25.14 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 30066 0 0 0 2507 7 0 0 25 0 4 0 653166455 300675072 17441 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 73407 17441 378 95 0 68389 0
[pid=14734/tid=14737] ppid=14731 vsize=293628 CPUtime=6.24 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 6264 0 0 0 623 1 0 0 25 0 4 0 653166455 300675072 17443 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=293628 CPUtime=6.3 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 9162 0 0 0 628 2 0 0 25 0 4 0 653166455 300675072 17443 33554432000 4194304 4580107 140734501619152 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=293628 CPUtime=6.29 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 7437 0 0 0 628 1 0 0 25 0 4 0 653166455 300675072 17443 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 293628

[startup+12.701 s]
/proc/loadavg: 7.54 7.97 7.97 10/315 14745
/proc/meminfo: memFree=12111592/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=298388 CPUtime=50.65 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 49875 0 0 0 5055 10 0 0 25 0 4 0 653166455 305549312 28262 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 74597 28262 378 95 0 69579 0
[pid=14734/tid=14737] ppid=14731 vsize=298388 CPUtime=12.58 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 11095 0 0 0 1256 2 0 0 25 0 4 0 653166455 305549312 28262 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=298388 CPUtime=12.68 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 12782 0 0 0 1266 2 0 0 25 0 4 0 653166455 305549312 28262 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=298388 CPUtime=12.68 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 14556 0 0 0 1265 3 0 0 25 0 4 0 653166455 305549312 28263 33554432000 4194304 4580107 140734501619152 18446744073709551615 4412953 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 298388

[startup+25.5007 s]
/proc/loadavg: 7.72 7.99 7.97 10/315 14745
/proc/meminfo: memFree=11993664/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=334788 CPUtime=101.72 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 79453 0 0 0 10155 17 0 0 25 0 4 0 653166455 342822912 41550 33554432000 4194304 4580107 140734501619152 18446744073709551615 4417020 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 83697 41550 378 95 0 78679 0
[pid=14734/tid=14737] ppid=14731 vsize=334788 CPUtime=25.25 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 21413 0 0 0 2521 4 0 0 25 0 4 0 653166455 342822912 41550 33554432000 4194304 4580107 140734501619152 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=334788 CPUtime=25.47 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 20140 0 0 0 2543 4 0 0 25 0 4 0 653166455 342822912 41550 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=334788 CPUtime=25.48 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 20294 0 0 0 2544 4 0 0 25 0 4 0 653166455 342822912 41550 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 334788

[startup+51.1002 s]
/proc/loadavg: 7.81 7.99 7.97 9/315 14745
/proc/meminfo: memFree=11908840/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=415384 CPUtime=203.87 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 121160 0 0 0 20362 25 0 0 25 0 4 0 653166455 425353216 51949 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 103846 51949 378 95 0 98828 0
[pid=14734/tid=14737] ppid=14731 vsize=415384 CPUtime=50.6 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 31662 0 0 0 5054 6 0 0 25 0 4 0 653166455 425353216 51949 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=415384 CPUtime=51.07 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 31651 0 0 0 5102 5 0 0 25 0 4 0 653166455 425353216 51949 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=415384 CPUtime=51.08 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 30014 0 0 0 5102 6 0 0 25 0 4 0 653166455 425353216 51949 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 415384

[startup+102.3 s]
/proc/loadavg: 7.92 7.99 7.97 9/315 14747
/proc/meminfo: memFree=11855240/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=408320 CPUtime=408.17 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 195417 0 0 0 40776 41 0 0 25 0 4 0 653166455 418119680 60036 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 102080 60036 378 95 0 97062 0
[pid=14734/tid=14737] ppid=14731 vsize=408320 CPUtime=101.32 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 51172 0 0 0 10122 10 0 0 25 0 4 0 653166455 418119680 60036 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=408320 CPUtime=102.26 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 50333 0 0 0 10217 9 0 0 25 0 4 0 653166455 418119680 60036 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=408320 CPUtime=102.28 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 47785 0 0 0 10217 11 0 0 25 0 4 0 653166455 418119680 60036 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 408320

[startup+162.301 s]

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

[pid=14734] ppid=14731 vsize=886384 CPUtime=2802.38 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 665653 0 0 0 280074 164 0 0 25 0 4 0 653166455 907657216 156316 33554432000 4194304 4580107 140734501619152 18446744073709551615 4412953 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 221596 156316 378 95 0 216578 0
[pid=14734/tid=14737] ppid=14731 vsize=886384 CPUtime=695.59 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 176821 0 0 0 69519 40 0 0 25 0 4 0 653166455 907657216 156316 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=886384 CPUtime=702.17 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 160034 0 0 0 70181 36 0 0 25 0 4 0 653166455 907657216 156316 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=886384 CPUtime=702.29 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 161712 0 0 0 70188 41 0 0 25 0 4 0 653166455 907657216 156316 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.38
Current children cumulated vsize (KiB) 886384

[startup+762.301 s]
/proc/loadavg: 8.09 8.09 8.02 9/315 14765
/proc/meminfo: memFree=11173428/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=947028 CPUtime=3041.8 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 697200 0 0 0 304004 176 0 0 25 0 4 0 653166455 969756672 142368 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 236757 142368 378 95 0 231739 0
[pid=14734/tid=14737] ppid=14731 vsize=947028 CPUtime=755.01 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 185361 0 0 0 75457 44 0 0 25 0 4 0 653166455 969756672 142368 33554432000 4194304 4580107 140734501619152 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=947028 CPUtime=762.17 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 166010 0 0 0 76178 39 0 0 25 0 4 0 653166455 969756672 142368 33554432000 4194304 4580107 140734501619152 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=947028 CPUtime=762.29 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 169529 0 0 0 76185 44 0 0 25 0 4 0 653166455 969756672 142368 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.8
Current children cumulated vsize (KiB) 947028

[startup+822.301 s]
/proc/loadavg: 8.14 8.10 8.03 10/315 14766
/proc/meminfo: memFree=11073580/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=1013832 CPUtime=3281.22 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 737555 0 0 0 327934 188 0 0 25 0 4 0 653166455 1038163968 164436 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 253458 164436 378 95 0 248440 0
[pid=14734/tid=14737] ppid=14731 vsize=1013832 CPUtime=814.44 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 196092 0 0 0 81397 47 0 0 25 0 4 0 653166455 1038163968 164436 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=1013832 CPUtime=822.17 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 174163 0 0 0 82175 42 0 0 25 0 4 0 653166455 1038163968 164436 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=1013832 CPUtime=822.29 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 180084 0 0 0 82182 47 0 0 25 0 4 0 653166455 1038163968 164436 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3281.22
Current children cumulated vsize (KiB) 1013832

[startup+882.301 s]
/proc/loadavg: 8.15 8.11 8.03 9/315 14768
/proc/meminfo: memFree=11135040/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=998720 CPUtime=3520.63 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 775618 0 0 0 351864 199 0 0 25 0 4 0 653166455 1022689280 148685 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 249680 148685 378 95 0 244662 0
[pid=14734/tid=14737] ppid=14731 vsize=998720 CPUtime=873.86 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 206903 0 0 0 87336 50 0 0 25 0 4 0 653166455 1022689280 148685 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=998720 CPUtime=882.15 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 185228 0 0 0 88171 44 0 0 25 0 4 0 653166455 1022689280 148685 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=998720 CPUtime=882.29 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 187251 0 0 0 88180 49 0 0 25 0 4 0 653166455 1022689280 148685 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.63
Current children cumulated vsize (KiB) 998720

[startup+942.301 s]
/proc/loadavg: 8.10 8.10 8.03 9/315 14769
/proc/meminfo: memFree=11103500/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=910044 CPUtime=3760.04 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 807420 0 0 0 375795 209 0 0 25 0 4 0 653166455 931885056 161169 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 227511 161169 378 95 0 222493 0
[pid=14734/tid=14737] ppid=14731 vsize=910044 CPUtime=933.28 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 214227 0 0 0 93275 53 0 0 25 0 4 0 653166455 931885056 161169 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=910044 CPUtime=942.14 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 192207 0 0 0 94168 46 0 0 25 0 4 0 653166455 931885056 161169 33554432000 4194304 4580107 140734501619152 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=910044 CPUtime=942.29 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 197840 0 0 0 94177 52 0 0 25 0 4 0 653166455 931885056 161169 33554432000 4194304 4580107 140734501619152 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3760.04
Current children cumulated vsize (KiB) 910044

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 8.04 10/315 14771
/proc/meminfo: memFree=11096632/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=923212 CPUtime=3999.44 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 843186 0 0 0 399721 223 0 0 25 0 4 0 653166455 945369088 145464 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 230803 145464 378 95 0 225785 0
[pid=14734/tid=14737] ppid=14731 vsize=923212 CPUtime=992.68 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 224239 0 0 0 99211 57 0 0 25 0 4 0 653166455 945369088 145464 33554432000 4194304 4580107 140734501619152 18446744073709551615 4412659 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=923212 CPUtime=1002.14 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 198329 0 0 0 100165 49 0 0 25 0 4 0 653166455 945369088 145464 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=923212 CPUtime=1002.28 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 206487 0 0 0 100172 56 0 0 25 0 4 0 653166455 945369088 145464 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.44
Current children cumulated vsize (KiB) 923212

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 8.04 9/315 14773
/proc/meminfo: memFree=11104428/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=775024 CPUtime=4238.86 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 882393 0 0 0 423652 234 0 0 25 0 4 0 653166455 793624576 145278 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 193756 145278 378 95 0 188738 0
[pid=14734/tid=14737] ppid=14731 vsize=775024 CPUtime=1052.1 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 233265 0 0 0 105151 59 0 0 25 0 4 0 653166455 793624576 145281 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=775024 CPUtime=1062.13 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 207005 0 0 0 106162 51 0 0 25 0 4 0 653166455 793624576 145281 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=775024 CPUtime=1062.3 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 217365 0 0 0 106171 59 0 0 25 0 4 0 653166455 793624576 145281 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.86
Current children cumulated vsize (KiB) 775024

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 8.04 10/315 14774
/proc/meminfo: memFree=11034352/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=1005308 CPUtime=4478.27 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 916830 0 0 0 447583 244 0 0 25 0 4 0 653166455 1029435392 158582 33554432000 4194304 4580107 140734501619152 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 251327 158582 378 95 0 246309 0
[pid=14734/tid=14737] ppid=14731 vsize=1005308 CPUtime=1111.52 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 241396 0 0 0 111089 63 0 0 25 0 4 0 653166455 1029435392 158582 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=1005308 CPUtime=1122.12 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 214640 0 0 0 112158 54 0 0 25 0 4 0 653166455 1029435392 158582 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=1005308 CPUtime=1122.29 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 227904 0 0 0 112168 61 0 0 25 0 4 0 653166455 1029435392 158582 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4478.27
Current children cumulated vsize (KiB) 1005308

[startup+1182.31 s]
/proc/loadavg: 8.07 8.10 8.04 9/315 14776
/proc/meminfo: memFree=10980384/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=1017296 CPUtime=4717.72 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 953241 0 0 0 471516 256 0 0 25 0 4 0 653166455 1041711104 169565 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 254324 169565 378 95 0 249306 0
[pid=14734/tid=14737] ppid=14731 vsize=1017296 CPUtime=1170.94 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 252576 0 0 0 117028 66 0 0 25 0 4 0 653166455 1041711104 169565 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=1017296 CPUtime=1182.12 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 225412 0 0 0 118155 57 0 0 25 0 4 0 653166455 1041711104 169565 33554432000 4194304 4580107 140734501619152 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=1017296 CPUtime=1182.3 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 235892 0 0 0 118166 64 0 0 25 0 4 0 653166455 1041711104 169565 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.72
Current children cumulated vsize (KiB) 1017296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.05 8.09 8.04 9/315 14776
/proc/meminfo: memFree=10982608/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=1169856 CPUtime=4800.29 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 960467 0 0 0 479771 258 0 0 25 0 4 0 653166455 1197932544 176790 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 292464 176790 378 95 0 287446 0
[pid=14734/tid=14737] ppid=14731 vsize=1169856 CPUtime=1191.44 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 254142 0 0 0 119077 67 0 0 25 0 4 0 653166455 1197932544 176790 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=1169856 CPUtime=1202.82 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 227601 0 0 0 120224 58 0 0 25 0 4 0 653166455 1197932544 176790 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=1169856 CPUtime=1203.01 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 237477 0 0 0 120236 65 0 0 25 0 4 0 653166455 1197932544 176790 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 1169856

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

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

[startup+1203 s]
/proc/loadavg: 8.05 8.09 8.04 9/315 14776
/proc/meminfo: memFree=10982608/32950928 swapFree=67111348/67111528
[pid=14734] ppid=14731 vsize=1169856 CPUtime=4800.29 cores=0,2,4,6
/proc/14734/stat : 14734 (strangenight2-m) R 14731 14734 14248 0 -1 4202496 960467 0 0 0 479771 258 0 0 25 0 4 0 653166455 1197932544 176790 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14734/statm: 292464 176790 378 95 0 287446 0
[pid=14734/tid=14737] ppid=14731 vsize=1169856 CPUtime=1191.44 cores=0,2,4,6
/proc/14734/task/14737/stat : 14737 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 254142 0 0 0 119077 67 0 0 25 0 4 0 653166455 1197932544 176790 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14734/tid=14739] ppid=14731 vsize=1169856 CPUtime=1202.82 cores=0,2,4,6
/proc/14734/task/14739/stat : 14739 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 227601 0 0 0 120224 58 0 0 25 0 4 0 653166455 1197932544 176790 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14734/tid=14741] ppid=14731 vsize=1169856 CPUtime=1203.01 cores=0,2,4,6
/proc/14734/task/14741/stat : 14741 (strangenight2-m) R 14731 14734 14248 0 -1 4202560 237477 0 0 0 120236 65 0 0 25 0 4 0 653166455 1197932544 176790 33554432000 4194304 4580107 140734501619152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 1169856

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.05
CPU time (s): 4800.37
CPU user time (s): 4797.75
CPU system time (s): 2.6216
CPU usage (%): 399.017
Max. virtual memory (cumulated for all children) (KiB): 1169856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.75
system time used= 2.6216
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 960470
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= 1910
involuntary context switches= 22960

runsolver used 3.45047 second user time and 8.15676 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-15 01:27:57
IDJOB=3366829
IDBENCH=83988
IDSOLVER=1844
FILE ID=node120/3366829-1305415677
RUNJOBID= node120-1305414471-14623
PBS_JOBID= 13324526
Free space on /tmp= 73508 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366829-1305415677/watcher-3366829-1305415677 -o /tmp/evaluation-result-3366829-1305415677/solver-3366829-1305415677 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366829-1305415677.cnf

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

MD5SUM BENCH= 9ffa0325c9e00b41c025f41d20ec5a0c
RANDOM SEED=1973342064

node120.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.809
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.61
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.809
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.07
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.809
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.809
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.809
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.78
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.809
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.809
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.809
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:      12311108 kB
Buffers:        261300 kB
Cached:        3586908 kB
SwapCached:          0 kB
Active:       17370764 kB
Inactive:      2981820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12311108 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12084 kB
Writeback:           0 kB
AnonPages:    16504180 kB
Mapped:          24404 kB
Slab:           174600 kB
PageTables:      48668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51550684 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= 73496 MiB
End job on node120 at 2011-05-15 01:48:02