Trace number 3264399

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.19 1201.53

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
MD5SUM7bb85ebdeae46262f72a4c54d4e16683
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 variables772
Number of clauses9601
Sum of the clauses size28996
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 39408
Number of clauses of size 4193
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3264399-1304127695.cnf'
0.00/0.00	c -- header says num vars:            772
0.00/0.00	c -- header says num clauses:        9601
0.00/0.02	c -- clauses added:            0 learnts,         9601 normals,            0 xors
0.00/0.02	c -- vars added        772
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       772      9601         0         0     28996         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/9601/9601 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3.29/0.85	c lits-rem:      2968  cl-subs:        0  v-elim:    193  v-fix:    0  time:  0.01 s
3.29/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.29/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.29/0.85	c calculated reachability. Time: 0.00
3.29/0.85	c Calc default polars -  time:   0.00 s pos:       0 undec:     193 neg:     579
3.29/0.85	c =========================================================================================
3.29/0.85	c types(t): F = full restart, N = normal restart
3.29/0.85	c types(t): S = simplification begin/end, E = solution found
3.29/0.85	c restart types(rt): st = static, dy = dynamic
3.29/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.29/0.85	c  B st     0         0       579      9408         0         0     39368         0   no data   no data
3.29/0.85	c Decided on static restart strategy
3.29/0.85	c  N st     8      4915       579      9408         6      4759     39368     99888   no data   no data
3.29/0.85	c  N st    10     11297       579      9408        11      4609     39368     55226   no data   no data
4.38/1.15	c  N st    11     17043       579      9408        12     10208     39368    194478   no data   no data
6.78/1.72	c  F st    12     25001       579      9408        22     12456     39368    230512   no data   no data
6.78/1.72	c  N st    12     25001       579      9408        22     12456     39368    230512   no data   no data
7.59/1.97	c Finding binary XORs  T:     0.00 s  found:       0
7.97/2.07	c Decided on static restart strategy
7.97/2.07	c  N st    18     30000       579      9408        36     11271     39368    161381   no data   no data
7.97/2.07	c  S st    18     30000       579      9408        36     11271     39368    161381   no data   no data
8.37/2.11	c  S st    18     30503       579      9408        41     11764     39368    165874   no data   no data
8.37/2.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.37/2.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     11 BRemL:      2 BRemN:      0 P:  0.2M T:  0.00
8.37/2.12	c blocked clauses removed:        0 vars:      0 tried:         579 T: 0.00 s
8.37/2.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.37/2.12	c subs with bin:       15  lits-rem:        21  v-fix:    0  time:  0.00 s
8.37/2.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
8.37/2.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
8.37/2.12	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.00 s
8.37/2.14	c subs with bin:       91  lits-rem:      4224  v-fix:    0  time:  0.01 s
8.77/2.29	c lits-rem:      2431  cl-subs:     2344  v-elim:      0  v-fix:    0  time:  0.15 s
9.17/2.32	c asymm  cl-useful: 2342/9392/9392 lits-rem:3380 time: 0.04
9.17/2.32	c calculated reachability. Time: 0.00
9.17/2.32	c  N st    18     30503       579      9391        54      9329     34446    132168   no data   no data
11.17/2.89	c  N st    20     37615       579      9391        69      8365     34446     91579   no data   no data
13.16/3.38	c  N st    21     44016       579      9391        70     14529     34446    217756   no data   no data
13.16/3.38	c Finding binary XORs  T:     0.00 s  found:       1
13.97/3.53	c  S st    22     45755       579      9391        92     16193     34446    248573   no data   no data
13.97/3.57	c  S st    22     46257       579      9391        94     16685     34446    255112   no data   no data
13.97/3.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.97/3.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      5 BRemN:      0 P:  0.3M T:  0.00
13.97/3.57	c Replacing        1 vars Replaced      270 lits Time:     0.00 s 
13.97/3.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.97/3.58	c bin-w-bin subsume rem            3 bins  time:  0.00 s
13.97/3.58	c subs with bin:        6  lits-rem:         7  v-fix:    0  time:  0.00 s
13.97/3.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    578 time:  0.00 s
13.97/3.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
13.97/3.58	c lits-rem:       354  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.01 s
14.36/3.60	c subs with bin:       45  lits-rem:      3523  v-fix:    0  time:  0.02 s
15.16/3.87	c lits-rem:      1402  cl-subs:     3086  v-elim:      0  v-fix:    0  time:  0.26 s
15.16/3.87	c vivif2 --  cl tried     9370 cl shrink        0 lits rem          0 time: 0.00
15.16/3.87	c vivif2 --  cl tried    13552 cl shrink       69 lits rem         70 time: 0.00
15.56/3.93	c asymm  cl-useful: 925/9370/9370 lits-rem:1223 time: 0.06
15.56/3.93	c calculated reachability. Time: 0.00
15.56/3.93	c  N st    22     46257       578      9370        88     13552     32699    203329   no data   no data
20.77/5.25	c  N st    23     60654       578      9370        89     18729     32699    286823   no data   no data
23.96/6.03	c  N st    24     69386       578      9370       112     17576     32699    252967   no data   no data
23.96/6.03	c  S st    24     69386       578      9370       112     17576     32699    252967   no data   no data
23.96/6.03	c Finding binary XORs  T:     0.00 s  found:       0
23.96/6.08	c  S st    24     69886       578      9370       118     18064     32699    261013   no data   no data
23.96/6.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.96/6.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
23.96/6.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.96/6.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.96/6.09	c subs with bin:        1  lits-rem:         2  v-fix:    0  time:  0.00 s
23.96/6.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    578 time:  0.00 s
23.96/6.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
23.96/6.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.36/6.11	c subs with bin:       29  lits-rem:      2174  v-fix:    0  time:  0.01 s
25.18/6.39	c lits-rem:      1523  cl-subs:     2582  v-elim:      0  v-fix:    0  time:  0.28 s
25.18/6.39	c vivif2 --  cl tried     9369 cl shrink        0 lits rem          0 time: 0.00
25.55/6.40	c vivif2 --  cl tried    15453 cl shrink      315 lits rem        323 time: 0.00
25.55/6.46	c asymm  cl-useful: 414/9369/9369 lits-rem:477 time: 0.06
25.55/6.46	c calculated reachability. Time: 0.00
25.55/6.46	c  N st    24     69886       578      9369       120     15453     32181    215770   no data   no data
32.34/8.14	c  F st    25     87500       578      9369       120     21797     32181    293478   no data   no data
32.34/8.14	c  N st    25     87500       578      9369       120     21797     32181    293478   no data   no data
34.34/8.63	c Decided on static restart strategy
35.54/8.90	c  N st    32     95537       578      9369       124     18043     32181    235027   no data   no data
39.54/9.93	c  N st    34    104830       578      9369       130     14498     32181    150530   no data   no data
39.54/9.93	c  S st    34    104830       578      9369       130     14498     32181    150530   no data   no data
39.54/9.93	c Finding binary XORs  T:     0.00 s  found:       1
39.54/9.98	c  S st    34    105331       578      9369       156     14984     32181    158518   no data   no data
39.54/9.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.54/9.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      3 BRemN:      0 P:  0.3M T:  0.00
39.54/9.98	c Replacing        1 vars Replaced      456 lits Time:     0.00 s 
39.54/9.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.54/9.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.54/9.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.54/9.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    577 time:  0.00 s
39.54/9.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
39.54/9.99	c lits-rem:         2  cl-subs:       13  v-elim:      0  v-fix:    0  time:  0.00 s
39.94/10.00	c subs with bin:       32  lits-rem:       643  v-fix:    0  time:  0.00 s
39.94/10.06	c lits-rem:       597  cl-subs:     1231  v-elim:      0  v-fix:    0  time:  0.06 s
39.94/10.06	c vivif2 --  cl tried     9356 cl shrink        0 lits rem          0 time: 0.00
39.94/10.07	c vivif2 --  cl tried    13718 cl shrink       34 lits rem         34 time: 0.00
40.34/10.13	c asymm  cl-useful: 243/9356/9356 lits-rem:252 time: 0.06
40.34/10.13	c calculated reachability. Time: 0.00
40.34/10.13	c  N st    34    105331       577      9356       153     13718     31866    139189   no data   no data
43.93/11.07	c  N st    35    114929       577      9356       154     22964     31866    302538   no data   no data
49.92/12.51	c  N st    36    129328       577      9356       154     23510     31866    320983   no data   no data
59.51/14.95	c  N st    37    150924       577      9356       157     30005     31866    467984   no data   no data
59.51/14.95	c Finding binary XORs  T:     0.00 s  found:       1
62.31/15.68	c  S st    38    157997       577      9356       172     21364     31866    257693   no data   no data
62.71/15.74	c  S st    38    158504       577      9356       175     21859     31866    266233   no data   no data
62.71/15.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.71/15.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      1 BRemN:      0 P:  0.4M T:  0.01
62.71/15.75	c Replacing        1 vars Replaced      126 lits Time:     0.00 s 
62.71/15.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
62.71/15.75	c bin-w-bin subsume rem            1 bins  time:  0.00 s
62.71/15.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.71/15.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.00 s
62.71/15.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
62.71/15.76	c lits-rem:        66  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.00 s
62.71/15.77	c subs with bin:       15  lits-rem:       661  v-fix:    0  time:  0.01 s
63.51/15.96	c lits-rem:       683  cl-subs:     2069  v-elim:      0  v-fix:    0  time:  0.18 s
63.51/15.96	c vivif2 --  cl tried     9341 cl shrink        0 lits rem          0 time: 0.00
63.51/15.96	c vivif2 --  cl tried    19767 cl shrink      156 lits rem        160 time: 0.00
63.91/16.04	c asymm  cl-useful: 130/9341/9341 lits-rem:130 time: 0.08
63.91/16.05	c calculated reachability. Time: 0.00
63.91/16.05	c  N st    38    158504       576      9341       175     19767     31611    238661   no data   no data
88.27/22.19	c  N st    39    207092       576      9341       181     32950     31611    466875   no data   no data
88.27/22.19	c Finding binary XORs  T:     0.00 s  found:       1
104.65/26.28	c  N st    40    237756       576      9341       185     24793     31611    273452   no data   no data
104.65/26.28	c  S st    40    237756       576      9341       185     24793     31611    273452   no data   no data
105.05/26.34	c  S st    40    238260       576      9341       190     25285     31611    281923   no data   no data
105.05/26.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
105.05/26.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
105.05/26.36	c Replacing        1 vars Replaced     4086 lits Time:     0.01 s 
105.05/26.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
105.05/26.36	c bin-w-bin subsume rem            2 bins  time:  0.00 s
105.05/26.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
105.05/26.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
105.05/26.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
105.05/26.36	c lits-rem:        64  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.00 s
105.05/26.38	c subs with bin:       36  lits-rem:      1342  v-fix:    0  time:  0.01 s
106.26/26.64	c lits-rem:       674  cl-subs:     3230  v-elim:      0  v-fix:    0  time:  0.25 s
106.26/26.64	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
106.26/26.64	c vivif2 --  cl tried    22015 cl shrink       54 lits rem         55 time: 0.00
106.66/26.74	c asymm  cl-useful: 81/9327/9327 lits-rem:81 time: 0.09
106.66/26.74	c calculated reachability. Time: 0.00
106.66/26.74	c  N st    40    238260       575      9327       186     22015     31409    232255   no data   no data
141.81/35.52	c  F st    41    306252       575      9327       186     24241     31409    245853   no data   no data
141.81/35.52	c  N st    41    306252       575      9327       186     24241     31409    245853   no data   no data
141.81/35.52	c Finding binary XORs  T:     0.00 s  found:       0
144.21/36.13	c Decided on static restart strategy
156.61/39.21	c  N st    51    334556       575      9327       204     28299     31409    309229   no data   no data
163.78/41.08	c Finding binary XORs  T:     0.00 s  found:       0
169.39/42.47	c  N st    53    357390       575      9327       204     26252     31409    268026   no data   no data
169.39/42.47	c  S st    53    357390       575      9327       204     26252     31409    268026   no data   no data
169.80/42.54	c  S st    53    357892       575      9327       209     26743     31409    276987   no data   no data
169.80/42.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
169.80/42.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
169.80/42.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
169.80/42.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.80/42.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
169.80/42.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
169.80/42.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
169.80/42.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
169.80/42.57	c subs with bin:       12  lits-rem:       767  v-fix:    0  time:  0.01 s
170.20/42.68	c lits-rem:       606  cl-subs:      919  v-elim:      0  v-fix:    0  time:  0.10 s
170.20/42.68	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
170.20/42.68	c vivif2 --  cl tried    25812 cl shrink      104 lits rem        105 time: 0.01
170.58/42.79	c asymm  cl-useful: 41/9327/9327 lits-rem:41 time: 0.10
170.58/42.79	c calculated reachability. Time: 0.00
170.58/42.79	c  N st    53    357892       575      9327       209     25812     31363    263383   no data   no data
186.96/46.89	c  N st    54    390286       575      9327       209     31995     31363    367011   no data   no data
218.14/54.69	c  N st    55    438875       575      9327       209     52594     31363    701289   no data   no data
267.26/66.98	c  N st    56    511758       575      9327       211     39392     31363    472349   no data   no data
267.26/66.98	c Finding binary XORs  T:     0.00 s  found:       0
285.64/71.56	c  N st    57    536838       575      9327       224     33650     31363    350768   no data   no data
285.64/71.56	c  S st    57    536838       575      9327       224     33650     31363    350768   no data   no data
286.04/71.64	c  S st    57    537346       575      9327       225     34152     31363    360109   no data   no data
286.04/71.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
286.04/71.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
286.04/71.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
286.04/71.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
286.04/71.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
286.04/71.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
286.04/71.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
286.04/71.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
286.04/71.68	c subs with bin:        9  lits-rem:       482  v-fix:    0  time:  0.01 s
287.24/71.91	c lits-rem:      1110  cl-subs:     2026  v-elim:      0  v-fix:    0  time:  0.23 s
287.24/71.91	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
287.24/71.92	c vivif2 --  cl tried    32117 cl shrink       56 lits rem         60 time: 0.01
287.64/72.05	c asymm  cl-useful: 95/9327/9327 lits-rem:95 time: 0.12
287.64/72.05	c calculated reachability. Time: 0.00
287.64/72.05	c  N st    57    537346       575      9327       225     32117     31266    327867   no data   no data
399.92/100.19	c  N st    58    701332       575      9327       226     61002     31266    807304   no data   no data
481.43/120.51	c  N st    59    806021       575      9327       228     54631     31266    646749   no data   no data
481.43/120.51	c  S st    59    806021       575      9327       228     54631     31266    646749   no data   no data
481.84/120.62	c  S st    59    806522       575      9327       234     55122     31266    656523   no data   no data
481.84/120.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
481.84/120.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
481.84/120.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
481.84/120.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
481.84/120.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
481.84/120.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
481.84/120.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
481.84/120.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
481.84/120.69	c subs with bin:       11  lits-rem:      1512  v-fix:    0  time:  0.02 s
491.03/122.93	c lits-rem:      1639  cl-subs:    13393  v-elim:      0  v-fix:    0  time:  2.23 s
491.03/122.93	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
491.03/122.94	c vivif2 --  cl tried    41718 cl shrink      130 lits rem        131 time: 0.01
491.81/123.11	c asymm  cl-useful: 22/9327/9327 lits-rem:22 time: 0.17
491.81/123.11	c calculated reachability. Time: 0.00
491.81/123.11	c  N st    59    806522       575      9327       234     41718     31244    455174   no data   no data
491.81/123.11	c Finding binary XORs  T:     0.00 s  found:       0
716.74/179.43	c  F st    60   1071875       575      9327       234     57752     31244    660953   no data   no data
716.74/179.43	c  N st    60   1071875       575      9327       234     57752     31244    660953   no data   no data
716.74/179.43	c Finding binary XORs  T:     0.00 s  found:       0
720.75/180.44	c Decided on static restart strategy
738.72/184.91	c  N st    70   1100177       575      9327       249     85150     31244   1178154   no data   no data
762.69/190.91	c  N st    72   1136169       575      9327       250     76735     31244   1055355   no data   no data
787.86/197.23	c  N st    73   1168562       575      9327       250     63517     31244    792085   no data   no data
819.03/205.01	c  N st    74   1209783       575      9327       251     58121     31244    667382   no data   no data
819.03/205.01	c  S st    74   1209783       575      9327       251     58121     31244    667382   no data   no data
819.43/205.12	c  S st    74   1210284       575      9327       251     58616     31244    676505   no data   no data
819.43/205.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
819.43/205.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.02
819.43/205.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
819.43/205.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
819.43/205.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
819.43/205.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
819.43/205.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
819.43/205.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
819.83/205.23	c subs with bin:        3  lits-rem:      4072  v-fix:    0  time:  0.06 s
825.82/206.78	c lits-rem:      2159  cl-subs:     9192  v-elim:      0  v-fix:    0  time:  1.55 s
825.82/206.78	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
825.82/206.79	c vivif2 --  cl tried    49421 cl shrink      195 lits rem        195 time: 0.01
826.62/206.99	c asymm  cl-useful: 3/8696/9327 lits-rem:3 time: 0.20
826.62/207.00	c calculated reachability. Time: 0.00
826.62/207.00	c  N st    74   1210284       575      9327       251     49421     31240    554376   no data   no data
886.57/221.96	c  N st    75   1283166       575      9327       251     74082     31240    992574   no data   no data
886.57/221.96	c Finding binary XORs  T:     0.00 s  found:       0
978.45/244.99	c  N st    76   1392489       575      9327       260     84368     31240   1141228   no data   no data
1122.67/281.05	c  N st    77   1556473       575      9327       266     91851     31240   1251869   no data   no data
1260.12/315.40	c  N st    78   1710285       575      9327       267     80533     31240    972429   no data   no data
1260.12/315.40	c  S st    78   1710285       575      9327       267     80533     31240    972429   no data   no data
1260.12/315.41	c Finding binary XORs  T:     0.00 s  found:       0
1260.50/315.56	c  S st    78   1710792       575      9327       275     81034     31240    982436   no data   no data
1260.50/315.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1260.90/315.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.03
1260.90/315.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1260.90/315.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1260.90/315.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1260.90/315.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
1260.90/315.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1260.90/315.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1261.30/315.70	c subs with bin:       18  lits-rem:      3415  v-fix:    0  time:  0.05 s
1282.47/321.07	c lits-rem:      2709  cl-subs:    18969  v-elim:      0  v-fix:    0  time:  5.37 s
1282.47/321.08	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
1282.47/321.09	c vivif2 --  cl tried    62047 cl shrink      183 lits rem        187 time: 0.02
1282.87/321.12	c asymm  cl-useful: 0/631/9327 lits-rem:0 time: 0.02
1282.87/321.12	c calculated reachability. Time: 0.00
1282.87/321.12	c  N st    78   1710792       575      9327       275     62047     31240    694503   no data   no data
1621.26/405.87	c  N st    79   2079757       575      9327       275     74914     31240    853427   no data   no data
1739.53/435.40	c  N st    80   2210792       575      9327       278     79165     31240    961956   no data   no data
1739.53/435.40	c  S st    80   2210792       575      9327       278     79165     31240    961956   no data   no data
1739.53/435.40	c Finding binary XORs  T:     0.00 s  found:       0
1739.93/435.59	c  S st    80   2211293       575      9327       301     79658     31240    970909   no data   no data
1739.93/435.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1740.33/435.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.03
1740.33/435.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1740.33/435.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1740.33/435.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1740.33/435.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
1740.33/435.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1740.33/435.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1740.73/435.79	c subs with bin:       32  lits-rem:      8336  v-fix:    0  time:  0.12 s
1750.72/438.28	c lits-rem:      5341  cl-subs:     6990  v-elim:      0  v-fix:    0  time:  2.49 s
1750.72/438.28	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
1751.12/438.30	c vivif2 --  cl tried    72636 cl shrink      217 lits rem        217 time: 0.02
1751.93/438.55	c asymm  cl-useful: 3/6134/9327 lits-rem:3 time: 0.25
1751.93/438.56	c calculated reachability. Time: 0.00
1751.93/438.56	c  N st    80   2211293       575      9327       301     72636     31237    839977   no data   no data
2267.68/567.63	c  N st    81   2711294       575      9327       302     96279     31237   1150141   no data   no data
2267.68/567.63	c  S st    81   2711294       575      9327       302     96279     31237   1150141   no data   no data
2267.68/567.63	c Finding binary XORs  T:     0.00 s  found:       0
2268.48/567.86	c  S st    81   2711795       575      9327       313     96767     31237   1159502   no data   no data
2268.48/567.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2268.88/567.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.04
2268.88/567.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2268.88/567.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2268.88/567.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2268.88/567.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
2268.88/567.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2268.88/567.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2269.28/568.01	c subs with bin:       10  lits-rem:       104  v-fix:    0  time:  0.05 s
2289.65/573.10	c lits-rem:      2250  cl-subs:    19591  v-elim:      0  v-fix:    0  time:  5.08 s
2289.65/573.10	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
2289.65/573.12	c vivif2 --  cl tried    77166 cl shrink       72 lits rem         72 time: 0.02
2290.05/573.26	c asymm  cl-useful: 0/3193/9327 lits-rem:0 time: 0.14
2290.05/573.26	c calculated reachability. Time: 0.00
2290.05/573.26	c  N st    81   2711795       575      9327       313     77166     31237    863952   no data   no data
2825.81/707.39	c  N st    82   3211795       575      9327       313    129073     31237   1790525   no data   no data
2825.81/707.39	c  S st    82   3211795       575      9327       313    129073     31237   1790525   no data   no data
2825.81/707.39	c Finding binary XORs  T:     0.00 s  found:       0
2827.41/707.70	c  S st    82   3212297       575      9327       328    129572     31237   1799703   no data   no data
2827.41/707.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2827.41/707.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.06
2827.41/707.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2827.41/707.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2827.41/707.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2827.41/707.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
2827.41/707.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2827.81/707.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2828.21/707.95	c subs with bin:        1  lits-rem:       205  v-fix:    0  time:  0.10 s
2906.10/727.48	c lits-rem:      7885  cl-subs:    33385  v-elim:      0  v-fix:    0  time: 19.54 s
2906.10/727.48	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
2906.50/727.52	c vivif2 --  cl tried    96186 cl shrink      864 lits rem        875 time: 0.04
2907.71/727.84	c asymm  cl-useful: 1/4531/9327 lits-rem:1 time: 0.32
2907.71/727.84	c calculated reachability. Time: 0.00
2907.71/727.84	c  N st    82   3212297       575      9327       328     96186     31236   1253610   no data   no data
3520.15/881.18	c  N st    83   3712297       575      9327       328    113277     31236   1353775   no data   no data
3520.15/881.18	c  S st    83   3712297       575      9327       328    113277     31236   1353775   no data   no data
3520.15/881.18	c Finding binary XORs  T:     0.00 s  found:       0
3521.35/881.42	c  S st    83   3712799       575      9327       349    113774     31236   1363612   no data   no data
3521.35/881.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3521.35/881.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.05
3521.35/881.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3521.35/881.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3521.35/881.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3521.35/881.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
3521.35/881.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3521.75/881.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3530.54/883.71	c subs with bin:     6222  lits-rem:      9536  v-fix:    0  time:  2.17 s
3551.71/889.06	c lits-rem:      3379  cl-subs:    18224  v-elim:      0  v-fix:    0  time:  5.35 s
3551.71/889.06	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
3551.71/889.09	c vivif2 --  cl tried    89328 cl shrink      235 lits rem        248 time: 0.03
3552.91/889.34	c asymm  cl-useful: 0/4644/9327 lits-rem:0 time: 0.25
3552.91/889.35	c calculated reachability. Time: 0.00
3552.91/889.35	c  N st    83   3712799       575      9327       349     89328     31236   1007867   no data   no data
3598.85/900.89	c  F st    84   3751562       575      9327       349    126894     31236   1630234   no data   no data
3598.85/900.89	c  N st    84   3751562       575      9327       349    126894     31236   1630234   no data   no data
3598.85/900.89	c Finding binary XORs  T:     0.00 s  found:       0
3606.05/902.62	c Decided on static restart strategy
3638.40/910.79	c  N st    94   3779865       575      9327       357    154224     31236   2129538   no data   no data
3678.35/920.78	c  N st    96   3815859       575      9327       357    108154     31236   1338116   no data   no data
3678.35/920.78	c Finding binary XORs  T:     0.00 s  found:       0
3718.31/930.77	c  N st    97   3848251       575      9327       377    139618     31236   1919769   no data   no data
3778.26/945.74	c  N st    98   3896842       575      9327       377    104448     31236   1176424   no data   no data
3876.51/970.33	c  N st    99   3969724       575      9327       380     91661     31236    963700   no data   no data
4014.75/1005.00	c  N st   100   4079048       575      9327       386    113095     31236   1400462   no data   no data
4014.75/1005.00	c Finding binary XORs  T:     0.00 s  found:       0
4182.16/1046.81	c  N st   101   4212801       575      9327       390    157200     31236   2105656   no data   no data
4182.16/1046.81	c  S st   101   4212801       575      9327       390    157200     31236   2105656   no data   no data
4183.34/1047.16	c  S st   101   4213305       575      9327       391    157697     31236   2115317   no data   no data
4183.34/1047.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4183.74/1047.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.08
4183.74/1047.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4183.74/1047.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4183.74/1047.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4183.74/1047.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
4183.74/1047.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4183.74/1047.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4185.74/1047.72	c subs with bin:      572  lits-rem:      3907  v-fix:    0  time:  0.37 s
4307.97/1078.39	c lits-rem:      5540  cl-subs:    49851  v-elim:      0  v-fix:    0  time: 30.66 s
4307.97/1078.39	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
4308.37/1078.42	c vivif2 --  cl tried   107274 cl shrink      487 lits rem        493 time: 0.04
4309.58/1078.72	c asymm  cl-useful: 0/3927/9327 lits-rem:0 time: 0.30
4309.58/1078.73	c calculated reachability. Time: 0.00
4309.58/1078.73	c  N st   101   4213305       575      9327       391    107274     31236   1326737   no data   no data
4630.76/1159.16	c  N st   102   4459281       575      9327       391    173937     31236   2475683   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-3264399-1304127695/watcher-3264399-1304127695 -o /tmp/evaluation-result-3264399-1304127695/solver-3264399-1304127695 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3264399-1304127695.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: 8.22 8.10 7.99 6/180 30271
/proc/meminfo: memFree=30117980/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 524366570 52441088 347 33554432000 4194304 4627427 140734622222384 18446744073709551615 47636393121708 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 12803 347 299 106 0 7774 0
[pid=30271/tid=30272] ppid=30269 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524366570 52441088 347 33554432000 4194304 4627427 140734622222384 18446744073709551615 47636393121714 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524366571 52441088 347 33554432000 4194304 4627427 140734622222384 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524366571 52441088 347 33554432000 4194304 4627427 140734622222384 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.830945 s]
/proc/loadavg: 8.22 8.10 7.99 6/180 30271
/proc/meminfo: memFree=30117980/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=288356 CPUtime=3.29 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 6793 0 0 0 329 0 0 0 19 0 4 0 524366570 295276544 4161 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 72089 4161 386 106 0 67060 0
[pid=30271/tid=30272] ppid=30269 vsize=288356 CPUtime=0.82 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1774 0 0 0 82 0 0 0 18 0 4 0 524366570 295276544 4161 33554432000 4194304 4627427 140734622222384 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=288356 CPUtime=0.82 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1847 0 0 0 82 0 0 0 18 0 4 0 524366571 295276544 4161 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=288356 CPUtime=0.82 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 922 0 0 0 82 0 0 0 19 0 4 0 524366571 295276544 4161 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 288356

