Trace number 3366651

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.12 1202.34

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf
MD5SUMc3607b4797e262c1da0dfb143eedc361
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark144.264
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3366651-1305410908.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.41/0.14	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.41/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.41/0.14	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.41/0.14	c calculated reachability. Time: 0.00
0.41/0.14	c Calc default polars -  time:   0.00 s pos:     203 undec:      48 neg:     199
0.41/0.14	c =========================================================================================
0.41/0.14	c types(t): F = full restart, N = normal restart
0.41/0.14	c types(t): S = simplification begin/end, E = solution found
0.41/0.14	c restart types(rt): st = static, dy = dynamic
0.41/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.41/0.14	c  B st     0         0       437      1905         0         0      5794         0   no data   no data
0.41/0.14	c Decided on static restart strategy
3.17/0.81	c  N st     8      4922       437      1905         0      4819      5794     98935   no data   no data
3.17/0.81	c  N st    10     11304       437      1905         0      4459      5794     70056   no data   no data
3.17/0.81	c  N st    11     17049       437      1905         0     10045      5794    182996   no data   no data
4.40/1.10	c  F st    12     25001       437      1905         0     12322      5794    234895   no data   no data
4.40/1.10	c  N st    12     25001       437      1905         0     12322      5794    234895   no data   no data
5.17/1.30	c Decided on static restart strategy
5.17/1.30	c  N st    18     30001       437      1905         0     10603      5794    176985   no data   no data
5.17/1.30	c  S st    18     30001       437      1905         0     10603      5794    176985   no data   no data
5.57/1.40	c  S st    18     30507       437      1905         0     11107      5794    187653   no data   no data
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.40	c blocked clauses removed:        0 vars:      0 tried:         437 T: 0.00 s
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       125  cl-subs:      757  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.40	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.01
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N st    18     30507       437      1905         0     10350      5794    172284   no data   no data
6.77/1.78	c  N st    20     37618       437      1905         0      9602      5794    144879   no data   no data
8.37/2.16	c  N st    21     44018       437      1905         0     15829      5794    280282   no data   no data
8.78/2.30	c  S st    22     45760       437      1905         0      8829      5794    113044   no data   no data
9.19/2.32	c  S st    22     46265       437      1905         0      9333      5794    122826   no data   no data
9.19/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
9.19/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.34	c lits-rem:        10  cl-subs:       86  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.34	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
9.19/2.34	c vivif2 --  cl tried     9247 cl shrink        0 lits rem          0 time: 0.00
9.19/2.34	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.00
9.19/2.34	c calculated reachability. Time: 0.00
9.19/2.34	c  N st    22     46265       437      1905         0      9247      5794    121049   no data   no data
12.75/3.22	c  N st    23     60662       437      1905         0     13537      5794    197442   no data   no data
15.15/3.83	c  N st    24     69397       437      1905         0     11354      5794    144094   no data   no data
15.15/3.83	c  S st    24     69397       437      1905         0     11354      5794    144094   no data   no data
15.15/3.86	c  S st    24     69899       437      1905         0     11855      5794    154388   no data   no data
15.15/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.15/3.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.15/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
15.15/3.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.15/3.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.15/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.89	c lits-rem:        34  cl-subs:      214  v-elim:      0  v-fix:    0  time:  0.02 s
15.15/3.89	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
15.15/3.89	c vivif2 --  cl tried    11641 cl shrink        0 lits rem          0 time: 0.00
15.55/3.90	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.01
15.55/3.90	c calculated reachability. Time: 0.00
15.55/3.90	c  N st    24     69899       437      1905         0     11641      5794    150845   no data   no data
20.34/5.12	c  F st    25     87502       437      1905         0     17063      5794    248864   no data   no data
20.34/5.12	c  N st    25     87502       437      1905         0     17063      5794    248864   no data   no data
21.54/5.49	c Decided on static restart strategy
22.74/5.74	c  N st    32     95540       437      1905         0     24933      5794    407459   no data   no data
25.14/6.39	c  N st    34    104849       437      1905         0     21411      5794    340845   no data   no data
25.14/6.39	c  S st    34    104849       437      1905         0     21411      5794    340845   no data   no data
25.54/6.44	c  S st    34    105351       437      1905         0     21913      5794    351214   no data   no data
25.54/6.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.54/6.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.54/6.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
25.54/6.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.54/6.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.54/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.61	c lits-rem:       112  cl-subs:      944  v-elim:      0  v-fix:    0  time:  0.13 s
26.35/6.61	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
26.35/6.61	c vivif2 --  cl tried    20969 cl shrink        0 lits rem          0 time: 0.00
26.35/6.62	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.01
26.35/6.62	c calculated reachability. Time: 0.00
26.35/6.62	c  N st    34    105351       437      1905         0     20969      5794    331909   no data   no data
29.12/7.39	c  N st    35    114950       437      1905         0     16669      5794    216924   no data   no data
34.32/8.66	c  N st    36    129351       437      1905         0     16121      5794    190272   no data   no data
41.50/10.45	c  N st    37    150948       437      1905         0     21461      5794    285875   no data   no data
44.33/11.14	c  S st    38    158026       437      1905         0     28384      5794    429127   no data   no data
44.69/11.21	c  S st    38    158528       437      1905         0     28885      5794    439785   no data   no data
44.69/11.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.69/11.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.69/11.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.69/11.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.69/11.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.69/11.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
44.69/11.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.69/11.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.69/11.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.89/11.56	c lits-rem:       219  cl-subs:     1921  v-elim:      0  v-fix:    0  time:  0.33 s
45.89/11.56	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
45.89/11.57	c vivif2 --  cl tried    26964 cl shrink        0 lits rem          0 time: 0.00
45.89/11.58	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.02
45.89/11.58	c calculated reachability. Time: 0.00
45.89/11.58	c  N st    38    158528       437      1905         0     26964      5794    402939   no data   no data
63.46/15.96	c  N st    39    207117       437      1905         0     21666      5794    269091   no data   no data
75.84/19.06	c  N st    40    237793       437      1905         0     32064      5794    466404   no data   no data
75.84/19.06	c  S st    40    237793       437      1905         0     32064      5794    466404   no data   no data
76.24/19.14	c  S st    40    238297       437      1905         0     32566      5794    477091   no data   no data
76.24/19.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.24/19.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.24/19.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.24/19.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.24/19.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.24/19.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
76.24/19.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.24/19.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.24/19.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.84/19.58	c lits-rem:       273  cl-subs:     1862  v-elim:      0  v-fix:    0  time:  0.41 s
77.84/19.58	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
77.84/19.58	c vivif2 --  cl tried    30704 cl shrink        0 lits rem          0 time: 0.00
78.24/19.60	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.02
78.24/19.60	c calculated reachability. Time: 0.00
78.24/19.60	c  N st    40    238297       437      1905         0     30704      5794    442320   no data   no data
106.18/26.61	c  F st    41    306251       437      1905         0     32712      5794    470093   no data   no data
106.18/26.61	c  N st    41    306251       437      1905         0     32712      5794    470093   no data   no data
108.58/27.27	c Decided on static restart strategy
119.76/30.06	c  N st    51    334554       437      1905         0     36914      5794    517319   no data   no data
130.54/32.78	c  N st    53    357446       437      1905         0     34894      5794    483009   no data   no data
130.54/32.78	c  S st    53    357446       437      1905         0     34894      5794    483009   no data   no data
130.95/32.87	c  S st    53    357954       437      1905         0     35399      5794    493802   no data   no data
130.95/32.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
130.95/32.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
130.95/32.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.95/32.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
130.95/32.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.95/32.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
130.95/32.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
130.95/32.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
131.35/32.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.17/33.19	c lits-rem:       119  cl-subs:     1238  v-elim:      0  v-fix:    0  time:  0.27 s
132.17/33.19	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
132.17/33.20	c vivif2 --  cl tried    34161 cl shrink        0 lits rem          0 time: 0.01
132.54/33.22	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.02
132.54/33.22	c calculated reachability. Time: 0.00
132.54/33.22	c  N st    53    357954       437      1905         0     34161      5794    466414   no data   no data
149.33/37.41	c  N st    54    390346       437      1905         0     40311      5794    604573   no data   no data
173.66/43.59	c  N st    55    438937       437      1905         0     34021      5794    409792   no data   no data
213.18/53.49	c  N st    56    511819       437      1905         0     47492      5794    676381   no data   no data
226.36/56.72	c  N st    57    536932       437      1905         0     41836      5794    553814   no data   no data
226.36/56.72	c  S st    57    536932       437      1905         0     41836      5794    553814   no data   no data
226.76/56.83	c  S st    57    537434       437      1905         0     42338      5794    564300   no data   no data
226.76/56.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
226.76/56.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
226.76/56.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
226.76/56.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
226.76/56.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.76/56.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
226.76/56.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
226.76/56.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
226.76/56.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
228.38/57.26	c lits-rem:       206  cl-subs:     1518  v-elim:      0  v-fix:    0  time:  0.38 s
228.38/57.26	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
228.38/57.26	c vivif2 --  cl tried    40820 cl shrink        0 lits rem          0 time: 0.01
228.38/57.29	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.03
228.38/57.29	c calculated reachability. Time: 0.00
228.38/57.29	c  N st    57    537434       437      1905         0     40820      5794    534927   no data   no data
347.37/87.02	c  N st    58    701419       437      1905         0     69570      5794   1083449   no data   no data
421.20/105.52	c  N st    59    806151       437      1905         0     63534      5794    914253   no data   no data
421.20/105.52	c  S st    59    806151       437      1905         0     63534      5794    914253   no data   no data
422.03/105.73	c  S st    59    806653       437      1905         0     64032      5794    925265   no data   no data
422.03/105.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
422.03/105.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
422.03/105.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
422.03/105.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
422.03/105.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
422.03/105.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
422.03/105.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
422.03/105.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
422.03/105.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.98/108.29	c lits-rem:       482  cl-subs:     5411  v-elim:      0  v-fix:    0  time:  2.48 s
431.98/108.29	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
432.38/108.30	c vivif2 --  cl tried    58621 cl shrink        0 lits rem          0 time: 0.01
432.38/108.35	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.05
432.38/108.35	c calculated reachability. Time: 0.00
432.38/108.35	c  N st    59    806653       437      1905         0     58621      5794    825028   no data   no data
644.38/161.49	c  F st    60   1071875       437      1905         0     74101      5794   1031236   no data   no data
644.38/161.49	c  N st    60   1071875       437      1905         0     74101      5794   1031236   no data   no data
649.99/162.88	c Decided on static restart strategy
668.73/167.57	c  N st    70   1100182       437      1905         0     58281      5794    707621   no data   no data
701.08/175.60	c  N st    72   1136178       437      1905         0     48651      5794    496676   no data   no data
727.43/182.28	c  N st    73   1168571       437      1905         0     80161      5794   1195309   no data   no data
762.96/191.19	c  N st    74   1209979       437      1905         0     74866      5794   1089209   no data   no data
762.96/191.19	c  S st    74   1209979       437      1905         0     74866      5794   1089209   no data   no data
764.58/191.51	c  S st    74   1210481       437      1905         0     75367      5794   1100690   no data   no data
764.58/191.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
764.58/191.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
764.58/191.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
764.58/191.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
764.58/191.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
764.58/191.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
764.58/191.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
764.58/191.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
764.95/191.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
787.70/197.36	c lits-rem:       499  cl-subs:     4039  v-elim:      0  v-fix:    0  time:  5.70 s
787.70/197.36	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
787.70/197.38	c vivif2 --  cl tried    71328 cl shrink        0 lits rem          0 time: 0.02
788.10/197.48	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.10
788.10/197.49	c calculated reachability. Time: 0.00
788.10/197.49	c  N st    74   1210481       437      1905         0     71328      5794   1012961   no data   no data
863.15/216.23	c  N st    75   1283363       437      1905         0     47983      5794    445403   no data   no data
967.36/242.38	c  N st    76   1392686       437      1905         0     56086      5794    593193   no data   no data
1113.88/279.09	c  N st    77   1556671       437      1905         0     60735      5794    657320   no data   no data
1264.38/316.77	c  N st    78   1710482       437      1905         0    102188      5794   1524600   no data   no data
1264.38/316.77	c  S st    78   1710482       437      1905         0    102188      5794   1524600   no data   no data
1265.97/317.14	c  S st    78   1710983       437      1905         0    102687      5794   1535604   no data   no data
1265.97/317.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1266.37/317.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1266.37/317.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1266.37/317.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1266.37/317.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1266.37/317.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
1266.37/317.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1266.37/317.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1266.37/317.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1305.89/327.14	c lits-rem:       641  cl-subs:    10834  v-elim:      0  v-fix:    0  time:  9.79 s
1305.89/327.14	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
1305.89/327.16	c vivif2 --  cl tried    91853 cl shrink        0 lits rem          0 time: 0.02
1306.29/327.25	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.09
1306.29/327.25	c calculated reachability. Time: 0.00
1306.29/327.25	c  N st    78   1710983       437      1905         0     91853      5794   1323245   no data   no data
1672.81/419.09	c  N st    79   2079947       437      1905         0    103270      5794   1477410   no data   no data
1819.32/455.74	c  N st    80   2210983       437      1905         0    107436      5794   1515468   no data   no data
1819.32/455.74	c  S st    80   2210983       437      1905         0    107436      5794   1515468   no data   no data
1820.92/456.10	c  S st    80   2211484       437      1905         0    107937      5794   1526284   no data   no data
1820.92/456.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1820.92/456.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1820.92/456.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1820.92/456.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1820.92/456.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1820.92/456.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
1820.92/456.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1820.92/456.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1821.32/456.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1858.08/465.49	c lits-rem:       655  cl-subs:    11268  v-elim:      0  v-fix:    0  time:  9.18 s
1858.08/465.49	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
1858.44/465.51	c vivif2 --  cl tried    96669 cl shrink        0 lits rem          0 time: 0.02
1858.84/465.61	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.10
1858.84/465.62	c calculated reachability. Time: 0.00
1858.84/465.62	c  N st    80   2211484       437      1905         0     96669      5794   1315791   no data   no data
2452.52/614.34	c  N st    81   2711485       437      1905         0    120441      5794   1788556   no data   no data
2452.52/614.34	c  S st    81   2711485       437      1905         0    120441      5794   1788556   no data   no data
2454.12/614.77	c  S st    81   2711986       437      1905         0    120941      5794   1799820   no data   no data
2454.12/614.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2454.52/614.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2454.52/614.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2454.52/614.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2454.52/614.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2454.52/614.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
2454.52/614.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2454.52/614.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2454.94/614.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2506.43/627.88	c lits-rem:       772  cl-subs:    11095  v-elim:      0  v-fix:    0  time: 12.87 s
2506.43/627.88	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
2506.83/627.91	c vivif2 --  cl tried   109846 cl shrink        0 lits rem          0 time: 0.03
2507.23/628.02	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.11
2507.23/628.02	c calculated reachability. Time: 0.00
2507.23/628.02	c  N st    81   2711986       437      1905         0    109846      5794   1580898   no data   no data
3160.36/791.67	c  N st    82   3211987       437      1905         0     85769      5794    889420   no data   no data
3160.36/791.67	c  S st    82   3211987       437      1905         0     85769      5794    889420   no data   no data
3161.99/792.10	c  S st    82   3212490       437      1905         0     86270      5794    900443   no data   no data
3162.39/792.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3162.39/792.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3162.39/792.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3162.39/792.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3162.39/792.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3162.39/792.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
3162.39/792.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3162.76/792.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3162.76/792.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3167.95/793.58	c lits-rem:       128  cl-subs:     2306  v-elim:      0  v-fix:    0  time:  1.33 s
3167.95/793.58	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
3168.35/793.60	c vivif2 --  cl tried    83964 cl shrink        0 lits rem          0 time: 0.02
3168.75/793.73	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.13
3168.75/793.73	c calculated reachability. Time: 0.00
3168.75/793.73	c  N st    82   3212490       437      1905         0     83964      5794    859488   no data   no data
3906.93/978.67	c  N st    83   3712490       437      1905         0     94684      5794   1010475   no data   no data
3906.93/978.67	c  S st    83   3712490       437      1905         0     94684      5794   1010475   no data   no data
3908.13/978.99	c  S st    83   3712995       437      1905         0     95188      5794   1021867   no data   no data
3908.13/978.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3908.54/979.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3908.54/979.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3908.54/979.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3908.54/979.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3908.54/979.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
3908.54/979.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3908.54/979.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3908.54/979.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3913.35/980.24	c lits-rem:       282  cl-subs:     2836  v-elim:      0  v-fix:    0  time:  1.13 s
3913.35/980.24	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
3913.35/980.25	c vivif2 --  cl tried    92352 cl shrink        0 lits rem          0 time: 0.02
3913.71/980.34	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.09
3913.71/980.35	c calculated reachability. Time: 0.00
3913.71/980.35	c  N st    83   3712995       437      1905         0     92352      5794    970230   no data   no data
3970.43/994.52	c  F st    84   3751564       437      1905         0    129348      5794   1719829   no data   no data
3970.43/994.53	c  N st    84   3751564       437      1905         0    129348      5794   1719829   no data   no data
3979.21/996.75	c Decided on static restart strategy
4019.49/1006.81	c  N st    94   3779865       437      1905         0    156805      5794   2324619   no data   no data
4070.60/1019.66	c  N st    96   3815859       437      1905         0    109696      5794   1308194   no data   no data
4110.95/1029.71	c  N st    97   3848252       437      1905         0    141049      5794   1975549   no data   no data
4183.18/1047.80	c  N st    98   3896840       437      1905         0    104947      5794   1217233   no data   no data
4298.17/1076.65	c  N st    99   3969722       437      1905         0     91520      5794    896696   no data   no data
4453.09/1115.41	c  N st   100   4079047       437      1905         0    112058      5794   1335391   no data   no data
4670.66/1169.91	c  N st   101   4212995       437      1905         0    155986      5794   2383605   no data   no data
4670.66/1169.91	c  S st   101   4212995       437      1905         0    155986      5794   2383605   no data   no data
4672.68/1170.48	c  S st   101   4213505       437      1905         0    156490      5794   2394939   no data   no data
4672.68/1170.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4673.09/1170.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4673.09/1170.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4673.09/1170.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4673.09/1170.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4673.09/1170.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
4673.09/1170.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4673.45/1170.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4673.45/1170.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4767.68/1194.30	c lits-rem:      1284  cl-subs:    12171  v-elim:      0  v-fix:    0  time: 23.42 s
4767.68/1194.30	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
4768.08/1194.33	c vivif2 --  cl tried   144319 cl shrink        0 lits rem          0 time: 0.04
4768.48/1194.50	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.16
4768.88/1194.50	c calculated reachability. Time: 0.00
4768.88/1194.50	c  N st   101   4213505       437      1905         0    144319      5794   2130816   no data   no data

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-3366651-1305410908/watcher-3366651-1305410908 -o /tmp/evaluation-result-3366651-1305410908/solver-3366651-1305410908 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366651-1305410908.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: 5.04 1.42 0.62 5/253 13409
/proc/meminfo: memFree=21656628/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 652688679 52396032 349 33554432000 4194304 4580107 140735421842128 18446744073709551615 47258484074412 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13409/statm: 12792 349 299 95 0 7774 0
[pid=13409/tid=13410] ppid=13407 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652688679 52396032 353 33554432000 4194304 4580107 140735421842128 18446744073709551615 271545584726 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 652688679 52396032 353 33554432000 4194304 4580107 140735421842128 18446744073709551615 271550537659 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652688679 52396032 353 33554432000 4194304 4580107 140735421842128 18446744073709551615 47258484074418 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.110116 s]
/proc/loadavg: 5.04 1.42 0.62 5/253 13409
/proc/meminfo: memFree=21656628/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=282320 CPUtime=0.41 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 1664 0 0 0 41 0 0 0 25 0 4 0 652688679 289095680 1550 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 70580 1550 377 95 0 65562 0
[pid=13409/tid=13410] ppid=13407 vsize=282320 CPUtime=0.09 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 324 0 0 0 9 0 0 0 18 0 4 0 652688679 289095680 1550 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=282320 CPUtime=0.1 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 341 0 0 0 10 0 0 0 18 0 4 0 652688679 289095680 1550 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=282320 CPUtime=0.1 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 266 0 0 0 10 0 0 0 18 0 4 0 652688679 289095680 1550 33554432000 4194304 4580107 140735421842128 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282320

