Trace number 3174238

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.17 1201.63

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.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-3174238-1304115785.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	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.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.39/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.39/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.39/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.39/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.39/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.39/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.39/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.39/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.39/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.39/0.10	c calculated reachability. Time: 0.00
0.39/0.10	c Calc default polars -  time:   0.00 s pos:      52 undec:       6 neg:      42
0.39/0.10	c =========================================================================================
0.39/0.10	c types(t): F = full restart, N = normal restart
0.39/0.10	c types(t): S = simplification begin/end, E = solution found
0.39/0.10	c restart types(rt): st = static, dy = dynamic
3.16/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.80	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
3.16/0.80	c Decided on static restart strategy
3.16/0.80	c  N st     8      4914       100      2130         0      4636     10650    101962   no data   no data
3.16/0.80	c  N st    10     11297       100      2130         0      4225     10650     73262   no data   no data
3.16/0.80	c  N st    11     17040       100      2130         0      9547     10650    191555   no data   no data
3.16/0.80	c  F st    12     25000       100      2130         0     11729     10650    234080   no data   no data
3.16/0.80	c  N st    12     25000       100      2130         0     11729     10650    234080   no data   no data
3.98/1.00	c Decided on static restart strategy
3.98/1.00	c  N st    18     30000       100      2130         0     10056     10650    182284   no data   no data
3.98/1.00	c  S st    18     30000       100      2130         0     10056     10650    182284   no data   no data
3.98/1.01	c  S st    18     30503       100      2130         0     10535     10650    193343   no data   no data
3.98/1.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.98/1.02	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.98/1.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.98/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.19	c lits-rem:       187  cl-subs:     1975  v-elim:      0  v-fix:    0  time:  0.17 s
4.76/1.22	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.76/1.22	c calculated reachability. Time: 0.00
4.76/1.22	c  N st    18     30503       100      2130         0      8560     10650    152099   no data   no data
5.96/1.55	c  N st    20     37614       100      2130         0      7915     10650    128825   no data   no data
7.16/1.86	c  N st    21     44014       100      2130         0     13840     10650    259957   no data   no data
7.56/1.94	c  S st    22     45755       100      2130         0     15472     10650    295979   no data   no data
7.56/1.99	c  S st    22     46258       100      2130         0     15954     10650    306717   no data   no data
7.56/1.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.56/2.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.56/2.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.56/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.56/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.56/2.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.56/2.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.96/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.35	c lits-rem:       308  cl-subs:     1922  v-elim:      0  v-fix:    0  time:  0.35 s
9.16/2.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.16/2.36	c vivif2 --  cl tried    14032 cl shrink        0 lits rem          0 time: 0.00
9.56/2.41	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.56/2.41	c calculated reachability. Time: 0.00
9.56/2.41	c  N st    22     46258       100      2130         0     14032     10650    262727   no data   no data
12.35/3.14	c  N st    23     60657       100      2130         0      9929     10650    149310   no data   no data
13.96/3.59	c  N st    24     69389       100      2130         0     17955     10650    322481   no data   no data
13.96/3.59	c  S st    24     69389       100      2130         0     17955     10650    322481   no data   no data
14.36/3.64	c  S st    24     69891       100      2130         0     18435     10650    332939   no data   no data
14.36/3.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.36/3.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.36/3.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.36/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.36/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.36/3.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.36/3.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.36/3.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.16	c lits-rem:       402  cl-subs:     2489  v-elim:      0  v-fix:    0  time:  0.50 s
16.36/4.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.36/4.17	c vivif2 --  cl tried    15946 cl shrink        0 lits rem          0 time: 0.00
16.76/4.22	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.76/4.22	c calculated reachability. Time: 0.00
16.76/4.22	c  N st    24     69891       100      2130         0     15946     10650    278835   no data   no data
20.35/5.19	c  F st    25     87500       100      2130         0     11144     10650    159694   no data   no data
20.35/5.19	c  N st    25     87500       100      2130         0     11144     10650    159694   no data   no data
21.56/5.45	c Decided on static restart strategy
22.34/5.60	c  N st    32     95541       100      2130         0     18609     10650    319932   no data   no data
24.35/6.15	c  N st    34    104837       100      2130         0     15264     10650    245466   no data   no data
24.35/6.15	c  S st    34    104837       100      2130         0     15264     10650    245466   no data   no data
24.35/6.19	c  S st    34    105340       100      2130         0     15743     10650    255914   no data   no data
24.35/6.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.35/6.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.74/6.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.74/6.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.74/6.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.74/6.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.74/6.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.74/6.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.74/6.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.14/6.36	c lits-rem:       215  cl-subs:     1188  v-elim:      0  v-fix:    0  time:  0.16 s
25.14/6.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.14/6.36	c vivif2 --  cl tried    14555 cl shrink        0 lits rem          0 time: 0.00
25.54/6.42	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.54/6.42	c calculated reachability. Time: 0.00
25.54/6.42	c  N st    34    105340       100      2130         0     14555     10650    230611   no data   no data
27.94/7.05	c  N st    35    114939       100      2130         0     23476     10650    426460   no data   no data
31.93/8.03	c  N st    36    129336       100      2130         0     23827     10650    408711   no data   no data
37.93/9.55	c  N st    37    150931       100      2130         0     15166     10650    202153   no data   no data
39.54/9.98	c  S st    38    158011       100      2130         0     21672     10650    340666   no data   no data
39.92/10.03	c  S st    38    158515       100      2130         0     22159     10650    351556   no data   no data
39.92/10.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.92/10.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
39.92/10.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.92/10.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.92/10.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.92/10.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
39.92/10.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.92/10.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
39.92/10.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.52/10.47	c lits-rem:       339  cl-subs:     2208  v-elim:      0  v-fix:    0  time:  0.42 s
41.52/10.47	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.52/10.47	c vivif2 --  cl tried    19951 cl shrink        0 lits rem          0 time: 0.00
41.92/10.54	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
41.92/10.54	c calculated reachability. Time: 0.00
41.92/10.54	c  N st    38    158515       100      2130         0     19951     10650    306548   no data   no data
56.72/14.26	c  N st    39    207104       100      2130         0     32420     10650    551564   no data   no data
67.49/16.91	c  N st    40    237773       100      2130         0     24767     10650    370122   no data   no data
67.49/16.91	c  S st    40    237773       100      2130         0     24767     10650    370122   no data   no data
67.49/16.98	c  S st    40    238278       100      2130         0     25255     10650    380998   no data   no data
67.49/16.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.49/16.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
67.49/16.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.49/16.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.49/16.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.49/16.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
67.49/16.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.49/16.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
67.88/17.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.49/17.49	c lits-rem:       396  cl-subs:     2333  v-elim:      0  v-fix:    0  time:  0.49 s
69.49/17.49	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
69.49/17.49	c vivif2 --  cl tried    22922 cl shrink        0 lits rem          0 time: 0.00
69.90/17.57	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
69.90/17.57	c calculated reachability. Time: 0.00
69.90/17.57	c  N st    40    238278       100      2130         0     22922     10650    335830   no data   no data
93.85/23.56	c  F st    41    306251       100      2130         0     24947     10650    342234   no data   no data
93.85/23.56	c  N st    41    306251       100      2130         0     24947     10650    342234   no data   no data
95.85/24.02	c Decided on static restart strategy
105.46/26.43	c  N st    51    334559       100      2130         0     28906     10650    413092   no data   no data
114.26/28.67	c  N st    53    357418       100      2130         0     26998     10650    362992   no data   no data
114.26/28.67	c  S st    53    357418       100      2130         0     26998     10650    362992   no data   no data
114.63/28.74	c  S st    53    357922       100      2130         0     27486     10650    373918   no data   no data
114.63/28.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
114.63/28.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
114.63/28.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
114.63/28.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
114.63/28.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.63/28.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
114.63/28.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
114.63/28.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
114.63/28.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
115.83/29.04	c lits-rem:       283  cl-subs:     1388  v-elim:      0  v-fix:    0  time:  0.28 s
115.83/29.04	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
115.83/29.05	c vivif2 --  cl tried    26098 cl shrink        0 lits rem          0 time: 0.00
116.23/29.14	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
116.23/29.14	c calculated reachability. Time: 0.00
116.23/29.14	c  N st    53    357922       100      2130         0     26098     10650    346088   no data   no data
129.41/32.47	c  N st    54    390315       100      2130         0     31936     10650    449063   no data   no data
152.98/38.40	c  N st    55    438904       100      2130         0     25983     10650    312254   no data   no data
182.95/45.89	c  N st    56    511786       100      2130         0     38797     10650    563781   no data   no data
194.14/48.66	c  N st    57    536883       100      2130         0     33406     10650    435789   no data   no data
194.14/48.66	c  S st    57    536883       100      2130         0     33406     10650    435789   no data   no data
194.54/48.74	c  S st    57    537384       100      2130         0     33886     10650    446436   no data   no data
194.54/48.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
194.54/48.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
194.54/48.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
194.54/48.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
194.54/48.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
194.54/48.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
194.54/48.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
194.54/48.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
194.54/48.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
196.53/49.21	c lits-rem:       263  cl-subs:     1799  v-elim:      0  v-fix:    0  time:  0.44 s
196.53/49.21	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
196.53/49.22	c vivif2 --  cl tried    32087 cl shrink        0 lits rem          0 time: 0.00
196.93/49.33	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
196.93/49.34	c calculated reachability. Time: 0.00
196.93/49.34	c  N st    57    537384       100      2130         0     32087     10650    411950   no data   no data
276.86/69.38	c  N st    58    701368       100      2130         0     59652     10650    941189   no data   no data
332.37/83.23	c  N st    59    806077       100      2130         0     53821     10650    807676   no data   no data
332.37/83.23	c  S st    59    806077       100      2130         0     53821     10650    807676   no data   no data
332.77/83.36	c  S st    59    806581       100      2130         0     54304     10650    818252   no data   no data
332.77/83.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
332.77/83.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
332.77/83.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
332.77/83.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
332.77/83.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
332.77/83.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
332.77/83.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
332.77/83.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
333.17/83.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
345.15/86.40	c lits-rem:      1266  cl-subs:     5612  v-elim:      0  v-fix:    0  time:  2.98 s
345.15/86.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
345.15/86.41	c vivif2 --  cl tried    48692 cl shrink        0 lits rem          0 time: 0.01
345.95/86.65	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
345.95/86.65	c calculated reachability. Time: 0.00
345.95/86.65	c  N st    59    806581       100      2130         0     48692     10650    704061   no data   no data
502.15/125.72	c  F st    60   1071875       100      2130         0     64244     10650    992290   no data   no data
502.15/125.72	c  N st    60   1071875       100      2130         0     64244     10650    992290   no data   no data
506.96/126.94	c Decided on static restart strategy
525.32/131.53	c  N st    70   1100184       100      2130         0     49032     10650    626715   no data   no data
552.10/138.24	c  N st    72   1136179       100      2130         0     82206     10650   1334978   no data   no data
571.67/143.15	c  N st    73   1168572       100      2130         0     69645     10650   1059576   no data   no data
598.04/149.79	c  N st    74   1209871       100      2130         0     64305     10650    928121   no data   no data
598.04/149.79	c  S st    74   1209871       100      2130         0     64305     10650    928121   no data   no data
599.24/150.04	c  S st    74   1210374       100      2130         0     64781     10650    939129   no data   no data
599.24/150.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
599.24/150.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
599.24/150.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
599.24/150.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
599.24/150.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
599.24/150.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
599.24/150.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
599.64/150.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
599.64/150.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
624.80/156.45	c lits-rem:       825  cl-subs:     6373  v-elim:      0  v-fix:    0  time:  6.32 s
624.80/156.45	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
624.80/156.46	c vivif2 --  cl tried    58408 cl shrink        0 lits rem          0 time: 0.01
626.40/156.89	c asymm  cl-useful: 0/1988/2130 lits-rem:0 time: 0.43
626.40/156.89	c calculated reachability. Time: 0.00
626.40/156.89	c  N st    74   1210374       100      2130         0     58408     10650    813064   no data   no data
693.51/173.63	c  N st    75   1283256       100      2130         0     81334     10650   1272641   no data   no data
784.99/196.52	c  N st    76   1392579       100      2130         0     90692     10650   1445784   no data   no data
920.42/230.45	c  N st    77   1556564       100      2130         0     97648     10650   1536464   no data   no data
1048.26/262.48	c  N st    78   1710376       100      2130         0     87642     10650   1322511   no data   no data
1048.26/262.48	c  S st    78   1710376       100      2130         0     87642     10650   1322511   no data   no data
1049.45/262.75	c  S st    78   1710879       100      2130         0     88124     10650   1333770   no data   no data
1049.45/262.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1049.45/262.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
1049.45/262.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1049.45/262.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1049.45/262.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1049.45/262.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1049.45/262.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1049.87/262.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1049.87/262.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1132.15/283.45	c lits-rem:      1861  cl-subs:    11724  v-elim:      0  v-fix:    0  time: 20.59 s
1132.15/283.45	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1132.15/283.47	c vivif2 --  cl tried    76400 cl shrink        0 lits rem          0 time: 0.02
1134.54/284.03	c asymm  cl-useful: 0/1523/2130 lits-rem:0 time: 0.56
1134.54/284.03	c calculated reachability. Time: 0.00
1134.54/284.03	c  N st    78   1710879       100      2130         0     76400     10650   1106825   no data   no data
1476.11/369.60	c  N st    79   2079843       100      2130         0     88416     10650   1288778   no data   no data
1595.16/399.34	c  N st    80   2210879       100      2130         0     92712     10650   1396564   no data   no data
1595.16/399.34	c  S st    80   2210879       100      2130         0     92712     10650   1396564   no data   no data
1596.34/399.65	c  S st    80   2211382       100      2130         0     93190     10650   1407471   no data   no data
1596.34/399.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1596.74/399.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1596.74/399.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1596.74/399.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1596.74/399.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1596.74/399.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1596.74/399.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1596.74/399.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1596.74/399.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1635.88/409.51	c lits-rem:      1699  cl-subs:     7765  v-elim:      0  v-fix:    0  time:  9.75 s
1635.88/409.51	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1635.88/409.53	c vivif2 --  cl tried    85425 cl shrink        0 lits rem          0 time: 0.02
1636.68/409.71	c asymm  cl-useful: 0/607/2130 lits-rem:0 time: 0.18
1636.68/409.71	c calculated reachability. Time: 0.00
1636.68/409.71	c  N st    80   2211382       100      2130         0     85425     10650   1246437   no data   no data
2140.42/535.88	c  N st    81   2711385       100      2130         0    107038     10650   1582155   no data   no data
2140.42/535.88	c  S st    81   2711385       100      2130         0    107038     10650   1582155   no data   no data
2142.02/536.26	c  S st    81   2711889       100      2130         0    107505     10650   1592630   no data   no data
2142.02/536.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2142.42/536.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2142.42/536.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2142.42/536.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2142.42/536.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2142.42/536.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2142.42/536.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2142.42/536.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2142.42/536.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2209.95/553.22	c lits-rem:      1615  cl-subs:    14152  v-elim:      0  v-fix:    0  time: 16.83 s
2209.95/553.22	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2209.95/553.24	c vivif2 --  cl tried    93353 cl shrink        0 lits rem          0 time: 0.02
2211.13/553.57	c asymm  cl-useful: 0/1325/2130 lits-rem:0 time: 0.33
2211.13/553.58	c calculated reachability. Time: 0.00
2211.13/553.58	c  N st    81   2711889       100      2130         0     93353     10650   1324425   no data   no data
2806.74/702.68	c  N st    82   3211892       100      2130         0     71699     10650    763260   no data   no data
2806.74/702.68	c  S st    82   3211892       100      2130         0     71699     10650    763260   no data   no data
2807.56/702.87	c  S st    82   3212398       100      2130         0     72184     10650    775049   no data   no data
2807.56/702.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2807.96/702.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2807.96/702.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2807.96/702.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2807.96/702.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2807.96/702.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2807.96/702.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2807.96/702.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2807.96/702.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2809.54/703.35	c lits-rem:        38  cl-subs:      393  v-elim:      0  v-fix:    0  time:  0.41 s
2809.54/703.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2809.54/703.36	c vivif2 --  cl tried    71791 cl shrink        0 lits rem          0 time: 0.01
2810.34/703.53	c asymm  cl-useful: 0/805/2130 lits-rem:0 time: 0.16
2810.34/703.53	c calculated reachability. Time: 0.00
2810.34/703.53	c  N st    82   3212398       100      2130         0     71791     10650    768273   no data   no data
3429.92/858.64	c  N st    83   3712398       100      2130         0     82251     10650    923809   no data   no data
3429.92/858.64	c  S st    83   3712398       100      2130         0     82251     10650    923809   no data   no data
3431.12/858.90	c  S st    83   3712901       100      2130         0     82731     10650    935054   no data   no data
3431.12/858.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3431.12/858.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3431.12/858.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3431.12/858.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3431.12/858.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3431.12/858.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3431.12/858.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3431.12/858.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3431.12/858.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3435.11/859.97	c lits-rem:       287  cl-subs:     1651  v-elim:      0  v-fix:    0  time:  0.98 s
3435.11/859.97	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3435.11/859.98	c vivif2 --  cl tried    81080 cl shrink        0 lits rem          0 time: 0.01
3436.33/860.29	c asymm  cl-useful: 0/1432/2130 lits-rem:0 time: 0.31
3436.33/860.29	c calculated reachability. Time: 0.00
3436.33/860.29	c  N st    83   3712901       100      2130         0     81080     10650    905121   no data   no data
3483.45/872.00	c  F st    84   3751562       100      2130         0    116533     10650   1675093   no data   no data
3483.45/872.00	c  N st    84   3751562       100      2130         0    116533     10650   1675093   no data   no data
3492.64/874.32	c Decided on static restart strategy
3531.38/884.09	c  N st    94   3779862       100      2130         0    142508     10650   2252353   no data   no data
3585.33/897.54	c  N st    96   3815855       100      2130         0     97774     10650   1252313   no data   no data
3626.06/907.74	c  N st    97   3848248       100      2130         0    127501     10650   1883550   no data   no data
3695.96/925.26	c  N st    98   3896837       100      2130         0     93106     10650   1132015   no data   no data
3800.65/951.44	c  N st    99   3969720       100      2130         0     80387     10650    848065   no data   no data
3947.24/988.18	c  N st   100   4079043       100      2130         0    100008     10650   1240051   no data   no data
4151.77/1039.40	c  N st   101   4212901       100      2130         0    140391     10650   2028474   no data   no data
4151.77/1039.40	c  S st   101   4212901       100      2130         0    140391     10650   2028474   no data   no data
4154.16/1039.97	c  S st   101   4213402       100      2130         0    140860     10650   2039376   no data   no data
4154.16/1039.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4154.56/1040.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.09
4154.56/1040.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4154.56/1040.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4154.56/1040.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4154.56/1040.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4154.56/1040.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4154.96/1040.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4154.96/1040.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4433.40/1109.84	c lits-rem:      1329  cl-subs:    23467  v-elim:      0  v-fix:    0  time: 69.66 s
4433.40/1109.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4433.40/1109.87	c vivif2 --  cl tried   117393 cl shrink        0 lits rem          0 time: 0.03
4435.38/1110.34	c asymm  cl-useful: 0/698/2130 lits-rem:0 time: 0.47
4435.38/1110.34	c calculated reachability. Time: 0.00
4435.38/1110.34	c  N st   101   4213402       100      2130         0    117393     10650   1619120   no data   no data
4779.72/1196.53	c  N st   102   4459378       100      2130         0     94500     10650   1098931   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-3174238-1304115785/watcher-3174238-1304115785 -o /tmp/evaluation-result-3174238-1304115785/solver-3174238-1304115785 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174238-1304115785.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.45 7.69 7.89 4/176 21890
/proc/meminfo: memFree=17892292/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) D 21886 21890 21853 0 -1 4202496 435 0 0 0 0 0 0 0 18 0 4 0 523181120 52441088 364 33554432000 4194304 4627427 140735177966144 18446744073709551615 216634558554 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 12803 364 310 106 0 7774 0
[pid=21890/tid=21893] ppid=21886 vsize=116748 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) D 21886 21890 21853 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 4 0 523181120 119549952 368 33554432000 4194304 4627427 140735177966144 18446744073709551615 4468560 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=182284 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 4 0 523181120 186658816 384 33554432000 4194304 4627427 140735177966144 18446744073709551615 216634176197 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=182284 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 523181120 186658816 394 33554432000 4194304 4627427 140735177966144 18446744073709551615 216658887088 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0584551 s]
/proc/loadavg: 6.45 7.69 7.89 4/176 21890
/proc/meminfo: memFree=17892292/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=282080 CPUtime=0.2 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 1454 0 0 0 20 0 0 0 20 0 4 0 523181120 288849920 1360 33554432000 4194304 4627427 140735177966144 18446744073709551615 4329679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 70520 1360 383 106 0 65491 0
[pid=21890/tid=21893] ppid=21886 vsize=282080 CPUtime=0.05 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 294 0 0 0 5 0 0 0 18 0 4 0 523181120 288849920 1360 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=282080 CPUtime=0.05 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 285 0 0 0 5 0 0 0 18 0 4 0 523181120 288849920 1360 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=282080 CPUtime=0.04 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 192 0 0 0 4 0 0 0 21 0 4 0 523181120 288849920 1360 33554432000 4194304 4627427 140735177966144 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282080

