Trace number 3173899

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.35 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf
MD5SUMdedbbce6fb26e857922f18b3ce672c14
Bench CategoryRANDOM (random 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 variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173899-1304072691.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.00	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.00	c -- vars added        700
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     299 undec:      93 neg:     308
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       685      2965         0         0      8995         0   no data   no data
0.09/0.07	c Decided on static restart strategy
0.38/0.18	c  N st     8      4919       685      2965         0      4867      8995    143633   no data   no data
1.58/0.46	c  N st    10     11302       685      2965         0      4520      8995     95134   no data   no data
2.78/0.77	c  N st    11     17045       685      2965         0     10152      8995    262925   no data   no data
4.77/1.20	c  F st    12     25002       685      2965         0     12454      8995    325608   no data   no data
4.77/1.20	c  N st    12     25002       685      2965         0     12454      8995    325608   no data   no data
5.57/1.47	c Decided on static restart strategy
5.57/1.47	c  N st    18     30001       685      2965         0     10692      8995    254016   no data   no data
5.57/1.47	c  S st    18     30001       685      2965         0     10692      8995    254016   no data   no data
5.97/1.50	c  S st    18     30503       685      2965         0     11191      8995    267903   no data   no data
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.51	c blocked clauses removed:       15 vars:      2 tried:         685 T: 0.00 s
5.97/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
5.97/1.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c lits-rem:        59  cl-subs:      363  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.58	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.01
5.97/1.58	c calculated reachability. Time: 0.00
5.97/1.58	c  N st    18     30503       683      2950         0     10828      8950    255278   no data   no data
7.97/2.03	c  N st    20     37613       683      2950         0     10082      8950    204448   no data   no data
9.56/2.46	c  N st    21     44015       683      2950         0     16364      8950    391499   no data   no data
9.96/2.59	c  S st    22     45754       683      2950         0      9290      8950    161427   no data   no data
10.36/2.61	c  S st    22     46256       683      2950         0      9792      8950    174678   no data   no data
10.36/2.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.36/2.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.36/2.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
10.36/2.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.36/2.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.36/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.64	c lits-rem:        12  cl-subs:       24  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.64	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
10.36/2.64	c vivif2 --  cl tried     9768 cl shrink        0 lits rem          0 time: 0.00
10.36/2.64	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.01
10.36/2.64	c calculated reachability. Time: 0.00
10.36/2.64	c  N st    22     46256       683      2950         0      9768      8950    173906   no data   no data
14.36/3.67	c  N st    23     60653       683      2950         0     14178      8950    294923   no data   no data
17.17/4.37	c  N st    24     69386       683      2950         0     11969      8950    217244   no data   no data
17.17/4.37	c  S st    24     69386       683      2950         0     11969      8950    217244   no data   no data
17.57/4.40	c  S st    24     69891       683      2950         0     12474      8950    230871   no data   no data
17.57/4.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.57/4.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.57/4.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.57/4.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.57/4.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.57/4.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
17.57/4.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.57/4.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.57/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.57/4.44	c lits-rem:        19  cl-subs:       62  v-elim:      0  v-fix:    0  time:  0.02 s
17.57/4.44	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
17.57/4.44	c vivif2 --  cl tried    12412 cl shrink        0 lits rem          0 time: 0.00
17.57/4.45	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.01
17.57/4.45	c calculated reachability. Time: 0.00
17.57/4.45	c  N st    24     69891       683      2950         0     12412      8950    228662   no data   no data
23.55/5.90	c  F st    25     87500       683      2950         0     17933      8950    396510   no data   no data
23.55/5.90	c  N st    25     87500       683      2950         0     17933      8950    396510   no data   no data
25.15/6.37	c  N dy    34     93124       683      2950         0     23471      8950    553234     19.84     21.01
27.54/6.91	c  N dy    43     99717       683      2950         0     17101      8950    284727     18.16     19.40
29.14/7.33	c  S st    86    104836       683      2950         0     22192      8950    429111     19.12     19.39
29.14/7.39	c  S st    86    105345       683      2950         0     22701      8950    443899     19.12   no data
29.14/7.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.14/7.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.14/7.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.14/7.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.14/7.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.14/7.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
29.14/7.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.54/7.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.54/7.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.93/7.50	c lits-rem:       100  cl-subs:      342  v-elim:      0  v-fix:    0  time:  0.08 s
29.93/7.50	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
29.93/7.51	c vivif2 --  cl tried    22359 cl shrink        0 lits rem          0 time: 0.01
29.93/7.52	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.01
29.93/7.52	c calculated reachability. Time: 0.00
29.93/7.52	c  N dy    86    105345       683      2950         0     22359      8950    433712     19.12   no data
32.33/8.18	c  N dy   111    112631       683      2950         0     15709      8950    211067     19.02     20.21
35.14/8.88	c  N dy   129    120965       683      2950         0     23970      8950    450526     18.71     19.71
38.33/9.69	c  N dy   176    128934       683      2950         0     17011      8950    219328     18.94     20.15
41.52/10.41	c  N dy   222    137420       683      2950         0     25430      8950    459270     19.09     20.50
45.11/11.31	c  N dy   282    146230       683      2950         0     18316      8950    229342     19.32     20.76
48.33/12.17	c  N dy   320    155919       683      2950         0     27920      8950    500677     19.32     20.54
49.10/12.40	c  S st   329    158019       683      2950         0     30007      8950    559646     19.32   no data
49.51/12.47	c  S st   329    158521       683      2950         0     30507      8950    573627     19.32   no data
49.51/12.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.51/12.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.51/12.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.51/12.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.51/12.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.51/12.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
49.51/12.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.51/12.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.91/12.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.31/12.65	c lits-rem:       159  cl-subs:      361  v-elim:      0  v-fix:    0  time:  0.14 s
50.31/12.65	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
50.31/12.66	c vivif2 --  cl tried    30146 cl shrink        0 lits rem          0 time: 0.01
50.31/12.68	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.02
50.31/12.68	c calculated reachability. Time: 0.00
50.31/12.68	c  N dy   329    158521       683      2950         0     30146      8950    561559     19.32   no data
54.70/13.74	c  N dy   333    169680       683      2950         0     24322      8950    377052     18.98     20.14
59.49/14.96	c  N dy   376    180556       683      2950         0     35118      8950    683106     18.97     22.56
63.89/16.05	c  N dy   430    192101       683      2950         0     28719      8950    470091     18.97     23.11
69.49/17.48	c  N dy   484    204434       683      2950         0     22103      8950    268925     19.03     20.25
75.87/19.06	c  N dy   525    219034       683      2950         0     36541      8950    672377     18.98     20.01
82.27/20.63	c  N dy   608    233020       683      2950         0     30640      8950    488893     19.07     20.10
85.06/21.35	c  S st   632    237781       683      2950         0     35376      8950    622337     19.09     17.57
85.46/21.43	c  S st   632    238283       683      2950         0     35878      8950    636503     19.09   no data
85.46/21.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.46/21.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.46/21.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.46/21.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.46/21.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.46/21.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
85.46/21.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.46/21.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.46/21.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.26/21.66	c lits-rem:       131  cl-subs:      474  v-elim:      0  v-fix:    0  time:  0.18 s
86.26/21.66	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
86.26/21.67	c vivif2 --  cl tried    35404 cl shrink        0 lits rem          0 time: 0.01
86.26/21.69	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.02
86.66/21.70	c calculated reachability. Time: 0.00
86.66/21.70	c  N dy   632    238283       683      2950         0     35404      8950    620468     19.09   no data
93.85/23.53	c  N dy   706    253664       683      2950         0     29810      8950    433364     19.12     20.41
102.23/25.64	c  N dy   806    269874       683      2950         0     24076      8950    251165     19.21     21.55
110.63/27.78	c  N dy   911    287150       683      2950         0     41209      8950    741694     19.29     22.59
119.82/30.07	c  N dy  1007    305587       683      2950         0     36672      8950    590246     19.33     20.41
120.22/30.17	c  F st  1011    306251       683      2950         0     37335      8950    609644     19.33     20.02
130.20/32.67	c  N dy  1093    325329       683      2950         0     32454      8950    448068     19.37     20.48
142.58/35.73	c  N dy  1217    345362       683      2950         0     27540      8950    280710     19.45     23.34
148.18/37.19	c  S st  1248    357424       683      2950         0     39471      8950    625564     19.41     17.89
148.57/37.29	c  S st  1248    357925       683      2950         0     39972      8950    639290     19.41   no data
148.57/37.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.99/37.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
148.99/37.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
148.99/37.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.99/37.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.99/37.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
148.99/37.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
148.99/37.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
148.99/37.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.77/37.56	c lits-rem:       146  cl-subs:      557  v-elim:      0  v-fix:    0  time:  0.22 s
149.77/37.56	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
149.77/37.57	c vivif2 --  cl tried    39415 cl shrink        0 lits rem          0 time: 0.01
150.17/37.60	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.03
150.17/37.60	c calculated reachability. Time: 0.00
150.17/37.60	c  N dy  1248    357925       683      2950         0     39415      8950    622997     19.41   no data
161.76/40.56	c  N dy  1333    377992       683      2950         0     33542      8950    426964     19.42     20.88
174.94/43.84	c  N dy  1430    398423       683      2950         0     27024      8950    217899     19.43     20.53
186.13/46.69	c  N dy  1500    419326       683      2950         0     47743      8950    812505     19.43     20.48
198.10/49.69	c  N dy  1547    439484       683      2950         0     39915      8950    573387     19.39     20.44
212.08/53.18	c  N dy  1655    459542       683      2950         0     31090      8950    290102     19.42     20.45
224.46/56.22	c  N dy  1768    479565       683      2950         0     50941      8950    874924     19.46     20.62
237.28/59.48	c  N dy  1874    499575       683      2950         0     41047      8950    561492     19.49     20.73
252.83/63.32	c  N dy  1982    519599       683      2950         0     60936      8950   1143577     19.52     23.18
262.82/65.87	c  S st  2039    536887       683      2950         0     47308      8950    706191     19.51     16.01
263.24/65.99	c  S st  2039    537393       683      2950         0     47814      8950    719711     19.51   no data
263.24/65.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
263.63/66.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
263.63/66.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
263.63/66.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.63/66.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.63/66.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
263.63/66.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
263.63/66.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
263.63/66.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.81/66.31	c lits-rem:       115  cl-subs:      627  v-elim:      0  v-fix:    0  time:  0.26 s
264.81/66.31	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
264.81/66.32	c vivif2 --  cl tried    47187 cl shrink        0 lits rem          0 time: 0.01
264.81/66.35	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.04
264.81/66.35	c calculated reachability. Time: 0.00
264.81/66.35	c  N dy  2039    537393       683      2950         0     47187      8950    700632     19.51   no data
280.39/70.25	c  N dy  2135    557400       683      2950         0     35298      8950    349289     19.53     20.63
293.58/73.54	c  N dy  2194    577427       683      2950         0     55121      8950    914072     19.51     20.84
308.76/77.30	c  N dy  2305    597428       683      2950         0     42265      8950    528348     19.54     21.72
323.53/81.02	c  N dy  2378    617453       683      2950         0     62133      8950   1105644     19.53     21.96
338.34/84.78	c  N dy  2515    637914       683      2950         0     48734      8950    698452     19.58     20.72
357.09/89.48	c  N dy  2601    658917       683      2950         0     34840      8950    263730     19.58     20.83
370.27/92.77	c  N dy  2724    678952       683      2950         0     54727      8950    844682     19.61     22.86
391.84/98.12	c  N dy  2832    702754       683      2950         0     42610      8950    460893     19.62     20.91
417.03/104.43	c  N dy  2908    733001       683      2950         0     72536      8950   1335366     19.55     20.67
432.19/108.29	c  N dy  3008    753109       683      2950         0     55801      8950    824497     19.57     20.75
452.58/113.35	c  N dy  3114    773188       683      2950         0     38047      8950    287624     19.58     20.70
466.94/116.94	c  N dy  3233    793251       683      2950         0     57966      8950    867084     19.60     21.02
479.73/120.17	c  S st  3299    806090       683      2950         0     70696      8950   1235948     19.62     18.73
480.53/120.36	c  S st  3299    806592       683      2950         0     71197      8950   1250529     19.62   no data
480.53/120.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
480.93/120.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
480.93/120.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
480.93/120.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
480.93/120.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
480.93/120.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
480.93/120.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
480.93/120.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
480.93/120.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
484.12/121.25	c lits-rem:       244  cl-subs:      972  v-elim:      0  v-fix:    0  time:  0.79 s
484.12/121.25	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
484.12/121.27	c vivif2 --  cl tried    70225 cl shrink        0 lits rem          0 time: 0.02
484.52/121.33	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.06
484.52/121.33	c calculated reachability. Time: 0.00
484.52/121.33	c  N dy  3299    806592       683      2950         0     70225      8950   1218515     19.62   no data
501.29/125.50	c  N dy  3396    826756       683      2950         0     51542      8950    656013     19.63     20.70
519.66/130.14	c  N dy  3484    846875       683      2950         0     71474      8950   1232776     19.63     20.98
536.44/134.37	c  N dy  3565    866926       683      2950         0     51692      8950    641214     19.63     24.85
556.02/139.29	c  N dy  3669    887386       683      2950         0     71991      8950   1230313     19.64     20.73
577.59/144.61	c  N dy  3774    911877       683      2950         0     55598      8950    725645     19.65     20.77
611.55/153.12	c  N dy  3803    948760       683      2950         0     50423      8950    566437     19.55     20.66
629.12/157.55	c  N dy  3888    969061       683      2950         0     70552      8950   1153861     19.55     20.83
651.09/163.00	c  N dy  3955    990486       683      2950         0     49197      8950    499881     19.54     20.66
669.06/167.55	c  N dy  4006   1011716       683      2950         0     70187      8950   1110289     19.53     20.73
691.83/173.20	c  N dy  4080   1031759       683      2950         0     46507      8950    399009     19.52     22.50
707.82/177.22	c  N dy  4148   1052048       683      2950         0     66562      8950    977873     19.52     20.57
731.38/183.17	c  F st  4277   1071875       683      2950         0     86251      8950   1558642     19.55   no data
731.78/183.25	c  N st  4278   1072127       683      2950         0     86501      8950   1566364     19.55   no data
736.98/184.58	c Decided on static restart strategy
754.95/189.03	c  N st  4287   1100181       683      2950         0     69619      8950   1143250     19.55   no data
791.30/198.14	c  N st  4289   1136174       683      2950         0     59581      8950   1378094     19.55   no data
828.86/207.57	c  N st  4290   1168569       683      2950         0     91507      8950   2395628     19.55   no data
879.18/220.19	c  N st  4291   1209889       683      2950         0     85830      8950   2043311     19.55   no data
879.18/220.19	c  S st  4291   1209889       683      2950         0     85830      8950   2043311     19.55   no data
880.38/220.47	c  S st  4291   1210389       683      2950         0     86330      8950   2056609     19.55   no data
880.38/220.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
880.78/220.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
880.78/220.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
880.78/220.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
880.78/220.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
880.78/220.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
880.78/220.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
880.78/220.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
881.18/220.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
920.73/230.55	c lits-rem:       738  cl-subs:     4820  v-elim:      0  v-fix:    0  time:  9.93 s
920.73/230.55	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
920.73/230.58	c vivif2 --  cl tried    81510 cl shrink        0 lits rem          0 time: 0.03
921.13/230.66	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.08
921.13/230.66	c calculated reachability. Time: 0.00
921.13/230.66	c  N st  4291   1210389       683      2950         0     81510      8950   1894116     19.55   no data
1001.84/250.86	c  N st  4292   1283272       683      2950         0     57736      8950   1053299     19.55   no data
1124.47/281.56	c  N st  4293   1392597       683      2950         0     65814      8950   1275919     19.55   no data
1320.19/330.53	c  N st  4294   1556581       683      2950         0     70594      8950   1253079     19.55   no data
1517.12/379.86	c  N st  4295   1710391       683      2950         0     56697      8950    734822     19.55   no data
1517.12/379.86	c  S st  4295   1710391       683      2950         0     56697      8950    734822     19.55   no data
1517.92/380.02	c  S st  4295   1710893       683      2950         0     57199      8950    749005     19.55   no data
1517.92/380.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1517.92/380.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1517.92/380.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1517.92/380.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1517.92/380.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1517.92/380.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
1517.92/380.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1517.92/380.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1517.92/380.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1519.52/380.43	c lits-rem:       140  cl-subs:      456  v-elim:      0  v-fix:    0  time:  0.35 s
1519.52/380.43	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
1519.52/380.44	c vivif2 --  cl tried    56743 cl shrink        0 lits rem          0 time: 0.01
1519.52/380.49	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.05
1519.52/380.49	c calculated reachability. Time: 0.00
1519.52/380.49	c  N st  4295   1710893       683      2950         0     56743      8950    737544     19.55   no data
2008.46/502.83	c  N st  4296   2079857       683      2950         0     62558      8950    777806     19.55   no data
2179.05/545.59	c  N st  4297   2210894       683      2950         0     64706      8950    769760     19.55   no data
2179.05/545.59	c  S st  4297   2210894       683      2950         0     64706      8950    769760     19.55   no data
2179.82/545.77	c  S st  4297   2211399       683      2950         0     65211      8950    784367     19.55   no data
2179.82/545.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2180.22/545.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2180.22/545.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2180.22/545.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2180.22/545.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2180.22/545.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
2180.22/545.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2180.22/545.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2180.22/545.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2181.02/546.05	c lits-rem:        53  cl-subs:      145  v-elim:      0  v-fix:    0  time:  0.20 s
2181.02/546.05	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
2181.02/546.06	c vivif2 --  cl tried    65066 cl shrink        0 lits rem          0 time: 0.01
2181.42/546.12	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.06
2181.42/546.12	c calculated reachability. Time: 0.00
2181.42/546.12	c  N st  4297   2211399       683      2950         0     65066      8950    780998     19.55   no data
2913.26/729.35	c  N st  4298   2711399       683      2950         0     81855      8950   1141060     19.55   no data
2913.26/729.35	c  S st  4298   2711399       683      2950         0     81855      8950   1141060     19.55   no data
2914.03/729.58	c  S st  4298   2711900       683      2950         0     82355      8950   1155878     19.55   no data
2914.03/729.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2914.43/729.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2914.43/729.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2914.43/729.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2914.43/729.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2914.43/729.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
2914.43/729.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2914.43/729.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2914.43/729.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2918.03/730.54	c lits-rem:       138  cl-subs:     1040  v-elim:      0  v-fix:    0  time:  0.85 s
2918.03/730.54	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
2918.03/730.56	c vivif2 --  cl tried    81315 cl shrink        0 lits rem          0 time: 0.02
2918.43/730.64	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.08
2918.43/730.64	c calculated reachability. Time: 0.00
2918.43/730.64	c  N st  4298   2711900       683      2950         0     81315      8950   1125552     19.55   no data
3718.15/930.86	c  N st  4299   3211900       683      2950         0    127287      8950   2550909     19.55   no data
3718.15/930.86	c  S st  4299   3211900       683      2950         0    127287      8950   2550909     19.55   no data
3720.15/931.30	c  S st  4299   3212407       683      2950         0    127793      8950   2566131     19.55   no data
3720.15/931.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3720.15/931.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3720.15/931.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3720.15/931.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3720.15/931.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3720.15/931.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
3720.15/931.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3720.55/931.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3720.94/931.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3786.86/948.06	c lits-rem:       832  cl-subs:     5700  v-elim:      0  v-fix:    0  time: 16.56 s
3786.86/948.06	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
3786.86/948.10	c vivif2 --  cl tried   122093 cl shrink        0 lits rem          0 time: 0.04
3787.68/948.24	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.14
3787.68/948.24	c calculated reachability. Time: 0.00
3787.68/948.24	c  N st  4299   3212407       683      2950         0    122093      8950   2379853     19.55   no data
4553.81/1140.02	c  N st  4300   3712407       683      2950         0    133002      8950   2578100     19.55   no data
4553.81/1140.02	c  S st  4300   3712407       683      2950         0    133002      8950   2578100     19.55   no data
4556.23/1140.69	c  S st  4300   3712907       683      2950         0    133501      8950   2592671     19.55   no data
4556.63/1140.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4557.01/1140.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.11
4557.01/1140.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4557.01/1140.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4557.01/1140.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4557.01/1140.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
4557.01/1140.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4557.01/1140.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
4557.40/1140.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4651.68/1164.59	c lits-rem:       343  cl-subs:     4933  v-elim:      0  v-fix:    0  time: 23.61 s
4651.68/1164.59	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
4652.08/1164.63	c vivif2 --  cl tried   128568 cl shrink        0 lits rem          0 time: 0.04
4652.90/1164.82	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.19
4652.90/1164.83	c calculated reachability. Time: 0.00
4652.90/1164.83	c  N st  4300   3712907       683      2950         0    128568      8950   2437050     19.55   no data
4726.77/1183.33	c  F st  4301   3751563       683      2950         0    166700      8950   3722360     19.55   no data
4726.77/1183.33	c  N st  4301   3751563       683      2950         0    166700      8950   3722360     19.55   no data
4761.13/1191.94	c  N dy  4393   3773721       683      2950         0    105210      8950   1533735     19.56     20.68

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-3173899-1304072691/watcher-3173899-1304072691 -o /tmp/evaluation-result-3173899-1304072691/solver-3173899-1304072691 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173899-1304072691.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: 2.09 2.43 4.00 2/176 28264
/proc/meminfo: memFree=26234848/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 518867035 52441088 348 33554432000 4194304 4627427 140736831681616 18446744073709551615 47296683472818 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 12803 348 299 106 0 7774 0
[pid=28264/tid=28265] ppid=28260 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 518867035 52441088 348 33554432000 4194304 4627427 140736831681616 18446744073709551615 47296683472812 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 518867035 52441088 348 33554432000 4194304 4627427 140736831681616 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 518867035 52441088 348 33554432000 4194304 4627427 140736831681616 18446744073709551615 47296683472808 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.029061 s]
/proc/loadavg: 2.09 2.43 4.00 2/176 28264
/proc/meminfo: memFree=26234848/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=282332 CPUtime=0.09 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 1562 0 0 0 9 0 0 0 20 0 4 0 518867035 289107968 1439 33554432000 4194304 4627427 140736831681616 18446744073709551615 4308291 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 70583 1439 384 106 0 65554 0
[pid=28264/tid=28265] ppid=28260 vsize=282332 CPUtime=0.02 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 311 0 0 0 2 0 0 0 20 0 4 0 518867035 289107968 1439 33554432000 4194304 4627427 140736831681616 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=282332 CPUtime=0.02 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 333 0 0 0 2 0 0 0 21 0 4 0 518867035 289107968 1439 33554432000 4194304 4627427 140736831681616 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=282332 CPUtime=0.02 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 190 0 0 0 2 0 0 0 21 0 4 0 518867035 289107968 1439 33554432000 4194304 4627427 140736831681616 18446744073709551615 4329385 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 282332

