Trace number 3173939

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

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.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-3173939-1304073872.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	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.01	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     189 undec:      45 neg:     216
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       439      1907         0         0      5789         0   no data   no data
0.00/0.05	c Decided on static restart strategy
0.37/0.14	c  N st     8      4920       439      1907         0      4804      5789    100281   no data   no data
1.57/0.40	c  N st    10     11303       439      1907         0      4429      5789     70552   no data   no data
2.37/0.64	c  N st    11     17047       439      1907         0      9996      5789    183020   no data   no data
3.98/1.02	c  F st    12     25000       439      1907         0     12335      5789    240367   no data   no data
3.98/1.02	c  N st    12     25000       439      1907         0     12335      5789    240367   no data   no data
4.76/1.27	c Decided on static restart strategy
4.76/1.27	c  N st    18     30001       439      1907         0     10617      5789    178653   no data   no data
4.76/1.27	c  S st    18     30001       439      1907         0     10617      5789    178653   no data   no data
5.16/1.30	c  S st    18     30504       439      1907         0     11120      5789    189078   no data   no data
5.16/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.31	c blocked clauses removed:        9 vars:      1 tried:         439 T: 0.00 s
5.16/1.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
5.16/1.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  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.39	c lits-rem:       162  cl-subs:      965  v-elim:      0  v-fix:    0  time:  0.07 s
5.16/1.39	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.00
5.16/1.39	c calculated reachability. Time: 0.00
5.16/1.39	c  N st    18     30504       438      1898         0     10154      5762    168860   no data   no data
6.76/1.79	c  N st    20     37615       438      1898         0      9404      5762    140489   no data   no data
8.38/2.16	c  N st    21     44014       438      1898         0     15618      5762    270919   no data   no data
8.78/2.25	c  S st    22     45756       438      1898         0     17333      5762    310132   no data   no data
9.16/2.30	c  S st    22     46264       438      1898         0      9140      5762    120938   no data   no data
9.16/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
9.16/2.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.31	c lits-rem:        20  cl-subs:      119  v-elim:      0  v-fix:    0  time:  0.01 s
9.16/2.31	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
9.16/2.32	c vivif2 --  cl tried     9021 cl shrink        0 lits rem          0 time: 0.00
9.16/2.32	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.00
9.16/2.32	c calculated reachability. Time: 0.00
9.16/2.32	c  N st    22     46264       438      1898         0      9021      5762    118578   no data   no data
12.77/3.26	c  N st    23     60661       438      1898         0     13371      5762    200436   no data   no data
15.15/3.87	c  N st    24     69397       438      1898         0     11169      5762    146947   no data   no data
15.15/3.87	c  S st    24     69397       438      1898         0     11169      5762    146947   no data   no data
15.55/3.91	c  S st    24     69901       438      1898         0     11671      5762    157946   no data   no data
15.55/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.55/3.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
15.55/3.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.93	c lits-rem:        29  cl-subs:      171  v-elim:      0  v-fix:    0  time:  0.01 s
15.55/3.93	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
15.55/3.93	c vivif2 --  cl tried    11500 cl shrink        0 lits rem          0 time: 0.00
15.55/3.94	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
15.55/3.94	c calculated reachability. Time: 0.00
15.55/3.94	c  N st    24     69901       438      1898         0     11500      5762    154138   no data   no data
20.35/5.17	c  F st    25     87500       438      1898         0     16920      5762    268062   no data   no data
20.35/5.18	c  N st    25     87500       438      1898         0     16920      5762    268062   no data   no data
21.96/5.54	c Decided on static restart strategy
22.74/5.78	c  N st    32     95546       438      1898         0     24768      5762    439070   no data   no data
25.54/6.48	c  N st    34    104851       438      1898         0     21220      5762    350186   no data   no data
25.54/6.48	c  S st    34    104851       438      1898         0     21220      5762    350186   no data   no data
25.95/6.53	c  S st    34    105353       438      1898         0     21721      5762    360643   no data   no data
25.95/6.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.95/6.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.95/6.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.95/6.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
25.95/6.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.95/6.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.73/6.71	c lits-rem:       189  cl-subs:      859  v-elim:      0  v-fix:    0  time:  0.15 s
26.73/6.71	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
26.73/6.72	c vivif2 --  cl tried    20862 cl shrink        0 lits rem          0 time: 0.00
26.73/6.73	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
26.73/6.73	c calculated reachability. Time: 0.00
26.73/6.73	c  N st    34    105353       438      1898         0     20862      5762    340499   no data   no data
29.53/7.48	c  N st    35    114952       438      1898         0     16577      5762    224156   no data   no data
34.74/8.71	c  N st    36    129349       438      1898         0     15974      5762    195779   no data   no data
41.91/10.57	c  N st    37    150945       438      1898         0     21404      5762    301830   no data   no data
44.71/11.20	c  S st    38    158031       438      1898         0     28293      5762    437283   no data   no data
44.71/11.27	c  S st    38    158534       438      1898         0     28795      5762    447723   no data   no data
44.71/11.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.71/11.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.71/11.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.71/11.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.71/11.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.71/11.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
44.71/11.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.71/11.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.71/11.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.31/11.60	c lits-rem:       296  cl-subs:     1799  v-elim:      0  v-fix:    0  time:  0.30 s
46.31/11.60	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
46.31/11.61	c vivif2 --  cl tried    26996 cl shrink        0 lits rem          0 time: 0.01
46.31/11.62	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
46.31/11.62	c calculated reachability. Time: 0.00
46.31/11.62	c  N st    38    158534       438      1898         0     26996      5762    413491   no data   no data
64.28/16.19	c  N st    39    207125       438      1898         0     21762      5762    275042   no data   no data
75.88/19.07	c  N st    40    237801       438      1898         0     32306      5762    505057   no data   no data
75.88/19.07	c  S st    40    237801       438      1898         0     32306      5762    505057   no data   no data
76.28/19.18	c  S st    40    238304       438      1898         0     32807      5762    516193   no data   no data
76.28/19.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.28/19.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.28/19.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.28/19.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.28/19.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.28/19.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
76.28/19.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.67/19.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.67/19.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.87/19.55	c lits-rem:       181  cl-subs:     1169  v-elim:      0  v-fix:    0  time:  0.34 s
77.87/19.55	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
77.87/19.56	c vivif2 --  cl tried    31638 cl shrink        0 lits rem          0 time: 0.01
77.87/19.58	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.02
77.87/19.58	c calculated reachability. Time: 0.00
77.87/19.58	c  N st    40    238304       438      1898         0     31638      5762    491523   no data   no data
109.84/27.54	c  F st    41    306250       438      1898         0     33199      5762    449710   no data   no data
109.84/27.54	c  N st    41    306250       438      1898         0     33199      5762    449710   no data   no data
112.62/28.23	c Decided on static restart strategy
124.60/31.23	c  N st    51    334550       438      1898         0     37367      5762    523721   no data   no data
135.81/34.10	c  N st    53    357456       438      1898         0     35332      5762    484607   no data   no data
135.81/34.10	c  S st    53    357456       438      1898         0     35332      5762    484607   no data   no data
136.21/34.18	c  S st    53    357957       438      1898         0     35833      5762    495193   no data   no data
136.21/34.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.21/34.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.21/34.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.21/34.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.21/34.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.21/34.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
136.21/34.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.58/34.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.58/34.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.19/34.64	c lits-rem:       259  cl-subs:     2113  v-elim:      0  v-fix:    0  time:  0.42 s
138.19/34.64	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
138.19/34.64	c vivif2 --  cl tried    33720 cl shrink        0 lits rem          0 time: 0.01
138.19/34.66	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.02
138.19/34.67	c calculated reachability. Time: 0.00
138.19/34.67	c  N st    53    357957       438      1898         0     33720      5762    455061   no data   no data
153.38/38.41	c  N st    54    390350       438      1898         0     40096      5762    596495   no data   no data
179.33/45.00	c  N st    55    438940       438      1898         0     33939      5762    418310   no data   no data
217.68/54.60	c  N st    56    511822       438      1898         0     47428      5762    714875   no data   no data
230.86/57.86	c  N st    57    536936       438      1898         0     41615      5762    538951   no data   no data
230.86/57.86	c  S st    57    536936       438      1898         0     41615      5762    538951   no data   no data
231.26/57.96	c  S st    57    537442       438      1898         0     42119      5762    549735   no data   no data
231.26/57.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
231.26/57.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
231.26/57.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
231.26/57.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
231.26/57.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.26/57.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
231.26/57.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
231.26/57.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
231.66/58.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
233.66/58.54	c lits-rem:       181  cl-subs:     2365  v-elim:      0  v-fix:    0  time:  0.54 s
233.66/58.54	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
233.66/58.55	c vivif2 --  cl tried    39754 cl shrink        0 lits rem          0 time: 0.01
233.66/58.57	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.02
233.66/58.58	c calculated reachability. Time: 0.00
233.66/58.58	c  N st    57    537442       438      1898         0     39754      5762    504726   no data   no data
332.32/83.26	c  N st    58    701427       438      1898         0     68710      5762   1058805   no data   no data
399.45/100.05	c  N st    59    806163       438      1898         0     62656      5762    910935   no data   no data
399.45/100.05	c  S st    59    806163       438      1898         0     62656      5762    910935   no data   no data
400.23/100.25	c  S st    59    806668       438      1898         0     63159      5762    921908   no data   no data
400.23/100.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
400.23/100.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
400.23/100.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
400.23/100.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
400.23/100.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
400.23/100.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
400.23/100.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
400.23/100.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
400.63/100.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
410.62/102.81	c lits-rem:       616  cl-subs:     5613  v-elim:      0  v-fix:    0  time:  2.49 s
410.62/102.81	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
410.62/102.82	c vivif2 --  cl tried    57546 cl shrink        0 lits rem          0 time: 0.01
410.62/102.87	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.04
410.62/102.87	c calculated reachability. Time: 0.00
410.62/102.87	c  N st    59    806668       438      1898         0     57546      5762    811535   no data   no data
613.94/153.71	c  F st    60   1071876       438      1898         0     73113      5762   1004977   no data   no data
613.94/153.71	c  N st    60   1071876       438      1898         0     73113      5762   1004977   no data   no data
618.34/154.85	c Decided on static restart strategy
637.14/159.51	c  N st    70   1100183       438      1898         0     57206      5762    698332   no data   no data
672.66/168.45	c  N st    72   1136177       438      1898         0     47545      5762    471225   no data   no data
697.43/174.67	c  N st    73   1168569       438      1898         0     78815      5762   1096664   no data   no data
734.18/183.87	c  N st    74   1210002       438      1898         0     73614      5762   1018716   no data   no data
734.18/183.87	c  S st    74   1210002       438      1898         0     73614      5762   1018716   no data   no data
735.38/184.16	c  S st    74   1210510       438      1898         0     74120      5762   1030196   no data   no data
735.38/184.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
735.78/184.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
735.78/184.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
735.78/184.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
735.78/184.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
735.78/184.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
735.78/184.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
735.78/184.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
735.78/184.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
750.56/187.90	c lits-rem:       814  cl-subs:     4579  v-elim:      0  v-fix:    0  time:  3.65 s
750.56/187.90	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
750.56/187.92	c vivif2 --  cl tried    69541 cl shrink        0 lits rem          0 time: 0.01
750.56/187.99	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.07
750.97/188.00	c calculated reachability. Time: 0.00
750.97/188.00	c  N st    74   1210510       438      1898         0     69541      5762    942885   no data   no data
821.69/205.73	c  N st    75   1283393       438      1898         0     93810      5762   1504337   no data   no data
927.14/232.13	c  N st    76   1392718       438      1898         0     54395      5762    555525   no data   no data
1080.94/270.62	c  N st    77   1556702       438      1898         0     59073      5762    618713   no data   no data
1219.14/305.28	c  N st    78   1710510       438      1898         0    100327      5762   1459798   no data   no data
1219.14/305.28	c  S st    78   1710510       438      1898         0    100327      5762   1459798   no data   no data
1220.33/305.59	c  S st    78   1711011       438      1898         0    100825      5762   1471043   no data   no data
1220.73/305.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1220.73/305.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1220.73/305.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1220.73/305.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1220.73/305.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1220.73/305.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1220.73/305.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1220.73/305.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1221.15/305.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1251.91/313.45	c lits-rem:       659  cl-subs:     9873  v-elim:      0  v-fix:    0  time:  7.74 s
1251.91/313.45	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
1251.91/313.48	c vivif2 --  cl tried    90952 cl shrink        0 lits rem          0 time: 0.02
1252.31/313.56	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.08
1252.31/313.56	c calculated reachability. Time: 0.00
1252.31/313.56	c  N st    78   1711011       438      1898         0     90952      5762   1291860   no data   no data
1621.78/406.01	c  N st    79   2079975       438      1898         0    103023      5762   1525419   no data   no data
1750.42/438.25	c  N st    80   2211013       438      1898         0    107223      5762   1587572   no data   no data
1750.42/438.25	c  S st    80   2211013       438      1898         0    107223      5762   1587572   no data   no data
1752.02/438.61	c  S st    80   2211519       438      1898         0    107728      5762   1598459   no data   no data
1752.02/438.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1752.02/438.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1752.02/438.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1752.02/438.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1752.02/438.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1752.02/438.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1752.02/438.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1752.02/438.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1752.42/438.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1786.37/447.23	c lits-rem:       535  cl-subs:     7692  v-elim:      0  v-fix:    0  time:  8.49 s
1786.37/447.23	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
1786.37/447.26	c vivif2 --  cl tried   100036 cl shrink        0 lits rem          0 time: 0.02
1786.77/447.35	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.10
1786.77/447.36	c calculated reachability. Time: 0.00
1786.77/447.36	c  N st    80   2211519       438      1898         0    100036      5762   1436380   no data   no data
2354.00/589.38	c  N st    81   2711519       438      1898         0    122509      5762   1736759   no data   no data
2354.00/589.38	c  S st    81   2711519       438      1898         0    122509      5762   1736759   no data   no data
2355.99/589.81	c  S st    81   2712022       438      1898         0    123012      5762   1748041   no data   no data
2355.99/589.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2355.99/589.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2355.99/589.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2355.99/589.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2355.99/589.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2355.99/589.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
2355.99/589.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2356.39/589.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2356.39/589.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2413.12/604.14	c lits-rem:      1127  cl-subs:    15959  v-elim:      0  v-fix:    0  time: 14.17 s
2413.12/604.14	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
2413.12/604.16	c vivif2 --  cl tried   107053 cl shrink        0 lits rem          0 time: 0.02
2413.52/604.27	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.11
2413.52/604.28	c calculated reachability. Time: 0.00
2413.52/604.28	c  N st    81   2712022       438      1898         0    107053      5762   1453548   no data   no data
3016.71/755.27	c  N st    82   3212023       438      1898         0     83736      5762    860725   no data   no data
3016.71/755.27	c  S st    82   3212023       438      1898         0     83736      5762    860725   no data   no data
3017.91/755.56	c  S st    82   3212524       438      1898         0     84234      5762    872062   no data   no data
3017.91/755.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3017.91/755.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3017.91/755.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3017.91/755.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3017.91/755.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3017.91/755.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3017.91/755.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3018.33/755.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3018.33/755.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3020.70/756.22	c lits-rem:       115  cl-subs:     1760  v-elim:      0  v-fix:    0  time:  0.58 s
3020.70/756.22	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
3020.70/756.24	c vivif2 --  cl tried    82474 cl shrink        0 lits rem          0 time: 0.01
3021.10/756.31	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.07
3021.10/756.32	c calculated reachability. Time: 0.00
3021.10/756.32	c  N st    82   3212524       438      1898         0     82474      5762    840217   no data   no data
3649.86/913.79	c  N st    83   3712527       438      1898         0     93026      5762    995549   no data   no data
3649.86/913.79	c  S st    83   3712527       438      1898         0     93026      5762    995549   no data   no data
3651.08/914.10	c  S st    83   3713035       438      1898         0     93533      5762   1007166   no data   no data
3651.48/914.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3651.48/914.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3651.48/914.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3651.48/914.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3651.48/914.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3651.48/914.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3651.48/914.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3651.48/914.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3651.86/914.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3655.06/915.02	c lits-rem:       232  cl-subs:     1873  v-elim:      0  v-fix:    0  time:  0.82 s
3655.06/915.02	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
3655.06/915.04	c vivif2 --  cl tried    91660 cl shrink        0 lits rem          0 time: 0.02
3655.47/915.12	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.09
3655.47/915.13	c calculated reachability. Time: 0.00
3655.47/915.13	c  N st    83   3713035       438      1898         0     91660      5762    968710   no data   no data
3704.58/927.48	c  F st    84   3751564       438      1898         0    128964      5762   1817731   no data   no data
3704.58/927.48	c  N st    84   3751564       438      1898         0    128964      5762   1817731   no data   no data
3714.17/929.80	c Decided on static restart strategy
3752.54/939.42	c  N st    94   3779870       438      1898         0    156382      5762   2428896   no data   no data
3803.26/952.12	c  N st    96   3815868       438      1898         0    109291      5762   1325947   no data   no data
3853.60/964.77	c  N st    97   3848260       438      1898         0    140683      5762   1997664   no data   no data
3934.27/984.92	c  N st    98   3896848       438      1898         0    104446      5762   1183645   no data   no data
4061.69/1016.83	c  N st    99   3969733       438      1898         0     90547      5762    867765   no data   no data
4217.90/1055.92	c  N st   100   4079056       438      1898         0    110977      5762   1245205   no data   no data
4412.42/1104.65	c  N st   101   4213041       438      1898         0    154690      5762   2216066   no data   no data
4412.42/1104.65	c  S st   101   4213041       438      1898         0    154690      5762   2216066   no data   no data
4414.82/1105.25	c  S st   101   4213543       438      1898         0    155191      5762   2227316   no data   no data
4414.82/1105.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4415.22/1105.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4415.22/1105.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4415.22/1105.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4415.22/1105.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4415.22/1105.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
4415.22/1105.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4415.22/1105.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4415.64/1105.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4487.92/1123.50	c lits-rem:       586  cl-subs:    13559  v-elim:      0  v-fix:    0  time: 18.06 s
4487.92/1123.50	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
4487.92/1123.53	c vivif2 --  cl tried   141632 cl shrink        0 lits rem          0 time: 0.03
4488.32/1123.69	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.16
4488.71/1123.70	c calculated reachability. Time: 0.00
4488.71/1123.70	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: 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-3173939-1304073872/watcher-3173939-1304073872 -o /tmp/evaluation-result-3173939-1304073872/solver-3173939-1304073872 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173939-1304073872.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.62 7.97 6.85 3/176 32471
/proc/meminfo: memFree=30868916/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 414 0 0 0 0 0 0 0 23 0 4 0 518985094 52441088 353 33554432000 4194304 4627427 140733576165968 18446744073709551615 46983460472754 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 12803 353 303 106 0 7774 0
[pid=32471/tid=32472] ppid=32469 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 518985094 52441088 353 33554432000 4194304 4627427 140733576165968 18446744073709551615 46983460472748 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 4 0 518985094 52441088 353 33554432000 4194304 4627427 140733576165968 18446744073709551615 271550537659 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 518985094 52441088 353 33554432000 4194304 4627427 140733576165968 18446744073709551615 271545584726 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.062455 s]
/proc/loadavg: 7.62 7.97 6.85 3/176 32471
/proc/meminfo: memFree=30868916/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=282540 CPUtime=0.22 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 1430 0 0 0 22 0 0 0 18 0 4 0 518985094 289320960 1322 33554432000 4194304 4627427 140733576165968 18446744073709551615 4332314 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 70635 1322 384 106 0 65606 0
[pid=32471/tid=32472] ppid=32469 vsize=282540 CPUtime=0.05 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 256 0 0 0 5 0 0 0 25 0 4 0 518985094 289320960 1322 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=282540 CPUtime=0.05 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 275 0 0 0 5 0 0 0 18 0 4 0 518985094 289320960 1322 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308180 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=282540 CPUtime=0.05 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 203 0 0 0 5 0 0 0 25 0 4 0 518985094 289320960 1322 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 282540

