Trace number 3366348

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.41 1202.83

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf
MD5SUMf9acc85431fa3756e8067132423a3a4a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark152.234
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366348-1305402179.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	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.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.10	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:     11  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:     189 undec:      45 neg:     216
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
3.18/0.80	c  B st     0         0       439      1907         0         0      5789         0   no data   no data
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4920       439      1907         0      4804      5789    100281   no data   no data
3.18/0.80	c  N st    10     11303       439      1907         0      4429      5789     70552   no data   no data
3.18/0.80	c  N st    11     17047       439      1907         0      9996      5789    183020   no data   no data
3.97/1.10	c  F st    12     25000       439      1907         0     12335      5789    240367   no data   no data
3.97/1.10	c  N st    12     25000       439      1907         0     12335      5789    240367   no data   no data
4.81/1.28	c Decided on static restart strategy
4.81/1.28	c  N st    18     30001       439      1907         0     10617      5789    178653   no data   no data
4.81/1.28	c  S st    18     30001       439      1907         0     10617      5789    178653   no data   no data
5.16/1.31	c  S st    18     30504       439      1907         0     11120      5789    189078   no data   no data
5.16/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.32	c blocked clauses removed:        9 vars:      1 tried:         439 T: 0.00 s
5.16/1.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
5.16/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.40	c lits-rem:       162  cl-subs:      965  v-elim:      0  v-fix:    0  time:  0.07 s
5.56/1.40	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
5.56/1.40	c calculated reachability. Time: 0.00
5.56/1.40	c  N st    18     30504       438      1898         0     10154      5762    168860   no data   no data
7.16/1.80	c  N st    20     37615       438      1898         0      9404      5762    140489   no data   no data
8.37/2.17	c  N st    21     44014       438      1898         0     15618      5762    270919   no data   no data
8.79/2.27	c  S st    22     45756       438      1898         0     17333      5762    310132   no data   no data
9.20/2.31	c  S st    22     46264       438      1898         0      9140      5762    120938   no data   no data
9.20/2.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.20/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.20/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.20/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.20/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
9.20/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.20/2.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.20/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.33	c lits-rem:        20  cl-subs:      119  v-elim:      0  v-fix:    0  time:  0.01 s
9.20/2.33	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
9.20/2.33	c vivif2 --  cl tried     9021 cl shrink        0 lits rem          0 time: 0.00
9.20/2.33	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.00
9.20/2.33	c calculated reachability. Time: 0.00
9.20/2.33	c  N st    22     46264       438      1898         0      9021      5762    118578   no data   no data
12.75/3.28	c  N st    23     60661       438      1898         0     13371      5762    200436   no data   no data
15.54/3.90	c  N st    24     69397       438      1898         0     11169      5762    146947   no data   no data
15.54/3.90	c  S st    24     69397       438      1898         0     11169      5762    146947   no data   no data
15.54/3.93	c  S st    24     69901       438      1898         0     11671      5762    157946   no data   no data
15.54/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.54/3.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
15.54/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/3.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.95	c lits-rem:        29  cl-subs:      171  v-elim:      0  v-fix:    0  time:  0.01 s
15.54/3.95	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
15.54/3.96	c vivif2 --  cl tried    11500 cl shrink        0 lits rem          0 time: 0.00
15.54/3.96	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
15.54/3.96	c calculated reachability. Time: 0.00
15.54/3.96	c  N st    24     69901       438      1898         0     11500      5762    154138   no data   no data
20.73/5.20	c  F st    25     87500       438      1898         0     16920      5762    268062   no data   no data
20.73/5.20	c  N st    25     87500       438      1898         0     16920      5762    268062   no data   no data
21.95/5.57	c Decided on static restart strategy
23.12/5.82	c  N st    32     95546       438      1898         0     24768      5762    439070   no data   no data
25.92/6.52	c  N st    34    104851       438      1898         0     21220      5762    350186   no data   no data
25.92/6.52	c  S st    34    104851       438      1898         0     21220      5762    350186   no data   no data
25.92/6.58	c  S st    34    105353       438      1898         0     21721      5762    360643   no data   no data
25.92/6.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.92/6.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.92/6.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.92/6.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.92/6.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.92/6.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
25.92/6.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.92/6.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.92/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.75	c lits-rem:       189  cl-subs:      859  v-elim:      0  v-fix:    0  time:  0.15 s
26.75/6.75	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
26.75/6.76	c vivif2 --  cl tried    20862 cl shrink        0 lits rem          0 time: 0.00
26.75/6.77	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
26.75/6.77	c calculated reachability. Time: 0.00
26.75/6.77	c  N st    34    105353       438      1898         0     20862      5762    340499   no data   no data
29.92/7.52	c  N st    35    114952       438      1898         0     16577      5762    224156   no data   no data
34.70/8.76	c  N st    36    129349       438      1898         0     15974      5762    195779   no data   no data
42.28/10.62	c  N st    37    150945       438      1898         0     21404      5762    301830   no data   no data
44.68/11.25	c  S st    38    158031       438      1898         0     28293      5762    437283   no data   no data
45.08/11.32	c  S st    38    158534       438      1898         0     28795      5762    447723   no data   no data
45.08/11.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.08/11.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.08/11.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.08/11.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.08/11.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.08/11.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
45.08/11.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.08/11.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.08/11.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.27/11.65	c lits-rem:       296  cl-subs:     1799  v-elim:      0  v-fix:    0  time:  0.30 s
46.27/11.65	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
46.27/11.65	c vivif2 --  cl tried    26996 cl shrink        0 lits rem          0 time: 0.00
46.27/11.67	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
46.27/11.67	c calculated reachability. Time: 0.00
46.27/11.67	c  N st    38    158534       438      1898         0     26996      5762    413491   no data   no data
64.63/16.24	c  N st    39    207125       438      1898         0     21762      5762    275042   no data   no data
76.21/19.14	c  N st    40    237801       438      1898         0     32306      5762    505057   no data   no data
76.21/19.14	c  S st    40    237801       438      1898         0     32306      5762    505057   no data   no data
76.61/19.23	c  S st    40    238304       438      1898         0     32807      5762    516193   no data   no data
76.61/19.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.61/19.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.61/19.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.61/19.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.61/19.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.61/19.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
76.61/19.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.61/19.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.61/19.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.80/19.60	c lits-rem:       181  cl-subs:     1169  v-elim:      0  v-fix:    0  time:  0.33 s
77.80/19.60	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
78.20/19.60	c vivif2 --  cl tried    31638 cl shrink        0 lits rem          0 time: 0.01
78.20/19.62	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.02
78.20/19.62	c calculated reachability. Time: 0.00
78.20/19.62	c  N st    40    238304       438      1898         0     31638      5762    491523   no data   no data
109.76/27.58	c  F st    41    306250       438      1898         0     33199      5762    449710   no data   no data
109.76/27.58	c  N st    41    306250       438      1898         0     33199      5762    449710   no data   no data
112.52/28.28	c Decided on static restart strategy
124.50/31.28	c  N st    51    334550       438      1898         0     37367      5762    523721   no data   no data
136.10/34.15	c  N st    53    357456       438      1898         0     35332      5762    484607   no data   no data
136.10/34.15	c  S st    53    357456       438      1898         0     35332      5762    484607   no data   no data
136.51/34.23	c  S st    53    357957       438      1898         0     35833      5762    495193   no data   no data
136.51/34.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.51/34.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.51/34.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.51/34.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.51/34.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.51/34.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
136.51/34.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.51/34.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.51/34.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.07/34.69	c lits-rem:       259  cl-subs:     2113  v-elim:      0  v-fix:    0  time:  0.42 s
138.07/34.69	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
138.07/34.69	c vivif2 --  cl tried    33720 cl shrink        0 lits rem          0 time: 0.01
138.47/34.71	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.02
138.47/34.71	c calculated reachability. Time: 0.00
138.47/34.71	c  N st    53    357957       438      1898         0     33720      5762    455061   no data   no data
153.23/38.47	c  N st    54    390350       438      1898         0     40096      5762    596495   no data   no data
179.57/45.08	c  N st    55    438940       438      1898         0     33939      5762    418310   no data   no data
218.28/54.70	c  N st    56    511822       438      1898         0     47428      5762    714875   no data   no data
231.05/57.96	c  N st    57    536936       438      1898         0     41615      5762    538951   no data   no data
231.05/57.96	c  S st    57    536936       438      1898         0     41615      5762    538951   no data   no data
231.45/58.07	c  S st    57    537442       438      1898         0     42119      5762    549735   no data   no data
231.45/58.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
231.45/58.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
231.45/58.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
231.45/58.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
231.45/58.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.45/58.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
231.45/58.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
231.45/58.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
231.85/58.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
233.85/58.65	c lits-rem:       181  cl-subs:     2365  v-elim:      0  v-fix:    0  time:  0.54 s
233.85/58.65	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
233.85/58.65	c vivif2 --  cl tried    39754 cl shrink        0 lits rem          0 time: 0.01
233.85/58.68	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.03
233.85/58.68	c calculated reachability. Time: 0.00
233.85/58.68	c  N st    57    537442       438      1898         0     39754      5762    504726   no data   no data
332.43/83.39	c  N st    58    701427       438      1898         0     68710      5762   1058805   no data   no data
399.91/100.25	c  N st    59    806163       438      1898         0     62656      5762    910935   no data   no data
399.91/100.25	c  S st    59    806163       438      1898         0     62656      5762    910935   no data   no data
400.67/100.46	c  S st    59    806668       438      1898         0     63159      5762    921908   no data   no data
400.67/100.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
400.67/100.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
400.67/100.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
400.67/100.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
400.67/100.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
400.67/100.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
400.67/100.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
401.07/100.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
401.07/100.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
411.05/103.02	c lits-rem:       616  cl-subs:     5613  v-elim:      0  v-fix:    0  time:  2.49 s
411.05/103.02	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
411.05/103.03	c vivif2 --  cl tried    57546 cl shrink        0 lits rem          0 time: 0.01
411.05/103.08	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.04
411.05/103.08	c calculated reachability. Time: 0.00
411.05/103.08	c  N st    59    806668       438      1898         0     57546      5762    811535   no data   no data
614.61/154.03	c  F st    60   1071876       438      1898         0     73113      5762   1004977   no data   no data
614.61/154.03	c  N st    60   1071876       438      1898         0     73113      5762   1004977   no data   no data
619.01/155.20	c Decided on static restart strategy
637.74/159.83	c  N st    70   1100183       438      1898         0     57206      5762    698332   no data   no data
673.66/168.83	c  N st    72   1136177       438      1898         0     47545      5762    471225   no data   no data
698.44/175.05	c  N st    73   1168569       438      1898         0     78815      5762   1096664   no data   no data
733.92/183.96	c  N st    74   1210002       438      1898         0     73614      5762   1018716   no data   no data
733.92/183.96	c  S st    74   1210002       438      1898         0     73614      5762   1018716   no data   no data
735.12/184.20	c  S st    74   1210510       438      1898         0     74120      5762   1030196   no data   no data
735.12/184.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
735.12/184.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
735.12/184.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
735.12/184.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
735.12/184.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
735.12/184.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
735.12/184.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
735.12/184.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
735.12/184.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
747.89/187.40	c lits-rem:       814  cl-subs:     4579  v-elim:      0  v-fix:    0  time:  3.12 s
747.89/187.40	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
747.89/187.41	c vivif2 --  cl tried    69541 cl shrink        0 lits rem          0 time: 0.01
747.89/187.49	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.08
747.89/187.49	c calculated reachability. Time: 0.00
747.89/187.49	c  N st    74   1210510       438      1898         0     69541      5762    942885   no data   no data
822.92/206.21	c  N st    75   1283393       438      1898         0     93810      5762   1504337   no data   no data
927.88/232.59	c  N st    76   1392718       438      1898         0     54395      5762    555525   no data   no data
1081.54/271.08	c  N st    77   1556702       438      1898         0     59073      5762    618713   no data   no data
1220.46/305.82	c  N st    78   1710510       438      1898         0    100327      5762   1459798   no data   no data
1220.46/305.82	c  S st    78   1710510       438      1898         0    100327      5762   1459798   no data   no data
1221.62/306.13	c  S st    78   1711011       438      1898         0    100825      5762   1471043   no data   no data
1221.62/306.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1221.62/306.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1221.62/306.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1221.62/306.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1221.62/306.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1221.62/306.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1221.62/306.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1222.02/306.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1222.02/306.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1252.35/313.82	c lits-rem:       659  cl-subs:     9873  v-elim:      0  v-fix:    0  time:  7.56 s
1252.35/313.82	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
1252.35/313.84	c vivif2 --  cl tried    90952 cl shrink        0 lits rem          0 time: 0.02
1252.75/313.92	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.08
1252.75/313.93	c calculated reachability. Time: 0.00
1252.75/313.93	c  N st    78   1711011       438      1898         0     90952      5762   1291860   no data   no data
1622.33/406.59	c  N st    79   2079975       438      1898         0    103023      5762   1525419   no data   no data
1751.66/438.95	c  N st    80   2211013       438      1898         0    107223      5762   1587572   no data   no data
1751.66/438.95	c  S st    80   2211013       438      1898         0    107223      5762   1587572   no data   no data
1753.23/439.31	c  S st    80   2211519       438      1898         0    107728      5762   1598459   no data   no data
1753.23/439.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1753.23/439.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1753.23/439.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1753.23/439.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1753.23/439.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1753.23/439.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1753.23/439.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1753.23/439.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1753.63/439.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1787.95/448.02	c lits-rem:       535  cl-subs:     7692  v-elim:      0  v-fix:    0  time:  8.58 s
1787.95/448.02	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
1787.95/448.04	c vivif2 --  cl tried   100036 cl shrink        0 lits rem          0 time: 0.02
1788.35/448.14	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.10
1788.35/448.14	c calculated reachability. Time: 0.00
1788.35/448.14	c  N st    80   2211519       438      1898         0    100036      5762   1436380   no data   no data
2355.08/590.13	c  N st    81   2711519       438      1898         0    122509      5762   1736759   no data   no data
2355.08/590.13	c  S st    81   2711519       438      1898         0    122509      5762   1736759   no data   no data
2356.67/590.57	c  S st    81   2712022       438      1898         0    123012      5762   1748041   no data   no data
2356.67/590.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2357.07/590.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2357.07/590.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2357.07/590.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2357.07/590.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2357.07/590.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
2357.07/590.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2357.07/590.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2357.50/590.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2413.75/604.84	c lits-rem:      1127  cl-subs:    15959  v-elim:      0  v-fix:    0  time: 14.12 s
2413.75/604.84	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
2413.75/604.86	c vivif2 --  cl tried   107053 cl shrink        0 lits rem          0 time: 0.02
2414.15/604.99	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.13
2414.15/605.00	c calculated reachability. Time: 0.00
2414.15/605.00	c  N st    81   2712022       438      1898         0    107053      5762   1453548   no data   no data
3017.19/756.04	c  N st    82   3212023       438      1898         0     83736      5762    860725   no data   no data
3017.19/756.04	c  S st    82   3212023       438      1898         0     83736      5762    860725   no data   no data
3018.39/756.32	c  S st    82   3212524       438      1898         0     84234      5762    872062   no data   no data
3018.39/756.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3018.39/756.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3018.39/756.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3018.39/756.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3018.39/756.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3018.39/756.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3018.39/756.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3018.39/756.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3018.79/756.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3020.82/756.96	c lits-rem:       115  cl-subs:     1760  v-elim:      0  v-fix:    0  time:  0.56 s
3020.82/756.96	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
3020.82/756.98	c vivif2 --  cl tried    82474 cl shrink        0 lits rem          0 time: 0.01
3021.18/757.05	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.07
3021.18/757.05	c calculated reachability. Time: 0.00
3021.18/757.05	c  N st    82   3212524       438      1898         0     82474      5762    840217   no data   no data
3654.96/915.81	c  N st    83   3712527       438      1898         0     93026      5762    995549   no data   no data
3654.96/915.81	c  S st    83   3712527       438      1898         0     93026      5762    995549   no data   no data
3656.15/916.12	c  S st    83   3713035       438      1898         0     93533      5762   1007166   no data   no data
3656.15/916.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3656.15/916.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3656.15/916.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3656.15/916.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3656.15/916.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3656.15/916.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3656.15/916.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3656.15/916.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3656.55/916.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3659.75/917.03	c lits-rem:       232  cl-subs:     1873  v-elim:      0  v-fix:    0  time:  0.80 s
3659.75/917.03	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
3659.75/917.04	c vivif2 --  cl tried    91660 cl shrink        0 lits rem          0 time: 0.02
3660.15/917.13	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.08
3660.15/917.13	c calculated reachability. Time: 0.00
3660.15/917.13	c  N st    83   3713035       438      1898         0     91660      5762    968710   no data   no data
3709.24/929.48	c  F st    84   3751564       438      1898         0    128964      5762   1817731   no data   no data
3709.24/929.48	c  N st    84   3751564       438      1898         0    128964      5762   1817731   no data   no data
3718.84/931.83	c Decided on static restart strategy
3757.53/941.50	c  N st    94   3779870       438      1898         0    156382      5762   2428896   no data   no data
3801.85/952.70	c  N st    96   3815868       438      1898         0    109291      5762   1325947   no data   no data
3854.12/965.73	c  N st    97   3848260       438      1898         0    140683      5762   1997664   no data   no data
3945.51/988.62	c  N st    98   3896848       438      1898         0    104446      5762   1183645   no data   no data
4073.22/1020.67	c  N st    99   3969733       438      1898         0     90547      5762    867765   no data   no data
4230.47/1060.08	c  N st   100   4079056       438      1898         0    110977      5762   1245205   no data   no data
4425.22/1108.85	c  N st   101   4213041       438      1898         0    154690      5762   2216066   no data   no data
4425.22/1108.85	c  S st   101   4213041       438      1898         0    154690      5762   2216066   no data   no data
4427.58/1109.45	c  S st   101   4213543       438      1898         0    155191      5762   2227316   no data   no data
4427.58/1109.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4427.98/1109.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4427.98/1109.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4427.98/1109.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4427.98/1109.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4427.98/1109.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
4427.98/1109.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4427.98/1109.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4428.39/1109.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4501.02/1127.80	c lits-rem:       586  cl-subs:    13559  v-elim:      0  v-fix:    0  time: 18.16 s
4501.02/1127.80	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
4501.02/1127.83	c vivif2 --  cl tried   141632 cl shrink        0 lits rem          0 time: 0.03
4501.42/1127.99	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.16
4501.42/1127.99	c calculated reachability. Time: 0.00
4501.42/1127.99	c  N st   101   4213543       438      1898         0    141632      5762   1977749   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-3366348-1305402179/watcher-3366348-1305402179 -o /tmp/evaluation-result-3366348-1305402179/solver-3366348-1305402179 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366348-1305402179.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.54 7.97 8.02 7/294 27522
/proc/meminfo: memFree=24423100/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 407 0 0 0 1 0 0 0 21 0 4 0 632633762 52396032 347 33554432000 4194304 4580107 140735705197456 18446744073709551615 46971214927784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 12792 347 299 95 0 7774 0
[pid=27522/tid=27523] ppid=27520 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 632633762 52396032 347 33554432000 4194304 4580107 140735705197456 18446744073709551615 46971214927798 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 632633762 52396032 347 33554432000 4194304 4580107 140735705197456 18446744073709551615 46971214927794 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 632633762 52396032 347 33554432000 4194304 4580107 140735705197456 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.110531 s]
/proc/loadavg: 7.54 7.97 8.02 7/294 27522
/proc/meminfo: memFree=24423100/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=281852 CPUtime=0.41 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 1638 0 0 0 41 0 0 0 18 0 4 0 632633762 288616448 1547 33554432000 4194304 4580107 140735705197456 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 70463 1548 377 95 0 65445 0
[pid=27522/tid=27523] ppid=27520 vsize=281852 CPUtime=0.1 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 325 0 0 0 10 0 0 0 18 0 4 0 632633762 288616448 1548 33554432000 4194304 4580107 140735705197456 18446744073709551615 4320279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=281852 CPUtime=0.1 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 325 0 0 0 10 0 0 0 18 0 4 0 632633762 288616448 1548 33554432000 4194304 4580107 140735705197456 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=281852 CPUtime=0.09 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 271 0 0 0 9 0 0 0 24 0 4 0 632633762 288616448 1548 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 281852