[startup+0.900929 s]
/proc/loadavg: 8.22 8.10 7.99 6/180 30271
/proc/meminfo: memFree=30117980/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=288356 CPUtime=3.57 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 6893 0 0 0 357 0 0 0 19 0 4 0 524366570 295276544 4261 33554432000 4194304 4627427 140734622222384 18446744073709551615 4332278 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 72089 4261 386 106 0 67060 0
[pid=30271/tid=30272] ppid=30269 vsize=288356 CPUtime=0.89 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1798 0 0 0 89 0 0 0 18 0 4 0 524366570 295276544 4261 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=288356 CPUtime=0.89 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1866 0 0 0 89 0 0 0 19 0 4 0 524366571 295276544 4261 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=288356 CPUtime=0.89 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 951 0 0 0 89 0 0 0 19 0 4 0 524366571 295276544 4261 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 288356

[startup+1.00091 s]
/proc/loadavg: 8.22 8.10 7.99 6/180 30271
/proc/meminfo: memFree=30117980/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=288356 CPUtime=3.98 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 7037 0 0 0 397 1 0 0 19 0 4 0 524366570 295276544 4405 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 72089 4405 386 106 0 67060 0
[pid=30271/tid=30272] ppid=30269 vsize=288356 CPUtime=0.99 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1831 0 0 0 99 0 0 0 19 0 4 0 524366570 295276544 4405 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=288356 CPUtime=0.99 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1900 0 0 0 99 0 0 0 19 0 4 0 524366571 295276544 4405 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=288356 CPUtime=0.99 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 988 0 0 0 99 0 0 0 19 0 4 0 524366571 295276544 4406 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 288356

