Trace number 3366647

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.28 1202.64

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf
MD5SUM68bf08be908d1e2b9826bc30706a7365
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark349.016
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3366647-1305410859.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      52 undec:       6 neg:      42
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.05	c Decided on static restart strategy
0.38/0.12	c  N st     8      4914       100      2130         0      4636     10650    101962   no data   no data
1.17/0.31	c  N st    10     11297       100      2130         0      4225     10650     73262   no data   no data
1.97/0.50	c  N st    11     17040       100      2130         0      9547     10650    191555   no data   no data
2.77/0.79	c  F st    12     25000       100      2130         0     11729     10650    234080   no data   no data
2.77/0.79	c  N st    12     25000       100      2130         0     11729     10650    234080   no data   no data
3.57/1.00	c Decided on static restart strategy
3.57/1.00	c  N st    18     30000       100      2130         0     10056     10650    182284   no data   no data
3.57/1.00	c  S st    18     30000       100      2130         0     10056     10650    182284   no data   no data
4.00/1.02	c  S st    18     30503       100      2130         0     10535     10650    193343   no data   no data
4.00/1.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.00/1.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.00/1.03	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
4.00/1.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.00/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.00/1.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4.00/1.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.00/1.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.00/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.20	c lits-rem:       187  cl-subs:     1975  v-elim:      0  v-fix:    0  time:  0.17 s
4.77/1.23	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.77/1.23	c calculated reachability. Time: 0.00
4.77/1.23	c  N st    18     30503       100      2130         0      8560     10650    152099   no data   no data
5.96/1.56	c  N st    20     37614       100      2130         0      7915     10650    128825   no data   no data
7.16/1.87	c  N st    21     44014       100      2130         0     13840     10650    259957   no data   no data
7.56/1.96	c  S st    22     45755       100      2130         0     15472     10650    295979   no data   no data
7.97/2.00	c  S st    22     46258       100      2130         0     15954     10650    306717   no data   no data
7.97/2.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.97/2.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.97/2.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.97/2.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.37	c lits-rem:       308  cl-subs:     1922  v-elim:      0  v-fix:    0  time:  0.35 s
9.15/2.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.15/2.37	c vivif2 --  cl tried    14032 cl shrink        0 lits rem          0 time: 0.00
9.55/2.42	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.55/2.42	c calculated reachability. Time: 0.00
9.55/2.42	c  N st    22     46258       100      2130         0     14032     10650    262727   no data   no data
12.36/3.16	c  N st    23     60657       100      2130         0      9929     10650    149310   no data   no data
14.35/3.61	c  N st    24     69389       100      2130         0     17955     10650    322481   no data   no data
14.35/3.61	c  S st    24     69389       100      2130         0     17955     10650    322481   no data   no data
14.35/3.66	c  S st    24     69891       100      2130         0     18435     10650    332939   no data   no data
14.35/3.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.35/3.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
14.35/3.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.35/3.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.35/3.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.35/3.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.35/3.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.35/3.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.35/3.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.18	c lits-rem:       402  cl-subs:     2489  v-elim:      0  v-fix:    0  time:  0.50 s
16.35/4.18	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.35/4.18	c vivif2 --  cl tried    15946 cl shrink        0 lits rem          0 time: 0.00
16.75/4.24	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.75/4.24	c calculated reachability. Time: 0.00
16.75/4.24	c  N st    24     69891       100      2130         0     15946     10650    278835   no data   no data
20.74/5.22	c  F st    25     87500       100      2130         0     11144     10650    159694   no data   no data
20.74/5.22	c  N st    25     87500       100      2130         0     11144     10650    159694   no data   no data
21.56/5.48	c Decided on static restart strategy
22.33/5.63	c  N st    32     95541       100      2130         0     18609     10650    319932   no data   no data
24.32/6.18	c  N st    34    104837       100      2130         0     15264     10650    245466   no data   no data
24.32/6.18	c  S st    34    104837       100      2130         0     15264     10650    245466   no data   no data
24.72/6.22	c  S st    34    105340       100      2130         0     15743     10650    255914   no data   no data
24.72/6.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.72/6.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.72/6.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.72/6.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.72/6.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.72/6.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.72/6.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.72/6.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.72/6.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.12/6.39	c lits-rem:       215  cl-subs:     1188  v-elim:      0  v-fix:    0  time:  0.15 s
25.12/6.39	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.12/6.39	c vivif2 --  cl tried    14555 cl shrink        0 lits rem          0 time: 0.00
25.52/6.45	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.52/6.45	c calculated reachability. Time: 0.00
25.52/6.45	c  N st    34    105340       100      2130         0     14555     10650    230611   no data   no data
27.91/7.08	c  N st    35    114939       100      2130         0     23476     10650    426460   no data   no data
31.91/8.06	c  N st    36    129336       100      2130         0     23827     10650    408711   no data   no data
37.90/9.59	c  N st    37    150931       100      2130         0     15166     10650    202153   no data   no data
39.89/10.02	c  S st    38    158011       100      2130         0     21672     10650    340666   no data   no data
39.89/10.07	c  S st    38    158515       100      2130         0     22159     10650    351556   no data   no data
39.89/10.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.89/10.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
39.89/10.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.89/10.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.89/10.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.89/10.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
39.89/10.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.89/10.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
39.89/10.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.89/10.51	c lits-rem:       339  cl-subs:     2208  v-elim:      0  v-fix:    0  time:  0.42 s
41.89/10.51	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.89/10.51	c vivif2 --  cl tried    19951 cl shrink        0 lits rem          0 time: 0.00
41.89/10.58	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
41.89/10.58	c calculated reachability. Time: 0.00
41.89/10.58	c  N st    38    158515       100      2130         0     19951     10650    306548   no data   no data
57.09/14.32	c  N st    39    207104       100      2130         0     32420     10650    551564   no data   no data
67.44/16.99	c  N st    40    237773       100      2130         0     24767     10650    370122   no data   no data
67.44/16.99	c  S st    40    237773       100      2130         0     24767     10650    370122   no data   no data
67.84/17.05	c  S st    40    238278       100      2130         0     25255     10650    380998   no data   no data
67.84/17.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.84/17.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
67.84/17.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.84/17.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.84/17.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.84/17.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
67.84/17.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.84/17.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
67.84/17.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.86/17.56	c lits-rem:       396  cl-subs:     2333  v-elim:      0  v-fix:    0  time:  0.49 s
69.86/17.56	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
69.86/17.57	c vivif2 --  cl tried    22922 cl shrink        0 lits rem          0 time: 0.00
70.26/17.65	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
70.26/17.65	c calculated reachability. Time: 0.00
70.26/17.65	c  N st    40    238278       100      2130         0     22922     10650    335830   no data   no data
94.18/23.65	c  F st    41    306251       100      2130         0     24947     10650    342234   no data   no data
94.18/23.65	c  N st    41    306251       100      2130         0     24947     10650    342234   no data   no data
96.22/24.12	c Decided on static restart strategy
105.76/26.55	c  N st    51    334559       100      2130         0     28906     10650    413092   no data   no data
114.53/28.80	c  N st    53    357418       100      2130         0     26998     10650    362992   no data   no data
114.53/28.80	c  S st    53    357418       100      2130         0     26998     10650    362992   no data   no data
114.94/28.87	c  S st    53    357922       100      2130         0     27486     10650    373918   no data   no data
114.94/28.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
114.94/28.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
114.94/28.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
114.94/28.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
114.94/28.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.94/28.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
114.94/28.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
114.94/28.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
114.94/28.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116.14/29.17	c lits-rem:       283  cl-subs:     1388  v-elim:      0  v-fix:    0  time:  0.28 s
116.14/29.17	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
116.14/29.17	c vivif2 --  cl tried    26098 cl shrink        0 lits rem          0 time: 0.00
116.54/29.27	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
116.54/29.27	c calculated reachability. Time: 0.00
116.54/29.27	c  N st    53    357922       100      2130         0     26098     10650    346088   no data   no data
130.11/32.61	c  N st    54    390315       100      2130         0     31936     10650    449063   no data   no data
153.70/38.56	c  N st    55    438904       100      2130         0     25983     10650    312254   no data   no data
183.61/46.10	c  N st    56    511786       100      2130         0     38797     10650    563781   no data   no data
194.78/48.88	c  N st    57    536883       100      2130         0     33406     10650    435789   no data   no data
194.78/48.88	c  S st    57    536883       100      2130         0     33406     10650    435789   no data   no data
195.18/48.96	c  S st    57    537384       100      2130         0     33886     10650    446436   no data   no data
195.18/48.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
195.18/48.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
195.18/48.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
195.18/48.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
195.18/48.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
195.18/48.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
195.18/48.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
195.18/48.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
195.18/48.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
197.20/49.42	c lits-rem:       263  cl-subs:     1799  v-elim:      0  v-fix:    0  time:  0.43 s
197.20/49.42	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
197.20/49.43	c vivif2 --  cl tried    32087 cl shrink        0 lits rem          0 time: 0.00
197.61/49.54	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
197.61/49.55	c calculated reachability. Time: 0.00
197.61/49.55	c  N st    57    537384       100      2130         0     32087     10650    411950   no data   no data
277.80/69.68	c  N st    58    701368       100      2130         0     59652     10650    941189   no data   no data
333.32/83.58	c  N st    59    806077       100      2130         0     53821     10650    807676   no data   no data
333.32/83.58	c  S st    59    806077       100      2130         0     53821     10650    807676   no data   no data
334.08/83.71	c  S st    59    806581       100      2130         0     54304     10650    818252   no data   no data
334.08/83.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
334.08/83.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
334.08/83.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
334.08/83.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
334.08/83.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
334.08/83.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
334.08/83.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
334.08/83.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
334.08/83.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
346.07/86.77	c lits-rem:      1266  cl-subs:     5612  v-elim:      0  v-fix:    0  time:  3.00 s
346.07/86.77	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
346.07/86.78	c vivif2 --  cl tried    48692 cl shrink        0 lits rem          0 time: 0.01
347.26/87.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
347.26/87.02	c calculated reachability. Time: 0.00
347.26/87.02	c  N st    59    806581       100      2130         0     48692     10650    704061   no data   no data
503.35/126.19	c  F st    60   1071875       100      2130         0     64244     10650    992290   no data   no data
503.35/126.19	c  N st    60   1071875       100      2130         0     64244     10650    992290   no data   no data
508.14/127.39	c Decided on static restart strategy
526.53/131.95	c  N st    70   1100184       100      2130         0     49032     10650    626715   no data   no data
553.64/138.71	c  N st    72   1136179       100      2130         0     82206     10650   1334978   no data   no data
573.21/143.64	c  N st    73   1168572       100      2130         0     69645     10650   1059576   no data   no data
600.75/150.54	c  N st    74   1209871       100      2130         0     64305     10650    928121   no data   no data
600.75/150.54	c  S st    74   1209871       100      2130         0     64305     10650    928121   no data   no data
601.95/150.80	c  S st    74   1210374       100      2130         0     64781     10650    939129   no data   no data
601.95/150.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
601.95/150.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
601.95/150.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
601.95/150.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
601.95/150.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
601.95/150.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
601.95/150.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
601.95/150.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
601.95/150.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
627.09/157.16	c lits-rem:       825  cl-subs:     6373  v-elim:      0  v-fix:    0  time:  6.27 s
627.09/157.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
627.09/157.17	c vivif2 --  cl tried    58408 cl shrink        0 lits rem          0 time: 0.01
628.68/157.52	c asymm  cl-useful: 0/1988/2130 lits-rem:0 time: 0.35
628.68/157.52	c calculated reachability. Time: 0.00
628.68/157.52	c  N st    74   1210374       100      2130         0     58408     10650    813064   no data   no data
692.55/173.50	c  N st    75   1283256       100      2130         0     81334     10650   1272641   no data   no data
783.96/196.48	c  N st    76   1392579       100      2130         0     90692     10650   1445784   no data   no data
920.08/230.56	c  N st    77   1556564       100      2130         0     97648     10650   1536464   no data   no data
1048.21/262.66	c  N st    78   1710376       100      2130         0     87642     10650   1322511   no data   no data
1048.21/262.66	c  S st    78   1710376       100      2130         0     87642     10650   1322511   no data   no data
1049.44/262.94	c  S st    78   1710879       100      2130         0     88124     10650   1333770   no data   no data
1049.44/262.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1049.44/262.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
1049.44/262.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1049.44/262.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1049.44/262.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1049.44/262.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1049.44/262.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1049.80/263.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1049.80/263.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1143.60/286.50	c lits-rem:      1861  cl-subs:    11724  v-elim:      0  v-fix:    0  time: 23.47 s
1143.60/286.50	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1143.60/286.52	c vivif2 --  cl tried    76400 cl shrink        0 lits rem          0 time: 0.02
1145.62/287.07	c asymm  cl-useful: 0/1523/2130 lits-rem:0 time: 0.55
1145.62/287.07	c calculated reachability. Time: 0.00
1145.62/287.07	c  N st    78   1710879       100      2130         0     76400     10650   1106825   no data   no data
1482.47/371.42	c  N st    79   2079843       100      2130         0     88416     10650   1288778   no data   no data
1601.43/401.28	c  N st    80   2210879       100      2130         0     92712     10650   1396564   no data   no data
1601.43/401.28	c  S st    80   2210879       100      2130         0     92712     10650   1396564   no data   no data
1603.02/401.60	c  S st    80   2211382       100      2130         0     93190     10650   1407471   no data   no data
1603.02/401.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1603.02/401.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1603.02/401.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1603.02/401.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1603.02/401.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1603.02/401.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1603.02/401.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1603.02/401.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1603.42/401.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1643.73/411.86	c lits-rem:      1699  cl-subs:     7765  v-elim:      0  v-fix:    0  time: 10.15 s
1643.73/411.86	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1643.73/411.88	c vivif2 --  cl tried    85425 cl shrink        0 lits rem          0 time: 0.02
1644.93/412.11	c asymm  cl-useful: 0/607/2130 lits-rem:0 time: 0.23
1644.93/412.11	c calculated reachability. Time: 0.00
1644.93/412.11	c  N st    80   2211382       100      2130         0     85425     10650   1246437   no data   no data
2152.25/539.20	c  N st    81   2711385       100      2130         0    107038     10650   1582155   no data   no data
2152.25/539.20	c  S st    81   2711385       100      2130         0    107038     10650   1582155   no data   no data
2153.45/539.58	c  S st    81   2711889       100      2130         0    107505     10650   1592630   no data   no data
2153.45/539.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2153.85/539.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2153.85/539.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2153.85/539.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2153.85/539.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2153.85/539.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2153.85/539.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2153.85/539.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2154.25/539.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2221.32/556.51	c lits-rem:      1615  cl-subs:    14152  v-elim:      0  v-fix:    0  time: 16.81 s
2221.32/556.51	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2221.32/556.53	c vivif2 --  cl tried    93353 cl shrink        0 lits rem          0 time: 0.02
2222.48/556.86	c asymm  cl-useful: 0/1325/2130 lits-rem:0 time: 0.33
2222.48/556.87	c calculated reachability. Time: 0.00
2222.48/556.87	c  N st    81   2711889       100      2130         0     93353     10650   1324425   no data   no data
2827.23/708.36	c  N st    82   3211892       100      2130         0     71699     10650    763260   no data   no data
2827.23/708.36	c  S st    82   3211892       100      2130         0     71699     10650    763260   no data   no data
2828.01/708.57	c  S st    82   3212398       100      2130         0     72184     10650    775049   no data   no data
2828.01/708.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2828.41/708.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2828.41/708.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2828.41/708.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2828.41/708.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2828.41/708.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2828.41/708.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2828.41/708.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
2828.41/708.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2830.00/709.04	c lits-rem:        38  cl-subs:      393  v-elim:      0  v-fix:    0  time:  0.40 s
2830.00/709.04	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2830.00/709.05	c vivif2 --  cl tried    71791 cl shrink        0 lits rem          0 time: 0.01
2830.80/709.22	c asymm  cl-useful: 0/805/2130 lits-rem:0 time: 0.17
2830.80/709.22	c calculated reachability. Time: 0.00
2830.80/709.22	c  N st    82   3212398       100      2130         0     71791     10650    768273   no data   no data
3450.73/864.58	c  N st    83   3712398       100      2130         0     82251     10650    923809   no data   no data
3450.73/864.58	c  S st    83   3712398       100      2130         0     82251     10650    923809   no data   no data
3451.90/864.83	c  S st    83   3712901       100      2130         0     82731     10650    935054   no data   no data
3451.90/864.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3451.90/864.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3451.90/864.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3451.90/864.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3451.90/864.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3451.90/864.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3451.90/864.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3451.90/864.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3452.30/864.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3455.89/865.89	c lits-rem:       287  cl-subs:     1651  v-elim:      0  v-fix:    0  time:  0.97 s
3455.89/865.89	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3456.29/865.90	c vivif2 --  cl tried    81080 cl shrink        0 lits rem          0 time: 0.01
3457.49/866.20	c asymm  cl-useful: 0/1432/2130 lits-rem:0 time: 0.30
3457.49/866.20	c calculated reachability. Time: 0.00
3457.49/866.20	c  N st    83   3712901       100      2130         0     81080     10650    905121   no data   no data
3505.79/878.37	c  F st    84   3751562       100      2130         0    116533     10650   1675093   no data   no data
3505.79/878.37	c  N st    84   3751562       100      2130         0    116533     10650   1675093   no data   no data
3515.36/880.72	c Decided on static restart strategy
3554.09/890.40	c  N st    94   3779862       100      2130         0    142508     10650   2252353   no data   no data
3607.18/903.72	c  N st    96   3815855       100      2130         0     97774     10650   1252313   no data   no data
3647.89/913.92	c  N st    97   3848248       100      2130         0    127501     10650   1883550   no data   no data
3717.74/931.47	c  N st    98   3896837       100      2130         0     93106     10650   1132015   no data   no data
3822.72/957.73	c  N st    99   3969720       100      2130         0     80387     10650    848065   no data   no data
3969.24/994.47	c  N st   100   4079043       100      2130         0    100008     10650   1240051   no data   no data
4160.81/1042.44	c  N st   101   4212901       100      2130         0    140391     10650   2028474   no data   no data
4160.81/1042.44	c  S st   101   4212901       100      2130         0    140391     10650   2028474   no data   no data
4163.20/1043.01	c  S st   101   4213402       100      2130         0    140860     10650   2039376   no data   no data
4163.20/1043.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4163.60/1043.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.09
4163.60/1043.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4163.60/1043.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4163.60/1043.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4163.60/1043.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4163.60/1043.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4163.60/1043.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4164.00/1043.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4480.47/1122.60	c lits-rem:      1329  cl-subs:    23467  v-elim:      0  v-fix:    0  time: 79.38 s
4480.47/1122.60	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4480.87/1122.63	c vivif2 --  cl tried   117393 cl shrink        0 lits rem          0 time: 0.03
4482.50/1123.09	c asymm  cl-useful: 0/698/2130 lits-rem:0 time: 0.46
4482.50/1123.10	c calculated reachability. Time: 0.00
4482.50/1123.10	c  N st   101   4213402       100      2130         0    117393     10650   1619120   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-3366647-1305410859/watcher-3366647-1305410859 -o /tmp/evaluation-result-3366647-1305410859/solver-3366647-1305410859 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366647-1305410859.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: 0.61 0.13 0.10 5/277 32037
/proc/meminfo: memFree=25101988/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 407 0 0 0 1 0 0 0 23 0 4 0 731316486 52396032 347 33554432000 4194304 4580107 140734186242752 18446744073709551615 47272697788338 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 12792 347 299 95 0 7774 0
[pid=32037/tid=32038] ppid=32035 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 731316486 52396032 347 33554432000 4194304 4580107 140734186242752 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 731316486 52396032 347 33554432000 4194304 4580107 140734186242752 18446744073709551615 47272697788338 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 731316486 52396032 347 33554432000 4194304 4580107 140734186242752 18446744073709551615 47272697788338 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.096562 s]
/proc/loadavg: 0.61 0.13 0.10 5/277 32037
/proc/meminfo: memFree=25101988/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=281960 CPUtime=0.36 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 1665 0 0 0 36 0 0 0 24 0 4 0 731316486 288727040 1556 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 70490 1556 376 95 0 65472 0
[pid=32037/tid=32038] ppid=32035 vsize=281960 CPUtime=0.08 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 344 0 0 0 8 0 0 0 25 0 4 0 731316486 288727040 1556 33554432000 4194304 4580107 140734186242752 18446744073709551615 4306414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=281960 CPUtime=0.09 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 324 0 0 0 9 0 0 0 25 0 4 0 731316486 288727040 1556 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=281960 CPUtime=0.09 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 227 0 0 0 9 0 0 0 25 0 4 0 731316486 288727040 1556 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 281960