[startup+0.105287 s]
/proc/loadavg: 6.45 7.69 7.89 4/176 21890
/proc/meminfo: memFree=17892292/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=282080 CPUtime=0.39 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 1718 0 0 0 39 0 0 0 20 0 4 0 523181120 288849920 1624 33554432000 4194304 4627427 140735177966144 18446744073709551615 4333086 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 70520 1624 383 106 0 65491 0
[pid=21890/tid=21893] ppid=21886 vsize=282080 CPUtime=0.09 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 354 0 0 0 9 0 0 0 18 0 4 0 523181120 288849920 1624 33554432000 4194304 4627427 140735177966144 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=282080 CPUtime=0.09 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 355 0 0 0 9 0 0 0 18 0 4 0 523181120 288849920 1624 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=282080 CPUtime=0.09 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 257 0 0 0 9 0 0 0 21 0 4 0 523181120 288849920 1624 33554432000 4194304 4627427 140735177966144 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282080

[startup+0.300414 s]
/proc/loadavg: 6.45 7.69 7.89 4/176 21890
/proc/meminfo: memFree=17892292/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=292584 CPUtime=1.17 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 3120 0 0 0 117 0 0 0 20 0 4 0 523181120 299606016 1906 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 73146 1911 384 106 0 68117 0
[pid=21890/tid=21893] ppid=21886 vsize=292584 CPUtime=0.29 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 724 0 0 0 29 0 0 0 18 0 4 0 523181120 299606016 1915 33554432000 4194304 4627427 140735177966144 18446744073709551615 4332309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=292584 CPUtime=0.29 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 668 0 0 0 29 0 0 0 18 0 4 0 523181120 299606016 1920 33554432000 4194304 4627427 140735177966144 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=292584 CPUtime=0.28 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 631 0 0 0 28 0 0 0 21 0 4 0 523181120 299606016 1925 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 292584