[startup+0.200514 s]
/proc/loadavg: 7.54 7.97 8.02 7/294 27522
/proc/meminfo: memFree=24423100/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=283196 CPUtime=0.77 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 2199 0 0 0 77 0 0 0 18 0 4 0 632633762 289992704 1594 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 70799 1594 377 95 0 65781 0
[pid=27522/tid=27523] ppid=27520 vsize=283196 CPUtime=0.19 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 472 0 0 0 19 0 0 0 18 0 4 0 632633762 289992704 1594 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=283196 CPUtime=0.19 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 458 0 0 0 19 0 0 0 18 0 4 0 632633762 289992704 1594 33554432000 4194304 4580107 140735705197456 18446744073709551615 4296082 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=283196 CPUtime=0.18 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 414 0 0 0 18 0 0 0 24 0 4 0 632633762 289992704 1594 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283196

[startup+0.300496 s]
/proc/loadavg: 7.54 7.97 8.02 7/294 27522
/proc/meminfo: memFree=24423100/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=283196 CPUtime=1.17 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 2575 0 0 0 117 0 0 0 18 0 4 0 632633762 289992704 1970 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 70799 1970 377 95 0 65781 0
[pid=27522/tid=27523] ppid=27520 vsize=283196 CPUtime=0.29 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 569 0 0 0 29 0 0 0 18 0 4 0 632633762 289992704 1970 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=283196 CPUtime=0.29 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 550 0 0 0 29 0 0 0 18 0 4 0 632633762 289992704 1970 33554432000 4194304 4580107 140735705197456 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=283196 CPUtime=0.28 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 519 0 0 0 28 0 0 0 25 0 4 0 632633762 289992704 1970 33554432000 4194304 4580107 140735705197456 18446744073709551615 4295925 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) 283196