[startup+0.100561 s]
/proc/loadavg: 0.61 0.13 0.10 5/277 32037
/proc/meminfo: memFree=25101988/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=281960 CPUtime=0.38 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 1691 0 0 0 38 0 0 0 24 0 4 0 731316486 288727040 1582 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 70490 1582 376 95 0 65472 0
[pid=32037/tid=32038] ppid=32035 vsize=281960 CPUtime=0.08 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 347 0 0 0 8 0 0 0 25 0 4 0 731316486 288727040 1582 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=281960 CPUtime=0.09 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 336 0 0 0 9 0 0 0 25 0 4 0 731316486 288727040 1582 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=281960 CPUtime=0.09 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 232 0 0 0 9 0 0 0 25 0 4 0 731316486 288727040 1582 33554432000 4194304 4580107 140734186242752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 281960

[startup+0.300525 s]
/proc/loadavg: 0.61 0.13 0.10 5/277 32037
/proc/meminfo: memFree=25101988/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=283500 CPUtime=1.17 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 3008 0 0 0 117 0 0 0 25 0 4 0 731316486 290304000 1975 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 70875 1975 377 95 0 65857 0
[pid=32037/tid=32038] ppid=32035 vsize=283500 CPUtime=0.28 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 732 0 0 0 28 0 0 0 25 0 4 0 731316486 290304000 1975 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=283500 CPUtime=0.29 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 610 0 0 0 29 0 0 0 25 0 4 0 731316486 290304000 1975 33554432000 4194304 4580107 140734186242752 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=283500 CPUtime=0.29 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 608 0 0 0 29 0 0 0 25 0 4 0 731316486 290304000 1975 33554432000 4194304 4580107 140734186242752 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283500