[startup+0.700343 s]
/proc/loadavg: 6.45 7.69 7.89 4/176 21890
/proc/meminfo: memFree=17892292/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=284596 CPUtime=2.76 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 4966 0 0 0 276 0 0 0 21 0 4 0 523181120 291426304 2541 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 71149 2541 384 106 0 66120 0
[pid=21890/tid=21893] ppid=21886 vsize=284596 CPUtime=0.69 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 1183 0 0 0 69 0 0 0 18 0 4 0 523181120 291426304 2541 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=284596 CPUtime=0.69 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 1177 0 0 0 69 0 0 0 18 0 4 0 523181120 291426304 2541 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=284596 CPUtime=0.68 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 1058 0 0 0 68 0 0 0 22 0 4 0 523181120 291426304 2541 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284596

[startup+1.5002 s]
/proc/loadavg: 6.45 7.69 7.89 11/184 21898
/proc/meminfo: memFree=17870776/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=285436 CPUtime=5.96 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 10202 0 0 0 595 1 0 0 23 0 4 0 523181120 292286464 5196 33554432000 4194304 4627427 140735177966144 18446744073709551615 4330954 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 71359 5196 388 106 0 66330 0
[pid=21890/tid=21893] ppid=21886 vsize=285436 CPUtime=1.48 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 3062 0 0 0 148 0 0 0 20 0 4 0 523181120 292286464 5196 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=285436 CPUtime=1.49 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 1962 0 0 0 149 0 0 0 20 0 4 0 523181120 292286464 5196 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=285436 CPUtime=1.48 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 1854 0 0 0 148 0 0 0 25 0 4 0 523181120 292286464 5196 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285436

