Trace number 3366936

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.18 1203.43

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
MD5SUM41d80cc808c021a52e21ee9950bc91e0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables764
Number of clauses9695
Sum of the clauses size29276
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 39504
Number of clauses of size 4191
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366936-1305416129.cnf'
0.00/0.01	c -- header says num vars:            764
0.00/0.01	c -- header says num clauses:        9695
0.00/0.01	c -- clauses added:            0 learnts,         9695 normals,            0 xors
0.00/0.01	c -- vars added        764
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       764      9695         0         0     29276         0   no data   no data
0.00/0.03	c asymm  cl-useful: 0/9695/9695 lits-rem:0 time: 0.01
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    764 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.00/0.85	c lits-rem:      2980  cl-subs:        0  v-elim:    191  v-fix:    0  time:  0.02 s
0.00/0.85	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.85	c calculated reachability. Time: 0.00
0.00/0.85	c Calc default polars -  time:   0.00 s pos:       0 undec:     191 neg:     573
0.00/0.85	c =========================================================================================
0.00/0.85	c types(t): F = full restart, N = normal restart
0.00/0.85	c types(t): S = simplification begin/end, E = solution found
0.00/0.85	c restart types(rt): st = static, dy = dynamic
0.00/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.85	c  B st     0         0       573      9504         0         0     39788         0   no data   no data
0.00/0.85	c  N dy    19      4148       573      9504         5      4006     39788     75251     10.39     11.11
0.00/0.85	c  N dy    44      8211       573      9504        16      5547     39788     81298     10.62     12.96
0.00/0.85	c  N dy    70     12242       573      9504        22      5335     39788     52823     10.92     12.96
4.03/1.05	c  N dy    89     17014       573      9504        24      9974     39788    151111     10.91     11.61
4.76/1.25	c  N dy   118     21033       573      9504        29      8408     39788     98543     11.15     14.50
5.96/1.52	c  F st   148     25000       573      9504        32     12286     39788    181171     11.36     11.27
5.96/1.54	c  N st   149     25251       573      9504        32     12530     39788    186126     11.36   no data
7.57/1.93	c Decided on static restart strategy
7.57/1.93	c  N st   154     30000       573      9504        32     10553     39788    141342     11.36   no data
7.57/1.93	c  S st   154     30000       573      9504        32     10553     39788    141342     11.36   no data
7.57/1.96	c  S st   154     30501       573      9504        39     11044     39788    146783     11.36   no data
7.57/1.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.57/1.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.57/1.97	c blocked clauses removed:        0 vars:      0 tried:         573 T: 0.00 s
7.57/1.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.57/1.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.57/1.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    573 time:  0.00 s
7.57/1.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.57/1.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.57/1.98	c subs with bin:       79  lits-rem:      1209  v-fix:    0  time:  0.00 s
8.35/2.10	c lits-rem:      2653  cl-subs:     1481  v-elim:      0  v-fix:    0  time:  0.12 s
8.35/2.14	c asymm  cl-useful: 2360/9504/9504 lits-rem:3399 time: 0.04
8.35/2.14	c calculated reachability. Time: 0.00
8.35/2.14	c  N st   154     30501       573      9504        39      9484     34767    131231     11.36   no data
9.15/2.38	c Finding binary XORs  T:     0.00 s  found:       0
10.75/2.78	c  N st   156     37611       573      9504        45      8848     34767    104293     11.36   no data
13.54/3.47	c  N st   157     44011       573      9504        55     15035     34767    243750     11.36   no data
14.34/3.66	c  S st   158     45752       573      9504        58     16724     34767    281450     11.36   no data
14.74/3.70	c  S st   158     46254       573      9504        65     17214     34767    288327     11.36   no data
14.74/3.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.74/3.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
14.74/3.71	c Replacing        1 vars Replaced      233 lits Time:     0.00 s 
14.74/3.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.74/3.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.74/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.74/3.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    572 time:  0.00 s
14.74/3.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
14.74/3.72	c lits-rem:       139  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.00 s
14.74/3.75	c subs with bin:       35  lits-rem:      5730  v-fix:    0  time:  0.03 s
15.93/4.06	c lits-rem:      2510  cl-subs:     2379  v-elim:      0  v-fix:    0  time:  0.30 s
15.93/4.06	c vivif2 --  cl tried     9490 cl shrink        0 lits rem          0 time: 0.00
15.93/4.06	c vivif2 --  cl tried    14800 cl shrink        0 lits rem          0 time: 0.00
16.35/4.12	c asymm  cl-useful: 992/9490/9490 lits-rem:1262 time: 0.06
16.35/4.12	c calculated reachability. Time: 0.00
16.35/4.12	c  N st   158     46254       572      9490        63     14800     33206    244487     11.36   no data
23.12/5.83	c  N st   159     60651       572      9490        67     10571     33206    114421     11.36   no data
23.12/5.83	c Finding binary XORs  T:     0.00 s  found:       1
27.50/6.92	c  N st   160     69382       572      9490       114     18976     33206    293092     11.36   no data
27.50/6.92	c  S st   160     69382       572      9490       114     18976     33206    293092     11.36   no data
27.50/6.97	c  S st   160     69887       572      9490       125     19471     33206    300495     11.36   no data
27.50/6.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.50/6.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  0.3M T:  0.01
27.50/6.98	c Replacing        1 vars Replaced     1272 lits Time:     0.00 s 
27.50/6.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.50/6.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.50/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.50/6.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
27.50/6.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.50/6.99	c lits-rem:       113  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.00 s
27.90/7.03	c subs with bin:       31  lits-rem:      6356  v-fix:    0  time:  0.03 s
29.94/7.57	c lits-rem:      1662  cl-subs:     3815  v-elim:      0  v-fix:    0  time:  0.54 s
29.94/7.57	c vivif2 --  cl tried     9476 cl shrink        0 lits rem          0 time: 0.00
29.94/7.58	c vivif2 --  cl tried    15615 cl shrink        0 lits rem          0 time: 0.00
30.29/7.64	c asymm  cl-useful: 403/9476/9476 lits-rem:457 time: 0.07
30.29/7.64	c calculated reachability. Time: 0.00
30.29/7.64	c  N st   160     69887       571      9476       122     15615     32552    228905     11.36   no data
37.88/9.61	c  F st   161     87501       571      9476       125     22150     32552    316229     11.36   no data
38.29/9.61	c  N st   161     87501       571      9476       125     22150     32552    316229     11.36   no data
38.29/9.61	c Finding binary XORs  T:     0.00 s  found:       0
40.67/10.24	c Decided on static restart strategy
41.87/10.59	c  N st   168     95538       571      9476       150     18394     32552    230274     11.36   no data
46.65/11.77	c  N st   170    104832       571      9476       161     14864     32552    156024     11.36   no data
46.65/11.77	c  S st   170    104832       571      9476       161     14864     32552    156024     11.36   no data
47.06/11.82	c  S st   170    105334       571      9476       171     15358     32552    164872     11.36   no data
47.06/11.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.06/11.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
47.06/11.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.06/11.83	c bin-w-bin subsume rem            3 bins  time:  0.00 s
47.06/11.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.06/11.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
47.06/11.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.06/11.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
47.06/11.84	c subs with bin:       37  lits-rem:      2741  v-fix:    0  time:  0.01 s
47.49/11.92	c lits-rem:       732  cl-subs:     1108  v-elim:      0  v-fix:    0  time:  0.07 s
47.49/11.92	c vivif2 --  cl tried     9476 cl shrink        0 lits rem          0 time: 0.00
47.49/11.92	c vivif2 --  cl tried    14213 cl shrink        0 lits rem          0 time: 0.00
47.49/11.99	c asymm  cl-useful: 251/9476/9476 lits-rem:262 time: 0.06
47.49/11.99	c calculated reachability. Time: 0.00
47.49/11.99	c  N st   170    105334       571      9476       168     14213     32257    145578     11.36   no data
53.03/13.31	c  N st   171    114934       571      9476       168     23577     32257    324328     11.36   no data
53.03/13.31	c Finding binary XORs  T:     0.00 s  found:       0
59.81/15.05	c  N st   172    129331       571      9476       172     24021     32257    341322     11.36   no data
71.77/18.07	c  N st   173    150926       571      9476       178     30407     32257    411138     11.36   no data
71.77/18.07	c Finding binary XORs  T:     0.00 s  found:       0
75.35/18.99	c  S st   174    158002       571      9476       185     21766     32257    262131     11.36   no data
75.75/19.04	c  S st   174    158505       571      9476       187     22262     32257    271005     11.36   no data
75.75/19.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.75/19.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.75/19.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.75/19.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.75/19.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.75/19.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
75.75/19.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
75.75/19.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
75.75/19.07	c subs with bin:       14  lits-rem:       950  v-fix:    0  time:  0.01 s
76.95/19.34	c lits-rem:      1841  cl-subs:     2489  v-elim:      0  v-fix:    0  time:  0.26 s
76.95/19.34	c vivif2 --  cl tried     9476 cl shrink        0 lits rem          0 time: 0.00
76.95/19.34	c vivif2 --  cl tried    19759 cl shrink        0 lits rem          0 time: 0.00
77.35/19.42	c asymm  cl-useful: 139/9476/9476 lits-rem:142 time: 0.08
77.35/19.42	c calculated reachability. Time: 0.00
77.35/19.42	c  N st   174    158505       571      9476       187     19759     32098    228350     11.36   no data
105.27/26.40	c  N st   175    207095       571      9476       188     32641     32098    424333     11.36   no data
124.42/31.26	c  N st   176    237759       571      9476       189     24734     32098    268020     11.36   no data
124.42/31.26	c  S st   176    237759       571      9476       189     24734     32098    268020     11.36   no data
124.82/31.33	c  S st   176    238261       571      9476       192     25228     32098    277003     11.36   no data
124.82/31.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.82/31.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
124.82/31.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124.82/31.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.82/31.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.82/31.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
124.82/31.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
124.82/31.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
124.82/31.36	c subs with bin:        9  lits-rem:       366  v-fix:    0  time:  0.01 s
126.04/31.64	c lits-rem:      1277  cl-subs:     3057  v-elim:      0  v-fix:    0  time:  0.28 s
126.04/31.64	c vivif2 --  cl tried     9476 cl shrink        0 lits rem          0 time: 0.00
126.04/31.64	c vivif2 --  cl tried    22162 cl shrink        0 lits rem          0 time: 0.00
126.47/31.73	c asymm  cl-useful: 94/9476/9476 lits-rem:94 time: 0.09
126.47/31.73	c calculated reachability. Time: 0.00
126.47/31.73	c  N st   176    238261       571      9476       192     22162     31990    231999     11.36   no data
171.49/43.09	c  F st   177    306252       571      9476       194     24132     31990    231873     11.36   no data
171.49/43.09	c  N st   177    306252       571      9476       194     24132     31990    231873     11.36   no data
171.49/43.09	c Finding binary XORs  T:     0.00 s  found:       0
174.73/43.83	c Decided on static restart strategy
190.64/47.86	c  N st   187    334551       571      9476       219     28364     31990    297537     11.36   no data
207.79/52.14	c  N st   189    357391       571      9476       220     26199     31990    247129     11.36   no data
207.79/52.14	c  S st   189    357391       571      9476       220     26199     31990    247129     11.36   no data
208.19/52.21	c  S st   189    357893       571      9476       227     26688     31990    255441     11.36   no data
208.19/52.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
208.19/52.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
208.19/52.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
208.19/52.22	c bin-w-bin subsume rem            1 bins  time:  0.00 s
208.19/52.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
208.19/52.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
208.19/52.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
208.19/52.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
208.19/52.24	c subs with bin:       16  lits-rem:       810  v-fix:    0  time:  0.01 s
208.59/52.37	c lits-rem:       601  cl-subs:     1768  v-elim:      0  v-fix:    0  time:  0.13 s
208.59/52.37	c vivif2 --  cl tried     9476 cl shrink        0 lits rem          0 time: 0.00
208.59/52.37	c vivif2 --  cl tried    24904 cl shrink        0 lits rem          0 time: 0.00
208.99/52.47	c asymm  cl-useful: 62/9476/9476 lits-rem:62 time: 0.09
208.99/52.47	c calculated reachability. Time: 0.00
208.99/52.47	c  N st   189    357893       571      9476       226     24904     31915    231679     11.36   no data
232.92/58.40	c  N st   190    390285       571      9476       226     31062     31915    323676     11.36   no data
266.44/66.82	c  N st   191    438874       571      9476       227     52077     31915    720635     11.36   no data
322.26/80.85	c  N st   192    511756       571      9476       227     38499     31915    442396     11.36   no data
322.26/80.86	c Finding binary XORs  T:     0.00 s  found:       0
343.00/86.09	c  N st   193    536840       571      9476       243     32759     31915    311041     11.36   no data
343.00/86.09	c  S st   193    536840       571      9476       243     32759     31915    311041     11.36   no data
343.40/86.17	c  S st   193    537343       571      9476       246     33253     31915    320443     11.36   no data
343.40/86.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
343.40/86.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
343.40/86.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
343.40/86.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
343.40/86.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
343.40/86.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
343.40/86.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
343.40/86.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
343.80/86.20	c subs with bin:        5  lits-rem:        75  v-fix:    0  time:  0.01 s
344.20/86.39	c lits-rem:       841  cl-subs:     1972  v-elim:      0  v-fix:    0  time:  0.19 s
344.20/86.39	c vivif2 --  cl tried     9476 cl shrink        0 lits rem          0 time: 0.00
344.20/86.40	c vivif2 --  cl tried    31276 cl shrink        0 lits rem          0 time: 0.01
345.00/86.51	c asymm  cl-useful: 147/9476/9476 lits-rem:147 time: 0.11
345.00/86.51	c calculated reachability. Time: 0.00
345.00/86.51	c  N st   193    537343       571      9476       246     31276     31763    298140     11.36   no data
483.00/121.17	c  N st   194    701328       571      9476       246     61157     31763    855115     11.36   no data
577.15/144.77	c  N st   195    806015       571      9476       249     54436     31763    665778     11.36   no data
577.15/144.77	c  S st   195    806015       571      9476       249     54436     31763    665778     11.36   no data
577.55/144.89	c  S st   195    806517       571      9476       251     54930     31763    675392     11.36   no data
577.55/144.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
577.55/144.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
577.96/144.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
577.96/144.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
577.96/144.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
577.96/144.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
577.96/144.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
577.96/144.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
577.96/144.96	c subs with bin:        5  lits-rem:       334  v-fix:    0  time:  0.02 s
587.51/147.36	c lits-rem:      3854  cl-subs:    11404  v-elim:      0  v-fix:    0  time:  2.40 s
587.51/147.36	c vivif2 --  cl tried     9476 cl shrink        0 lits rem          0 time: 0.00
587.51/147.37	c vivif2 --  cl tried    43521 cl shrink        0 lits rem          0 time: 0.01
588.31/147.54	c asymm  cl-useful: 44/9476/9476 lits-rem:44 time: 0.16
588.31/147.54	c calculated reachability. Time: 0.00
588.31/147.54	c  N st   195    806517       571      9476       251     43521     31718    481989     11.36   no data
835.99/209.62	c  F st   196   1071877       571      9476       252     59004     31718    669862     11.36   no data
835.99/209.62	c  N st   196   1071877       571      9476       252     59004     31718    669862     11.36   no data
835.99/209.62	c Finding binary XORs  T:     0.00 s  found:       0
839.98/210.68	c Decided on static restart strategy
861.92/216.16	c  N st   206   1100186       571      9476       275     86148     31718   1141609     11.36   no data
893.03/223.91	c  N st   208   1136180       571      9476       275     77586     31718   1001843     11.36   no data
920.94/230.97	c  N st   209   1168572       571      9476       275     64655     31718    755986     11.36   no data
959.25/240.53	c  N st   210   1209775       571      9476       275     59097     31718    649315     11.36   no data
959.25/240.53	c  S st   210   1209775       571      9476       275     59097     31718    649315     11.36   no data
959.66/240.67	c  S st   210   1210279       571      9476       277     59594     31718    658172     11.36   no data
959.66/240.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
959.66/240.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.02
959.66/240.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
959.66/240.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
959.66/240.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
959.66/240.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
959.66/240.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
960.09/240.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
960.09/240.76	c subs with bin:        8  lits-rem:       696  v-fix:    0  time:  0.02 s
966.81/242.48	c lits-rem:      2117  cl-subs:     9801  v-elim:      0  v-fix:    0  time:  1.72 s
966.81/242.48	c vivif2 --  cl tried     9476 cl shrink        0 lits rem          0 time: 0.00
966.81/242.49	c vivif2 --  cl tried    49785 cl shrink       47 lits rem         47 time: 0.01
968.01/242.73	c asymm  cl-useful: 10/9476/9476 lits-rem:10 time: 0.23
968.01/242.73	c calculated reachability. Time: 0.00
968.01/242.73	c  N st   210   1210279       571      9476       277     49785     31708    517448     11.36   no data
1033.03/259.09	c  N st   211   1283162       571      9476       277     74114     31708    958124     11.36   no data
1033.03/259.09	c Finding binary XORs  T:     0.00 s  found:       0
1135.16/284.70	c  N st   212   1392485       571      9476       285     84182     31708   1067876     11.36   no data
1299.86/325.90	c  N st   213   1556469       571      9476       290     91883     31708   1194181     11.36   no data
1454.22/364.64	c  N st   214   1710279       571      9476       290     81582     31708   1010699     11.36   no data
1454.22/364.64	c  S st   214   1710279       571      9476       290     81582     31708   1010699     11.36   no data
1454.22/364.64	c Finding binary XORs  T:     0.00 s  found:       0
1455.02/364.87	c  S st   214   1710783       571      9476       302     82078     31708   1020031     11.36   no data
1455.02/364.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1455.44/364.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1455.44/364.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1455.44/364.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1455.44/364.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1455.44/364.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
1455.44/364.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1455.44/364.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1455.86/365.02	c subs with bin:        7  lits-rem:       342  v-fix:    0  time:  0.05 s
1476.95/370.33	c lits-rem:      5449  cl-subs:    17964  v-elim:      0  v-fix:    0  time:  5.31 s
1476.95/370.33	c vivif2 --  cl tried     9476 cl shrink        0 lits rem          0 time: 0.00
1476.95/370.34	c vivif2 --  cl tried    64107 cl shrink       21 lits rem         21 time: 0.02
1477.79/370.59	c asymm  cl-useful: 7/7506/9476 lits-rem:7 time: 0.24
1477.79/370.59	c calculated reachability. Time: 0.00
1477.79/370.59	c  N st   214   1710783       571      9476       302     64107     31699    713162     11.36   no data
1888.97/473.66	c  N st   215   2079748       571      9476       302     75988     31699    852503     11.36   no data
2035.02/510.29	c  N st   216   2210783       571      9476       308     80007     31699    928851     11.36   no data
2035.02/510.29	c  S st   216   2210783       571      9476       308     80007     31699    928851     11.36   no data
2035.02/510.29	c Finding binary XORs  T:     0.00 s  found:       1
2035.76/510.47	c  S st   216   2211285       571      9476       312     80503     31699    938361     11.36   no data
2035.76/510.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2036.16/510.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.03
2036.16/510.52	c Replacing        1 vars Replaced     2848 lits Time:     0.02 s 
2036.16/510.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2036.16/510.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2036.16/510.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2036.16/510.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
2036.16/510.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2036.16/510.54	c lits-rem:         0  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.02 s
2036.56/510.61	c subs with bin:        6  lits-rem:      1148  v-fix:    0  time:  0.04 s
2047.33/513.33	c lits-rem:      2485  cl-subs:     9906  v-elim:      0  v-fix:    0  time:  2.72 s
2047.33/513.33	c vivif2 --  cl tried     9461 cl shrink        0 lits rem          0 time: 0.00
2047.33/513.35	c vivif2 --  cl tried    70588 cl shrink        0 lits rem          0 time: 0.02
2047.33/513.40	c asymm  cl-useful: 0/1955/9461 lits-rem:0 time: 0.05
2047.33/513.40	c calculated reachability. Time: 0.00
2047.33/513.40	c  N st   216   2211285       570      9461       310     70588     31654    776900     11.36   no data
2660.44/667.07	c  N st   217   2711286       570      9461       311     93452     31654   1111522     11.36   no data
2660.44/667.07	c  S st   217   2711286       570      9461       311     93452     31654   1111522     11.36   no data
2660.44/667.07	c Finding binary XORs  T:     0.00 s  found:       0
2661.64/667.31	c  S st   217   2711789       570      9461       327     93949     31654   1121383     11.36   no data
2661.64/667.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2661.64/667.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2661.64/667.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2661.64/667.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2661.64/667.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2661.64/667.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
2661.64/667.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2661.64/667.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2662.06/667.47	c subs with bin:       10  lits-rem:       118  v-fix:    0  time:  0.05 s
2684.42/673.01	c lits-rem:      2051  cl-subs:    18166  v-elim:      0  v-fix:    0  time:  5.54 s
2684.42/673.01	c vivif2 --  cl tried     9461 cl shrink        0 lits rem          0 time: 0.00
2684.42/673.03	c vivif2 --  cl tried    75773 cl shrink        0 lits rem          0 time: 0.02
2685.17/673.29	c asymm  cl-useful: 2/6757/9461 lits-rem:2 time: 0.26
2685.57/673.30	c calculated reachability. Time: 0.00
2685.57/673.30	c  N st   217   2711789       570      9461       327     75773     31652    838563     11.36   no data
3299.88/827.30	c  N st   218   3211789       570      9461       327    128559     31652   1797044     11.36   no data
3299.88/827.30	c  S st   218   3211789       570      9461       327    128559     31652   1797044     11.36   no data
3299.88/827.30	c Finding binary XORs  T:     0.00 s  found:       0
3301.09/827.66	c  S st   218   3212290       570      9461       339    129053     31652   1805691     11.36   no data
3301.09/827.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3301.49/827.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.06
3301.49/827.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3301.49/827.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3301.49/827.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3301.49/827.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
3301.49/827.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3301.49/827.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3302.28/827.92	c subs with bin:        5  lits-rem:       146  v-fix:    0  time:  0.10 s
3431.90/860.41	c lits-rem:      7266  cl-subs:    33574  v-elim:      0  v-fix:    0  time: 32.50 s
3431.90/860.41	c vivif2 --  cl tried     9461 cl shrink        0 lits rem          0 time: 0.00
3431.90/860.45	c vivif2 --  cl tried    95474 cl shrink        0 lits rem          0 time: 0.03
3432.70/860.68	c asymm  cl-useful: 0/2704/9461 lits-rem:0 time: 0.23
3432.70/860.68	c calculated reachability. Time: 0.00
3432.70/860.68	c  N st   218   3212290       570      9461       339     95474     31652   1210612     11.36   no data
4033.43/1011.27	c  N st   219   3712291       570      9461       339    112320     31652   1407150     11.36   no data
4033.43/1011.27	c  S st   219   3712291       570      9461       339    112320     31652   1407150     11.36   no data
4034.63/1011.52	c  S st   219   3712795       570      9461       346    112816     31652   1417297     11.36   no data
4034.63/1011.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4034.63/1011.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.05
4034.63/1011.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4034.63/1011.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4034.63/1011.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4034.63/1011.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
4034.63/1011.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4035.02/1011.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4035.44/1011.72	c subs with bin:       14  lits-rem:       684  v-fix:    0  time:  0.07 s
4063.73/1018.84	c lits-rem:      2273  cl-subs:    17623  v-elim:      0  v-fix:    0  time:  7.12 s
4063.73/1018.84	c vivif2 --  cl tried     9461 cl shrink        0 lits rem          0 time: 0.00
4063.73/1018.86	c vivif2 --  cl tried    95179 cl shrink        0 lits rem          0 time: 0.02
4064.93/1019.15	c asymm  cl-useful: 0/6127/9461 lits-rem:0 time: 0.28
4064.93/1019.15	c calculated reachability. Time: 0.00
4064.93/1019.15	c  N st   219   3712795       570      9461       346     95179     31652   1165017     11.36   no data
4114.42/1031.52	c  F st   220   3751565       570      9461       346    132286     31652   1840665     11.36   no data
4114.42/1031.52	c  N st   220   3751565       570      9461       346    132286     31652   1840665     11.36   no data
4122.38/1033.59	c Decided on static restart strategy
4146.30/1039.53	c Finding binary XORs  T:     0.00 s  found:       0
4165.06/1044.25	c  N st   230   3779871       570      9461       355    159383     31652   2331928     11.36   no data
4209.34/1055.35	c  N st   232   3815865       570      9461       363    113444     31652   1346708     11.36   no data
4209.34/1055.35	c Finding binary XORs  T:     0.00 s  found:       0
4250.87/1065.74	c  N st   233   3848257       570      9461       370    144653     31652   1918200     11.36   no data
4313.85/1081.59	c  N st   234   3896845       570      9461       370    110120     31652   1314156     11.36   no data
4412.38/1106.27	c  N st   235   3969727       570      9461       370     97593     31652   1065475     11.36   no data
4551.19/1141.06	c  N st   236   4079051       570      9461       378    119750     31652   1586422     11.36   no data
4732.70/1186.52	c  N st   237   4212795       570      9461       378    163993     31652   2396712     11.36   no data
4732.70/1186.52	c  S st   237   4212795       570      9461       378    163993     31652   2396712     11.36   no data
4732.70/1186.52	c Finding binary XORs  T:     0.00 s  found:       0
4734.29/1186.90	c  S st   237   4213299       570      9461       383    164494     31652   2407541     11.36   no data
4734.29/1186.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4734.29/1186.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.08
4734.29/1186.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4734.29/1186.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4734.29/1186.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4734.29/1186.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
4734.29/1186.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4734.69/1187.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4735.49/1187.24	c subs with bin:       11  lits-rem:      1413  v-fix:    0  time:  0.15 s

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-3366936-1305416129/watcher-3366936-1305416129 -o /tmp/evaluation-result-3366936-1305416129/solver-3366936-1305416129 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366936-1305416129.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.78 8.00 7.61 6/361 16277
/proc/meminfo: memFree=24544984/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 731843575 52396032 351 33554432000 4194304 4580107 140734406462352 18446744073709551615 47393512171432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 12792 351 302 95 0 7774 0
[pid=16277/tid=16278] ppid=16275 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 731843576 52396032 351 33554432000 4194304 4580107 140734406462352 18446744073709551615 47393512171024 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731843576 52396032 351 33554432000 4194304 4580107 140734406462352 18446744073709551615 47393512171442 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731843576 52396032 351 33554432000 4194304 4580107 140734406462352 18446744073709551615 47393512171033 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.916849 s]
/proc/loadavg: 7.78 8.00 7.61 6/361 16277
/proc/meminfo: memFree=24544984/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=286860 CPUtime=3.63 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 7239 0 0 0 362 1 0 0 19 0 4 0 731843575 293744640 4292 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 71715 4292 377 95 0 66697 0
[pid=16277/tid=16278] ppid=16275 vsize=286860 CPUtime=0.9 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1935 0 0 0 90 0 0 0 19 0 4 0 731843576 293744640 4292 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=286860 CPUtime=0.89 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1862 0 0 0 89 0 0 0 19 0 4 0 731843576 293744640 4292 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=286860 CPUtime=0.9 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1015 0 0 0 90 0 0 0 19 0 4 0 731843576 293744640 4292 33554432000 4194304 4580107 140734406462352 18446744073709551615 4321016 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 286860