[startup+0.100447 s]
/proc/loadavg: 7.62 7.97 6.85 3/176 32471
/proc/meminfo: memFree=30868916/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=282696 CPUtime=0.37 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 1643 0 0 0 37 0 0 0 18 0 4 0 518985094 289480704 1535 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308326 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 70674 1535 384 106 0 65645 0
[pid=32471/tid=32472] ppid=32469 vsize=282696 CPUtime=0.09 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 302 0 0 0 9 0 0 0 25 0 4 0 518985094 289480704 1535 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=282696 CPUtime=0.09 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 331 0 0 0 9 0 0 0 18 0 4 0 518985094 289480704 1535 33554432000 4194304 4627427 140733576165968 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=282696 CPUtime=0.09 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 261 0 0 0 9 0 0 0 25 0 4 0 518985094 289480704 1535 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282696

[startup+0.300411 s]
/proc/loadavg: 7.62 7.97 6.85 3/176 32471
/proc/meminfo: memFree=30868916/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=284324 CPUtime=1.17 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 2650 0 0 0 117 0 0 0 18 0 4 0 518985094 291147776 2028 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 71081 2028 385 106 0 66052 0
[pid=32471/tid=32472] ppid=32469 vsize=284324 CPUtime=0.29 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 551 0 0 0 29 0 0 0 25 0 4 0 518985094 291147776 2028 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=284324 CPUtime=0.29 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 593 0 0 0 29 0 0 0 18 0 4 0 518985094 291147776 2028 33554432000 4194304 4627427 140733576165968 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=284324 CPUtime=0.29 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 512 0 0 0 29 0 0 0 25 0 4 0 518985094 291147776 2028 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284324