[startup+0.101048 s]
/proc/loadavg: 2.09 2.43 4.00 2/176 28264
/proc/meminfo: memFree=26234848/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=282480 CPUtime=0.38 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 1909 0 0 0 38 0 0 0 20 0 4 0 518867035 289259520 1786 33554432000 4194304 4627427 140736831681616 18446744073709551615 4350176 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 70620 1786 384 106 0 65591 0
[pid=28264/tid=28265] ppid=28260 vsize=282480 CPUtime=0.09 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 408 0 0 0 9 0 0 0 20 0 4 0 518867035 289259520 1786 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=282480 CPUtime=0.09 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 409 0 0 0 9 0 0 0 21 0 4 0 518867035 289259520 1786 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=282480 CPUtime=0.09 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 294 0 0 0 9 0 0 0 21 0 4 0 518867035 289259520 1787 33554432000 4194304 4627427 140736831681616 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282480

[startup+0.301013 s]
/proc/loadavg: 2.09 2.43 4.00 2/176 28264
/proc/meminfo: memFree=26234848/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=284212 CPUtime=1.18 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 3078 0 0 0 118 0 0 0 20 0 4 0 518867035 291033088 2258 33554432000 4194304 4627427 140736831681616 18446744073709551615 4329804 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 71053 2258 385 106 0 66024 0
[pid=28264/tid=28265] ppid=28260 vsize=284212 CPUtime=0.29 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 686 0 0 0 29 0 0 0 20 0 4 0 518867035 291033088 2258 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=284212 CPUtime=0.29 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 704 0 0 0 29 0 0 0 21 0 4 0 518867035 291033088 2258 33554432000 4194304 4627427 140736831681616 18446744073709551615 4332428 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=284212 CPUtime=0.29 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 602 0 0 0 29 0 0 0 21 0 4 0 518867035 291033088 2258 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284212