[startup+3.10092 s]
/proc/loadavg: 6.45 7.69 7.89 9/184 21898
/proc/meminfo: memFree=17830476/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=285068 CPUtime=12.35 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 19940 0 0 0 1233 2 0 0 25 0 4 0 523181120 291909632 11099 33554432000 4194304 4627427 140735177966144 18446744073709551615 4338605 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 71267 11099 388 106 0 66238 0
[pid=21890/tid=21893] ppid=21886 vsize=285068 CPUtime=3.08 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 5444 0 0 0 308 0 0 0 25 0 4 0 523181120 291909632 11099 33554432000 4194304 4627427 140735177966144 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=285068 CPUtime=3.08 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 4756 0 0 0 308 0 0 0 25 0 4 0 523181120 291909632 11099 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=285068 CPUtime=3.07 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 4495 0 0 0 306 1 0 0 25 0 4 0 523181120 291909632 11099 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 285068

[startup+6.30036 s]
/proc/loadavg: 6.58 7.69 7.89 10/184 21899
/proc/meminfo: memFree=17792296/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=297948 CPUtime=25.14 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 28397 0 0 0 2510 4 0 0 25 0 4 0 523181120 305098752 12833 33554432000 4194304 4627427 140735177966144 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 74487 12833 388 106 0 69458 0
[pid=21890/tid=21893] ppid=21886 vsize=297948 CPUtime=6.29 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 7060 0 0 0 628 1 0 0 25 0 4 0 523181120 305098752 12833 33554432000 4194304 4627427 140735177966144 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=297948 CPUtime=6.28 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 7080 0 0 0 628 0 0 0 25 0 4 0 523181120 305098752 12833 33554432000 4194304 4627427 140735177966144 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=297948 CPUtime=6.26 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 6626 0 0 0 625 1 0 0 25 0 4 0 523181120 305098752 12833 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 297948