[startup+1.01683 s]
/proc/loadavg: 7.78 8.00 7.61 6/361 16277
/proc/meminfo: memFree=24544984/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=286860 CPUtime=4.03 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 7387 0 0 0 402 1 0 0 19 0 4 0 731843575 293744640 4440 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 71715 4440 377 95 0 66697 0
[pid=16277/tid=16278] ppid=16275 vsize=286860 CPUtime=1 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1973 0 0 0 100 0 0 0 19 0 4 0 731843576 293744640 4440 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=286860 CPUtime=0.99 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1898 0 0 0 99 0 0 0 19 0 4 0 731843576 293744640 4440 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=286860 CPUtime=1 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1050 0 0 0 100 0 0 0 19 0 4 0 731843576 293744640 4440 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 286860

[startup+1.11681 s]
/proc/loadavg: 7.78 8.00 7.61 6/361 16277
/proc/meminfo: memFree=24544984/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=287192 CPUtime=4.43 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 7944 0 0 0 442 1 0 0 19 0 4 0 731843575 294084608 4193 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 71798 4193 377 95 0 66780 0
[pid=16277/tid=16278] ppid=16275 vsize=287192 CPUtime=1.1 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 2152 0 0 0 110 0 0 0 19 0 4 0 731843576 294084608 4193 33554432000 4194304 4580107 140734406462352 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=287192 CPUtime=1.09 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 2053 0 0 0 109 0 0 0 19 0 4 0 731843576 294084608 4193 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=287192 CPUtime=1.1 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1099 0 0 0 110 0 0 0 19 0 4 0 731843576 294084608 4193 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 287192