[startup+0.700944 s]
/proc/loadavg: 2.09 2.43 4.00 2/176 28264
/proc/meminfo: memFree=26234848/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=285132 CPUtime=2.78 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 4815 0 0 0 277 1 0 0 21 0 4 0 518867035 291975168 2931 33554432000 4194304 4627427 140736831681616 18446744073709551615 4348160 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 71283 2931 385 106 0 66254 0
[pid=28264/tid=28265] ppid=28260 vsize=285132 CPUtime=0.69 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 1104 0 0 0 69 0 0 0 20 0 4 0 518867035 291975168 2931 33554432000 4194304 4627427 140736831681616 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=285132 CPUtime=0.69 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 1149 0 0 0 69 0 0 0 22 0 4 0 518867035 291975168 2931 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=285132 CPUtime=0.68 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 1043 0 0 0 68 0 0 0 22 0 4 0 518867035 291975168 2931 33554432000 4194304 4627427 140736831681616 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285132

[startup+1.50081 s]
/proc/loadavg: 2.09 2.43 4.00 10/184 28272
/proc/meminfo: memFree=26208372/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=286664 CPUtime=5.97 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 8359 0 0 0 596 1 0 0 24 0 4 0 518867035 293543936 3517 33554432000 4194304 4627427 140736831681616 18446744073709551615 4332937 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 71666 3517 386 106 0 66637 0
[pid=28264/tid=28265] ppid=28260 vsize=286664 CPUtime=1.49 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 1985 0 0 0 149 0 0 0 23 0 4 0 518867035 293543936 3517 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=286664 CPUtime=1.48 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 2034 0 0 0 148 0 0 0 25 0 4 0 518867035 293543936 3517 33554432000 4194304 4627427 140736831681616 18446744073709551615 4333262 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=286664 CPUtime=1.48 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 1929 0 0 0 148 0 0 0 25 0 4 0 518867035 293543936 3517 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286664