[startup+0.700451 s]
/proc/loadavg: 0.61 0.13 0.10 5/277 32037
/proc/meminfo: memFree=25101988/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=284464 CPUtime=2.77 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 4984 0 0 0 277 0 0 0 25 0 4 0 731316486 291291136 2544 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 71116 2544 377 95 0 66098 0
[pid=32037/tid=32038] ppid=32035 vsize=284464 CPUtime=0.68 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 1165 0 0 0 68 0 0 0 25 0 4 0 731316486 291291136 2544 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=284464 CPUtime=0.69 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 1136 0 0 0 69 0 0 0 25 0 4 0 731316486 291291136 2544 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=284464 CPUtime=0.69 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 1067 0 0 0 69 0 0 0 25 0 4 0 731316486 291291136 2544 33554432000 4194304 4580107 140734186242752 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284464

[startup+1.50031 s]
/proc/loadavg: 0.61 0.13 0.10 9/281 32041
/proc/meminfo: memFree=25085092/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=285124 CPUtime=5.96 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 10144 0 0 0 595 1 0 0 25 0 4 0 731316486 291966976 5128 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 71281 5128 379 95 0 66263 0
[pid=32037/tid=32038] ppid=32035 vsize=285124 CPUtime=1.47 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 2977 0 0 0 147 0 0 0 18 0 4 0 731316486 291966976 5128 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=285124 CPUtime=1.49 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 1907 0 0 0 149 0 0 0 25 0 4 0 731316486 291966976 5128 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=285124 CPUtime=1.49 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 1881 0 0 0 149 0 0 0 25 0 4 0 731316486 291966976 5128 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285124