[startup+0.700424 s]
/proc/loadavg: 7.54 7.97 8.02 7/294 27522
/proc/meminfo: memFree=24423100/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=284296 CPUtime=2.78 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 4400 0 0 0 277 1 0 0 18 0 4 0 632633762 291119104 2274 33554432000 4194304 4580107 140735705197456 18446744073709551615 4296101 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 71074 2274 377 95 0 66056 0
[pid=27522/tid=27523] ppid=27520 vsize=284296 CPUtime=0.69 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 1061 0 0 0 69 0 0 0 18 0 4 0 632633762 291119104 2274 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=284296 CPUtime=0.69 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 1028 0 0 0 69 0 0 0 18 0 4 0 632633762 291119104 2274 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=284296 CPUtime=0.68 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 1020 0 0 0 68 0 0 0 25 0 4 0 632633762 291119104 2275 33554432000 4194304 4580107 140735705197456 18446744073709551615 4295385 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284296

[startup+1.50028 s]
/proc/loadavg: 7.82 8.02 8.03 10/298 27526
/proc/meminfo: memFree=24403360/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=284968 CPUtime=5.97 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 8065 0 0 0 595 2 0 0 20 0 4 0 632633762 291807232 4300 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 71242 4300 379 95 0 66224 0
[pid=27522/tid=27523] ppid=27520 vsize=284968 CPUtime=1.49 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 1637 0 0 0 149 0 0 0 20 0 4 0 632633762 291807232 4300 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=284968 CPUtime=1.49 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 1612 0 0 0 149 0 0 0 19 0 4 0 632633762 291807232 4300 33554432000 4194304 4580107 140735705197456 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=284968 CPUtime=1.47 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 1612 0 0 0 147 0 0 0 25 0 4 0 632633762 291807232 4300 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294624 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) 284968