[startup+12.7002 s]
/proc/loadavg: 6.69 7.70 7.89 10/184 21899
/proc/meminfo: memFree=17750168/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=298852 CPUtime=50.71 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 43684 0 0 0 5063 8 0 0 25 0 4 0 523181120 306024448 16420 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 74713 16420 388 106 0 69684 0
[pid=21890/tid=21893] ppid=21886 vsize=298852 CPUtime=12.68 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 11032 0 0 0 1266 2 0 0 25 0 4 0 523181120 306024448 16420 33554432000 4194304 4627427 140735177966144 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=298852 CPUtime=12.68 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 10319 0 0 0 1267 1 0 0 25 0 4 0 523181120 306024448 16420 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=298852 CPUtime=12.62 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 10979 0 0 0 1260 2 0 0 25 0 4 0 523181120 306024448 16420 33554432000 4194304 4627427 140735177966144 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 298852

[startup+25.501 s]
/proc/loadavg: 7.06 7.73 7.90 9/184 21899
/proc/meminfo: memFree=17709896/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=303660 CPUtime=101.85 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 66716 0 0 0 10171 14 0 0 25 0 4 0 523181120 310947840 20037 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309200 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 75915 20037 388 106 0 70886 0
[pid=21890/tid=21893] ppid=21886 vsize=303660 CPUtime=25.48 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 16490 0 0 0 2544 4 0 0 25 0 4 0 523181120 310947840 20037 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=303660 CPUtime=25.48 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 16440 0 0 0 2546 2 0 0 25 0 4 0 523181120 310947840 20038 33554432000 4194304 4627427 140735177966144 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=303660 CPUtime=25.36 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 16790 0 0 0 2533 3 0 0 25 0 4 0 523181120 310947840 20038 33554432000 4194304 4627427 140735177966144 18446744073709551615 4310462 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 303660