[startup+0.700342 s]
/proc/loadavg: 7.62 7.97 6.85 3/176 32471
/proc/meminfo: memFree=30868916/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=294676 CPUtime=2.77 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 4590 0 0 0 277 0 0 0 18 0 4 0 518985094 301748224 2322 33554432000 4194304 4627427 140733576165968 18446744073709551615 271550580871 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 71514 2204 385 106 0 66485 0
[pid=32471/tid=32472] ppid=32469 vsize=286056 CPUtime=0.69 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 1037 0 0 0 69 0 0 0 25 0 4 0 518985094 292921344 2204 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=286056 CPUtime=0.69 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 1070 0 0 0 69 0 0 0 18 0 4 0 518985094 292921344 2204 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=286056 CPUtime=0.69 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 1004 0 0 0 69 0 0 0 25 0 4 0 518985094 292921344 2204 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 294676

[startup+1.5002 s]
/proc/loadavg: 7.62 7.97 6.85 9/188 32483
/proc/meminfo: memFree=30849220/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=287064 CPUtime=5.96 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 8158 0 0 0 596 0 0 0 19 0 4 0 518985094 293953536 4367 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308640 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 71766 4367 389 106 0 66737 0
[pid=32471/tid=32472] ppid=32469 vsize=287064 CPUtime=1.48 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 1626 0 0 0 148 0 0 0 25 0 4 0 518985094 293953536 4367 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=287064 CPUtime=1.49 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 1671 0 0 0 149 0 0 0 20 0 4 0 518985094 293953536 4367 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=287064 CPUtime=1.49 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 1598 0 0 0 149 0 0 0 25 0 4 0 518985094 293953536 4368 33554432000 4194304 4627427 140733576165968 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287064