[startup+3.10053 s]
/proc/loadavg: 2.57 2.53 4.02 10/184 28272
/proc/meminfo: memFree=26182372/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=291196 CPUtime=12.36 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 19179 0 0 0 1233 3 0 0 25 0 4 0 518867035 298184704 11116 33554432000 4194304 4627427 140736831681616 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 72799 11116 389 106 0 67770 0
[pid=28264/tid=28265] ppid=28260 vsize=291196 CPUtime=3.08 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 4143 0 0 0 308 0 0 0 25 0 4 0 518867035 298184704 11116 33554432000 4194304 4627427 140736831681616 18446744073709551615 4308223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=291196 CPUtime=3.07 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 5551 0 0 0 307 0 0 0 25 0 4 0 518867035 298184704 11116 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=291196 CPUtime=3.09 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 4275 0 0 0 308 1 0 0 25 0 4 0 518867035 298184704 11116 33554432000 4194304 4627427 140736831681616 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 291196

[startup+6.30097 s]
/proc/loadavg: 2.57 2.53 4.02 9/184 28272
/proc/meminfo: memFree=26126688/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=320168 CPUtime=25.15 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 28251 0 0 0 2509 6 0 0 25 0 4 0 518867035 327852032 14828 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 80042 14828 389 106 0 75013 0
[pid=28264/tid=28265] ppid=28260 vsize=320168 CPUtime=6.28 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 6872 0 0 0 627 1 0 0 25 0 4 0 518867035 327852032 14828 33554432000 4194304 4627427 140736831681616 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=320168 CPUtime=6.26 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 7715 0 0 0 625 1 0 0 25 0 4 0 518867035 327852032 14828 33554432000 4194304 4627427 140736831681616 18446744073709551615 4225940 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=320168 CPUtime=6.28 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 5934 0 0 0 627 1 0 0 25 0 4 0 518867035 327852032 14828 33554432000 4194304 4627427 140736831681616 18446744073709551615 4325108 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 320168