[startup+51.1005 s]
/proc/loadavg: 7.38 7.75 7.90 10/184 21900
/proc/meminfo: memFree=17657436/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=298492 CPUtime=204.12 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 102155 0 0 0 20389 23 0 0 25 0 4 0 523181120 305655808 26827 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 74623 26827 388 106 0 69594 0
[pid=21890/tid=21893] ppid=21886 vsize=298492 CPUtime=51.08 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 24747 0 0 0 5103 5 0 0 25 0 4 0 523181120 305655808 26827 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=298492 CPUtime=51.09 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 25704 0 0 0 5104 5 0 0 25 0 4 0 523181120 305655808 26827 33554432000 4194304 4627427 140735177966144 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=298492 CPUtime=50.84 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 25072 0 0 0 5078 6 0 0 25 0 4 0 523181120 305655808 26827 33554432000 4194304 4627427 140735177966144 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 298492

[startup+102.306 s]
/proc/loadavg: 7.73 7.78 7.91 10/184 21901
/proc/meminfo: memFree=17592936/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=321040 CPUtime=408.69 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 156761 0 0 0 40831 38 0 0 25 0 4 0 523181120 328744960 35463 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 80260 35463 388 106 0 75231 0
[pid=21890/tid=21893] ppid=21886 vsize=321040 CPUtime=102.3 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 38845 0 0 0 10221 9 0 0 25 0 4 0 523181120 328744960 35463 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=321040 CPUtime=102.28 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 38269 0 0 0 10219 9 0 0 25 0 4 0 523181120 328744960 35463 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=321040 CPUtime=101.79 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 40374 0 0 0 10170 9 0 0 25 0 4 0 523181120 328744960 35463 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 321040

[startup+162.301 s]

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

[pid=21890] ppid=21886 vsize=534392 CPUtime=2565.88 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 468746 0 0 0 256427 161 0 0 25 0 4 0 523181120 547217408 86027 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 133598 86027 388 106 0 128569 0
[pid=21890/tid=21893] ppid=21886 vsize=534392 CPUtime=642.31 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 113042 0 0 0 64193 38 0 0 25 0 4 0 523181120 547217408 86027 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=534392 CPUtime=642.3 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 112710 0 0 0 64192 38 0 0 25 0 4 0 523181120 547217408 86027 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=534392 CPUtime=638.94 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 120617 0 0 0 63851 43 0 0 25 0 4 0 523181120 547217408 86027 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.88
Current children cumulated vsize (KiB) 534392