[startup+3.10102 s]
/proc/loadavg: 0.61 0.13 0.10 9/281 32041
/proc/meminfo: memFree=25053320/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=284368 CPUtime=12.36 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 19658 0 0 0 1233 3 0 0 25 0 4 0 731316486 291192832 11101 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 71092 11101 379 95 0 66074 0
[pid=32037/tid=32038] ppid=32035 vsize=284368 CPUtime=3.06 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 5303 0 0 0 306 0 0 0 21 0 4 0 731316486 291192832 11101 33554432000 4194304 4580107 140734186242752 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=284368 CPUtime=3.09 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 4608 0 0 0 309 0 0 0 25 0 4 0 731316486 291192832 11101 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=284368 CPUtime=3.08 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 4403 0 0 0 308 0 0 0 25 0 4 0 731316486 291192832 11101 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 284368

[startup+6.30043 s]
/proc/loadavg: 1.21 0.26 0.14 9/281 32041
/proc/meminfo: memFree=25039432/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=306452 CPUtime=25.12 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 28512 0 0 0 2509 3 0 0 25 0 4 0 731316486 313806848 13890 33554432000 4194304 4580107 140734186242752 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 76613 13891 379 95 0 71595 0
[pid=32037/tid=32038] ppid=32035 vsize=306452 CPUtime=6.23 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 6889 0 0 0 623 0 0 0 25 0 4 0 731316486 313806848 13891 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=306452 CPUtime=6.29 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 7169 0 0 0 629 0 0 0 25 0 4 0 731316486 313806848 13891 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=306452 CPUtime=6.29 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 6557 0 0 0 628 1 0 0 25 0 4 0 731316486 313806848 13891 33554432000 4194304 4580107 140734186242752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 306452