[startup+3.10091 s]
/proc/loadavg: 7.62 7.97 6.85 9/188 32483
/proc/meminfo: memFree=30817872/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=292828 CPUtime=12.36 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 16819 0 0 0 1234 2 0 0 25 0 4 0 518985094 299855872 7953 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 73207 7953 389 106 0 68178 0
[pid=32471/tid=32472] ppid=32469 vsize=292828 CPUtime=3.07 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 3732 0 0 0 307 0 0 0 25 0 4 0 518985094 299855872 7953 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=292828 CPUtime=3.08 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 4512 0 0 0 308 0 0 0 25 0 4 0 518985094 299855872 7953 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=292828 CPUtime=3.08 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 4069 0 0 0 308 0 0 0 25 0 4 0 518985094 299855872 7953 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 292828

[startup+6.30032 s]
/proc/loadavg: 7.65 7.97 6.86 9/188 32483
/proc/meminfo: memFree=30789440/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=300628 CPUtime=25.14 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 26670 0 0 0 2511 3 0 0 25 0 4 0 518985094 307843072 11456 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 75157 11456 389 106 0 70128 0
[pid=32471/tid=32472] ppid=32469 vsize=300628 CPUtime=6.25 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 6830 0 0 0 625 0 0 0 25 0 4 0 518985094 307843072 11456 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=300628 CPUtime=6.29 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 7415 0 0 0 628 1 0 0 25 0 4 0 518985094 307843072 11456 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=300628 CPUtime=6.28 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 5859 0 0 0 628 0 0 0 25 0 4 0 518985094 307843072 11456 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 300628