[startup+1.2008 s]
/proc/loadavg: 7.78 8.00 7.61 6/361 16277
/proc/meminfo: memFree=24544984/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=287192 CPUtime=4.76 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 8063 0 0 0 475 1 0 0 19 0 4 0 731843575 294084608 4312 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 71798 4312 377 95 0 66780 0
[pid=16277/tid=16278] ppid=16275 vsize=287192 CPUtime=1.19 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 2180 0 0 0 119 0 0 0 19 0 4 0 731843576 294084608 4312 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=287192 CPUtime=1.18 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 2086 0 0 0 118 0 0 0 19 0 4 0 731843576 294084608 4312 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=287192 CPUtime=1.19 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1127 0 0 0 119 0 0 0 19 0 4 0 731843576 294084608 4312 33554432000 4194304 4580107 140734406462352 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 287192

[startup+1.50074 s]
/proc/loadavg: 7.78 8.00 7.61 6/361 16277
/proc/meminfo: memFree=24544984/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=287244 CPUtime=5.96 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 8647 0 0 0 595 1 0 0 20 0 4 0 731843575 294137856 4621 33554432000 4194304 4580107 140734406462352 18446744073709551615 4321814 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 71811 4621 378 95 0 66793 0
[pid=16277/tid=16278] ppid=16275 vsize=287244 CPUtime=1.49 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 2304 0 0 0 149 0 0 0 19 0 4 0 731843576 294137856 4621 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=287244 CPUtime=1.48 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 2205 0 0 0 148 0 0 0 20 0 4 0 731843576 294137856 4621 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=287244 CPUtime=1.48 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 1339 0 0 0 148 0 0 0 20 0 4 0 731843576 294137856 4621 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293911 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) 287244