[startup+12.7003 s]
/proc/loadavg: 1.75 0.39 0.18 9/281 32041
/proc/meminfo: memFree=25012296/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=307356 CPUtime=50.67 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 43217 0 0 0 5061 6 0 0 25 0 4 0 731316486 314732544 16749 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 76839 16749 379 95 0 71821 0
[pid=32037/tid=32038] ppid=32035 vsize=307356 CPUtime=12.58 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 10875 0 0 0 1257 1 0 0 25 0 4 0 731316486 314732544 16749 33554432000 4194304 4580107 140734186242752 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=307356 CPUtime=12.68 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 10502 0 0 0 1268 0 0 0 25 0 4 0 731316486 314732544 16749 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=307356 CPUtime=12.69 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 10242 0 0 0 1267 2 0 0 25 0 4 0 731316486 314732544 16749 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 307356

[startup+25.5009 s]
/proc/loadavg: 3.13 0.76 0.31 9/281 32042
/proc/meminfo: memFree=24990584/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=298912 CPUtime=101.76 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 65767 0 0 0 10164 12 0 0 25 0 4 0 731316486 306085888 22336 33554432000 4194304 4580107 140734186242752 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 74728 22336 379 95 0 69710 0
[pid=32037/tid=32038] ppid=32035 vsize=298912 CPUtime=25.27 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 16143 0 0 0 2525 2 0 0 25 0 4 0 731316486 306085888 22336 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=298912 CPUtime=25.48 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 16524 0 0 0 2546 2 0 0 25 0 4 0 731316486 306085888 22336 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=298912 CPUtime=25.49 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 15591 0 0 0 2546 3 0 0 25 0 4 0 731316486 306085888 22336 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 298912