[startup+12.7008 s]
/proc/loadavg: 3.40 2.71 4.06 10/184 28272
/proc/meminfo: memFree=26070464/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=291668 CPUtime=50.71 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 45147 0 0 0 5061 10 0 0 25 0 4 0 518867035 298668032 23882 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 72917 23882 389 106 0 67888 0
[pid=28264/tid=28265] ppid=28260 vsize=291668 CPUtime=12.68 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 9950 0 0 0 1267 1 0 0 25 0 4 0 518867035 298668032 23882 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=291668 CPUtime=12.61 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 11832 0 0 0 1260 1 0 0 25 0 4 0 518867035 298668032 23882 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=291668 CPUtime=12.69 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 11431 0 0 0 1266 3 0 0 25 0 4 0 518867035 298668032 23882 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 291668

[startup+25.5006 s]
/proc/loadavg: 4.19 2.90 4.11 10/184 28273
/proc/meminfo: memFree=26017620/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=313996 CPUtime=101.83 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 67460 0 0 0 10168 15 0 0 25 0 4 0 518867035 321531904 31637 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 78499 31637 389 106 0 73470 0
[pid=28264/tid=28265] ppid=28260 vsize=313996 CPUtime=25.48 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 17890 0 0 0 2546 2 0 0 25 0 4 0 518867035 321531904 31637 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=313996 CPUtime=25.35 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 16093 0 0 0 2532 3 0 0 25 0 4 0 518867035 321531904 31637 33554432000 4194304 4627427 140736831681616 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=313996 CPUtime=25.48 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 17585 0 0 0 2543 5 0 0 25 0 4 0 518867035 321531904 31637 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 313996