[startup+3.11345 s]
/proc/loadavg: 7.78 8.00 7.61 9/365 16281
/proc/meminfo: memFree=24515832/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=288824 CPUtime=12.39 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 13535 0 0 0 1237 2 0 0 25 0 4 0 731843575 295755776 6333 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 72206 6333 380 95 0 67188 0
[pid=16277/tid=16278] ppid=16275 vsize=288824 CPUtime=3.1 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 3800 0 0 0 310 0 0 0 25 0 4 0 731843576 295755776 6333 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=288824 CPUtime=3.06 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 2955 0 0 0 306 0 0 0 25 0 4 0 731843576 295755776 6333 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=288824 CPUtime=3.1 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 2154 0 0 0 310 0 0 0 25 0 4 0 731843576 295755776 6333 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 288824

[startup+6.30085 s]
/proc/loadavg: 7.80 8.00 7.61 9/365 16282
/proc/meminfo: memFree=24492272/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=255792 CPUtime=25.13 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 21361 0 0 0 2510 3 0 0 25 0 4 0 731843575 261931008 11356 33554432000 4194304 4580107 140734406462352 18446744073709551615 4316658 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 63948 11356 381 95 0 58930 0
[pid=16277/tid=16278] ppid=16275 vsize=255792 CPUtime=6.3 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 5487 0 0 0 630 0 0 0 25 0 4 0 731843576 261931008 11358 33554432000 4194304 4580107 140734406462352 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=255792 CPUtime=6.23 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 5341 0 0 0 623 0 0 0 25 0 4 0 731843576 261931008 11358 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=255792 CPUtime=6.29 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 3823 0 0 0 629 0 0 0 25 0 4 0 731843576 261931008 11358 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 255792