[startup+51.1002 s]
/proc/loadavg: 4.79 1.34 0.51 9/281 32042
/proc/meminfo: memFree=24963688/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=289844 CPUtime=203.95 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 100281 0 0 0 20374 21 0 0 25 0 4 0 731316486 296800256 26836 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 72461 26836 379 95 0 67443 0
[pid=32037/tid=32038] ppid=32035 vsize=289844 CPUtime=50.67 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 24815 0 0 0 5063 4 0 0 25 0 4 0 731316486 296800256 26836 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=289844 CPUtime=51.09 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 25153 0 0 0 5104 5 0 0 25 0 4 0 731316486 296800256 26836 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=289844 CPUtime=51.09 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 23524 0 0 0 5103 6 0 0 25 0 4 0 731316486 296800256 26836 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 289844

[startup+102.311 s]
/proc/loadavg: 6.72 2.40 0.91 9/281 32044
/proc/meminfo: memFree=24892344/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=376060 CPUtime=408.38 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 154898 0 0 0 40798 40 0 0 25 0 4 0 731316486 385085440 37825 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 94015 37825 379 95 0 88997 0
[pid=32037/tid=32038] ppid=32035 vsize=376060 CPUtime=101.46 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 37647 0 0 0 10137 9 0 0 25 0 4 0 731316486 385085440 37825 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=376060 CPUtime=102.3 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 37992 0 0 0 10221 9 0 0 25 0 4 0 731316486 385085440 37825 33554432000 4194304 4580107 140734186242752 18446744073709551615 4320696 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=376060 CPUtime=102.29 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 37882 0 0 0 10219 10 0 0 25 0 4 0 731316486 385085440 37825 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.38
Current children cumulated vsize (KiB) 376060

[startup+162.301 s]

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

[pid=32037] ppid=32035 vsize=566312 CPUtime=2563.79 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 471172 0 0 0 256212 167 0 0 25 0 4 0 731316486 579903488 87895 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 141578 87895 379 95 0 136560 0
[pid=32037/tid=32038] ppid=32035 vsize=566312 CPUtime=636.85 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 115544 0 0 0 63646 39 0 0 25 0 4 0 731316486 579903488 87895 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=566312 CPUtime=642.31 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 117535 0 0 0 64189 42 0 0 25 0 4 0 731316486 579903488 87895 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=566312 CPUtime=642.29 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 112357 0 0 0 64191 38 0 0 25 0 4 0 731316486 579903488 87895 33554432000 4194304 4580107 140734186242752 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.79
Current children cumulated vsize (KiB) 566312

[startup+702.301 s]
/proc/loadavg: 8.17 7.35 4.32 9/281 32060
/proc/meminfo: memFree=24584928/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=539220 CPUtime=2803.26 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 493636 0 0 0 280147 179 0 0 25 0 4 0 731316486 552161280 84845 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 134805 84845 379 95 0 129787 0
[pid=32037/tid=32038] ppid=32035 vsize=539220 CPUtime=696.34 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 121086 0 0 0 69593 41 0 0 25 0 4 0 731316486 552161280 84845 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=539220 CPUtime=702.3 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 121679 0 0 0 70185 45 0 0 25 0 4 0 731316486 552161280 84845 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=539220 CPUtime=702.27 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 118744 0 0 0 70186 41 0 0 25 0 4 0 731316486 552161280 84845 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2803.26
Current children cumulated vsize (KiB) 539220