[startup+3.10098 s]
/proc/loadavg: 7.82 8.02 8.03 9/298 27526
/proc/meminfo: memFree=24370128/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=286360 CPUtime=12.35 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 16726 0 0 0 1232 3 0 0 25 0 4 0 632633762 293232640 7900 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 71590 7900 379 95 0 66572 0
[pid=27522/tid=27523] ppid=27520 vsize=286360 CPUtime=3.09 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 3749 0 0 0 309 0 0 0 25 0 4 0 632633762 293232640 7900 33554432000 4194304 4580107 140735705197456 18446744073709551615 4321650 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=286360 CPUtime=3.09 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 4553 0 0 0 308 1 0 0 25 0 4 0 632633762 293232640 7900 33554432000 4194304 4580107 140735705197456 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=286360 CPUtime=3.06 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 3984 0 0 0 306 0 0 0 25 0 4 0 632633762 293232640 7900 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 286360

[startup+6.3004 s]
/proc/loadavg: 7.82 8.02 8.03 9/298 27526
/proc/meminfo: memFree=24338444/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=288540 CPUtime=25.12 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 26681 0 0 0 2507 5 0 0 25 0 4 0 632633762 295464960 11495 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 72135 11495 379 95 0 67117 0
[pid=27522/tid=27523] ppid=27520 vsize=288540 CPUtime=6.29 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 6879 0 0 0 628 1 0 0 25 0 4 0 632633762 295464960 11495 33554432000 4194304 4580107 140735705197456 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=288540 CPUtime=6.28 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 7528 0 0 0 627 1 0 0 25 0 4 0 632633762 295464960 11495 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=288540 CPUtime=6.23 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 5808 0 0 0 622 1 0 0 25 0 4 0 632633762 295464960 11495 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 288540