[startup+12.7007 s]
/proc/loadavg: 7.82 8.00 7.61 9/365 16282
/proc/meminfo: memFree=24465332/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=274228 CPUtime=50.64 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 30364 0 0 0 5061 3 0 0 25 0 4 0 731843575 280809472 15946 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 68557 15946 381 95 0 63539 0
[pid=16277/tid=16278] ppid=16275 vsize=274228 CPUtime=12.69 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 7080 0 0 0 1268 1 0 0 25 0 4 0 731843576 280809472 15946 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=274228 CPUtime=12.55 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 7342 0 0 0 1255 0 0 0 25 0 4 0 731843576 280809472 15946 33554432000 4194304 4580107 140734406462352 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=274228 CPUtime=12.68 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 7699 0 0 0 1268 0 0 0 25 0 4 0 731843576 280809472 15946 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 274228

[startup+25.5003 s]
/proc/loadavg: 7.93 8.02 7.62 9/365 16282
/proc/meminfo: memFree=24461512/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=302756 CPUtime=101.68 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 41899 0 0 0 10163 5 0 0 25 0 4 0 731843575 310022144 18524 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 75689 18524 382 95 0 70671 0
[pid=16277/tid=16278] ppid=16275 vsize=302756 CPUtime=25.47 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 10081 0 0 0 2546 1 0 0 25 0 4 0 731843576 310022144 18524 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=302756 CPUtime=25.21 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 10147 0 0 0 2521 0 0 0 25 0 4 0 731843576 310022144 18524 33554432000 4194304 4580107 140734406462352 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=302756 CPUtime=25.48 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 10901 0 0 0 2547 1 0 0 25 0 4 0 731843576 310022144 18524 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 302756