[startup+51.1011 s]
/proc/loadavg: 5.49 3.31 4.21 10/184 28273
/proc/meminfo: memFree=25962916/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=324752 CPUtime=204.1 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 95511 0 0 0 20385 25 0 0 25 0 4 0 518867035 332546048 38629 33554432000 4194304 4627427 140736831681616 18446744073709551615 4330220 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 81188 38629 389 106 0 76159 0
[pid=28264/tid=28265] ppid=28260 vsize=324752 CPUtime=51.08 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 24869 0 0 0 5103 5 0 0 25 0 4 0 518867035 332546048 38629 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=324752 CPUtime=50.81 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 22467 0 0 0 5076 5 0 0 25 0 4 0 518867035 332546048 38629 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=324752 CPUtime=51.09 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 26746 0 0 0 5101 8 0 0 25 0 4 0 518867035 332546048 38629 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 324752

[startup+102.306 s]
/proc/loadavg: 7.08 4.12 4.44 9/184 28275
/proc/meminfo: memFree=25899156/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=457512 CPUtime=408.63 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 136790 0 0 0 40821 42 0 0 25 0 4 0 518867035 468492288 48746 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 114378 48746 389 106 0 109349 0
[pid=28264/tid=28265] ppid=28260 vsize=457512 CPUtime=102.29 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 30400 0 0 0 10222 7 0 0 25 0 4 0 518867035 468492288 48746 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=457512 CPUtime=101.73 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 31277 0 0 0 10165 8 0 0 25 0 4 0 518867035 468492288 48746 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=457512 CPUtime=102.3 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 44650 0 0 0 10214 16 0 0 25 0 4 0 518867035 468492288 48746 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 457512

[startup+162.301 s]

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

[pid=28264] ppid=28260 vsize=590408 CPUtime=2805.38 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 395611 0 0 0 280368 170 0 0 25 0 4 0 518867035 604577792 112845 33554432000 4194304 4627427 140736831681616 18446744073709551615 4329673 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 147602 112845 389 106 0 142573 0
[pid=28264/tid=28265] ppid=28260 vsize=590408 CPUtime=702.29 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 63034 0 0 0 70208 21 0 0 25 0 4 0 518867035 604577792 112845 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=590408 CPUtime=698.45 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 104352 0 0 0 69801 44 0 0 25 0 4 0 518867035 604577792 112845 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=590408 CPUtime=702.3 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 128239 0 0 0 70172 58 0 0 25 0 4 0 518867035 604577792 112845 33554432000 4194304 4627427 140736831681616 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 590408