[startup+12.7002 s]
/proc/loadavg: 7.85 8.02 8.03 9/298 27526
/proc/meminfo: memFree=24295076/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=289664 CPUtime=50.66 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 42473 0 0 0 5058 8 0 0 25 0 4 0 632633762 296615936 16621 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 72416 16621 379 95 0 67398 0
[pid=27522/tid=27523] ppid=27520 vsize=289664 CPUtime=12.68 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 10508 0 0 0 1267 1 0 0 25 0 4 0 632633762 296615936 16621 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=289664 CPUtime=12.69 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 10353 0 0 0 1267 2 0 0 25 0 4 0 632633762 296615936 16621 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=289664 CPUtime=12.57 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 10055 0 0 0 1256 1 0 0 25 0 4 0 632633762 296615936 16621 33554432000 4194304 4580107 140735705197456 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 289664

[startup+25.5009 s]
/proc/loadavg: 7.95 8.04 8.04 9/298 27526
/proc/meminfo: memFree=24257984/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=282984 CPUtime=101.75 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 64192 0 0 0 10161 14 0 0 25 0 4 0 632633762 289775616 21955 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 70746 21955 379 95 0 65728 0
[pid=27522/tid=27523] ppid=27520 vsize=282984 CPUtime=25.49 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 16365 0 0 0 2546 3 0 0 25 0 4 0 632633762 289775616 21955 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=282984 CPUtime=25.49 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 16407 0 0 0 2545 4 0 0 25 0 4 0 632633762 289775616 21955 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=282984 CPUtime=25.25 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 14767 0 0 0 2522 3 0 0 25 0 4 0 632633762 289775616 21955 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 282984