[startup+0.2011 s]
/proc/loadavg: 5.04 1.42 0.62 5/253 13409
/proc/meminfo: memFree=21656628/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=283396 CPUtime=0.78 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 2202 0 0 0 78 0 0 0 25 0 4 0 652688679 290197504 1581 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 70849 1581 377 95 0 65831 0
[pid=13409/tid=13410] ppid=13407 vsize=283396 CPUtime=0.19 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 458 0 0 0 19 0 0 0 18 0 4 0 652688679 290197504 1581 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=283396 CPUtime=0.19 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 472 0 0 0 19 0 0 0 18 0 4 0 652688679 290197504 1581 33554432000 4194304 4580107 140735421842128 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=283396 CPUtime=0.19 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 404 0 0 0 19 0 0 0 18 0 4 0 652688679 290197504 1581 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283396

[startup+0.301081 s]
/proc/loadavg: 5.04 1.42 0.62 5/253 13409
/proc/meminfo: memFree=21656628/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=283556 CPUtime=1.18 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 2602 0 0 0 118 0 0 0 25 0 4 0 652688679 290361344 1981 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 70889 1981 377 95 0 65871 0
[pid=13409/tid=13410] ppid=13407 vsize=283556 CPUtime=0.29 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 560 0 0 0 29 0 0 0 18 0 4 0 652688679 290361344 1981 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=283556 CPUtime=0.29 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 569 0 0 0 29 0 0 0 18 0 4 0 652688679 290361344 1981 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=283556 CPUtime=0.29 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 507 0 0 0 29 0 0 0 18 0 4 0 652688679 290361344 1981 33554432000 4194304 4580107 140735421842128 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283556

