Trace number 3174185

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? (TO) 4800.39 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf
MD5SUM94bd96d1179fc3c253160c710014f1d5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.001999
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-3174185-1304110569.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.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     197 undec:      50 neg:     203
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       441      1907         0         0      5788         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.00/0.15	c  N st     8      4917       441      1907         0      4801      5788    102212   no data   no data
1.17/0.37	c  N st    10     11301       441      1907         0      4478      5788     71038   no data   no data
2.37/0.62	c  N st    11     17044       441      1907         0     10066      5788    188546   no data   no data
3.97/1.03	c  F st    12     25001       441      1907         0     12339      5788    239003   no data   no data
3.97/1.03	c  N st    12     25001       441      1907         0     12339      5788    239003   no data   no data
4.80/1.26	c Decided on static restart strategy
4.80/1.26	c  N st    18     30000       441      1907         0     10613      5788    187711   no data   no data
4.80/1.26	c  S st    18     30000       441      1907         0     10613      5788    187711   no data   no data
4.80/1.29	c  S st    18     30504       441      1907         0     11115      5788    198398   no data   no data
4.80/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.80/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.80/1.29	c blocked clauses removed:       11 vars:      2 tried:         441 T: 0.00 s
4.80/1.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.80/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
4.80/1.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.35	c lits-rem:       155  cl-subs:      716  v-elim:      0  v-fix:    0  time:  0.05 s
5.17/1.36	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.00
5.17/1.36	c calculated reachability. Time: 0.00
5.17/1.36	c  N st    18     30504       439      1896         0     10399      5755    182110   no data   no data
6.77/1.77	c  N st    20     37614       439      1896         0      9646      5755    145758   no data   no data
8.36/2.15	c  N st    21     44013       439      1896         0     15870      5755    274155   no data   no data
8.79/2.30	c  S st    22     45757       439      1896         0      8872      5755    115943   no data   no data
9.19/2.32	c  S st    22     46260       439      1896         0      9373      5755    127182   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.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.33	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:    439 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:        16  cl-subs:      120  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.34	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
9.19/2.34	c vivif2 --  cl tried     9253 cl shrink        0 lits rem          0 time: 0.00
9.19/2.35	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.01
9.19/2.35	c calculated reachability. Time: 0.00
9.19/2.35	c  N st    22     46260       439      1896         0      9253      5755    124814   no data   no data
12.76/3.23	c  N st    23     60658       439      1896         0     13604      5755    213222   no data   no data
15.56/3.92	c  N st    24     69391       439      1896         0     11415      5755    155473   no data   no data
15.56/3.92	c  S st    24     69391       439      1896         0     11415      5755    155473   no data   no data
15.56/3.95	c  S st    24     69891       439      1896         0     11914      5755    166507   no data   no data
15.56/3.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.56/3.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
15.56/3.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.98	c lits-rem:        26  cl-subs:       97  v-elim:      0  v-fix:    0  time:  0.01 s
15.56/3.98	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
15.56/3.98	c vivif2 --  cl tried    11817 cl shrink        0 lits rem          0 time: 0.00
15.56/3.98	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.01
15.56/3.98	c calculated reachability. Time: 0.00
15.56/3.98	c  N st    24     69891       439      1896         0     11817      5755    164385   no data   no data
20.75/5.23	c  F st    25     87500       439      1896         0     17260      5755    273305   no data   no data
20.75/5.23	c  N st    25     87500       439      1896         0     17260      5755    273305   no data   no data
22.37/5.61	c Decided on static restart strategy
23.15/5.85	c  N st    32     95541       439      1896         0     25128      5755    455455   no data   no data
25.55/6.47	c  N st    34    104840       439      1896         0     21540      5755    362830   no data   no data
25.55/6.47	c  S st    34    104840       439      1896         0     21540      5755    362830   no data   no data
25.95/6.53	c  S st    34    105345       439      1896         0     22043      5755    374473   no data   no data
25.95/6.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.95/6.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.95/6.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.95/6.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
25.95/6.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.95/6.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.71	c lits-rem:       172  cl-subs:      997  v-elim:      0  v-fix:    0  time:  0.16 s
26.76/6.71	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
26.76/6.71	c vivif2 --  cl tried    21046 cl shrink        0 lits rem          0 time: 0.00
26.76/6.72	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.01
26.76/6.72	c calculated reachability. Time: 0.00
26.76/6.72	c  N st    34    105345       439      1896         0     21046      5755    351442   no data   no data
29.54/7.42	c  N st    35    114943       439      1896         0     16781      5755    237141   no data   no data
34.33/8.63	c  N st    36    129341       439      1896         0     16185      5755    202835   no data   no data
41.51/10.43	c  N st    37    150936       439      1896         0     21600      5755    323515   no data   no data
43.52/10.97	c  S st    38    158019       439      1896         0     28525      5755    487069   no data   no data
43.94/11.05	c  S st    38    158522       439      1896         0     29025      5755    498481   no data   no data
43.94/11.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.94/11.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.94/11.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.94/11.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.94/11.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.94/11.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
43.94/11.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.94/11.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.94/11.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.51/11.45	c lits-rem:       209  cl-subs:     1639  v-elim:      0  v-fix:    0  time:  0.37 s
45.51/11.45	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
45.51/11.45	c vivif2 --  cl tried    27386 cl shrink        0 lits rem          0 time: 0.01
45.51/11.47	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.02
45.51/11.47	c calculated reachability. Time: 0.00
45.51/11.47	c  N st    38    158522       439      1896         0     27386      5755    461248   no data   no data
64.69/16.24	c  N st    39    207110       439      1896         0     22104      5755    297808   no data   no data
77.87/19.55	c  N st    40    237783       439      1896         0     32394      5755    524815   no data   no data
77.87/19.55	c  S st    40    237783       439      1896         0     32394      5755    524815   no data   no data
78.27/19.62	c  S st    40    238287       439      1896         0     32897      5755    536318   no data   no data
78.27/19.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.27/19.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
78.27/19.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.27/19.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.27/19.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.27/19.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
78.27/19.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.27/19.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.27/19.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.67/20.28	c lits-rem:       402  cl-subs:     2202  v-elim:      0  v-fix:    0  time:  0.62 s
80.67/20.28	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
80.67/20.28	c vivif2 --  cl tried    30695 cl shrink        0 lits rem          0 time: 0.01
81.07/20.30	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.02
81.07/20.30	c calculated reachability. Time: 0.00
81.07/20.30	c  N st    40    238287       439      1896         0     30695      5755    484298   no data   no data
111.43/27.93	c  F st    41    306251       439      1896         0     32600      5755    478443   no data   no data
111.43/27.93	c  N st    41    306251       439      1896         0     32600      5755    478443   no data   no data
114.24/28.66	c Decided on static restart strategy
125.81/31.54	c  N st    51    334559       439      1896         0     36917      5755    555954   no data   no data
137.79/34.50	c  N st    53    357432       439      1896         0     34873      5755    493403   no data   no data
137.79/34.50	c  S st    53    357432       439      1896         0     34873      5755    493403   no data   no data
137.79/34.59	c  S st    53    357937       439      1896         0     35378      5755    504716   no data   no data
137.79/34.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.19/34.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
138.19/34.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.19/34.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.19/34.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.19/34.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
138.19/34.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.19/34.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.19/34.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.39/34.94	c lits-rem:       187  cl-subs:     1343  v-elim:      0  v-fix:    0  time:  0.31 s
139.39/34.94	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
139.39/34.95	c vivif2 --  cl tried    34035 cl shrink        0 lits rem          0 time: 0.01
139.39/34.97	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.02
139.39/34.97	c calculated reachability. Time: 0.00
139.39/34.97	c  N st    53    357937       439      1896         0     34035      5755    476167   no data   no data
156.16/39.18	c  N st    54    390329       439      1896         0     40220      5755    601997   no data   no data
184.95/46.34	c  N st    55    438918       439      1896         0     33977      5755    430322   no data   no data
226.87/56.82	c  N st    56    511800       439      1896         0     47458      5755    719673   no data   no data
243.25/60.90	c  N st    57    536906       439      1896         0     41783      5755    574703   no data   no data
243.25/60.90	c  S st    57    536906       439      1896         0     41783      5755    574703   no data   no data
243.65/61.02	c  S st    57    537408       439      1896         0     42284      5755    585954   no data   no data
243.65/61.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.65/61.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
243.65/61.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.65/61.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.65/61.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.65/61.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
243.65/61.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
243.65/61.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.65/61.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.64/61.55	c lits-rem:       115  cl-subs:     1637  v-elim:      0  v-fix:    0  time:  0.49 s
245.64/61.55	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
245.64/61.56	c vivif2 --  cl tried    40647 cl shrink        0 lits rem          0 time: 0.01
245.64/61.58	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.03
245.64/61.58	c calculated reachability. Time: 0.00
245.64/61.58	c  N st    57    537408       439      1896         0     40647      5755    548353   no data   no data
359.49/90.09	c  N st    58    701392       439      1896         0     69689      5755   1143153   no data   no data
436.58/109.38	c  N st    59    806112       439      1896         0     63570      5755    925455   no data   no data
436.58/109.38	c  S st    59    806112       439      1896         0     63570      5755    925455   no data   no data
437.38/109.56	c  S st    59    806613       439      1896         0     64070      5755    936562   no data   no data
437.38/109.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
437.38/109.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
437.38/109.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
437.38/109.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
437.38/109.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
437.38/109.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
437.38/109.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
437.78/109.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
437.78/109.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
448.20/112.27	c lits-rem:       346  cl-subs:     6054  v-elim:      0  v-fix:    0  time:  2.64 s
448.20/112.27	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
448.20/112.28	c vivif2 --  cl tried    58016 cl shrink        0 lits rem          0 time: 0.01
448.60/112.33	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.05
448.60/112.33	c calculated reachability. Time: 0.00
448.60/112.33	c  N st    59    806613       439      1896         0     58016      5755    819546   no data   no data
661.49/165.60	c  F st    60   1071877       439      1896         0     73694      5755   1086784   no data   no data
661.49/165.60	c  N st    60   1071877       439      1896         0     73694      5755   1086784   no data   no data
666.68/166.91	c Decided on static restart strategy
685.48/171.69	c  N st    70   1100176       439      1896         0     57696      5755    722262   no data   no data
721.02/180.58	c  N st    72   1136169       439      1896         0     48055      5755    503680   no data   no data
749.76/187.78	c  N st    73   1168563       439      1896         0     79540      5755   1218955   no data   no data
789.72/197.73	c  N st    74   1209919       439      1896         0     74067      5755   1097332   no data   no data
789.72/197.73	c  S st    74   1209919       439      1896         0     74067      5755   1097332   no data   no data
790.51/197.99	c  S st    74   1210424       439      1896         0     74570      5755   1108663   no data   no data
790.51/197.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
790.93/198.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
790.93/198.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
790.93/198.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
790.93/198.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
790.93/198.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
790.93/198.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
790.93/198.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
790.93/198.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
809.69/202.78	c lits-rem:       432  cl-subs:     4957  v-elim:      0  v-fix:    0  time:  4.70 s
809.69/202.78	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
810.09/202.80	c vivif2 --  cl tried    69613 cl shrink        0 lits rem          0 time: 0.02
810.09/202.88	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.08
810.09/202.88	c calculated reachability. Time: 0.00
810.09/202.88	c  N st    74   1210424       439      1896         0     69613      5755    993860   no data   no data
889.57/222.71	c  N st    75   1283309       439      1896         0     94097      5755   1546793   no data   no data
1004.63/251.59	c  N st    76   1392632       439      1896         0     54387      5755    571359   no data   no data
1152.42/288.56	c  N st    77   1556617       439      1896         0     59589      5755    650909   no data   no data
1325.39/331.82	c  N st    78   1710424       439      1896         0    100925      5755   1593600   no data   no data
1325.39/331.83	c  S st    78   1710424       439      1896         0    100925      5755   1593600   no data   no data
1326.59/332.16	c  S st    78   1710929       439      1896         0    101429      5755   1604890   no data   no data
1326.59/332.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1327.01/332.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1327.01/332.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1327.01/332.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1327.01/332.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1327.01/332.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1327.01/332.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1327.01/332.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1327.01/332.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1360.53/340.63	c lits-rem:       808  cl-subs:     7044  v-elim:      0  v-fix:    0  time:  8.34 s
1360.53/340.63	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
1360.53/340.65	c vivif2 --  cl tried    94385 cl shrink        0 lits rem          0 time: 0.02
1360.93/340.75	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.10
1360.93/340.75	c calculated reachability. Time: 0.00
1360.93/340.75	c  N st    78   1710929       439      1896         0     94385      5755   1453646   no data   no data
1787.17/447.47	c  N st    79   2079894       439      1896         0    105603      5755   1644302   no data   no data
1935.37/484.55	c  N st    80   2210929       439      1896         0    109632      5755   1676084   no data   no data
1935.37/484.55	c  S st    80   2210929       439      1896         0    109632      5755   1676084   no data   no data
1936.97/484.91	c  S st    80   2211438       439      1896         0    110137      5755   1687844   no data   no data
1936.97/484.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1936.97/484.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1936.97/484.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1936.97/484.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1936.97/484.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1936.97/484.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1936.97/484.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1937.37/485.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1937.37/485.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1976.91/494.92	c lits-rem:      1569  cl-subs:     9772  v-elim:      0  v-fix:    0  time:  9.87 s
1976.91/494.92	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
1976.91/494.94	c vivif2 --  cl tried   100365 cl shrink        0 lits rem          0 time: 0.02
1977.33/495.05	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.10
1977.33/495.05	c calculated reachability. Time: 0.00
1977.33/495.05	c  N st    80   2211438       439      1896         0    100365      5755   1478848   no data   no data
2572.11/643.98	c  N st    81   2711439       439      1896         0    124180      5755   1940479   no data   no data
2572.11/643.98	c  S st    81   2711439       439      1896         0    124180      5755   1940479   no data   no data
2574.11/644.49	c  S st    81   2711939       439      1896         0    124679      5755   1951966   no data   no data
2574.51/644.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2574.51/644.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2574.51/644.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2574.51/644.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2574.51/644.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2574.51/644.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
2574.51/644.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2574.93/644.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2574.93/644.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2616.85/655.12	c lits-rem:       833  cl-subs:     8634  v-elim:      0  v-fix:    0  time: 10.46 s
2616.85/655.12	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
2616.85/655.15	c vivif2 --  cl tried   116045 cl shrink        0 lits rem          0 time: 0.03
2617.25/655.27	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.12
2617.25/655.27	c calculated reachability. Time: 0.00
2617.25/655.27	c  N st    81   2711939       439      1896         0    116045      5755   1775902   no data   no data
3301.53/826.54	c  N st    82   3211940       439      1896         0     92069      5755   1047051   no data   no data
3301.53/826.54	c  S st    82   3211940       439      1896         0     92069      5755   1047051   no data   no data
3302.73/826.83	c  S st    82   3212441       439      1896         0     92568      5755   1059433   no data   no data
3302.73/826.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3302.73/826.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3302.73/826.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3302.73/826.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3302.73/826.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3302.73/826.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
3302.73/826.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3303.13/826.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3303.13/826.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3307.92/828.12	c lits-rem:       271  cl-subs:     2540  v-elim:      0  v-fix:    0  time:  1.18 s
3307.92/828.12	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
3307.92/828.13	c vivif2 --  cl tried    90028 cl shrink        0 lits rem          0 time: 0.02
3308.32/828.22	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.08
3308.32/828.22	c calculated reachability. Time: 0.00
3308.32/828.22	c  N st    82   3212441       439      1896         0     90028      5755   1008516   no data   no data
4104.07/1027.48	c  N st    83   3712441       439      1896         0     99862      5755   1093249   no data   no data
4104.07/1027.48	c  S st    83   3712441       439      1896         0     99862      5755   1093249   no data   no data
4105.25/1027.79	c  S st    83   3712949       439      1896         0    100368      5755   1105163   no data   no data
4105.65/1027.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4105.65/1027.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4105.65/1027.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4105.65/1027.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4105.65/1027.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4105.65/1027.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
4105.65/1027.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4105.65/1027.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4106.05/1027.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4114.84/1030.18	c lits-rem:       233  cl-subs:     6427  v-elim:      0  v-fix:    0  time:  2.27 s
4114.84/1030.18	c vivif2 --  cl tried     1896 cl shrink        0 lits rem          0 time: 0.00
4114.84/1030.19	c vivif2 --  cl tried    93941 cl shrink        0 lits rem          0 time: 0.02
4115.24/1030.28	c asymm  cl-useful: 0/1896/1896 lits-rem:0 time: 0.09
4115.24/1030.29	c calculated reachability. Time: 0.00
4115.24/1030.29	c  N st    83   3712949       439      1896         0     93941      5755    988042   no data   no data
4175.56/1045.30	c  F st    84   3751562       439      1896         0    131419      5755   1815903   no data   no data
4175.56/1045.30	c  N st    84   3751562       439      1896         0    131419      5755   1815903   no data   no data
4185.95/1047.91	c Decided on static restart strategy
4230.69/1059.16	c  N st    94   3779867       439      1896         0    159023      5755   2519542   no data   no data
4283.02/1072.27	c  N st    96   3815859       439      1896         0    112052      5755   1420942   no data   no data
4332.15/1084.56	c  N st    97   3848252       439      1896         0    143540      5755   2172327   no data   no data
4415.64/1105.42	c  N st    98   3896841       439      1896         0    107292      5755   1276247   no data   no data
4552.27/1139.66	c  N st    99   3969724       439      1896         0     93885      5755    955033   no data   no data
4720.83/1181.88	c  N st   100   4079047       439      1896         0    114629      5755   1431153   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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174185-1304110569/watcher-3174185-1304110569 -o /tmp/evaluation-result-3174185-1304110569/solver-3174185-1304110569 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174185-1304110569.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: 6.28 7.65 7.63 2/173 26644
/proc/meminfo: memFree=24385780/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 601287562 52441088 348 33554432000 4194304 4627427 140734194638128 18446744073709551615 47834994567080 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 12803 348 299 106 0 7774 0
[pid=26644/tid=26648] ppid=26641 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 601287563 52441088 348 33554432000 4194304 4627427 140734194638128 18446744073709551615 47834994567090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 601287563 52441088 348 33554432000 4194304 4627427 140734194638128 18446744073709551615 47834994567090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 601287563 52441088 348 33554432000 4194304 4627427 140734194638128 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.157029 s]
/proc/loadavg: 6.28 7.65 7.63 2/173 26644
/proc/meminfo: memFree=24385780/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=283488 CPUtime=0.6 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 2095 0 0 0 60 0 0 0 20 0 4 0 601287562 290291712 1456 33554432000 4194304 4627427 140734194638128 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 70872 1456 385 106 0 65843 0
[pid=26644/tid=26648] ppid=26641 vsize=283488 CPUtime=0.14 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 440 0 0 0 14 0 0 0 20 0 4 0 601287563 290291712 1456 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=283488 CPUtime=0.14 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 436 0 0 0 14 0 0 0 20 0 4 0 601287563 290291712 1456 33554432000 4194304 4627427 140734194638128 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=283488 CPUtime=0.14 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 363 0 0 0 14 0 0 0 21 0 4 0 601287563 290291712 1456 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283488