[startup+1.10089 s]
/proc/loadavg: 8.22 8.10 7.99 6/180 30271
/proc/meminfo: memFree=30117980/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=297580 CPUtime=4.38 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 7516 0 0 0 437 1 0 0 19 0 4 0 524366570 304721920 4625 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 74395 4625 386 106 0 69366 0
[pid=30271/tid=30272] ppid=30269 vsize=297580 CPUtime=1.09 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1875 0 0 0 109 0 0 0 19 0 4 0 524366570 304721920 4625 33554432000 4194304 4627427 140734622222384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=297580 CPUtime=1.09 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 2106 0 0 0 109 0 0 0 19 0 4 0 524366571 304721920 4362 33554432000 4194304 4627427 140734622222384 18446744073709551615 239476738183 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=288788 CPUtime=1.09 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1176 0 0 0 109 0 0 0 19 0 4 0 524366571 295718912 4362 33554432000 4194304 4627427 140734622222384 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 297580

[startup+1.50082 s]
/proc/loadavg: 8.22 8.10 7.99 6/180 30271
/proc/meminfo: memFree=30117980/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=289012 CPUtime=5.98 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 8400 0 0 0 597 1 0 0 20 0 4 0 524366570 295948288 4647 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 72253 4647 387 106 0 67224 0
[pid=30271/tid=30272] ppid=30269 vsize=289012 CPUtime=1.49 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 2168 0 0 0 149 0 0 0 19 0 4 0 524366570 295948288 4647 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=289012 CPUtime=1.49 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 2235 0 0 0 149 0 0 0 20 0 4 0 524366571 295948288 4647 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=289012 CPUtime=1.49 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 1341 0 0 0 149 0 0 0 20 0 4 0 524366571 295948288 4647 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 289012