[startup+51.1006 s]
/proc/loadavg: 7.95 8.02 7.63 9/365 16283
/proc/meminfo: memFree=24468136/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=314224 CPUtime=203.8 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 60881 0 0 0 20371 9 0 0 25 0 4 0 731843575 321765376 23242 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 78556 23242 381 95 0 73538 0
[pid=16277/tid=16278] ppid=16275 vsize=314224 CPUtime=51.08 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 15103 0 0 0 5106 2 0 0 25 0 4 0 731843576 321765376 23242 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294754 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=314224 CPUtime=50.52 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 13383 0 0 0 5051 1 0 0 25 0 4 0 731843576 321765376 23242 33554432000 4194304 4580107 140734406462352 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=314224 CPUtime=51.08 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 16599 0 0 0 5106 2 0 0 25 0 4 0 731843576 321765376 23242 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 314224

[startup+102.301 s]
/proc/loadavg: 8.04 8.03 7.65 9/365 16284
/proc/meminfo: memFree=24423588/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=316268 CPUtime=408.02 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 99243 0 0 0 40784 18 0 0 25 0 4 0 731843575 323858432 27439 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 79067 27439 381 95 0 74049 0
[pid=16277/tid=16278] ppid=16275 vsize=316268 CPUtime=102.28 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 24674 0 0 0 10224 4 0 0 25 0 4 0 731843576 323858432 27439 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=316268 CPUtime=101.14 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 22335 0 0 0 10111 3 0 0 25 0 4 0 731843576 323858432 27439 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=316268 CPUtime=102.28 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 26705 0 0 0 10223 5 0 0 25 0 4 0 731843576 323858432 27439 33554432000 4194304 4580107 140734406462352 18446744073709551615 4316849 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 316268