[startup+0.25701 s]
/proc/loadavg: 6.28 7.65 7.63 2/173 26644
/proc/meminfo: memFree=24385780/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=283620 CPUtime=1 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 2488 0 0 0 100 0 0 0 20 0 4 0 601287562 290426880 1849 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 70905 1849 385 106 0 65876 0
[pid=26644/tid=26648] ppid=26641 vsize=283620 CPUtime=0.24 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 536 0 0 0 24 0 0 0 20 0 4 0 601287563 290426880 1849 33554432000 4194304 4627427 140734194638128 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=283620 CPUtime=0.24 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 528 0 0 0 24 0 0 0 20 0 4 0 601287563 290426880 1849 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=283620 CPUtime=0.24 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 467 0 0 0 24 0 0 0 21 0 4 0 601287563 290426880 1849 33554432000 4194304 4627427 140734194638128 18446744073709551615 4327492 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 283620

[startup+0.301004 s]
/proc/loadavg: 6.28 7.65 7.63 2/173 26644
/proc/meminfo: memFree=24385780/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=283620 CPUtime=1.17 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 2668 0 0 0 117 0 0 0 20 0 4 0 601287562 290426880 2029 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 70905 2029 385 106 0 65876 0
[pid=26644/tid=26648] ppid=26641 vsize=283620 CPUtime=0.29 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 586 0 0 0 29 0 0 0 20 0 4 0 601287563 290426880 2029 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=283620 CPUtime=0.29 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 579 0 0 0 29 0 0 0 20 0 4 0 601287563 290426880 2029 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=283620 CPUtime=0.29 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 507 0 0 0 29 0 0 0 21 0 4 0 601287563 290426880 2029 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283620