[startup+51.1011 s]
/proc/loadavg: 7.97 8.03 8.04 9/298 27527
/proc/meminfo: memFree=24205840/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=296368 CPUtime=203.92 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 98122 0 0 0 20371 21 0 0 25 0 4 0 632633762 303480832 29497 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 74092 29497 379 95 0 69074 0
[pid=27522/tid=27523] ppid=27520 vsize=296368 CPUtime=51.08 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 25947 0 0 0 5104 4 0 0 25 0 4 0 632633762 303480832 29497 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=296368 CPUtime=51.09 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 25106 0 0 0 5103 6 0 0 25 0 4 0 632633762 303480832 29497 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=296368 CPUtime=50.62 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 22341 0 0 0 5058 4 0 0 25 0 4 0 632633762 303480832 29497 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 296368

[startup+102.301 s]
/proc/loadavg: 8.04 8.04 8.04 9/298 27529
/proc/meminfo: memFree=24143576/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=298892 CPUtime=408.28 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 151378 0 0 0 40788 40 0 0 25 0 4 0 632633762 306065408 37418 33554432000 4194304 4580107 140735705197456 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 74723 37418 379 95 0 69705 0
[pid=27522/tid=27523] ppid=27520 vsize=298892 CPUtime=102.29 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 38462 0 0 0 10220 9 0 0 25 0 4 0 632633762 306065408 37418 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=298892 CPUtime=102.29 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 36795 0 0 0 10220 9 0 0 25 0 4 0 632633762 306065408 37418 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=298892 CPUtime=101.37 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 35808 0 0 0 10127 10 0 0 25 0 4 0 632633762 306065408 37418 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 298892

[startup+162.301 s]

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

[pid=27522] ppid=27520 vsize=545720 CPUtime=2802.87 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 490446 0 0 0 280103 184 0 0 25 0 4 0 632633762 558817280 79101 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 136430 79101 379 95 0 131412 0
[pid=27522/tid=27523] ppid=27520 vsize=545720 CPUtime=702.3 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 122706 0 0 0 70183 47 0 0 25 0 4 0 632633762 558817280 79101 33554432000 4194304 4580107 140735705197456 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=545720 CPUtime=702.3 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 123974 0 0 0 70183 47 0 0 25 0 4 0 632633762 558817280 79101 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=545720 CPUtime=695.92 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 122294 0 0 0 69547 45 0 0 25 0 4 0 632633762 558817280 79101 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.87
Current children cumulated vsize (KiB) 545720