[startup+702.301 s]
/proc/loadavg: 8.13 8.07 7.99 9/184 21917
/proc/meminfo: memFree=17132188/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=534712 CPUtime=2805.54 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 496303 0 0 0 280383 171 0 0 25 0 4 0 523181120 547545088 87372 33554432000 4194304 4627427 140735177966144 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 133678 87372 388 106 0 128649 0
[pid=21890/tid=21893] ppid=21886 vsize=534712 CPUtime=702.3 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 121525 0 0 0 70189 41 0 0 25 0 4 0 523181120 547545088 87372 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=534712 CPUtime=702.3 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 120140 0 0 0 70189 41 0 0 25 0 4 0 523181120 547545088 87372 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=534712 CPUtime=698.61 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 126105 0 0 0 69816 45 0 0 25 0 4 0 523181120 547545088 87372 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.54
Current children cumulated vsize (KiB) 534712

[startup+762.306 s]
/proc/loadavg: 8.11 8.07 8.00 10/184 21919
/proc/meminfo: memFree=17109576/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=547880 CPUtime=3045.25 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 522328 0 0 0 304342 183 0 0 25 0 4 0 523181120 561029120 85761 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 136970 85761 388 106 0 131941 0
[pid=21890/tid=21893] ppid=21886 vsize=547880 CPUtime=762.3 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 129034 0 0 0 76186 44 0 0 25 0 4 0 523181120 561029120 85761 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=547880 CPUtime=762.29 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 126782 0 0 0 76186 43 0 0 25 0 4 0 523181120 561029120 85761 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=547880 CPUtime=758.3 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 132446 0 0 0 75782 48 0 0 25 0 4 0 523181120 561029120 85761 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.25
Current children cumulated vsize (KiB) 547880

[startup+822.301 s]
/proc/loadavg: 8.10 8.07 8.00 9/184 21920
/proc/meminfo: memFree=17132464/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=548304 CPUtime=3284.92 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 548460 0 0 0 328297 195 0 0 25 0 4 0 523181120 561463296 89398 33554432000 4194304 4627427 140735177966144 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 137076 89398 388 106 0 132047 0
[pid=21890/tid=21893] ppid=21886 vsize=548304 CPUtime=822.3 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 135623 0 0 0 82183 47 0 0 25 0 4 0 523181120 561463296 89398 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=548304 CPUtime=822.29 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 133742 0 0 0 82182 47 0 0 25 0 4 0 523181120 561463296 89398 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=548304 CPUtime=817.98 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 139729 0 0 0 81747 51 0 0 25 0 4 0 523181120 561463296 89398 33554432000 4194304 4627427 140735177966144 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.92
Current children cumulated vsize (KiB) 548304

[startup+882.3 s]
/proc/loadavg: 8.13 8.08 8.01 10/184 21922
/proc/meminfo: memFree=17091112/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=535528 CPUtime=3524.59 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 573430 0 0 0 352252 207 0 0 25 0 4 0 523181120 548380672 88059 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 133882 88059 388 106 0 128853 0
[pid=21890/tid=21893] ppid=21886 vsize=535528 CPUtime=882.3 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 143100 0 0 0 88180 50 0 0 25 0 4 0 523181120 548380672 88059 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=535528 CPUtime=882.3 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 140150 0 0 0 88179 51 0 0 25 0 4 0 523181120 548380672 88060 33554432000 4194304 4627427 140735177966144 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=535528 CPUtime=877.65 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 144572 0 0 0 87712 53 0 0 25 0 4 0 523181120 548380672 88060 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.59
Current children cumulated vsize (KiB) 535528

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 8.01 10/184 21924
/proc/meminfo: memFree=17053264/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=531380 CPUtime=3764.27 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 594655 0 0 0 376209 218 0 0 25 0 4 0 523181120 544133120 90245 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 132845 90245 388 106 0 127816 0
[pid=21890/tid=21893] ppid=21886 vsize=531380 CPUtime=942.3 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 147747 0 0 0 94176 54 0 0 25 0 4 0 523181120 544133120 90245 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=531380 CPUtime=942.3 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 146513 0 0 0 94177 53 0 0 25 0 4 0 523181120 544133120 90245 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=531380 CPUtime=937.34 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 149338 0 0 0 93678 56 0 0 25 0 4 0 523181120 544133120 90245 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.27
Current children cumulated vsize (KiB) 531380

[startup+1002.3 s]
/proc/loadavg: 8.11 8.09 8.01 10/184 21925
/proc/meminfo: memFree=17066248/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=544536 CPUtime=4003.96 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 615153 0 0 0 400170 226 0 0 25 0 4 0 523181120 557604864 92323 33554432000 4194304 4627427 140735177966144 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 136134 92323 388 106 0 131105 0
[pid=21890/tid=21893] ppid=21886 vsize=544536 CPUtime=1002.31 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 151004 0 0 0 100175 56 0 0 25 0 4 0 523181120 557604864 92323 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=544536 CPUtime=1002.29 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 154414 0 0 0 100174 55 0 0 25 0 4 0 523181120 557604864 92323 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=544536 CPUtime=997.01 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 155219 0 0 0 99643 58 0 0 25 0 4 0 523181120 557604864 92323 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.96
Current children cumulated vsize (KiB) 544536