[startup+0.701011 s]
/proc/loadavg: 5.04 1.42 0.62 5/253 13409
/proc/meminfo: memFree=21656628/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=284656 CPUtime=2.77 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 4284 0 0 0 277 0 0 0 25 0 4 0 652688679 291487744 2399 33554432000 4194304 4580107 140735421842128 18446744073709551615 4318695 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 71164 2399 377 95 0 66146 0
[pid=13409/tid=13410] ppid=13407 vsize=284656 CPUtime=0.68 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 927 0 0 0 68 0 0 0 18 0 4 0 652688679 291487744 2399 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=284656 CPUtime=0.69 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 1049 0 0 0 69 0 0 0 18 0 4 0 652688679 291487744 2399 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=284656 CPUtime=0.69 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 984 0 0 0 69 0 0 0 18 0 4 0 652688679 291487744 2399 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284656

[startup+1.50087 s]
/proc/loadavg: 5.35 1.54 0.67 10/257 13413
/proc/meminfo: memFree=21643948/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=285664 CPUtime=5.96 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 8015 0 0 0 595 1 0 0 25 0 4 0 652688679 292519936 4411 33554432000 4194304 4580107 140735421842128 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 71416 4411 379 95 0 66398 0
[pid=13409/tid=13410] ppid=13407 vsize=285664 CPUtime=1.48 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 1633 0 0 0 148 0 0 0 20 0 4 0 652688679 292519936 4411 33554432000 4194304 4580107 140735421842128 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=285664 CPUtime=1.49 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 1624 0 0 0 149 0 0 0 20 0 4 0 652688679 292519936 4411 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=285664 CPUtime=1.49 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 1573 0 0 0 149 0 0 0 20 0 4 0 652688679 292519936 4411 33554432000 4194304 4580107 140735421842128 18446744073709551615 4321655 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285664