[startup+762.307 s]
/proc/loadavg: 8.14 7.68 6.29 10/184 28292
/proc/meminfo: memFree=25479036/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=642160 CPUtime=3045.08 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 413878 0 0 0 304330 178 0 0 25 0 4 0 518867035 657571840 116209 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 160540 116210 389 106 0 155511 0
[pid=28264/tid=28265] ppid=28260 vsize=642160 CPUtime=762.3 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 63545 0 0 0 76209 21 0 0 25 0 4 0 518867035 657571840 116210 33554432000 4194304 4627427 140736831681616 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=642160 CPUtime=758.13 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 112300 0 0 0 75765 48 0 0 25 0 4 0 518867035 657571840 116210 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=642160 CPUtime=762.31 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 132660 0 0 0 76171 60 0 0 25 0 4 0 518867035 657571840 116210 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 642160

[startup+822.301 s]
/proc/loadavg: 8.05 7.74 6.39 9/184 28294
/proc/meminfo: memFree=25471584/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=656716 CPUtime=3284.73 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 435796 0 0 0 328284 189 0 0 25 0 4 0 518867035 672477184 121122 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309598 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 164179 121122 389 106 0 159150 0
[pid=28264/tid=28265] ppid=28260 vsize=656716 CPUtime=822.3 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 64230 0 0 0 82208 22 0 0 25 0 4 0 518867035 672477184 121122 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=656716 CPUtime=817.79 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 121974 0 0 0 81727 52 0 0 25 0 4 0 518867035 672477184 121122 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=656716 CPUtime=822.3 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 139904 0 0 0 82167 63 0 0 25 0 4 0 518867035 672477184 121122 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 656716

[startup+882.301 s]
/proc/loadavg: 8.02 7.78 6.49 10/184 28296
/proc/meminfo: memFree=25460648/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=591772 CPUtime=3524.41 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 453485 0 0 0 352242 199 0 0 25 0 4 0 518867035 605974528 115480 33554432000 4194304 4627427 140736831681616 18446744073709551615 4330056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 147943 115480 389 106 0 142914 0
[pid=28264/tid=28265] ppid=28260 vsize=591772 CPUtime=882.3 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 64902 0 0 0 88207 23 0 0 25 0 4 0 518867035 605974528 115480 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=591772 CPUtime=877.47 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 129766 0 0 0 87690 57 0 0 25 0 4 0 518867035 605974528 115480 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=591772 CPUtime=882.3 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 143893 0 0 0 88165 65 0 0 25 0 4 0 518867035 605974528 115480 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 591772

[startup+942.301 s]
/proc/loadavg: 8.00 7.82 6.58 10/184 28297
/proc/meminfo: memFree=25409536/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=604992 CPUtime=3764.09 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 473499 0 0 0 376200 209 0 0 25 0 4 0 518867035 619511808 124745 33554432000 4194304 4627427 140736831681616 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 151248 124745 389 106 0 146219 0
[pid=28264/tid=28265] ppid=28260 vsize=604992 CPUtime=942.3 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 68128 0 0 0 94206 24 0 0 25 0 4 0 518867035 619511808 124745 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=604992 CPUtime=937.14 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 136435 0 0 0 93652 62 0 0 25 0 4 0 518867035 619511808 124745 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=604992 CPUtime=942.31 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 146982 0 0 0 94164 67 0 0 25 0 4 0 518867035 619511808 124745 33554432000 4194304 4627427 140736831681616 18446744073709551615 4333258 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 604992

[startup+1002.3 s]
/proc/loadavg: 8.00 7.85 6.67 10/184 28299
/proc/meminfo: memFree=25333492/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=815736 CPUtime=4003.76 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 501126 0 0 0 400156 220 0 0 25 0 4 0 518867035 835313664 143829 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 203934 143829 389 106 0 198905 0
[pid=28264/tid=28265] ppid=28260 vsize=815736 CPUtime=1002.3 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 75146 0 0 0 100203 27 0 0 25 0 4 0 518867035 835313664 143829 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=815736 CPUtime=996.81 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 148458 0 0 0 99615 66 0 0 25 0 4 0 518867035 835313664 143829 33554432000 4194304 4627427 140736831681616 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=815736 CPUtime=1002.31 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 148173 0 0 0 100164 67 0 0 25 0 4 0 518867035 835313664 143829 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 815736

[startup+1062.3 s]
/proc/loadavg: 8.03 7.89 6.75 10/184 28300
/proc/meminfo: memFree=25353812/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=763916 CPUtime=4243.43 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 518472 0 0 0 424113 230 0 0 25 0 4 0 518867035 782249984 138706 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 190979 138706 389 106 0 185950 0
[pid=28264/tid=28265] ppid=28260 vsize=763916 CPUtime=1062.3 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 77333 0 0 0 106201 29 0 0 25 0 4 0 518867035 782249984 138706 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=763916 CPUtime=1056.49 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 154978 0 0 0 105580 69 0 0 25 0 4 0 518867035 782249984 138706 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=763916 CPUtime=1062.31 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 149106 0 0 0 106163 68 0 0 25 0 4 0 518867035 782249984 138706 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 763916