[startup+162.301 s]

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

[pid=16277] ppid=16275 vsize=485364 CPUtime=2801.25 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 383138 0 0 0 280006 119 0 0 25 0 4 0 731843575 497012736 67786 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 121341 67786 381 95 0 116323 0
[pid=16277/tid=16278] ppid=16275 vsize=485364 CPUtime=702.23 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 91408 0 0 0 70194 29 0 0 25 0 4 0 731843576 497012736 67786 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=485364 CPUtime=694.39 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 89483 0 0 0 69412 27 0 0 25 0 4 0 731843576 497012736 67786 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=485364 CPUtime=702.3 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 97825 0 0 0 70200 30 0 0 25 0 4 0 731843576 497012736 67786 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.25
Current children cumulated vsize (KiB) 485364

[startup+762.301 s]
/proc/loadavg: 4.13 5.49 6.71 5/356 16383
/proc/meminfo: memFree=24945240/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=436000 CPUtime=3040.59 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 405183 0 0 0 303932 127 0 0 25 0 4 0 731843575 446464000 71971 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 109000 71971 381 95 0 103982 0
[pid=16277/tid=16278] ppid=16275 vsize=436000 CPUtime=762.23 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 94727 0 0 0 76193 30 0 0 25 0 4 0 731843576 446464000 71971 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=436000 CPUtime=753.72 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 95850 0 0 0 75343 29 0 0 25 0 4 0 731843576 446464000 71971 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=436000 CPUtime=762.3 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 104368 0 0 0 76197 33 0 0 25 0 4 0 731843576 446464000 71971 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.59
Current children cumulated vsize (KiB) 436000

[startup+822.301 s]
/proc/loadavg: 4.11 5.23 6.54 5/356 16384
/proc/meminfo: memFree=24959972/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=436412 CPUtime=3279.94 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 424749 0 0 0 327859 135 0 0 25 0 4 0 731843575 446885888 68502 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 109103 68502 381 95 0 104085 0
[pid=16277/tid=16278] ppid=16275 vsize=436412 CPUtime=822.23 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 100664 0 0 0 82190 33 0 0 25 0 4 0 731843576 446885888 68502 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=436412 CPUtime=813.07 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 98896 0 0 0 81276 31 0 0 25 0 4 0 731843576 446885888 68502 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=436412 CPUtime=822.3 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 110076 0 0 0 82195 35 0 0 25 0 4 0 731843576 446885888 68502 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.94
Current children cumulated vsize (KiB) 436412

[startup+882.301 s]
/proc/loadavg: 4.10 5.02 6.39 5/356 16386
/proc/meminfo: memFree=24920412/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=498452 CPUtime=3519.25 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 440208 0 0 0 351783 142 0 0 25 0 4 0 731843575 510414848 78141 33554432000 4194304 4580107 140734406462352 18446744073709551615 4305611 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 124613 78141 381 95 0 119595 0
[pid=16277/tid=16278] ppid=16275 vsize=498452 CPUtime=882.23 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 105700 0 0 0 88189 34 0 0 25 0 4 0 731843576 510414848 78141 33554432000 4194304 4580107 140734406462352 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=498452 CPUtime=872.36 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 103455 0 0 0 87203 33 0 0 25 0 4 0 731843576 510414848 78141 33554432000 4194304 4580107 140734406462352 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=498452 CPUtime=882.3 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 112602 0 0 0 88194 36 0 0 25 0 4 0 731843576 510414848 78141 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.25
Current children cumulated vsize (KiB) 498452

[startup+942.301 s]
/proc/loadavg: 4.09 4.85 6.24 5/356 16388
/proc/meminfo: memFree=24905380/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=446872 CPUtime=3758.59 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 460121 0 0 0 375708 151 0 0 25 0 4 0 731843575 457596928 81908 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 111718 81908 381 95 0 106700 0
[pid=16277/tid=16278] ppid=16275 vsize=446872 CPUtime=942.23 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 111522 0 0 0 94187 36 0 0 25 0 4 0 731843576 457596928 81908 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294818 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=446872 CPUtime=931.71 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 108710 0 0 0 93135 36 0 0 25 0 4 0 731843576 457596928 81908 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294708 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=446872 CPUtime=942.3 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 115907 0 0 0 94192 38 0 0 25 0 4 0 731843576 457596928 81908 33554432000 4194304 4580107 140734406462352 18446744073709551615 4304870 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.59
Current children cumulated vsize (KiB) 446872

[startup+1002.3 s]
/proc/loadavg: 4.08 4.71 6.10 5/356 16389
/proc/meminfo: memFree=24908580/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=447204 CPUtime=3997.93 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 477983 0 0 0 399631 162 0 0 25 0 4 0 731843575 457936896 80910 33554432000 4194304 4580107 140734406462352 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 111801 80910 381 95 0 106783 0
[pid=16277/tid=16278] ppid=16275 vsize=447204 CPUtime=1002.23 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 117779 0 0 0 100184 39 0 0 25 0 4 0 731843576 457936896 80910 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=447204 CPUtime=991.03 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 111069 0 0 0 99066 37 0 0 25 0 4 0 731843576 457936896 80910 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=447204 CPUtime=1002.3 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 121525 0 0 0 100189 41 0 0 25 0 4 0 731843576 457936896 80910 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.93
Current children cumulated vsize (KiB) 447204

[startup+1062.3 s]
/proc/loadavg: 4.03 4.58 5.97 5/356 16391
/proc/meminfo: memFree=24876436/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=512940 CPUtime=4237.28 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 496896 0 0 0 423558 170 0 0 25 0 4 0 731843575 525250560 89018 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294455 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 128235 89018 381 95 0 123217 0
[pid=16277/tid=16278] ppid=16275 vsize=512940 CPUtime=1062.25 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 124784 0 0 0 106182 43 0 0 25 0 4 0 731843576 525250560 89018 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=512940 CPUtime=1050.36 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 115556 0 0 0 104997 39 0 0 25 0 4 0 731843576 525250560 89018 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=512940 CPUtime=1062.32 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 124416 0 0 0 106189 43 0 0 25 0 4 0 731843576 525250560 89018 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.28
Current children cumulated vsize (KiB) 512940