[startup+0.700936 s]
/proc/loadavg: 6.28 7.65 7.63 2/173 26644
/proc/meminfo: memFree=24385780/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=284804 CPUtime=2.77 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 4437 0 0 0 277 0 0 0 21 0 4 0 601287562 291639296 2458 33554432000 4194304 4627427 140734194638128 18446744073709551615 4332978 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 71201 2458 385 106 0 66172 0
[pid=26644/tid=26648] ppid=26641 vsize=284804 CPUtime=0.69 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 978 0 0 0 69 0 0 0 20 0 4 0 601287563 291639296 2458 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=284804 CPUtime=0.69 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 952 0 0 0 69 0 0 0 20 0 4 0 601287563 291639296 2458 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=284804 CPUtime=0.69 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 1011 0 0 0 69 0 0 0 22 0 4 0 601287563 291639296 2458 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309085 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284804

[startup+1.5008 s]
/proc/loadavg: 6.28 7.65 7.63 9/184 26655
/proc/meminfo: memFree=24361128/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=291060 CPUtime=5.97 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 8334 0 0 0 596 1 0 0 23 0 4 0 601287562 298045440 4563 33554432000 4194304 4627427 140734194638128 18446744073709551615 4333018 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 72765 4563 389 106 0 67736 0
[pid=26644/tid=26648] ppid=26641 vsize=291060 CPUtime=1.49 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 1718 0 0 0 149 0 0 0 23 0 4 0 601287563 298045440 4563 33554432000 4194304 4627427 140734194638128 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=291060 CPUtime=1.49 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 1666 0 0 0 149 0 0 0 23 0 4 0 601287563 298045440 4563 33554432000 4194304 4627427 140734194638128 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=291060 CPUtime=1.48 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 1608 0 0 0 148 0 0 0 25 0 4 0 601287563 298045440 4563 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291060