[startup+3.10051 s]
/proc/loadavg: 8.20 8.09 7.99 9/184 30275
/proc/meminfo: memFree=30069628/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=293760 CPUtime=12.37 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 14104 0 0 0 1235 2 0 0 25 0 4 0 524366570 300810240 6875 33554432000 4194304 4627427 140734622222384 18446744073709551615 4327592 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 73440 6875 391 106 0 68411 0
[pid=30271/tid=30272] ppid=30269 vsize=293760 CPUtime=3.09 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 3870 0 0 0 309 0 0 0 25 0 4 0 524366570 300810240 6875 33554432000 4194304 4627427 140734622222384 18446744073709551615 4330960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=293760 CPUtime=3.08 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 3134 0 0 0 308 0 0 0 25 0 4 0 524366571 300810240 6875 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=293760 CPUtime=3.08 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 2492 0 0 0 308 0 0 0 25 0 4 0 524366571 300810240 6875 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 293760

[startup+6.3069 s]
/proc/loadavg: 8.20 8.09 7.99 9/184 30276
/proc/meminfo: memFree=30026340/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=271460 CPUtime=25.18 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 23209 0 0 0 2514 4 0 0 25 0 4 0 524366570 277975040 12793 33554432000 4194304 4627427 140734622222384 18446744073709551615 4420171 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 67865 12793 391 106 0 62836 0
[pid=30271/tid=30272] ppid=30269 vsize=271460 CPUtime=6.29 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 5998 0 0 0 629 0 0 0 25 0 4 0 524366570 277975040 12793 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=271460 CPUtime=6.29 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 5714 0 0 0 629 0 0 0 25 0 4 0 524366571 277975040 12793 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=271460 CPUtime=6.26 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 4720 0 0 0 626 0 0 0 25 0 4 0 524366571 277975040 12793 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 271460