[startup+3.10058 s]
/proc/loadavg: 5.35 1.54 0.67 9/257 13413
/proc/meminfo: memFree=21633088/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=294292 CPUtime=12.35 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 16797 0 0 0 1233 2 0 0 25 0 4 0 652688679 301355008 8404 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 73573 8404 379 95 0 68555 0
[pid=13409/tid=13410] ppid=13407 vsize=294292 CPUtime=3.08 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 3781 0 0 0 308 0 0 0 25 0 4 0 652688679 301355008 8404 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=294292 CPUtime=3.08 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 4576 0 0 0 308 0 0 0 25 0 4 0 652688679 301355008 8404 33554432000 4194304 4580107 140735421842128 18446744073709551615 4316435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=294292 CPUtime=3.08 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 4128 0 0 0 308 0 0 0 25 0 4 0 652688679 301355008 8404 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 294292

[startup+6.301 s]
/proc/loadavg: 5.35 1.54 0.67 9/257 13413
/proc/meminfo: memFree=21615356/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=300044 CPUtime=25.14 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 26003 0 0 0 2510 4 0 0 25 0 4 0 652688679 307245056 11560 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 75011 11560 379 95 0 69993 0
[pid=13409/tid=13410] ppid=13407 vsize=300044 CPUtime=6.28 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 6845 0 0 0 628 0 0 0 25 0 4 0 652688679 307245056 11561 33554432000 4194304 4580107 140735421842128 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=300044 CPUtime=6.29 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 7314 0 0 0 628 1 0 0 25 0 4 0 652688679 307245056 11561 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=300044 CPUtime=6.29 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 5647 0 0 0 628 1 0 0 25 0 4 0 652688679 307245056 11561 33554432000 4194304 4580107 140735421842128 18446744073709551615 4324117 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 300044