[startup+3.10052 s]
/proc/loadavg: 6.28 7.65 7.63 9/184 26655
/proc/meminfo: memFree=24324920/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=291676 CPUtime=12.36 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 17362 0 0 0 1234 2 0 0 25 0 4 0 601287562 298676224 8611 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 72919 8611 389 106 0 67890 0
[pid=26644/tid=26648] ppid=26641 vsize=291676 CPUtime=3.08 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 3945 0 0 0 308 0 0 0 25 0 4 0 601287563 298676224 8611 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=291676 CPUtime=3.08 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 4607 0 0 0 308 0 0 0 25 0 4 0 601287563 298676224 8611 33554432000 4194304 4627427 140734194638128 18446744073709551615 4322621 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=291676 CPUtime=3.07 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 4398 0 0 0 307 0 0 0 25 0 4 0 601287563 298676224 8611 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 291676

[startup+6.30096 s]
/proc/loadavg: 6.50 7.67 7.64 9/184 26655
/proc/meminfo: memFree=24298900/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=293528 CPUtime=25.15 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 26914 0 0 0 2510 5 0 0 25 0 4 0 601287562 300572672 12318 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 73382 12318 389 106 0 68353 0
[pid=26644/tid=26648] ppid=26641 vsize=293528 CPUtime=6.28 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 6835 0 0 0 628 0 0 0 25 0 4 0 601287563 300572672 12318 33554432000 4194304 4627427 140734194638128 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=293528 CPUtime=6.28 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 7556 0 0 0 627 1 0 0 25 0 4 0 601287563 300572672 12318 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=293528 CPUtime=6.26 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 6172 0 0 0 625 1 0 0 25 0 4 0 601287563 300572672 12318 33554432000 4194304 4627427 140734194638128 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 293528