[startup+1122.3 s]
/proc/loadavg: 4.01 4.47 5.84 5/356 16392
/proc/meminfo: memFree=24902836/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=510608 CPUtime=4476.6 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 514100 0 0 0 447482 178 0 0 25 0 4 0 731843575 522862592 82531 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 127652 82531 381 95 0 122634 0
[pid=16277/tid=16278] ppid=16275 vsize=510608 CPUtime=1122.23 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 130709 0 0 0 112178 45 0 0 25 0 4 0 731843576 522862592 82531 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=510608 CPUtime=1109.71 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 118207 0 0 0 110930 41 0 0 25 0 4 0 731843576 522862592 82531 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=510608 CPUtime=1122.31 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 127710 0 0 0 112187 44 0 0 25 0 4 0 731843576 522862592 82531 33554432000 4194304 4580107 140734406462352 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.6
Current children cumulated vsize (KiB) 510608

[startup+1182.31 s]
/proc/loadavg: 4.00 4.38 5.72 5/356 16394
/proc/meminfo: memFree=24882960/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=524356 CPUtime=4715.99 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 533796 0 0 0 471411 188 0 0 25 0 4 0 731843575 536940544 87566 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 131089 87566 381 95 0 126071 0
[pid=16277/tid=16278] ppid=16275 vsize=524356 CPUtime=1182.25 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 136172 0 0 0 118177 48 0 0 25 0 4 0 731843576 536940544 87566 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=524356 CPUtime=1169.05 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 120454 0 0 0 116863 42 0 0 25 0 4 0 731843576 536940544 87566 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=524356 CPUtime=1182.33 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 133352 0 0 0 118186 47 0 0 25 0 4 0 731843576 536940544 87566 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.99
Current children cumulated vsize (KiB) 524356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 4.08 4.37 5.69 5/356 16394
/proc/meminfo: memFree=24870064/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=576860 CPUtime=4800.11 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 539750 0 0 0 479820 191 0 0 25 0 4 0 731843575 590704640 90592 33554432000 4194304 4580107 140734406462352 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 144215 90592 381 95 0 139197 0
[pid=16277/tid=16278] ppid=16275 vsize=576860 CPUtime=1203.35 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 138475 0 0 0 120286 49 0 0 25 0 4 0 731843576 590704640 90592 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=576860 CPUtime=1189.88 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 121300 0 0 0 118946 42 0 0 25 0 4 0 731843576 590704640 90592 33554432000 4194304 4580107 140734406462352 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=576860 CPUtime=1203.42 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 133672 0 0 0 120295 47 0 0 25 0 4 0 731843576 590704640 90592 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 576860

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

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

[startup+1203.4 s]
/proc/loadavg: 4.08 4.37 5.69 5/356 16394
/proc/meminfo: memFree=24870064/32950928 swapFree=38710892/67111528
[pid=16277] ppid=16275 vsize=576860 CPUtime=4800.11 cores=1,3,5,7
/proc/16277/stat : 16277 (strangenight2-m) R 16275 16277 15445 0 -1 4202496 539750 0 0 0 479820 191 0 0 25 0 4 0 731843575 590704640 90592 33554432000 4194304 4580107 140734406462352 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16277/statm: 144215 90592 381 95 0 139197 0
[pid=16277/tid=16278] ppid=16275 vsize=576860 CPUtime=1203.35 cores=1,3,5,7
/proc/16277/task/16278/stat : 16278 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 138475 0 0 0 120286 49 0 0 25 0 4 0 731843576 590704640 90592 33554432000 4194304 4580107 140734406462352 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16277/tid=16279] ppid=16275 vsize=576860 CPUtime=1189.88 cores=1,3,5,7
/proc/16277/task/16279/stat : 16279 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 121300 0 0 0 118946 42 0 0 25 0 4 0 731843576 590704640 90592 33554432000 4194304 4580107 140734406462352 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16277/tid=16280] ppid=16275 vsize=576860 CPUtime=1203.42 cores=1,3,5,7
/proc/16277/task/16280/stat : 16280 (strangenight2-m) R 16275 16277 15445 0 -1 4202560 133672 0 0 0 120295 47 0 0 25 0 4 0 731843576 590704640 90592 33554432000 4194304 4580107 140734406462352 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 576860

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.43
CPU time (s): 4800.18
CPU user time (s): 4798.25
CPU system time (s): 1.92971
CPU usage (%): 398.873
Max. virtual memory (cumulated for all children) (KiB): 578644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.25
system time used= 1.92971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539751
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= 1209
involuntary context switches= 30163

runsolver used 3.73843 second user time and 9.82351 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-15 01:35:29
IDJOB=3366936
IDBENCH=84634
IDSOLVER=1844
FILE ID=node113/3366936-1305416129
RUNJOBID= node113-1305414923-16162
PBS_JOBID= 13324530
Free space on /tmp= 73436 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/handmade/connamacher/connm-d0.04/connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366936-1305416129/watcher-3366936-1305416129 -o /tmp/evaluation-result-3366936-1305416129/solver-3366936-1305416129 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366936-1305416129.cnf

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

MD5SUM BENCH= 41d80cc808c021a52e21ee9950bc91e0
RANDOM SEED=280990297

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24545264 kB
Buffers:        259820 kB
Cached:        2813904 kB
SwapCached:      93712 kB
Active:        1440668 kB
Inactive:      6702356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24545264 kB
SwapTotal:    67111528 kB
SwapFree:     38710892 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:     4986676 kB
Mapped:          14364 kB
Slab:           105308 kB
PageTables:      93160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87870132 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= 73436 MiB
End job on node113 at 2011-05-15 01:55:34