[startup+762.31 s]
/proc/loadavg: 8.10 7.48 4.55 9/281 32061
/proc/meminfo: memFree=24545472/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=588732 CPUtime=3042.78 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 522678 0 0 0 304085 193 0 0 25 0 4 0 731316486 602861568 92074 33554432000 4194304 4580107 140734186242752 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 147183 92074 379 95 0 142165 0
[pid=32037/tid=32038] ppid=32035 vsize=588732 CPUtime=755.82 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 127561 0 0 0 75537 45 0 0 25 0 4 0 731316486 602861568 92074 33554432000 4194304 4580107 140734186242752 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=588732 CPUtime=762.32 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 130804 0 0 0 76184 48 0 0 25 0 4 0 731316486 602861568 92074 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=588732 CPUtime=762.28 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 125195 0 0 0 76183 45 0 0 25 0 4 0 731316486 602861568 92074 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.78
Current children cumulated vsize (KiB) 588732

[startup+822.301 s]
/proc/loadavg: 8.07 7.58 4.77 9/281 32063
/proc/meminfo: memFree=24535640/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=523508 CPUtime=3282.25 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 547573 0 0 0 328021 204 0 0 25 0 4 0 731316486 536072192 86494 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 130877 86494 379 95 0 125859 0
[pid=32037/tid=32038] ppid=32035 vsize=523508 CPUtime=815.33 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 134936 0 0 0 81484 49 0 0 25 0 4 0 731316486 536072192 86494 33554432000 4194304 4580107 140734186242752 18446744073709551615 4293971 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=523508 CPUtime=822.31 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 137571 0 0 0 82180 51 0 0 25 0 4 0 731316486 536072192 86494 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=523508 CPUtime=822.28 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 129710 0 0 0 82181 47 0 0 25 0 4 0 731316486 536072192 86494 33554432000 4194304 4580107 140734186242752 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.25
Current children cumulated vsize (KiB) 523508

[startup+882.301 s]
/proc/loadavg: 8.10 7.69 4.98 9/281 32065
/proc/meminfo: memFree=24508096/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=576096 CPUtime=3521.75 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 570277 0 0 0 351957 218 0 0 25 0 4 0 731316486 589922304 94864 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 144024 94864 379 95 0 139006 0
[pid=32037/tid=32038] ppid=32035 vsize=576096 CPUtime=874.82 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 140952 0 0 0 87430 52 0 0 25 0 4 0 731316486 589922304 94864 33554432000 4194304 4580107 140734186242752 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=576096 CPUtime=882.31 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 143691 0 0 0 88176 55 0 0 25 0 4 0 731316486 589922304 94864 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=576096 CPUtime=882.28 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 134157 0 0 0 88178 50 0 0 25 0 4 0 731316486 589922304 94864 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.75
Current children cumulated vsize (KiB) 576096

[startup+942.301 s]
/proc/loadavg: 8.04 7.74 5.17 9/281 32066
/proc/meminfo: memFree=24523952/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=511104 CPUtime=3761.24 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 588405 0 0 0 375894 230 0 0 25 0 4 0 731316486 523370496 89378 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 127776 89378 379 95 0 122758 0
[pid=32037/tid=32038] ppid=32035 vsize=511104 CPUtime=934.31 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 144789 0 0 0 93376 55 0 0 25 0 4 0 731316486 523370496 89378 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=511104 CPUtime=942.32 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 150131 0 0 0 94172 60 0 0 25 0 4 0 731316486 523370496 89378 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=511104 CPUtime=942.28 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 138924 0 0 0 94175 53 0 0 25 0 4 0 731316486 523370496 89378 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3761.24
Current children cumulated vsize (KiB) 511104

[startup+1002.3 s]
/proc/loadavg: 8.13 7.82 5.35 9/281 32068
/proc/meminfo: memFree=24517352/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=524720 CPUtime=4000.74 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 613328 0 0 0 399831 243 0 0 25 0 4 0 731316486 537313280 89821 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 131180 89821 379 95 0 126162 0
[pid=32037/tid=32038] ppid=32035 vsize=524720 CPUtime=993.81 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 150171 0 0 0 99324 57 0 0 25 0 4 0 731316486 537313280 89821 33554432000 4194304 4580107 140734186242752 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=524720 CPUtime=1002.32 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 157946 0 0 0 100169 63 0 0 25 0 4 0 731316486 537313280 89821 33554432000 4194304 4580107 140734186242752 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=524720 CPUtime=1002.27 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 144805 0 0 0 100171 56 0 0 25 0 4 0 731316486 537313280 89821 33554432000 4194304 4580107 140734186242752 18446744073709551615 4320735 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.74
Current children cumulated vsize (KiB) 524720