[startup+12.7012 s]
/proc/loadavg: 7.67 7.97 6.86 9/188 32483
/proc/meminfo: memFree=30753088/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=306080 CPUtime=50.7 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 42357 0 0 0 5064 6 0 0 25 0 4 0 518985094 313425920 16586 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309247 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 76520 16586 389 106 0 71491 0
[pid=32471/tid=32472] ppid=32469 vsize=306080 CPUtime=12.62 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 10414 0 0 0 1261 1 0 0 25 0 4 0 518985094 313425920 16586 33554432000 4194304 4627427 140733576165968 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=306080 CPUtime=12.68 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 10051 0 0 0 1267 1 0 0 25 0 4 0 518985094 313425920 16586 33554432000 4194304 4627427 140733576165968 18446744073709551615 4329707 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=306080 CPUtime=12.69 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 10126 0 0 0 1268 1 0 0 25 0 4 0 518985094 313425920 16586 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 306080

[startup+25.5008 s]
/proc/loadavg: 7.75 7.97 6.88 9/188 32483
/proc/meminfo: memFree=30713028/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=325236 CPUtime=101.84 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 64119 0 0 0 10173 11 0 0 25 0 4 0 518985094 333041664 23200 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 81309 23200 389 106 0 76280 0
[pid=32471/tid=32472] ppid=32469 vsize=325236 CPUtime=25.35 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 15534 0 0 0 2533 2 0 0 25 0 4 0 518985094 333041664 23200 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=325236 CPUtime=25.49 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 15543 0 0 0 2546 3 0 0 25 0 4 0 518985094 333041664 23200 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=325236 CPUtime=25.48 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 15518 0 0 0 2546 2 0 0 25 0 4 0 518985094 333041664 23200 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 325236