[startup+12.7008 s]
/proc/loadavg: 5.83 1.77 0.75 9/257 13413
/proc/meminfo: memFree=21589056/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=300740 CPUtime=50.69 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 41946 0 0 0 5062 7 0 0 25 0 4 0 652688679 307957760 16459 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 75185 16460 379 95 0 70167 0
[pid=13409/tid=13410] ppid=13407 vsize=300740 CPUtime=12.69 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 10641 0 0 0 1267 2 0 0 25 0 4 0 652688679 307957760 16460 33554432000 4194304 4580107 140735421842128 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=300740 CPUtime=12.69 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 9986 0 0 0 1268 1 0 0 25 0 4 0 652688679 307957760 16460 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=300740 CPUtime=12.69 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 10099 0 0 0 1267 2 0 0 25 0 4 0 652688679 307957760 16460 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 300740

[startup+25.5005 s]
/proc/loadavg: 6.17 1.98 0.83 9/257 13414
/proc/meminfo: memFree=21555460/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=317340 CPUtime=101.79 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 64188 0 0 0 10166 13 0 0 25 0 4 0 652688679 324956160 24029 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 79335 24029 379 95 0 74317 0
[pid=13409/tid=13410] ppid=13407 vsize=317340 CPUtime=25.48 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 16956 0 0 0 2545 3 0 0 25 0 4 0 652688679 324956160 24029 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=317340 CPUtime=25.48 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 15380 0 0 0 2546 2 0 0 25 0 4 0 652688679 324956160 24029 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=317340 CPUtime=25.48 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 14953 0 0 0 2545 3 0 0 25 0 4 0 652688679 324956160 24029 33554432000 4194304 4580107 140735421842128 18446744073709551615 4391484 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 317340