[startup+762.301 s]
/proc/loadavg: 8.17 8.13 8.08 9/298 27546
/proc/meminfo: memFree=23766756/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=533876 CPUtime=3042.36 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 513623 0 0 0 304042 194 0 0 25 0 4 0 632633762 546689024 76649 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 133469 76649 379 95 0 128451 0
[pid=27522/tid=27523] ppid=27520 vsize=533876 CPUtime=762.31 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 128547 0 0 0 76181 50 0 0 25 0 4 0 632633762 546689024 76649 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=533876 CPUtime=762.32 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 131718 0 0 0 76181 51 0 0 25 0 4 0 632633762 546689024 76649 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=533876 CPUtime=755.38 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 126804 0 0 0 75491 47 0 0 25 0 4 0 632633762 546689024 76649 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.36
Current children cumulated vsize (KiB) 533876

[startup+822.301 s]
/proc/loadavg: 8.24 8.15 8.09 9/298 27548
/proc/meminfo: memFree=23721592/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=535432 CPUtime=3281.79 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 541001 0 0 0 327975 204 0 0 25 0 4 0 632633762 548282368 87491 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 133858 87491 379 95 0 128840 0
[pid=27522/tid=27523] ppid=27520 vsize=535432 CPUtime=822.3 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 135917 0 0 0 82178 52 0 0 25 0 4 0 632633762 548282368 87491 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=535432 CPUtime=822.31 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 140609 0 0 0 82176 55 0 0 25 0 4 0 632633762 548282368 87491 33554432000 4194304 4580107 140735705197456 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=535432 CPUtime=814.84 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 131767 0 0 0 81436 48 0 0 25 0 4 0 632633762 548282368 87491 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.79
Current children cumulated vsize (KiB) 535432

[startup+882.311 s]
/proc/loadavg: 8.22 8.16 8.10 9/298 27549
/proc/meminfo: memFree=23729748/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=576440 CPUtime=3521.29 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 563148 0 0 0 351913 216 0 0 25 0 4 0 632633762 590274560 85682 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 144110 85683 379 95 0 139092 0
[pid=27522/tid=27523] ppid=27520 vsize=576440 CPUtime=882.32 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 141897 0 0 0 88176 56 0 0 25 0 4 0 632633762 590274560 85683 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=576440 CPUtime=882.32 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 146737 0 0 0 88174 58 0 0 25 0 4 0 632633762 590274560 85683 33554432000 4194304 4580107 140735705197456 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=576440 CPUtime=874.3 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 137974 0 0 0 87379 51 0 0 25 0 4 0 632633762 590274560 85683 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.29
Current children cumulated vsize (KiB) 576440

[startup+942.301 s]
/proc/loadavg: 8.20 8.16 8.10 9/298 27551
/proc/meminfo: memFree=23745464/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=551328 CPUtime=3760.72 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 588579 0 0 0 375842 230 0 0 25 0 4 0 632633762 564559872 89301 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 137832 89301 379 95 0 132814 0
[pid=27522/tid=27523] ppid=27520 vsize=551328 CPUtime=942.31 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 147944 0 0 0 94171 60 0 0 25 0 4 0 632633762 564559872 89301 33554432000 4194304 4580107 140735705197456 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=551328 CPUtime=942.31 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 152911 0 0 0 94169 62 0 0 25 0 4 0 632633762 564559872 89301 33554432000 4194304 4580107 140735705197456 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=551328 CPUtime=933.75 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 143994 0 0 0 93321 54 0 0 25 0 4 0 632633762 564559872 89301 33554432000 4194304 4580107 140735705197456 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.72
Current children cumulated vsize (KiB) 551328

[startup+1002.3 s]
/proc/loadavg: 8.19 8.16 8.10 9/298 27553
/proc/meminfo: memFree=23696096/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=564216 CPUtime=4000.18 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 608739 0 0 0 399780 238 0 0 25 0 4 0 632633762 577757184 93658 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 141054 93658 379 95 0 136036 0
[pid=27522/tid=27523] ppid=27520 vsize=564216 CPUtime=1002.31 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 153114 0 0 0 100170 61 0 0 25 0 4 0 632633762 577757184 93658 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=564216 CPUtime=1002.31 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 157861 0 0 0 100167 64 0 0 25 0 4 0 632633762 577757184 93658 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=564216 CPUtime=993.2 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 148677 0 0 0 99265 55 0 0 25 0 4 0 632633762 577757184 93658 33554432000 4194304 4580107 140735705197456 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.18
Current children cumulated vsize (KiB) 564216

[startup+1062.3 s]
/proc/loadavg: 8.12 8.14 8.09 9/298 27554
/proc/meminfo: memFree=23653660/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=564292 CPUtime=4239.64 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 624639 0 0 0 423717 247 0 0 25 0 4 0 632633762 577835008 103197 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 141073 103197 379 95 0 136055 0
[pid=27522/tid=27523] ppid=27520 vsize=564292 CPUtime=1062.31 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 155950 0 0 0 106168 63 0 0 25 0 4 0 632633762 577835008 103197 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=564292 CPUtime=1062.32 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 160326 0 0 0 106166 66 0 0 25 0 4 0 632633762 577835008 103197 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=564292 CPUtime=1052.66 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 153654 0 0 0 105208 58 0 0 25 0 4 0 632633762 577835008 103197 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.64
Current children cumulated vsize (KiB) 564292