[startup+51.1012 s]
/proc/loadavg: 7.96 8.00 6.92 9/188 32484
/proc/meminfo: memFree=30669632/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=345960 CPUtime=204.1 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 92767 0 0 0 20392 18 0 0 25 0 4 0 518985094 354263040 30246 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 86490 30246 389 106 0 81461 0
[pid=32471/tid=32472] ppid=32469 vsize=345960 CPUtime=50.8 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 21393 0 0 0 5077 3 0 0 25 0 4 0 518985094 354263040 30246 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=345960 CPUtime=51.09 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 22936 0 0 0 5104 5 0 0 25 0 4 0 518985094 354263040 30246 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=345960 CPUtime=51.09 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 22557 0 0 0 5105 4 0 0 25 0 4 0 518985094 354263040 30246 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 345960

[startup+102.307 s]
/proc/loadavg: 8.18 8.05 6.99 9/188 32515
/proc/meminfo: memFree=30599040/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=341308 CPUtime=408.64 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 147673 0 0 0 40831 33 0 0 25 0 4 0 518985094 349499392 37206 33554432000 4194304 4627427 140733576165968 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 85327 37206 389 106 0 80298 0
[pid=32471/tid=32472] ppid=32469 vsize=341308 CPUtime=101.73 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 34820 0 0 0 10166 7 0 0 25 0 4 0 518985094 349499392 37206 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=341308 CPUtime=102.29 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 34756 0 0 0 10220 9 0 0 25 0 4 0 518985094 349499392 37206 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=341308 CPUtime=102.29 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 36379 0 0 0 10222 7 0 0 25 0 4 0 518985094 349499392 37206 33554432000 4194304 4627427 140733576165968 18446744073709551615 4330061 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 341308

[startup+162.301 s]

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

[pid=32471] ppid=32469 vsize=541956 CPUtime=2805.4 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 470535 0 0 0 280381 159 0 0 25 0 4 0 518985094 554962944 80048 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 135489 80048 389 106 0 130460 0
[pid=32471/tid=32472] ppid=32469 vsize=541956 CPUtime=698.47 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 104290 0 0 0 69812 35 0 0 25 0 4 0 518985094 554962944 80048 33554432000 4194304 4627427 140733576165968 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=541956 CPUtime=702.3 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 108250 0 0 0 70195 35 0 0 25 0 4 0 518985094 554962944 80048 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=541956 CPUtime=702.28 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 124259 0 0 0 70185 43 0 0 25 0 4 0 518985094 554962944 80048 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 541956