[startup+1062.3 s]
/proc/loadavg: 8.08 7.86 5.52 9/281 32069
/proc/meminfo: memFree=24437856/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=595872 CPUtime=4240.23 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 636456 0 0 0 423771 252 0 0 25 0 4 0 731316486 610172928 106791 33554432000 4194304 4580107 140734186242752 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 148968 106791 379 95 0 143950 0
[pid=32037/tid=32038] ppid=32035 vsize=595872 CPUtime=1053.3 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 153976 0 0 0 105271 59 0 0 25 0 4 0 731316486 610172928 106791 33554432000 4194304 4580107 140734186242752 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=595872 CPUtime=1062.31 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 166590 0 0 0 106165 66 0 0 25 0 4 0 731316486 610172928 106791 33554432000 4194304 4580107 140734186242752 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=595872 CPUtime=1062.27 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 150202 0 0 0 106169 58 0 0 25 0 4 0 731316486 610172928 106791 33554432000 4194304 4580107 140734186242752 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4240.23
Current children cumulated vsize (KiB) 595872

[startup+1122.3 s]
/proc/loadavg: 8.11 7.90 5.68 9/281 32071
/proc/meminfo: memFree=24427788/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=595872 CPUtime=4479.67 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 636753 0 0 0 447715 252 0 0 25 0 4 0 731316486 610172928 107088 33554432000 4194304 4580107 140734186242752 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 148968 107088 379 95 0 143950 0
[pid=32037/tid=32038] ppid=32035 vsize=595872 CPUtime=1112.73 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 154273 0 0 0 111214 59 0 0 25 0 4 0 731316486 610172928 107088 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=595872 CPUtime=1122.32 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 166590 0 0 0 112166 66 0 0 25 0 4 0 731316486 610172928 107088 33554432000 4194304 4580107 140734186242752 18446744073709551615 4397247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=595872 CPUtime=1122.27 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 150202 0 0 0 112169 58 0 0 25 0 4 0 731316486 610172928 107088 33554432000 4194304 4580107 140734186242752 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.67
Current children cumulated vsize (KiB) 595872

[startup+1182.3 s]
/proc/loadavg: 8.10 7.93 5.83 9/281 32073
/proc/meminfo: memFree=24443876/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=661484 CPUtime=4719.16 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 656151 0 0 0 471653 263 0 0 25 0 4 0 731316486 677359616 108535 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 165371 108535 379 95 0 160353 0
[pid=32037/tid=32038] ppid=32035 vsize=661484 CPUtime=1172.22 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 157914 0 0 0 117161 61 0 0 25 0 4 0 731316486 677359616 108535 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=661484 CPUtime=1182.32 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 172825 0 0 0 118162 70 0 0 25 0 4 0 731316486 677359616 108535 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=661484 CPUtime=1182.27 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 155513 0 0 0 118166 61 0 0 25 0 4 0 731316486 677359616 108535 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4719.16
Current children cumulated vsize (KiB) 661484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.07 7.94 5.87 9/281 32104
/proc/meminfo: memFree=24644820/32951124 swapFree=67083432/67111528
[pid=32037] ppid=32035 vsize=661484 CPUtime=4800.23 cores=1,3,5,7
/proc/32037/stat : 32037 (strangenight2-m) R 32035 32037 31966 0 -1 4202496 658910 0 0 0 479757 266 0 0 25 0 4 0 731316486 677359616 111294 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32037/statm: 165371 111294 379 95 0 160353 0
[pid=32037/tid=32038] ppid=32035 vsize=661484 CPUtime=1192.35 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 157914 0 0 0 119174 61 0 0 25 0 4 0 731316486 677359616 111295 33554432000 4194304 4580107 140734186242752 18446744073709551615 4340633 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32037/tid=32039] ppid=32035 vsize=661484 CPUtime=1202.63 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 174103 0 0 0 120192 71 0 0 25 0 4 0 731316486 677359616 111295 33554432000 4194304 4580107 140734186242752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=661484 CPUtime=1202.58 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (strangenight2-m) R 32035 32037 31966 0 -1 4202560 156994 0 0 0 120196 62 0 0 25 0 4 0 731316486 677359616 111295 33554432000 4194304 4580107 140734186242752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 661484

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.64
CPU time (s): 4800.28
CPU user time (s): 4797.6
CPU system time (s): 2.67959
CPU usage (%): 399.146
Max. virtual memory (cumulated for all children) (KiB): 704056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.6
system time used= 2.67959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658912
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= 346
involuntary context switches= 31458

runsolver used 2.90356 second user time and 7.35688 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-15 00:07:39
IDJOB=3366647
IDBENCH=83056
IDSOLVER=1844
FILE ID=node110/3366647-1305410859
RUNJOBID= node110-1305410851-31985
PBS_JOBID= 13324533
Free space on /tmp= 73588 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366647-1305410859/watcher-3366647-1305410859 -o /tmp/evaluation-result-3366647-1305410859/solver-3366647-1305410859 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366647-1305410859.cnf

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

MD5SUM BENCH= 68bf08be908d1e2b9826bc30706a7365
RANDOM SEED=174817425

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25102268 kB
Buffers:        277988 kB
Cached:        4045440 kB
SwapCached:       1440 kB
Active:        4336304 kB
Inactive:      3182632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25102268 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:           11496 kB
Writeback:           0 kB
AnonPages:     3194016 kB
Mapped:          23356 kB
Slab:           246744 kB
PageTables:      20752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46261768 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= 73580 MiB
End job on node110 at 2011-05-15 00:27:44