[startup+51.1009 s]
/proc/loadavg: 6.95 2.57 1.06 9/257 13414
/proc/meminfo: memFree=21530744/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=318708 CPUtime=204 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 94855 0 0 0 20379 21 0 0 25 0 4 0 652688679 326356992 28656 33554432000 4194304 4580107 140735421842128 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 79677 28656 379 95 0 74659 0
[pid=13409/tid=13410] ppid=13407 vsize=318708 CPUtime=51.08 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 25449 0 0 0 5102 6 0 0 25 0 4 0 652688679 326356992 28656 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=318708 CPUtime=51.08 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 22253 0 0 0 5104 4 0 0 25 0 4 0 652688679 326356992 28656 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=318708 CPUtime=51.08 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 22612 0 0 0 5103 5 0 0 25 0 4 0 652688679 326356992 28656 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 318708

[startup+102.301 s]
/proc/loadavg: 7.62 3.43 1.43 10/257 13416
/proc/meminfo: memFree=21499596/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=320496 CPUtime=408.44 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 143358 0 0 0 40806 38 0 0 25 0 4 0 652688679 328187904 32397 33554432000 4194304 4580107 140735421842128 18446744073709551615 4301993 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 80124 32397 379 95 0 75106 0
[pid=13409/tid=13410] ppid=13407 vsize=320496 CPUtime=102.29 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 37555 0 0 0 10220 9 0 0 25 0 4 0 652688679 328187904 32399 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=320496 CPUtime=102.3 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 33199 0 0 0 10220 10 0 0 25 0 4 0 652688679 328187904 32399 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=320496 CPUtime=102.29 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 36425 0 0 0 10219 10 0 0 25 0 4 0 652688679 328187904 32399 33554432000 4194304 4580107 140735421842128 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 320496

[startup+162.301 s]

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

[pid=13409] ppid=13407 vsize=449012 CPUtime=2564.31 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 445015 0 0 0 256259 172 0 0 25 0 4 0 652688679 459788288 75668 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 112253 75668 379 95 0 107235 0
[pid=13409/tid=13410] ppid=13407 vsize=449012 CPUtime=642.3 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 115834 0 0 0 64186 44 0 0 25 0 4 0 652688679 459788288 75668 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=449012 CPUtime=642.3 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 106669 0 0 0 64187 43 0 0 25 0 4 0 652688679 459788288 75668 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=449012 CPUtime=642.3 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 101105 0 0 0 64191 39 0 0 25 0 4 0 652688679 459788288 75668 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2564.31
Current children cumulated vsize (KiB) 449012

[startup+702.301 s]
/proc/loadavg: 8.24 7.63 4.67 9/257 13432
/proc/meminfo: memFree=21194532/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=437228 CPUtime=2803.85 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 467174 0 0 0 280199 186 0 0 25 0 4 0 652688679 447721472 72058 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 109307 72058 379 95 0 104289 0
[pid=13409/tid=13410] ppid=13407 vsize=437228 CPUtime=702.3 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 123202 0 0 0 70182 48 0 0 25 0 4 0 652688679 447721472 72058 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=437228 CPUtime=702.31 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 108608 0 0 0 70186 45 0 0 25 0 4 0 652688679 447721472 72058 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=437228 CPUtime=702.3 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 107866 0 0 0 70187 43 0 0 25 0 4 0 652688679 447721472 72058 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2803.85
Current children cumulated vsize (KiB) 437228