[startup+12.7007 s]
/proc/loadavg: 8.27 8.11 7.99 9/184 30276
/proc/meminfo: memFree=29971300/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=308892 CPUtime=50.72 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 33100 0 0 0 5066 6 0 0 25 0 4 0 524366570 316305408 15689 33554432000 4194304 4627427 140734622222384 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 77223 15689 391 106 0 72194 0
[pid=30271/tid=30272] ppid=30269 vsize=308892 CPUtime=12.69 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 7697 0 0 0 1268 1 0 0 25 0 4 0 524366570 316305408 15689 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=308892 CPUtime=12.68 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 8054 0 0 0 1267 1 0 0 25 0 4 0 524366571 316305408 15689 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=308892 CPUtime=12.63 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 8941 0 0 0 1262 1 0 0 25 0 4 0 524366571 316305408 15689 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 308892

[startup+25.5002 s]
/proc/loadavg: 8.21 8.10 7.99 9/184 30276
/proc/meminfo: memFree=29925792/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=310136 CPUtime=101.85 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 49279 0 0 0 10176 9 0 0 25 0 4 0 524366570 317579264 21568 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 77534 21568 391 106 0 72505 0
[pid=30271/tid=30272] ppid=30269 vsize=310136 CPUtime=25.48 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 12126 0 0 0 2547 1 0 0 25 0 4 0 524366570 317579264 21568 33554432000 4194304 4627427 140734622222384 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=310136 CPUtime=25.48 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 12308 0 0 0 2546 2 0 0 25 0 4 0 524366571 317579264 21568 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=310136 CPUtime=25.37 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 13070 0 0 0 2535 2 0 0 25 0 4 0 524366571 317579264 21568 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308256 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) 310136