[startup+1122.3 s]
/proc/loadavg: 8.08 8.13 8.09 9/298 27565
/proc/meminfo: memFree=23654096/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=577324 CPUtime=4479.06 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 641370 0 0 0 447650 256 0 0 25 0 4 0 632633762 591179776 104697 33554432000 4194304 4580107 140735705197456 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 144331 104697 379 95 0 139313 0
[pid=27522/tid=27523] ppid=27520 vsize=577324 CPUtime=1122.32 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 159662 0 0 0 112167 65 0 0 25 0 4 0 632633762 591179776 104697 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=577324 CPUtime=1122.3 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 165759 0 0 0 112161 69 0 0 25 0 4 0 632633762 591179776 104697 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=577324 CPUtime=1112.09 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 156457 0 0 0 111149 60 0 0 25 0 4 0 632633762 591179776 104697 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4479.06
Current children cumulated vsize (KiB) 577324

[startup+1182.3 s]
/proc/loadavg: 8.07 8.11 8.09 9/298 27566
/proc/meminfo: memFree=23661140/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=577744 CPUtime=4718.51 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 656553 0 0 0 471585 266 0 0 25 0 4 0 632633762 591609856 96381 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 144436 96381 379 95 0 139418 0
[pid=27522/tid=27523] ppid=27520 vsize=577744 CPUtime=1182.32 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 159666 0 0 0 118167 65 0 0 25 0 4 0 632633762 591609856 96381 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=577744 CPUtime=1182.3 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 171437 0 0 0 118157 73 0 0 25 0 4 0 632633762 591609856 96381 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=577744 CPUtime=1171.55 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 160574 0 0 0 117092 63 0 0 25 0 4 0 632633762 591609856 96381 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4718.51
Current children cumulated vsize (KiB) 577744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.05 8.11 8.09 5/294 27568
/proc/meminfo: memFree=24017512/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=577744 CPUtime=4800.36 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 661446 0 0 0 479767 269 0 0 25 0 4 0 632633762 591609856 101274 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 144436 101274 379 95 0 139418 0
[pid=27522/tid=27523] ppid=27520 vsize=577744 CPUtime=1202.82 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 161795 0 0 0 120217 65 0 0 25 0 4 0 632633762 591609856 101275 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=577744 CPUtime=1202.81 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 172781 0 0 0 120207 74 0 0 25 0 4 0 632633762 591609856 101275 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=577744 CPUtime=1191.86 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 160699 0 0 0 119123 63 0 0 25 0 4 0 632633762 591609856 101275 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 577744

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

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

[startup+1202.8 s]
/proc/loadavg: 8.05 8.11 8.09 5/294 27568
/proc/meminfo: memFree=24017512/32951124 swapFree=63485424/67111528
[pid=27522] ppid=27520 vsize=577744 CPUtime=4800.36 cores=1,3,5,7
/proc/27522/stat : 27522 (strangenight2-m) R 27520 27522 27184 0 -1 4202496 661446 0 0 0 479767 269 0 0 25 0 4 0 632633762 591609856 101274 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27522/statm: 144436 101274 379 95 0 139418 0
[pid=27522/tid=27523] ppid=27520 vsize=577744 CPUtime=1202.82 cores=1,3,5,7
/proc/27522/task/27523/stat : 27523 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 161795 0 0 0 120217 65 0 0 25 0 4 0 632633762 591609856 101275 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27522/tid=27524] ppid=27520 vsize=577744 CPUtime=1202.81 cores=1,3,5,7
/proc/27522/task/27524/stat : 27524 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 172781 0 0 0 120207 74 0 0 25 0 4 0 632633762 591609856 101275 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27522/tid=27525] ppid=27520 vsize=577744 CPUtime=1191.86 cores=1,3,5,7
/proc/27522/task/27525/stat : 27525 (strangenight2-m) R 27520 27522 27184 0 -1 4202560 160699 0 0 0 119123 63 0 0 25 0 4 0 632633762 591609856 101275 33554432000 4194304 4580107 140735705197456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 577744

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.83
CPU time (s): 4800.41
CPU user time (s): 4797.7
CPU system time (s): 2.71159
CPU usage (%): 399.092
Max. virtual memory (cumulated for all children) (KiB): 629404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.7
system time used= 2.71159
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 661447
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= 403
involuntary context switches= 19248

runsolver used 2.90956 second user time and 8.08277 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-14 21:42:59
IDJOB=3366348
IDBENCH=82757
IDSOLVER=1844
FILE ID=node147/3366348-1305402179
RUNJOBID= node147-1305402178-27500
PBS_JOBID= 13324491
Free space on /tmp= 73104 MiB

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

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

MD5SUM BENCH= f9acc85431fa3756e8067132423a3a4a
RANDOM SEED=12629044

node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24423380 kB
Buffers:        288448 kB
Cached:        4974296 kB
SwapCached:      13132 kB
Active:        1635312 kB
Inactive:      6660420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24423380 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:           10964 kB
Writeback:           0 kB
AnonPages:     3028016 kB
Mapped:          15216 kB
Slab:           140712 kB
PageTables:      29028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44915960 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= 73096 MiB
End job on node147 at 2011-05-14 22:03:03