[startup+12.7008 s]
/proc/loadavg: 6.62 7.68 7.64 9/184 26655
/proc/meminfo: memFree=24249912/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=305536 CPUtime=50.71 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 43882 0 0 0 5062 9 0 0 25 0 4 0 601287562 312868864 17368 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 76384 17368 389 106 0 71355 0
[pid=26644/tid=26648] ppid=26641 vsize=305536 CPUtime=12.68 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 11114 0 0 0 1267 1 0 0 25 0 4 0 601287563 312868864 17368 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=305536 CPUtime=12.68 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 10660 0 0 0 1266 2 0 0 25 0 4 0 601287563 312868864 17368 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=305536 CPUtime=12.62 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 10425 0 0 0 1260 2 0 0 25 0 4 0 601287563 312868864 17368 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 305536

[startup+25.5006 s]
/proc/loadavg: 6.99 7.71 7.65 9/184 26655
/proc/meminfo: memFree=24218332/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=302364 CPUtime=101.84 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 66394 0 0 0 10170 14 0 0 25 0 4 0 601287562 309620736 23710 33554432000 4194304 4627427 140734194638128 18446744073709551615 4321328 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 75591 23710 389 106 0 70562 0
[pid=26644/tid=26648] ppid=26641 vsize=302364 CPUtime=25.49 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 17257 0 0 0 2546 3 0 0 25 0 4 0 601287563 309620736 23710 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=302364 CPUtime=25.48 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 16890 0 0 0 2545 3 0 0 25 0 4 0 601287563 309620736 23710 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=302364 CPUtime=25.35 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 15138 0 0 0 2532 3 0 0 25 0 4 0 601287563 309620736 23710 33554432000 4194304 4627427 140734194638128 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 302364