[startup+51.1003 s]
/proc/loadavg: 8.13 8.09 7.99 9/184 30277
/proc/meminfo: memFree=29883808/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=312092 CPUtime=204.14 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 71589 0 0 0 20400 14 0 0 25 0 4 0 524366570 319582208 21181 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 78023 21181 391 106 0 72994 0
[pid=30271/tid=30272] ppid=30269 vsize=312092 CPUtime=51.09 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 14700 0 0 0 5107 2 0 0 25 0 4 0 524366570 319582208 21181 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=312092 CPUtime=51.07 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 17981 0 0 0 5104 3 0 0 25 0 4 0 524366571 319582208 21182 33554432000 4194304 4627427 140734622222384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=312092 CPUtime=50.86 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 21158 0 0 0 5082 4 0 0 25 0 4 0 524366571 319582208 21182 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.14
Current children cumulated vsize (KiB) 312092

[startup+102.301 s]
/proc/loadavg: 8.15 8.11 8.00 9/184 30278
/proc/meminfo: memFree=29803420/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=307508 CPUtime=408.71 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 117132 0 0 0 40847 24 0 0 25 0 4 0 524366570 314888192 29738 33554432000 4194304 4627427 140734622222384 18446744073709551615 4324104 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 76877 29738 391 106 0 71848 0
[pid=30271/tid=30272] ppid=30269 vsize=307508 CPUtime=102.3 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 26512 0 0 0 10225 5 0 0 25 0 4 0 524366570 314888192 29738 33554432000 4194304 4627427 140734622222384 18446744073709551615 4329723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=307508 CPUtime=102.27 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 27244 0 0 0 10222 5 0 0 25 0 4 0 524366571 314888192 29738 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=307508 CPUtime=101.82 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 35482 0 0 0 10176 6 0 0 25 0 4 0 524366571 314888192 29738 33554432000 4194304 4627427 140734622222384 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.71
Current children cumulated vsize (KiB) 307508