[startup+762.301 s]
/proc/loadavg: 8.09 7.69 4.88 9/257 13433
/proc/meminfo: memFree=21139824/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=425308 CPUtime=3043.41 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 492867 0 0 0 304143 198 0 0 25 0 4 0 652688679 435515392 76539 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 106327 76539 379 95 0 101309 0
[pid=13409/tid=13410] ppid=13407 vsize=425308 CPUtime=762.31 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 129404 0 0 0 76180 51 0 0 25 0 4 0 652688679 435515392 76540 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=425308 CPUtime=762.32 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 114785 0 0 0 76184 48 0 0 25 0 4 0 652688679 435515392 76540 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=425308 CPUtime=762.31 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 113903 0 0 0 76185 46 0 0 25 0 4 0 652688679 435515392 76540 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3043.41
Current children cumulated vsize (KiB) 425308

[startup+822.301 s]
/proc/loadavg: 8.22 7.80 5.09 9/257 13435
/proc/meminfo: memFree=21131992/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=531744 CPUtime=3282.91 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 521651 0 0 0 328080 211 0 0 25 0 4 0 652688679 544505856 80955 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 132936 80955 379 95 0 127918 0
[pid=13409/tid=13410] ppid=13407 vsize=531744 CPUtime=822.31 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 138785 0 0 0 82176 55 0 0 25 0 4 0 652688679 544505856 80955 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=531744 CPUtime=822.31 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 120629 0 0 0 82180 51 0 0 25 0 4 0 652688679 544505856 80955 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=531744 CPUtime=822.3 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 122819 0 0 0 82181 49 0 0 25 0 4 0 652688679 544505856 80955 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.91
Current children cumulated vsize (KiB) 531744

[startup+882.31 s]
/proc/loadavg: 8.08 7.84 5.27 9/257 13436
/proc/meminfo: memFree=21060792/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=535564 CPUtime=3522.5 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 545788 0 0 0 352028 222 0 0 25 0 4 0 652688679 548417536 96142 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 133891 96142 379 95 0 128873 0
[pid=13409/tid=13410] ppid=13407 vsize=535564 CPUtime=882.32 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 145208 0 0 0 88174 58 0 0 25 0 4 0 652688679 548417536 96142 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=535564 CPUtime=882.32 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 128139 0 0 0 88178 54 0 0 25 0 4 0 652688679 548417536 96142 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=535564 CPUtime=882.32 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 128955 0 0 0 88180 52 0 0 25 0 4 0 652688679 548417536 96142 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3522.5
Current children cumulated vsize (KiB) 535564

[startup+942.301 s]
/proc/loadavg: 8.12 7.89 5.45 9/257 13438
/proc/meminfo: memFree=21055188/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=601252 CPUtime=3762.01 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 566039 0 0 0 375970 231 0 0 25 0 4 0 652688679 615682048 96242 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 150313 96242 379 95 0 145295 0
[pid=13409/tid=13410] ppid=13407 vsize=601252 CPUtime=942.31 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 148960 0 0 0 94172 59 0 0 25 0 4 0 652688679 615682048 96242 33554432000 4194304 4580107 140735421842128 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=601252 CPUtime=942.31 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 135705 0 0 0 94173 58 0 0 25 0 4 0 652688679 615682048 96242 33554432000 4194304 4580107 140735421842128 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=601252 CPUtime=942.31 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 132352 0 0 0 94178 53 0 0 25 0 4 0 652688679 615682048 96242 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3762.01
Current children cumulated vsize (KiB) 601252

[startup+1002.3 s]
/proc/loadavg: 8.12 7.93 5.61 9/257 13440
/proc/meminfo: memFree=21084188/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=535772 CPUtime=4001.53 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 580196 0 0 0 399915 238 0 0 25 0 4 0 652688679 548630528 93621 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 133943 93621 379 95 0 128925 0
[pid=13409/tid=13410] ppid=13407 vsize=535772 CPUtime=1002.31 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 152691 0 0 0 100170 61 0 0 25 0 4 0 652688679 548630528 93621 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=535772 CPUtime=1002.32 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 140573 0 0 0 100171 61 0 0 25 0 4 0 652688679 548630528 93621 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=535772 CPUtime=1002.31 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 136008 0 0 0 100176 55 0 0 25 0 4 0 652688679 548630528 93621 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4001.53
Current children cumulated vsize (KiB) 535772

[startup+1062.3 s]
/proc/loadavg: 8.18 7.98 5.77 9/257 13441
/proc/meminfo: memFree=21019672/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=604672 CPUtime=4241.08 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 601109 0 0 0 423857 251 0 0 25 0 4 0 652688679 619184128 108169 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 151168 108169 379 95 0 146150 0
[pid=13409/tid=13410] ppid=13407 vsize=604672 CPUtime=1062.31 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 157066 0 0 0 106168 63 0 0 25 0 4 0 652688679 619184128 108169 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=604672 CPUtime=1062.32 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 147045 0 0 0 106167 65 0 0 25 0 4 0 652688679 619184128 108169 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=604672 CPUtime=1062.31 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 140466 0 0 0 106173 58 0 0 25 0 4 0 652688679 619184128 108169 33554432000 4194304 4580107 140735421842128 18446744073709551615 4324735 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4241.08
Current children cumulated vsize (KiB) 604672