[startup+1062.3 s]
/proc/loadavg: 8.04 8.07 8.00 10/184 21927
/proc/meminfo: memFree=16992072/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=617192 CPUtime=4243.64 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 631614 0 0 0 424130 234 0 0 25 0 4 0 523181120 632004608 105715 33554432000 4194304 4627427 140735177966144 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 154298 105715 388 106 0 149269 0
[pid=21890/tid=21893] ppid=21886 vsize=617192 CPUtime=1062.31 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 152607 0 0 0 106175 56 0 0 25 0 4 0 523181120 632004608 105715 33554432000 4194304 4627427 140735177966144 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=617192 CPUtime=1062.3 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 159782 0 0 0 106171 59 0 0 25 0 4 0 523181120 632004608 105715 33554432000 4194304 4627427 140735177966144 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=617192 CPUtime=1056.69 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 159449 0 0 0 105608 61 0 0 25 0 4 0 523181120 632004608 105715 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.64
Current children cumulated vsize (KiB) 617192

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 21928
/proc/meminfo: memFree=16969480/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=617192 CPUtime=4483.32 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 639561 0 0 0 448095 237 0 0 25 0 4 0 523181120 632004608 112000 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 154298 112000 388 106 0 149269 0
[pid=21890/tid=21893] ppid=21886 vsize=617192 CPUtime=1122.31 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 155350 0 0 0 112173 58 0 0 25 0 4 0 523181120 632004608 112000 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=617192 CPUtime=1122.3 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 160217 0 0 0 112171 59 0 0 25 0 4 0 523181120 632004608 112000 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=617192 CPUtime=1116.36 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 163583 0 0 0 111574 62 0 0 25 0 4 0 523181120 632004608 112000 33554432000 4194304 4627427 140735177966144 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.32
Current children cumulated vsize (KiB) 617192

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 8.01 10/184 21930
/proc/meminfo: memFree=16984692/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=574960 CPUtime=4723 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 656969 0 0 0 472054 246 0 0 25 0 4 0 523181120 588759040 109174 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 143740 109174 388 106 0 138711 0
[pid=21890/tid=21893] ppid=21886 vsize=574960 CPUtime=1182.32 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 158274 0 0 0 118172 60 0 0 25 0 4 0 523181120 588759040 109174 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=574960 CPUtime=1182.31 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 166633 0 0 0 118168 63 0 0 25 0 4 0 523181120 588759040 109174 33554432000 4194304 4627427 140735177966144 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=574960 CPUtime=1176.04 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 166276 0 0 0 117541 63 0 0 25 0 4 0 523181120 588759040 109174 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4723
Current children cumulated vsize (KiB) 574960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.16 8.10 8.01 9/184 21930
/proc/meminfo: memFree=16971528/32951124 swapFree=67111528/67111528
[pid=21890] ppid=21886 vsize=575028 CPUtime=4800.12 cores=1,3,5,7
/proc/21890/stat : 21890 (strangenight2-m) R 21886 21890 21853 0 -1 4202496 663918 0 0 0 479763 249 0 0 25 0 4 0 523181120 588828672 112888 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21890/statm: 143757 112888 388 106 0 138728 0
[pid=21890/tid=21893] ppid=21886 vsize=575028 CPUtime=1201.62 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 159446 0 0 0 120102 60 0 0 25 0 4 0 523181120 588828672 112888 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21890/tid=21894] ppid=21886 vsize=575028 CPUtime=1201.61 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 169005 0 0 0 120097 64 0 0 25 0 4 0 523181120 588828672 112888 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21890/tid=21895] ppid=21886 vsize=575028 CPUtime=1195.24 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (strangenight2-m) R 21886 21890 21853 0 -1 4202560 167384 0 0 0 119460 64 0 0 25 0 4 0 523181120 588828672 112888 33554432000 4194304 4627427 140735177966144 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 575028

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.17
CPU user time (s): 4797.65
CPU system time (s): 2.51462
CPU usage (%): 399.47
Max. virtual memory (cumulated for all children) (KiB): 725376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.65
system time used= 2.51462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663920
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= 308
involuntary context switches= 36173

runsolver used 1.84672 second user time and 4.55231 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-30 00:23:05
IDJOB=3174238
IDBENCH=83056
IDSOLVER=1586
FILE ID=node103/3174238-1304115785
RUNJOBID= node103-1304115785-21872
PBS_JOBID= 13170711
Free space on /tmp= 71520 MiB

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

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

MD5SUM BENCH= 68bf08be908d1e2b9826bc30706a7365
RANDOM SEED=1823297024

node103.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.858
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.71
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.858
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.858
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.858
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.77
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.858
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.75
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.858
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.75
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.858
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.83
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.858
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:      17892720 kB
Buffers:       2149512 kB
Cached:       12259892 kB
SwapCached:          0 kB
Active:        5600280 kB
Inactive:      8872272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17892720 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11840 kB
Writeback:           0 kB
AnonPages:       63444 kB
Mapped:          14296 kB
Slab:           520244 kB
PageTables:       5260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185252 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= 71508 MiB
End job on node103 at 2011-04-30 00:43:09