[startup+51.1011 s]
/proc/loadavg: 7.33 7.73 7.66 9/184 26656
/proc/meminfo: memFree=24175228/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=315524 CPUtime=204.1 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 99856 0 0 0 20386 24 0 0 25 0 4 0 601287562 323096576 30170 33554432000 4194304 4627427 140734194638128 18446744073709551615 4352080 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 78881 30170 389 106 0 73852 0
[pid=26644/tid=26648] ppid=26641 vsize=315524 CPUtime=51.09 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 25773 0 0 0 5103 6 0 0 25 0 4 0 601287563 323096576 30170 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=315524 CPUtime=51.08 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 25918 0 0 0 5103 5 0 0 25 0 4 0 601287563 323096576 30170 33554432000 4194304 4627427 140734194638128 18446744073709551615 4348327 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=315524 CPUtime=50.81 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 23400 0 0 0 5076 5 0 0 25 0 4 0 601287563 323096576 30170 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 315524

[startup+102.301 s]
/proc/loadavg: 7.76 7.78 7.68 9/184 26657
/proc/meminfo: memFree=24136520/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=322644 CPUtime=408.65 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 152050 0 0 0 40822 43 0 0 25 0 4 0 601287562 330387456 35653 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 80661 35653 389 106 0 75632 0
[pid=26644/tid=26648] ppid=26641 vsize=322644 CPUtime=102.29 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 38880 0 0 0 10219 10 0 0 25 0 4 0 601287563 330387456 35653 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=322644 CPUtime=102.29 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 38695 0 0 0 10219 10 0 0 25 0 4 0 601287563 330387456 35653 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=322644 CPUtime=101.73 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 37871 0 0 0 10163 10 0 0 25 0 4 0 601287563 330387456 35653 33554432000 4194304 4627427 140734194638128 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 322644

[startup+162.301 s]

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

[pid=26644] ppid=26641 vsize=529216 CPUtime=2565.73 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 451166 0 0 0 256398 175 0 0 25 0 4 0 601287562 541917184 81809 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 132304 81809 389 106 0 127275 0
[pid=26644/tid=26648] ppid=26641 vsize=529216 CPUtime=642.3 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 117383 0 0 0 64184 46 0 0 25 0 4 0 601287563 541917184 81809 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=529216 CPUtime=642.29 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 121065 0 0 0 64183 46 0 0 25 0 4 0 601287563 541917184 81809 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=529216 CPUtime=638.81 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 119476 0 0 0 63837 44 0 0 25 0 4 0 601287563 541917184 81809 33554432000 4194304 4627427 140734194638128 18446744073709551615 4324267 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 529216