[startup+1122.3 s]
/proc/loadavg: 8.16 7.95 6.85 10/184 28302
/proc/meminfo: memFree=25314736/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=777868 CPUtime=4483.1 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 536583 0 0 0 448066 244 0 0 25 0 4 0 518867035 796536832 145553 33554432000 4194304 4627427 140736831681616 18446744073709551615 4330982 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 194467 145553 389 106 0 189438 0
[pid=28264/tid=28265] ppid=28260 vsize=777868 CPUtime=1122.3 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 81131 0 0 0 112199 31 0 0 25 0 4 0 518867035 796536832 145553 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=777868 CPUtime=1116.15 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 161887 0 0 0 111541 74 0 0 25 0 4 0 518867035 796536832 145553 33554432000 4194304 4627427 140736831681616 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=777868 CPUtime=1122.31 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 153612 0 0 0 112159 72 0 0 25 0 4 0 518867035 796536832 145553 33554432000 4194304 4627427 140736831681616 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.1
Current children cumulated vsize (KiB) 777868

[startup+1182.3 s]
/proc/loadavg: 8.18 7.99 6.92 10/184 28304
/proc/meminfo: memFree=25297200/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=831996 CPUtime=4722.78 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 548278 0 0 0 472027 251 0 0 25 0 4 0 518867035 851963904 146175 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 207999 146175 389 106 0 202970 0
[pid=28264/tid=28265] ppid=28260 vsize=831996 CPUtime=1182.3 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 82438 0 0 0 118198 32 0 0 25 0 4 0 518867035 851963904 146175 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=831996 CPUtime=1175.83 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 168178 0 0 0 117505 78 0 0 25 0 4 0 518867035 851963904 146175 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=831996 CPUtime=1182.31 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 154695 0 0 0 118158 73 0 0 25 0 4 0 518867035 851963904 146175 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.78
Current children cumulated vsize (KiB) 831996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.00 6.95 10/184 28304
/proc/meminfo: memFree=25298928/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=844132 CPUtime=4800.3 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 552885 0 0 0 479776 254 0 0 25 0 4 0 518867035 864391168 148946 33554432000 4194304 4627427 140736831681616 18446744073709551615 4310126 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 211033 148946 389 106 0 206004 0
[pid=28264/tid=28265] ppid=28260 vsize=844132 CPUtime=1201.7 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 82438 0 0 0 120138 32 0 0 25 0 4 0 518867035 864391168 148946 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=844132 CPUtime=1195.12 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 169761 0 0 0 119433 79 0 0 25 0 4 0 518867035 864391168 148946 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=844132 CPUtime=1201.71 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 155183 0 0 0 120098 73 0 0 25 0 4 0 518867035 864391168 148946 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 844132

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

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

[startup+1201.7 s]
/proc/loadavg: 8.19 8.00 6.95 10/184 28304
/proc/meminfo: memFree=25298928/32951124 swapFree=67111364/67111528
[pid=28264] ppid=28260 vsize=844132 CPUtime=4800.3 cores=1,3,5,7
/proc/28264/stat : 28264 (strangenight2-m) R 28260 28264 27945 0 -1 4202496 552885 0 0 0 479776 254 0 0 25 0 4 0 518867035 864391168 148946 33554432000 4194304 4627427 140736831681616 18446744073709551615 4310126 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28264/statm: 211033 148946 389 106 0 206004 0
[pid=28264/tid=28265] ppid=28260 vsize=844132 CPUtime=1201.7 cores=1,3,5,7
/proc/28264/task/28265/stat : 28265 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 82438 0 0 0 120138 32 0 0 25 0 4 0 518867035 864391168 148946 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28264/tid=28267] ppid=28260 vsize=844132 CPUtime=1195.12 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 169761 0 0 0 119433 79 0 0 25 0 4 0 518867035 864391168 148946 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28269] ppid=28260 vsize=844132 CPUtime=1201.71 cores=1,3,5,7
/proc/28264/task/28269/stat : 28269 (strangenight2-m) R 28260 28264 27945 0 -1 4202560 155183 0 0 0 120098 73 0 0 25 0 4 0 518867035 864391168 148946 33554432000 4194304 4627427 140736831681616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 844132

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.35
CPU user time (s): 4797.78
CPU system time (s): 2.57261
CPU usage (%): 399.45
Max. virtual memory (cumulated for all children) (KiB): 962920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.78
system time used= 2.57261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552886
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= 241
involuntary context switches= 38786

runsolver used 1.87271 second user time and 4.69829 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 12:24:51
IDJOB=3173899
IDBENCH=82717
IDSOLVER=1586
FILE ID=node136/3173899-1304072691
RUNJOBID= node136-1304072691-28246
PBS_JOBID= 13170482
Free space on /tmp= 72336 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173899-1304072691/watcher-3173899-1304072691 -o /tmp/evaluation-result-3173899-1304072691/solver-3173899-1304072691 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173899-1304072691.cnf

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

MD5SUM BENCH= dedbbce6fb26e857922f18b3ce672c14
RANDOM SEED=726759175

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.75
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.809
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:     32951124 kB
MemFree:      26235284 kB
Buffers:       1065992 kB
Cached:        5034428 kB
SwapCached:        100 kB
Active:         713888 kB
Inactive:      5450072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26235284 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           11464 kB
Writeback:           0 kB
AnonPages:       63380 kB
Mapped:          14484 kB
Slab:           487020 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185456 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= 72324 MiB
End job on node136 at 2011-04-29 12:44:54