[startup+762.307 s]
/proc/loadavg: 8.13 8.12 7.57 9/188 32533
/proc/meminfo: memFree=30133044/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=542396 CPUtime=3045.1 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 498163 0 0 0 304341 169 0 0 25 0 4 0 518985094 555413504 83246 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 135599 83246 389 106 0 130570 0
[pid=32471/tid=32472] ppid=32469 vsize=542396 CPUtime=758.15 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 109490 0 0 0 75779 36 0 0 25 0 4 0 518985094 555413504 83246 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=542396 CPUtime=762.3 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 112671 0 0 0 76193 37 0 0 25 0 4 0 518985094 555413504 83246 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=542396 CPUtime=762.29 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 134759 0 0 0 76183 46 0 0 25 0 4 0 518985094 555413504 83246 33554432000 4194304 4627427 140733576165968 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 542396

[startup+822.301 s]
/proc/loadavg: 8.22 8.16 7.61 9/188 32535
/proc/meminfo: memFree=30107420/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=608212 CPUtime=3284.75 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 518414 0 0 0 328295 180 0 0 25 0 4 0 518985094 622809088 88152 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 152053 88152 389 106 0 147024 0
[pid=32471/tid=32472] ppid=32469 vsize=608212 CPUtime=817.82 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 111845 0 0 0 81745 37 0 0 25 0 4 0 518985094 622809088 88152 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=608212 CPUtime=822.3 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 118905 0 0 0 82189 41 0 0 25 0 4 0 518985094 622809088 88152 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=608212 CPUtime=822.28 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 140133 0 0 0 82180 48 0 0 25 0 4 0 518985094 622809088 88152 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 608212

[startup+882.3 s]
/proc/loadavg: 8.19 8.16 7.64 9/188 32536
/proc/meminfo: memFree=30068664/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=602712 CPUtime=3524.43 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 539144 0 0 0 352252 191 0 0 25 0 4 0 518985094 617177088 94364 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 150678 94364 389 106 0 145649 0
[pid=32471/tid=32472] ppid=32469 vsize=602712 CPUtime=877.49 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 113996 0 0 0 87710 39 0 0 25 0 4 0 518985094 617177088 94364 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=602712 CPUtime=882.3 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 124989 0 0 0 88186 44 0 0 25 0 4 0 518985094 617177088 94364 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=602712 CPUtime=882.28 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 146179 0 0 0 88176 52 0 0 25 0 4 0 518985094 617177088 94364 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 602712

[startup+942.3 s]
/proc/loadavg: 8.21 8.17 7.68 9/188 32538
/proc/meminfo: memFree=30075552/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=615548 CPUtime=3764.11 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 555847 0 0 0 376212 199 0 0 25 0 4 0 518985094 630321152 95892 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 153887 95892 389 106 0 148858 0
[pid=32471/tid=32472] ppid=32469 vsize=615548 CPUtime=937.17 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 119893 0 0 0 93675 42 0 0 25 0 4 0 518985094 630321152 95892 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=615548 CPUtime=942.31 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 125771 0 0 0 94186 45 0 0 25 0 4 0 518985094 630321152 95892 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=615548 CPUtime=942.28 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 149192 0 0 0 94175 53 0 0 25 0 4 0 518985094 630321152 95892 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 615548

[startup+1002.3 s]
/proc/loadavg: 8.21 8.17 7.71 9/188 32548
/proc/meminfo: memFree=30000336/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=620076 CPUtime=4003.77 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 566731 0 0 0 400173 204 0 0 25 0 4 0 518985094 634957824 100392 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 155019 100392 389 106 0 149990 0
[pid=32471/tid=32472] ppid=32469 vsize=620076 CPUtime=996.84 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 120421 0 0 0 99642 42 0 0 25 0 4 0 518985094 634957824 100392 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=620076 CPUtime=1002.31 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 126322 0 0 0 100186 45 0 0 25 0 4 0 518985094 634957824 100392 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=620076 CPUtime=1002.27 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 153399 0 0 0 100172 55 0 0 25 0 4 0 518985094 634957824 100392 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 620076

[startup+1062.3 s]
/proc/loadavg: 8.29 8.20 7.74 9/188 32550
/proc/meminfo: memFree=29953504/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=645880 CPUtime=4243.44 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 582775 0 0 0 424132 212 0 0 25 0 4 0 518985094 661381120 105331 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 161470 105331 389 106 0 156441 0
[pid=32471/tid=32472] ppid=32469 vsize=645880 CPUtime=1056.51 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 122999 0 0 0 105608 43 0 0 25 0 4 0 518985094 661381120 105331 33554432000 4194304 4627427 140733576165968 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=645880 CPUtime=1062.31 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 130664 0 0 0 106183 48 0 0 25 0 4 0 518985094 661381120 105331 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=645880 CPUtime=1062.27 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 156852 0 0 0 106170 57 0 0 25 0 4 0 518985094 661381120 105331 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 645880