[startup+702.301 s]
/proc/loadavg: 8.10 8.04 7.86 9/184 26682
/proc/meminfo: memFree=23788336/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=537404 CPUtime=2805.4 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 477508 0 0 0 280354 186 0 0 25 0 4 0 601287562 550301696 88050 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 134351 88050 389 106 0 129322 0
[pid=26644/tid=26648] ppid=26641 vsize=537404 CPUtime=702.3 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 125191 0 0 0 70180 50 0 0 25 0 4 0 601287563 550301696 88050 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=537404 CPUtime=702.3 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 127592 0 0 0 70181 49 0 0 25 0 4 0 601287563 550301696 88050 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=537404 CPUtime=698.48 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 127166 0 0 0 69801 47 0 0 25 0 4 0 601287563 550301696 88050 33554432000 4194304 4627427 140734194638128 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 537404

[startup+762.301 s]
/proc/loadavg: 8.15 8.06 7.88 9/184 26684
/proc/meminfo: memFree=23757812/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=549900 CPUtime=3045.1 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 498943 0 0 0 304313 197 0 0 25 0 4 0 601287562 563097600 92397 33554432000 4194304 4627427 140734194638128 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 137475 92397 389 106 0 132446 0
[pid=26644/tid=26648] ppid=26641 vsize=549900 CPUtime=762.31 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 132114 0 0 0 76178 53 0 0 25 0 4 0 601287563 563097600 92397 33554432000 4194304 4627427 140734194638128 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=549900 CPUtime=762.3 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 131853 0 0 0 76179 51 0 0 25 0 4 0 601287563 563097600 92397 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=549900 CPUtime=758.15 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 133907 0 0 0 75765 50 0 0 25 0 4 0 601287563 563097600 92397 33554432000 4194304 4627427 140734194638128 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 549900

[startup+822.301 s]
/proc/loadavg: 8.16 8.08 7.89 9/184 26686
/proc/meminfo: memFree=23712404/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=628612 CPUtime=3284.76 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 526531 0 0 0 328268 208 0 0 25 0 4 0 601287562 643698688 100693 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 157153 100693 389 106 0 152124 0
[pid=26644/tid=26648] ppid=26641 vsize=628612 CPUtime=822.3 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 143182 0 0 0 82173 57 0 0 25 0 4 0 601287563 643698688 100693 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=628612 CPUtime=822.3 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 136896 0 0 0 82176 54 0 0 25 0 4 0 601287563 643698688 100693 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=628612 CPUtime=817.83 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 145044 0 0 0 81729 54 0 0 25 0 4 0 601287563 643698688 100693 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 628612

[startup+882.307 s]
/proc/loadavg: 8.15 8.09 7.91 9/184 26687
/proc/meminfo: memFree=23719556/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=628892 CPUtime=3524.45 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 546834 0 0 0 352228 217 0 0 25 0 4 0 601287562 643985408 102155 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 157223 102155 389 106 0 152194 0
[pid=26644/tid=26648] ppid=26641 vsize=628892 CPUtime=882.31 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 149374 0 0 0 88170 61 0 0 25 0 4 0 601287563 643985408 102155 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=628892 CPUtime=882.31 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 144931 0 0 0 88175 56 0 0 25 0 4 0 601287563 643985408 102155 33554432000 4194304 4627427 140734194638128 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=628892 CPUtime=877.5 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 151022 0 0 0 87693 57 0 0 25 0 4 0 601287563 643985408 102155 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 628892

[startup+942.301 s]
/proc/loadavg: 8.14 8.10 7.92 9/184 26689
/proc/meminfo: memFree=23694360/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=616900 CPUtime=3764.11 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 564655 0 0 0 376184 227 0 0 25 0 4 0 601287562 631705600 104475 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 154225 104475 389 106 0 149196 0
[pid=26644/tid=26648] ppid=26641 vsize=616900 CPUtime=942.3 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 155574 0 0 0 94166 64 0 0 25 0 4 0 601287563 631705600 104475 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=616900 CPUtime=942.3 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 150280 0 0 0 94171 59 0 0 25 0 4 0 601287563 631705600 104475 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=616900 CPUtime=937.17 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 157293 0 0 0 93656 61 0 0 25 0 4 0 601287563 631705600 104475 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 616900

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 7.93 9/184 26690
/proc/meminfo: memFree=23642748/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=617480 CPUtime=4003.79 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 582058 0 0 0 400143 236 0 0 25 0 4 0 601287562 632299520 111427 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 154370 111427 389 106 0 149341 0
[pid=26644/tid=26648] ppid=26641 vsize=617480 CPUtime=1002.31 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 161624 0 0 0 100163 68 0 0 25 0 4 0 601287563 632299520 111427 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=617480 CPUtime=1002.3 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 154528 0 0 0 100169 61 0 0 25 0 4 0 601287563 632299520 111427 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=617480 CPUtime=996.84 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 164320 0 0 0 99620 64 0 0 25 0 4 0 601287563 632299520 111427 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 617480