[startup+1122.3 s]
/proc/loadavg: 8.10 8.00 5.92 9/257 13443
/proc/meminfo: memFree=21075088/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=539240 CPUtime=4480.62 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 613416 0 0 0 447804 258 0 0 25 0 4 0 652688679 552181760 96564 33554432000 4194304 4580107 140735421842128 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 134810 96564 379 95 0 129792 0
[pid=13409/tid=13410] ppid=13407 vsize=539240 CPUtime=1122.31 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 158811 0 0 0 112167 64 0 0 25 0 4 0 652688679 552181760 96564 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=539240 CPUtime=1122.32 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 152915 0 0 0 112165 67 0 0 25 0 4 0 652688679 552181760 96564 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=539240 CPUtime=1122.32 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 142360 0 0 0 112172 60 0 0 25 0 4 0 652688679 552181760 96564 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4480.62
Current children cumulated vsize (KiB) 539240

[startup+1182.3 s]
/proc/loadavg: 7.97 7.97 6.03 9/257 13475
/proc/meminfo: memFree=21217668/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=604808 CPUtime=4720.17 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 628879 0 0 0 471751 266 0 0 25 0 4 0 652688679 619323392 101798 33554432000 4194304 4580107 140735421842128 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 151202 101798 379 95 0 146184 0
[pid=13409/tid=13410] ppid=13407 vsize=604808 CPUtime=1182.32 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 162587 0 0 0 118165 67 0 0 25 0 4 0 652688679 619323392 101798 33554432000 4194304 4580107 140735421842128 18446744073709551615 4339077 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=604808 CPUtime=1182.32 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 156791 0 0 0 118164 68 0 0 25 0 4 0 652688679 619323392 101798 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=604808 CPUtime=1182.31 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 145857 0 0 0 118170 61 0 0 25 0 4 0 652688679 619323392 101798 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4720.17
Current children cumulated vsize (KiB) 604808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.3 s]
/proc/loadavg: 8.04 7.99 6.08 10/257 13476
/proc/meminfo: memFree=21191640/32951124 swapFree=67056788/67111528
[pid=13409] ppid=13407 vsize=656964 CPUtime=4800.06 cores=1,3,5,7
/proc/13409/stat : 13409 (strangenight2-m) R 13407 13409 13336 0 -1 4202496 631179 0 0 0 479739 267 0 0 25 0 4 0 652688679 672731136 101063 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13409/statm: 164241 101063 379 95 0 159223 0
[pid=13409/tid=13410] ppid=13407 vsize=656964 CPUtime=1202.34 cores=1,3,5,7
/proc/13409/task/13410/stat : 13410 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 162716 0 0 0 120167 67 0 0 25 0 4 0 652688679 672731136 101063 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13409/tid=13411] ppid=13407 vsize=656964 CPUtime=1202.34 cores=1,3,5,7
/proc/13409/task/13411/stat : 13411 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 158504 0 0 0 120164 70 0 0 25 0 4 0 652688679 672731136 101063 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13409/tid=13412] ppid=13407 vsize=656964 CPUtime=1202.33 cores=1,3,5,7
/proc/13409/task/13412/stat : 13412 (strangenight2-m) R 13407 13409 13336 0 -1 4202560 145857 0 0 0 120172 61 0 0 25 0 4 0 652688679 672731136 101063 33554432000 4194304 4580107 140735421842128 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 656964

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): 1202.34
CPU time (s): 4800.12
CPU user time (s): 4797.43
CPU system time (s): 2.69559
CPU usage (%): 399.231
Max. virtual memory (cumulated for all children) (KiB): 656964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.43
system time used= 2.69559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 631180
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= 213
involuntary context switches= 20704

runsolver used 2.68459 second user time and 6.62899 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-15 00:08:28
IDJOB=3366651
IDBENCH=83060
IDSOLVER=1844
FILE ID=node133/3366651-1305410908
RUNJOBID= node133-1305410848-13355
PBS_JOBID= 13324520
Free space on /tmp= 73648 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366651-1305410908/watcher-3366651-1305410908 -o /tmp/evaluation-result-3366651-1305410908/solver-3366651-1305410908 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366651-1305410908.cnf

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

MD5SUM BENCH= c3607b4797e262c1da0dfb143eedc361
RANDOM SEED=1628417270

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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:      21656784 kB
Buffers:        275412 kB
Cached:        3219304 kB
SwapCached:       8724 kB
Active:        8595936 kB
Inactive:      2418216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21656784 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:            5500 kB
Writeback:           0 kB
AnonPages:     7516316 kB
Mapped:          21412 kB
Slab:           194752 kB
PageTables:      23720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19407988 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73644 MiB
End job on node133 at 2011-05-15 00:28:32