[startup+162.301 s]

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

[pid=30271] ppid=30269 vsize=441460 CPUtime=2805.83 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 427885 0 0 0 280468 115 0 0 25 0 4 0 524366570 452055040 74625 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 110365 74625 391 106 0 105336 0
[pid=30271/tid=30272] ppid=30269 vsize=441460 CPUtime=702.32 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 82502 0 0 0 70212 20 0 0 25 0 4 0 524366570 452055040 74625 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=441460 CPUtime=702.23 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 112828 0 0 0 70192 31 0 0 25 0 4 0 524366571 452055040 74625 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=441460 CPUtime=698.94 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 110067 0 0 0 69864 30 0 0 25 0 4 0 524366571 452055040 74625 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.83
Current children cumulated vsize (KiB) 441460

[startup+762.301 s]
/proc/loadavg: 8.20 8.14 8.04 9/184 30296
/proc/meminfo: memFree=29339776/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=521748 CPUtime=3045.54 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 446103 0 0 0 304433 121 0 0 25 0 4 0 524366570 534269952 82715 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 130437 82715 391 106 0 125408 0
[pid=30271/tid=30272] ppid=30269 vsize=521748 CPUtime=762.32 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 82623 0 0 0 76212 20 0 0 25 0 4 0 524366570 534269952 82715 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=521748 CPUtime=762.23 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 117559 0 0 0 76190 33 0 0 25 0 4 0 524366571 534269952 82716 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=521748 CPUtime=758.64 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 115893 0 0 0 75833 31 0 0 25 0 4 0 524366571 534269952 82716 33554432000 4194304 4627427 140734622222384 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.54
Current children cumulated vsize (KiB) 521748

[startup+822.301 s]
/proc/loadavg: 8.07 8.11 8.03 9/184 30297
/proc/meminfo: memFree=29296696/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=522844 CPUtime=3285.24 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 462594 0 0 0 328396 128 0 0 25 0 4 0 524366570 535392256 88944 33554432000 4194304 4627427 140734622222384 18446744073709551615 4324192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 130711 88944 391 106 0 125682 0
[pid=30271/tid=30272] ppid=30269 vsize=522844 CPUtime=822.32 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 82899 0 0 0 82212 20 0 0 25 0 4 0 524366570 535392256 88944 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=522844 CPUtime=822.23 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 121880 0 0 0 82188 35 0 0 25 0 4 0 524366571 535392256 88944 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=522844 CPUtime=818.34 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 121756 0 0 0 81800 34 0 0 25 0 4 0 524366571 535392256 88944 33554432000 4194304 4627427 140734622222384 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3285.24
Current children cumulated vsize (KiB) 522844

[startup+882.301 s]
/proc/loadavg: 8.08 8.10 8.03 9/184 30299
/proc/meminfo: memFree=29299868/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=523260 CPUtime=3524.95 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 483143 0 0 0 352359 136 0 0 25 0 4 0 524366570 535818240 87533 33554432000 4194304 4627427 140734622222384 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 130815 87533 391 106 0 125786 0
[pid=30271/tid=30272] ppid=30269 vsize=523260 CPUtime=882.32 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 82899 0 0 0 88212 20 0 0 25 0 4 0 524366570 535818240 87533 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=523260 CPUtime=882.22 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 126855 0 0 0 88185 37 0 0 25 0 4 0 524366571 535818240 87533 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=523260 CPUtime=878.05 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 129370 0 0 0 87768 37 0 0 25 0 4 0 524366571 535818240 87533 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.95
Current children cumulated vsize (KiB) 523260

[startup+942.301 s]
/proc/loadavg: 8.02 8.08 8.03 9/184 30301
/proc/meminfo: memFree=29298332/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=523496 CPUtime=3764.68 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 499231 0 0 0 376326 142 0 0 25 0 4 0 524366570 536059904 86958 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 130874 86958 391 106 0 125845 0
[pid=30271/tid=30272] ppid=30269 vsize=523496 CPUtime=942.33 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 82913 0 0 0 94213 20 0 0 25 0 4 0 524366570 536059904 86958 33554432000 4194304 4627427 140734622222384 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=523496 CPUtime=942.22 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 129838 0 0 0 94183 39 0 0 25 0 4 0 524366571 536059904 86958 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=523496 CPUtime=937.75 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 135512 0 0 0 93737 38 0 0 25 0 4 0 524366571 536059904 86958 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.68
Current children cumulated vsize (KiB) 523496

[startup+1002.3 s]
/proc/loadavg: 8.01 8.06 8.02 9/184 30302
/proc/meminfo: memFree=29262192/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=537212 CPUtime=4004.36 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 515646 0 0 0 400289 147 0 0 25 0 4 0 524366570 550105088 84621 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 134303 84621 391 106 0 129274 0
[pid=30271/tid=30272] ppid=30269 vsize=537212 CPUtime=1002.32 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 82913 0 0 0 100212 20 0 0 25 0 4 0 524366570 550105088 84621 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=537212 CPUtime=1002.22 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 133416 0 0 0 100182 40 0 0 25 0 4 0 524366571 550105088 84621 33554432000 4194304 4627427 140734622222384 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=537212 CPUtime=997.46 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 141840 0 0 0 99706 40 0 0 25 0 4 0 524366571 550105088 84621 33554432000 4194304 4627427 140734622222384 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4004.36
Current children cumulated vsize (KiB) 537212