[startup+1062.3 s]
/proc/loadavg: 8.09 8.10 7.94 9/184 26692
/proc/meminfo: memFree=23667152/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=681352 CPUtime=4243.47 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 597158 0 0 0 424105 242 0 0 25 0 4 0 601287562 697704448 107304 33554432000 4194304 4627427 140734194638128 18446744073709551615 4338562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 170338 107304 389 106 0 165309 0
[pid=26644/tid=26648] ppid=26641 vsize=681352 CPUtime=1062.31 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 167845 0 0 0 106161 70 0 0 25 0 4 0 601287563 697704448 107304 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=681352 CPUtime=1062.31 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 157414 0 0 0 106168 63 0 0 25 0 4 0 601287563 697704448 107304 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=681352 CPUtime=1056.52 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 169928 0 0 0 105586 66 0 0 25 0 4 0 601287563 697704448 107304 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 681352

[startup+1122.3 s]
/proc/loadavg: 8.07 8.10 7.94 9/184 26694
/proc/meminfo: memFree=23645044/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=631164 CPUtime=4483.15 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 614116 0 0 0 448064 251 0 0 25 0 4 0 601287562 646311936 106880 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 157791 106880 389 106 0 152762 0
[pid=26644/tid=26648] ppid=26641 vsize=631164 CPUtime=1122.31 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 173412 0 0 0 112157 74 0 0 25 0 4 0 601287563 646311936 106880 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=631164 CPUtime=1122.3 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 164741 0 0 0 112165 65 0 0 25 0 4 0 601287563 646311936 106880 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=631164 CPUtime=1116.19 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 173852 0 0 0 111551 68 0 0 25 0 4 0 601287563 646311936 106880 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 631164

[startup+1182.3 s]
/proc/loadavg: 8.06 8.09 7.95 9/184 26695
/proc/meminfo: memFree=23651344/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=631316 CPUtime=4722.83 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 630007 0 0 0 472023 260 0 0 25 0 4 0 601287562 646467584 110181 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 157829 110181 389 106 0 152800 0
[pid=26644/tid=26648] ppid=26641 vsize=631316 CPUtime=1182.31 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 178168 0 0 0 118155 76 0 0 25 0 4 0 601287563 646467584 110181 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=631316 CPUtime=1182.31 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 169837 0 0 0 118163 68 0 0 25 0 4 0 601287563 646467584 110181 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=631316 CPUtime=1175.87 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 179538 0 0 0 117515 72 0 0 25 0 4 0 601287563 646467584 110181 33554432000 4194304 4627427 140734194638128 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 631316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.10 7.95 9/184 26696
/proc/meminfo: memFree=23651456/32951124 swapFree=67102140/67111528
[pid=26644] ppid=26641 vsize=631416 CPUtime=4800.34 cores=1,3,5,7
/proc/26644/stat : 26644 (strangenight2-m) R 26641 26644 26610 0 -1 4202496 635803 0 0 0 479771 263 0 0 25 0 4 0 601287562 646569984 109346 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26644/statm: 157854 109346 389 106 0 152825 0
[pid=26644/tid=26648] ppid=26641 vsize=631416 CPUtime=1201.71 cores=1,3,5,7
/proc/26644/task/26648/stat : 26648 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 180441 0 0 0 120094 77 0 0 25 0 4 0 601287563 646569984 109346 33554432000 4194304 4627427 140734194638128 18446744073709551615 4305493 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26644/tid=26649] ppid=26641 vsize=631416 CPUtime=1201.72 cores=1,3,5,7
/proc/26644/task/26649/stat : 26649 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 172415 0 0 0 120103 69 0 0 25 0 4 0 601287563 646569984 109346 33554432000 4194304 4627427 140734194638128 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26644/tid=26650] ppid=26641 vsize=631416 CPUtime=1195.17 cores=1,3,5,7
/proc/26644/task/26650/stat : 26650 (strangenight2-m) R 26641 26644 26610 0 -1 4202560 180483 0 0 0 119444 73 0 0 25 0 4 0 601287563 646569984 109346 33554432000 4194304 4627427 140734194638128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 631416

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.39
CPU user time (s): 4797.73
CPU system time (s): 2.6556
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 695620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.73
system time used= 2.6556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635804
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= 218
involuntary context switches= 22273

runsolver used 1.73673 second user time and 4.82627 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 22:56:09
IDJOB=3174185
IDBENCH=83003
IDSOLVER=1586
FILE ID=node119/3174185-1304110569
RUNJOBID= node119-1304110569-26629
PBS_JOBID= 13170679
Free space on /tmp= 71816 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174185-1304110569/watcher-3174185-1304110569 -o /tmp/evaluation-result-3174185-1304110569/solver-3174185-1304110569 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174185-1304110569.cnf

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

MD5SUM BENCH= 94bd96d1179fc3c253160c710014f1d5
RANDOM SEED=100144277

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24386068 kB
Buffers:       1909912 kB
Cached:        6032000 kB
SwapCached:       3688 kB
Active:         163760 kB
Inactive:      7837040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24386068 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           11428 kB
Writeback:           0 kB
AnonPages:       58932 kB
Mapped:          14232 kB
Slab:           499008 kB
PageTables:       4708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186888 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= 71804 MiB
End job on node119 at 2011-04-29 23:16:13