[startup+1122.3 s]
/proc/loadavg: 8.21 8.19 7.77 9/188 32552
/proc/meminfo: memFree=29945004/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=646332 CPUtime=4483.12 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 594107 0 0 0 448095 217 0 0 25 0 4 0 518985094 661843968 107563 33554432000 4194304 4627427 140733576165968 18446744073709551615 4467967 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 161583 107563 389 106 0 156554 0
[pid=32471/tid=32472] ppid=32469 vsize=646332 CPUtime=1116.18 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 123411 0 0 0 111575 43 0 0 25 0 4 0 518985094 661843968 107563 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=646332 CPUtime=1122.32 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 130861 0 0 0 112184 48 0 0 25 0 4 0 518985094 661843968 107563 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=646332 CPUtime=1122.27 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 160359 0 0 0 112168 59 0 0 25 0 4 0 518985094 661843968 107563 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 646332

[startup+1182.3 s]
/proc/loadavg: 8.16 8.18 7.79 9/188 32553
/proc/meminfo: memFree=29926316/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=646780 CPUtime=4722.8 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 603115 0 0 0 472059 221 0 0 25 0 4 0 518985094 662302720 109235 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 161695 109235 389 106 0 156666 0
[pid=32471/tid=32472] ppid=32469 vsize=646780 CPUtime=1175.86 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 123518 0 0 0 117543 43 0 0 25 0 4 0 518985094 662302720 109235 33554432000 4194304 4627427 140733576165968 18446744073709551615 4503019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=646780 CPUtime=1182.32 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 130983 0 0 0 118184 48 0 0 25 0 4 0 518985094 662302720 109235 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=646780 CPUtime=1182.28 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 163422 0 0 0 118167 61 0 0 25 0 4 0 518985094 662302720 109235 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 646780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.28 8.20 7.80 11/189 32557
/proc/meminfo: memFree=29881488/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=646780 CPUtime=4800.3 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 607073 0 0 0 479808 222 0 0 25 0 4 0 518985094 662302720 113191 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 161695 113191 389 106 0 156666 0
[pid=32471/tid=32472] ppid=32469 vsize=646780 CPUtime=1195.15 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 123518 0 0 0 119472 43 0 0 25 0 4 0 518985094 662302720 113191 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=646780 CPUtime=1201.72 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 131780 0 0 0 120124 48 0 0 25 0 4 0 518985094 662302720 113191 33554432000 4194304 4627427 140733576165968 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=646780 CPUtime=1201.68 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 165482 0 0 0 120106 62 0 0 25 0 4 0 518985094 662302720 113191 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 646780

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

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

[startup+1201.7 s]
/proc/loadavg: 8.28 8.20 7.80 11/189 32557
/proc/meminfo: memFree=29881488/32951124 swapFree=67111344/67111528
[pid=32471] ppid=32469 vsize=646780 CPUtime=4800.3 cores=1,3,5,7
/proc/32471/stat : 32471 (strangenight2-m) R 32469 32471 31926 0 -1 4202496 607073 0 0 0 479808 222 0 0 25 0 4 0 518985094 662302720 113191 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32471/statm: 161695 113191 389 106 0 156666 0
[pid=32471/tid=32472] ppid=32469 vsize=646780 CPUtime=1195.15 cores=1,3,5,7
/proc/32471/task/32472/stat : 32472 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 123518 0 0 0 119472 43 0 0 25 0 4 0 518985094 662302720 113191 33554432000 4194304 4627427 140733576165968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32471/tid=32473] ppid=32469 vsize=646780 CPUtime=1201.72 cores=1,3,5,7
/proc/32471/task/32473/stat : 32473 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 131780 0 0 0 120124 48 0 0 25 0 4 0 518985094 662302720 113191 33554432000 4194304 4627427 140733576165968 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=646780 CPUtime=1201.68 cores=1,3,5,7
/proc/32471/task/32474/stat : 32474 (strangenight2-m) R 32469 32471 31926 0 -1 4202560 165482 0 0 0 120106 62 0 0 25 0 4 0 518985094 662302720 113191 33554432000 4194304 4627427 140733576165968 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 646780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.36
CPU user time (s): 4798.11
CPU system time (s): 2.24766
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 698412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.11
system time used= 2.24766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607073
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= 201
involuntary context switches= 33048

runsolver used 1.82672 second user time and 4.74628 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 12:44:32
IDJOB=3173939
IDBENCH=82757
IDSOLVER=1586
FILE ID=node133/3173939-1304073872
RUNJOBID= node133-1304072668-32363
PBS_JOBID= 13170473
Free space on /tmp= 71896 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173939-1304073872/watcher-3173939-1304073872 -o /tmp/evaluation-result-3173939-1304073872/solver-3173939-1304073872 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173939-1304073872.cnf

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

MD5SUM BENCH= f9acc85431fa3756e8067132423a3a4a
RANDOM SEED=1458031201

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30869072 kB
Buffers:        728436 kB
Cached:         932332 kB
SwapCached:        124 kB
Active:         588692 kB
Inactive:      1136000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30869072 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:           11352 kB
Writeback:           0 kB
AnonPages:       63552 kB
Mapped:          14700 kB
Slab:           293596 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184836 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71884 MiB
End job on node133 at 2011-04-29 13:04:36