[startup+1062.31 s]
/proc/loadavg: 8.08 8.08 8.03 9/184 30304
/proc/meminfo: memFree=29236224/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=603452 CPUtime=4244.08 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 537611 0 0 0 424252 156 0 0 25 0 4 0 524366570 617934848 88397 33554432000 4194304 4627427 140734622222384 18446744073709551615 4420181 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 150863 88397 399 106 0 145834 0
[pid=30271/tid=30272] ppid=30269 vsize=603452 CPUtime=1062.33 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 82913 0 0 0 106213 20 0 0 25 0 4 0 524366570 617934848 88397 33554432000 4194304 4627427 140734622222384 18446744073709551615 4327640 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=603452 CPUtime=1062.22 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 139704 0 0 0 106179 43 0 0 25 0 4 0 524366571 617934848 88397 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=603452 CPUtime=1057.16 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 149659 0 0 0 105672 44 0 0 25 0 4 0 524366571 617934848 88397 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4244.08
Current children cumulated vsize (KiB) 603452

[startup+1122.3 s]
/proc/loadavg: 8.11 8.09 8.03 9/184 30305
/proc/meminfo: memFree=29219656/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=590592 CPUtime=4483.74 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 553924 0 0 0 448211 163 0 0 25 0 4 0 524366570 604766208 87659 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 147648 87659 399 106 0 142619 0
[pid=30271/tid=30272] ppid=30269 vsize=590592 CPUtime=1122.33 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 83198 0 0 0 112213 20 0 0 25 0 4 0 524366570 604766208 87659 33554432000 4194304 4627427 140734622222384 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=590592 CPUtime=1122.21 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 145557 0 0 0 112176 45 0 0 25 0 4 0 524366571 604766208 87659 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=590592 CPUtime=1116.84 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 155743 0 0 0 111637 47 0 0 25 0 4 0 524366571 604766208 87659 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.74
Current children cumulated vsize (KiB) 590592

[startup+1182.3 s]
/proc/loadavg: 8.11 8.10 8.04 9/184 30316
/proc/meminfo: memFree=29218372/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=593796 CPUtime=4723.43 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 568622 0 0 0 472171 172 0 0 25 0 4 0 524366570 608047104 90291 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 148449 90291 399 106 0 143420 0
[pid=30271/tid=30272] ppid=30269 vsize=593796 CPUtime=1182.33 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 83991 0 0 0 118212 21 0 0 25 0 4 0 524366570 608047104 90291 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=593796 CPUtime=1182.2 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 151372 0 0 0 118173 47 0 0 25 0 4 0 524366571 608047104 90291 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=593796 CPUtime=1176.53 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 160343 0 0 0 117602 51 0 0 25 0 4 0 524366571 608047104 90291 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4723.43
Current children cumulated vsize (KiB) 593796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 8.21 8.12 8.04 5/176 30334
/proc/meminfo: memFree=29818896/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=607744 CPUtime=4800.14 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 575601 0 0 0 479839 175 0 0 25 0 4 0 524366570 622329856 90830 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 151936 90830 399 106 0 146907 0
[pid=30271/tid=30272] ppid=30269 vsize=607744 CPUtime=1201.53 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 84991 0 0 0 120132 21 0 0 25 0 4 0 524366570 622329856 90830 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=607744 CPUtime=1201.41 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 152797 0 0 0 120093 48 0 0 25 0 4 0 524366571 622329856 90830 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=607744 CPUtime=1195.63 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 162733 0 0 0 119511 52 0 0 25 0 4 0 524366571 622329856 90830 33554432000 4194304 4627427 140734622222384 18446744073709551615 4321405 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 607744

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

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

[startup+1201.5 s]
/proc/loadavg: 8.21 8.12 8.04 5/176 30334
/proc/meminfo: memFree=29818896/32950928 swapFree=67086612/67111528
[pid=30271] ppid=30269 vsize=607744 CPUtime=4800.14 cores=1,3,5,7
/proc/30271/stat : 30271 (strangenight2-m) R 30269 30271 29718 0 -1 4202496 575601 0 0 0 479839 175 0 0 25 0 4 0 524366570 622329856 90830 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30271/statm: 151936 90830 399 106 0 146907 0
[pid=30271/tid=30272] ppid=30269 vsize=607744 CPUtime=1201.53 cores=1,3,5,7
/proc/30271/task/30272/stat : 30272 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 84991 0 0 0 120132 21 0 0 25 0 4 0 524366570 622329856 90830 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30271/tid=30273] ppid=30269 vsize=607744 CPUtime=1201.41 cores=1,3,5,7
/proc/30271/task/30273/stat : 30273 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 152797 0 0 0 120093 48 0 0 25 0 4 0 524366571 622329856 90830 33554432000 4194304 4627427 140734622222384 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30271/tid=30274] ppid=30269 vsize=607744 CPUtime=1195.63 cores=1,3,5,7
/proc/30271/task/30274/stat : 30274 (strangenight2-m) R 30269 30271 29718 0 -1 4202560 162733 0 0 0 119511 52 0 0 25 0 4 0 524366571 622329856 90830 33554432000 4194304 4627427 140734622222384 18446744073709551615 4321405 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 607744

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.53
CPU time (s): 4800.19
CPU user time (s): 4798.42
CPU system time (s): 1.76973
CPU usage (%): 399.508
Max. virtual memory (cumulated for all children) (KiB): 700772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.42
system time used= 1.76973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575602
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= 402
involuntary context switches= 19711

runsolver used 1.81472 second user time and 4.11038 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 03:41:35
IDJOB=3264399
IDBENCH=84608
IDSOLVER=1586
FILE ID=node148/3264399-1304127695
RUNJOBID= node148-1304126488-30065
PBS_JOBID= 13170748
Free space on /tmp= 71428 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT04/handmade/connamacher/connm-d0.02/connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264399-1304127695/watcher-3264399-1304127695 -o /tmp/evaluation-result-3264399-1304127695/solver-3264399-1304127695 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3264399-1304127695.cnf

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

MD5SUM BENCH= 7bb85ebdeae46262f72a4c54d4e16683
RANDOM SEED=1863699899

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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:      30118756 kB
Buffers:        722228 kB
Cached:        1643836 kB
SwapCached:       3696 kB
Active:         191840 kB
Inactive:      2275412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30118756 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:           13000 kB
Writeback:          44 kB
AnonPages:       99000 kB
Mapped:          14512 kB
Slab:           300904 kB
PageTables:       4836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   334028 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= 71428 MiB
End job on node148 at 2011-04-30 04:01:39