Trace number 3366308

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.34 1203.25

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-3366308-1305401410.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	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.00/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.56/0.47	c  N st    10     11302       685      2965         0      4520      8995     95134   no data   no data
2.76/0.78	c  N st    11     17045       685      2965         0     10152      8995    262925   no data   no data
4.80/1.22	c  F st    12     25002       685      2965         0     12454      8995    325608   no data   no data
4.80/1.22	c  N st    12     25002       685      2965         0     12454      8995    325608   no data   no data
5.55/1.49	c Decided on static restart strategy
5.55/1.49	c  N st    18     30001       685      2965         0     10692      8995    254016   no data   no data
5.55/1.49	c  S st    18     30001       685      2965         0     10692      8995    254016   no data   no data
5.95/1.52	c  S st    18     30503       685      2965         0     11191      8995    267903   no data   no data
5.95/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.95/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.95/1.53	c blocked clauses removed:       15 vars:      2 tried:         685 T: 0.00 s
5.95/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.95/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
5.95/1.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.95/1.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.95/1.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.59	c lits-rem:        59  cl-subs:      363  v-elim:      0  v-fix:    0  time:  0.05 s
6.35/1.60	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.01
6.35/1.60	c calculated reachability. Time: 0.00
6.35/1.60	c  N st    18     30503       683      2950         0     10828      8950    255278   no data   no data
7.95/2.05	c  N st    20     37613       683      2950         0     10082      8950    204448   no data   no data
9.54/2.49	c  N st    21     44015       683      2950         0     16364      8950    391499   no data   no data
10.34/2.62	c  S st    22     45754       683      2950         0      9290      8950    161427   no data   no data
10.34/2.65	c  S st    22     46256       683      2950         0      9792      8950    174678   no data   no data
10.34/2.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.34/2.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.34/2.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.34/2.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.34/2.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
10.34/2.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.34/2.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.34/2.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.67	c lits-rem:        12  cl-subs:       24  v-elim:      0  v-fix:    0  time:  0.01 s
10.34/2.67	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
10.34/2.67	c vivif2 --  cl tried     9768 cl shrink        0 lits rem          0 time: 0.00
10.34/2.67	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.01
10.34/2.67	c calculated reachability. Time: 0.00
10.34/2.67	c  N st    22     46256       683      2950         0      9768      8950    173906   no data   no data
14.73/3.72	c  N st    23     60653       683      2950         0     14178      8950    294923   no data   no data
17.54/4.42	c  N st    24     69386       683      2950         0     11969      8950    217244   no data   no data
17.54/4.42	c  S st    24     69386       683      2950         0     11969      8950    217244   no data   no data
17.54/4.46	c  S st    24     69891       683      2950         0     12474      8950    230871   no data   no data
17.54/4.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.54/4.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.54/4.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.54/4.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.54/4.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.54/4.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
17.54/4.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.54/4.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.54/4.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.54/4.49	c lits-rem:        19  cl-subs:       62  v-elim:      0  v-fix:    0  time:  0.02 s
17.54/4.49	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
17.54/4.49	c vivif2 --  cl tried    12412 cl shrink        0 lits rem          0 time: 0.00
17.54/4.50	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.01
17.54/4.50	c calculated reachability. Time: 0.00
17.54/4.50	c  N st    24     69891       683      2950         0     12412      8950    228662   no data   no data
23.51/5.97	c  F st    25     87500       683      2950         0     17933      8950    396510   no data   no data
23.51/5.97	c  N st    25     87500       683      2950         0     17933      8950    396510   no data   no data
25.51/6.44	c  N dy    34     93124       683      2950         0     23471      8950    553234     19.84     21.01
27.49/6.98	c  N dy    43     99717       683      2950         0     17101      8950    284727     18.16     19.40
29.50/7.41	c  S st    86    104836       683      2950         0     22192      8950    429111     19.12     19.39
29.50/7.47	c  S st    86    105345       683      2950         0     22701      8950    443899     19.12   no data
29.50/7.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.50/7.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.50/7.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.50/7.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.50/7.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.50/7.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
29.50/7.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.50/7.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.50/7.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.90/7.58	c lits-rem:       100  cl-subs:      342  v-elim:      0  v-fix:    0  time:  0.08 s
29.90/7.58	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
29.90/7.58	c vivif2 --  cl tried    22359 cl shrink        0 lits rem          0 time: 0.00
30.30/7.60	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.01
30.30/7.60	c calculated reachability. Time: 0.00
30.30/7.60	c  N dy    86    105345       683      2950         0     22359      8950    433712     19.12   no data
32.68/8.27	c  N dy   111    112631       683      2950         0     15709      8950    211067     19.02     20.21
35.52/8.96	c  N dy   129    120965       683      2950         0     23970      8950    450526     18.71     19.71
38.67/9.79	c  N dy   176    128934       683      2950         0     17011      8950    219328     18.94     20.15
41.87/10.53	c  N dy   222    137420       683      2950         0     25430      8950    459270     19.09     20.50
45.45/11.43	c  N dy   282    146230       683      2950         0     18316      8950    229342     19.32     20.76
49.04/12.30	c  N dy   320    155919       683      2950         0     27920      8950    500677     19.32     20.54
49.84/12.53	c  S st   329    158019       683      2950         0     30007      8950    559646     19.32   no data
50.24/12.60	c  S st   329    158521       683      2950         0     30507      8950    573627     19.32   no data
50.24/12.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.24/12.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.24/12.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.24/12.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.24/12.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.24/12.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
50.24/12.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.24/12.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.24/12.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.64/12.78	c lits-rem:       159  cl-subs:      361  v-elim:      0  v-fix:    0  time:  0.14 s
50.64/12.78	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
50.64/12.79	c vivif2 --  cl tried    30146 cl shrink        0 lits rem          0 time: 0.01
51.04/12.81	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.02
51.04/12.81	c calculated reachability. Time: 0.00
51.04/12.81	c  N dy   329    158521       683      2950         0     30146      8950    561559     19.32   no data
55.03/13.88	c  N dy   333    169680       683      2950         0     24322      8950    377052     18.98     20.14
60.22/15.10	c  N dy   376    180556       683      2950         0     35118      8950    683106     18.97     22.56
64.60/16.21	c  N dy   430    192101       683      2950         0     28719      8950    470091     18.97     23.11
70.22/17.64	c  N dy   484    204434       683      2950         0     22103      8950    268925     19.03     20.25
76.57/19.23	c  N dy   525    219034       683      2950         0     36541      8950    672377     18.98     20.01
82.57/20.78	c  N dy   608    233020       683      2950         0     30640      8950    488893     19.07     20.10
85.75/21.53	c  S st   632    237781       683      2950         0     35376      8950    622337     19.09     17.57
86.15/21.63	c  S st   632    238283       683      2950         0     35878      8950    636503     19.09   no data
86.15/21.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.15/21.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
86.15/21.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.15/21.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.15/21.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.15/21.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
86.15/21.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.15/21.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.15/21.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.95/21.86	c lits-rem:       131  cl-subs:      474  v-elim:      0  v-fix:    0  time:  0.19 s
86.95/21.86	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
86.95/21.87	c vivif2 --  cl tried    35404 cl shrink        0 lits rem          0 time: 0.01
87.35/21.90	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.03
87.35/21.90	c calculated reachability. Time: 0.00
87.35/21.90	c  N dy   632    238283       683      2950         0     35404      8950    620468     19.09   no data
94.53/23.74	c  N dy   706    253664       683      2950         0     29810      8950    433364     19.12     20.41
102.91/25.85	c  N dy   806    269874       683      2950         0     24076      8950    251165     19.21     21.55
111.68/28.02	c  N dy   911    287150       683      2950         0     41209      8950    741694     19.29     22.59
120.87/30.32	c  N dy  1007    305587       683      2950         0     36672      8950    590246     19.33     20.41
121.27/30.42	c  F st  1011    306251       683      2950         0     37335      8950    609644     19.33     20.02
131.24/32.93	c  N dy  1093    325329       683      2950         0     32454      8950    448068     19.37     20.48
143.60/36.00	c  N dy  1217    345362       683      2950         0     27540      8950    280710     19.45     23.34
149.22/37.47	c  S st  1248    357424       683      2950         0     39471      8950    625564     19.41     17.89
149.63/37.57	c  S st  1248    357925       683      2950         0     39972      8950    639290     19.41   no data
149.63/37.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.63/37.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.63/37.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.63/37.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.63/37.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.63/37.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
149.63/37.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.63/37.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.98/37.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.78/37.84	c lits-rem:       146  cl-subs:      557  v-elim:      0  v-fix:    0  time:  0.23 s
150.78/37.84	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
150.78/37.85	c vivif2 --  cl tried    39415 cl shrink        0 lits rem          0 time: 0.01
150.78/37.88	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.03
150.78/37.88	c calculated reachability. Time: 0.00
150.78/37.88	c  N dy  1248    357925       683      2950         0     39415      8950    622997     19.41   no data
162.79/40.85	c  N dy  1333    377992       683      2950         0     33542      8950    426964     19.42     20.88
175.96/44.15	c  N dy  1430    398423       683      2950         0     27024      8950    217899     19.43     20.53
187.49/47.02	c  N dy  1500    419326       683      2950         0     47743      8950    812505     19.43     20.48
199.46/50.03	c  N dy  1547    439484       683      2950         0     39915      8950    573387     19.39     20.44
213.42/53.56	c  N dy  1655    459542       683      2950         0     31090      8950    290102     19.42     20.45
225.80/56.65	c  N dy  1768    479565       683      2950         0     50941      8950    874924     19.46     20.62
238.96/59.94	c  N dy  1874    499575       683      2950         0     41047      8950    561492     19.49     20.73
254.55/63.84	c  N dy  1982    519599       683      2950         0     60936      8950   1143577     19.52     23.18
264.89/66.41	c  S st  2039    536887       683      2950         0     47308      8950    706191     19.51     16.01
265.29/66.53	c  S st  2039    537393       683      2950         0     47814      8950    719711     19.51   no data
265.29/66.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
265.29/66.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
265.29/66.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
265.29/66.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
265.29/66.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
265.29/66.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
265.29/66.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
265.29/66.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
265.29/66.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.49/66.84	c lits-rem:       115  cl-subs:      627  v-elim:      0  v-fix:    0  time:  0.26 s
266.49/66.84	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
266.49/66.85	c vivif2 --  cl tried    47187 cl shrink        0 lits rem          0 time: 0.01
266.49/66.89	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.04
266.49/66.89	c calculated reachability. Time: 0.00
266.49/66.89	c  N dy  2039    537393       683      2950         0     47187      8950    700632     19.51   no data
282.05/70.79	c  N dy  2135    557400       683      2950         0     35298      8950    349289     19.53     20.63
295.61/74.12	c  N dy  2194    577427       683      2950         0     55121      8950    914072     19.51     20.84
310.78/77.91	c  N dy  2305    597428       683      2950         0     42265      8950    528348     19.54     21.72
325.54/81.66	c  N dy  2378    617453       683      2950         0     62133      8950   1105644     19.53     21.96
340.70/85.43	c  N dy  2515    637914       683      2950         0     48734      8950    698452     19.58     20.72
359.45/90.12	c  N dy  2601    658917       683      2950         0     34840      8950    263730     19.58     20.83
372.62/93.46	c  N dy  2724    678952       683      2950         0     54727      8950    844682     19.61     22.86
394.16/98.83	c  N dy  2832    702754       683      2950         0     42610      8950    460893     19.62     20.91
418.90/105.03	c  N dy  2908    733001       683      2950         0     72536      8950   1335366     19.55     20.67
435.25/109.13	c  N dy  3008    753109       683      2950         0     55801      8950    824497     19.57     20.75
455.60/114.20	c  N dy  3114    773188       683      2950         0     38047      8950    287624     19.58     20.70
470.01/117.85	c  N dy  3233    793251       683      2950         0     57966      8950    867084     19.60     21.02
483.17/121.12	c  S st  3299    806090       683      2950         0     70696      8950   1235948     19.62     18.73
483.93/121.30	c  S st  3299    806592       683      2950         0     71197      8950   1250529     19.62   no data
483.93/121.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
483.93/121.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
483.93/121.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
483.93/121.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
483.93/121.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
483.93/121.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
483.93/121.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
483.93/121.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
483.93/121.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
487.15/122.17	c lits-rem:       244  cl-subs:      972  v-elim:      0  v-fix:    0  time:  0.77 s
487.15/122.17	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
487.15/122.18	c vivif2 --  cl tried    70225 cl shrink        0 lits rem          0 time: 0.02
487.55/122.25	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.06
487.55/122.25	c calculated reachability. Time: 0.00
487.55/122.25	c  N dy  3299    806592       683      2950         0     70225      8950   1218515     19.62   no data
504.27/126.49	c  N dy  3396    826756       683      2950         0     51542      8950    656013     19.63     20.70
523.02/131.15	c  N dy  3484    846875       683      2950         0     71474      8950   1232776     19.63     20.98
540.22/135.47	c  N dy  3565    866926       683      2950         0     51692      8950    641214     19.63     24.85
559.73/140.37	c  N dy  3669    887386       683      2950         0     71991      8950   1230313     19.64     20.73
581.27/145.74	c  N dy  3774    911877       683      2950         0     55598      8950    725645     19.65     20.77
615.59/154.33	c  N dy  3803    948760       683      2950         0     50423      8950    566437     19.55     20.66
633.14/158.79	c  N dy  3888    969061       683      2950         0     70552      8950   1153861     19.55     20.83
655.08/164.26	c  N dy  3955    990486       683      2950         0     49197      8950    499881     19.54     20.66
673.43/168.88	c  N dy  4006   1011716       683      2950         0     70187      8950   1110289     19.53     20.73
696.18/174.56	c  N dy  4080   1031759       683      2950         0     46507      8950    399009     19.52     22.50
712.53/178.67	c  N dy  4148   1052048       683      2950         0     66562      8950    977873     19.52     20.57
736.47/184.68	c  F st  4277   1071875       683      2950         0     86251      8950   1558642     19.55   no data
736.87/184.76	c  N st  4278   1072127       683      2950         0     86501      8950   1566364     19.55   no data
742.10/186.06	c Decided on static restart strategy
760.01/190.56	c  N st  4287   1100181       683      2950         0     69619      8950   1143250     19.55   no data
796.72/199.73	c  N st  4289   1136174       683      2950         0     59581      8950   1378094     19.55   no data
834.62/209.22	c  N st  4290   1168569       683      2950         0     91507      8950   2395628     19.55   no data
885.28/221.97	c  N st  4291   1209889       683      2950         0     85830      8950   2043311     19.55   no data
885.28/221.97	c  S st  4291   1209889       683      2950         0     85830      8950   2043311     19.55   no data
886.50/222.25	c  S st  4291   1210389       683      2950         0     86330      8950   2056609     19.55   no data
886.50/222.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
886.50/222.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
886.50/222.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
886.50/222.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
886.50/222.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
886.50/222.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
886.50/222.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
886.92/222.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
886.92/222.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
927.16/232.44	c lits-rem:       738  cl-subs:     4820  v-elim:      0  v-fix:    0  time: 10.05 s
927.16/232.44	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
927.16/232.47	c vivif2 --  cl tried    81510 cl shrink        0 lits rem          0 time: 0.02
927.56/232.55	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.09
927.56/232.56	c calculated reachability. Time: 0.00
927.56/232.56	c  N st  4291   1210389       683      2950         0     81510      8950   1894116     19.55   no data
1008.57/252.82	c  N st  4292   1283272       683      2950         0     57736      8950   1053299     19.55   no data
1131.85/283.75	c  N st  4293   1392597       683      2950         0     65814      8950   1275919     19.55   no data
1328.14/332.99	c  N st  4294   1556581       683      2950         0     70594      8950   1253079     19.55   no data
1526.03/382.53	c  N st  4295   1710391       683      2950         0     56697      8950    734822     19.55   no data
1526.03/382.53	c  S st  4295   1710391       683      2950         0     56697      8950    734822     19.55   no data
1526.43/382.68	c  S st  4295   1710893       683      2950         0     57199      8950    749005     19.55   no data
1526.43/382.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1526.83/382.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1526.83/382.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1526.83/382.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1526.83/382.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1526.83/382.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
1526.83/382.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1526.83/382.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1526.83/382.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1528.02/383.09	c lits-rem:       140  cl-subs:      456  v-elim:      0  v-fix:    0  time:  0.34 s
1528.02/383.09	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
1528.42/383.10	c vivif2 --  cl tried    56743 cl shrink        0 lits rem          0 time: 0.01
1528.42/383.15	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.05
1528.42/383.15	c calculated reachability. Time: 0.00
1528.42/383.15	c  N st  4295   1710893       683      2950         0     56743      8950    737544     19.55   no data
2018.79/506.07	c  N st  4296   2079857       683      2950         0     62558      8950    777806     19.55   no data
2190.72/549.10	c  N st  4297   2210894       683      2950         0     64706      8950    769760     19.55   no data
2190.72/549.10	c  S st  4297   2210894       683      2950         0     64706      8950    769760     19.55   no data
2191.12/549.28	c  S st  4297   2211399       683      2950         0     65211      8950    784367     19.55   no data
2191.12/549.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2191.51/549.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2191.51/549.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2191.51/549.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2191.51/549.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2191.51/549.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
2191.51/549.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2191.51/549.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2191.51/549.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2192.32/549.55	c lits-rem:        53  cl-subs:      145  v-elim:      0  v-fix:    0  time:  0.19 s
2192.32/549.55	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
2192.32/549.56	c vivif2 --  cl tried    65066 cl shrink        0 lits rem          0 time: 0.01
2192.72/549.62	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.06
2192.72/549.62	c calculated reachability. Time: 0.00
2192.72/549.62	c  N st  4297   2211399       683      2950         0     65066      8950    780998     19.55   no data
2928.78/734.17	c  N st  4298   2711399       683      2950         0     81855      8950   1141060     19.55   no data
2928.78/734.17	c  S st  4298   2711399       683      2950         0     81855      8950   1141060     19.55   no data
2929.98/734.40	c  S st  4298   2711900       683      2950         0     82355      8950   1155878     19.55   no data
2929.98/734.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2929.98/734.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2929.98/734.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2929.98/734.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2929.98/734.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2929.98/734.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
2929.98/734.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2929.98/734.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2930.38/734.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2933.56/735.38	c lits-rem:       138  cl-subs:     1040  v-elim:      0  v-fix:    0  time:  0.87 s
2933.56/735.38	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
2933.56/735.40	c vivif2 --  cl tried    81315 cl shrink        0 lits rem          0 time: 0.02
2933.96/735.48	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.08
2933.96/735.48	c calculated reachability. Time: 0.00
2933.96/735.48	c  N st  4298   2711900       683      2950         0     81315      8950   1125552     19.55   no data
3732.28/935.60	c  N st  4299   3211900       683      2950         0    127287      8950   2550909     19.55   no data
3732.28/935.60	c  S st  4299   3211900       683      2950         0    127287      8950   2550909     19.55   no data
3734.28/936.03	c  S st  4299   3212407       683      2950         0    127793      8950   2566131     19.55   no data
3734.28/936.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3734.28/936.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3734.28/936.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3734.28/936.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3734.28/936.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3734.28/936.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
3734.28/936.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3734.70/936.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3735.11/936.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3802.89/953.25	c lits-rem:       832  cl-subs:     5700  v-elim:      0  v-fix:    0  time: 17.02 s
3802.89/953.25	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
3802.89/953.28	c vivif2 --  cl tried   122093 cl shrink        0 lits rem          0 time: 0.03
3803.69/953.42	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.14
3803.69/953.43	c calculated reachability. Time: 0.00
3803.69/953.43	c  N st  4299   3212407       683      2950         0    122093      8950   2379853     19.55   no data
4567.30/1144.82	c  N st  4300   3712407       683      2950         0    133002      8950   2578100     19.55   no data
4567.30/1144.82	c  S st  4300   3712407       683      2950         0    133002      8950   2578100     19.55   no data
4569.69/1145.48	c  S st  4300   3712907       683      2950         0    133501      8950   2592671     19.55   no data
4570.09/1145.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4570.49/1145.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.11
4570.49/1145.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4570.49/1145.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4570.49/1145.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4570.49/1145.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    683 time:  0.00 s
4570.49/1145.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4570.49/1145.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4570.89/1145.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4674.98/1171.86	c lits-rem:       343  cl-subs:     4933  v-elim:      0  v-fix:    0  time: 26.09 s
4674.98/1171.86	c vivif2 --  cl tried     2950 cl shrink        0 lits rem          0 time: 0.00
4675.38/1171.90	c vivif2 --  cl tried   128568 cl shrink        0 lits rem          0 time: 0.04
4676.18/1172.13	c asymm  cl-useful: 0/2950/2950 lits-rem:0 time: 0.23
4676.18/1172.14	c calculated reachability. Time: 0.00
4676.18/1172.14	c  N st  4300   3712907       683      2950         0    128568      8950   2437050     19.55   no data
4754.37/1191.79	c  F st  4301   3751563       683      2950         0    166700      8950   3722360     19.55   no data
4754.37/1191.79	c  N st  4301   3751563       683      2950         0    166700      8950   3722360     19.55   no data
4789.48/1200.50	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: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366308-1305401410/watcher-3366308-1305401410 -o /tmp/evaluation-result-3366308-1305401410/solver-3366308-1305401410 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366308-1305401410.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.41 7.99 8.04 3/325 20424
/proc/meminfo: memFree=23413788/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=191680 CPUtime=0 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) D 20422 20424 20095 0 -1 4202496 660 0 0 0 0 0 0 0 24 0 4 0 632556612 196280320 584 33554432000 4194304 4580107 140734975262320 18446744073709551615 270338427063 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 47920 584 336 95 0 42902 0
[pid=20424/tid=20425] ppid=20422 vsize=216692 CPUtime=0 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 83 0 0 0 0 0 0 0 25 0 4 0 632556613 221892608 866 33554432000 4194304 4580107 140734975262320 18446744073709551615 4511177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=216692 CPUtime=0 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 150 0 0 0 0 0 0 0 18 0 4 0 632556613 221892608 867 33554432000 4194304 4580107 140734975262320 18446744073709551615 270338044613 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=216692 CPUtime=0 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 4 0 632556613 221892608 870 33554432000 4194304 4580107 140734975262320 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.104113 s]
/proc/loadavg: 7.41 7.99 8.04 3/325 20424
/proc/meminfo: memFree=23413788/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=217524 CPUtime=0.38 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 1887 0 0 0 38 0 0 0 18 0 4 0 632556612 222744576 1755 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 54381 1755 377 95 0 49363 0
[pid=20424/tid=20425] ppid=20422 vsize=217524 CPUtime=0.09 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 407 0 0 0 9 0 0 0 25 0 4 0 632556613 222744576 1755 33554432000 4194304 4580107 140734975262320 18446744073709551615 4320667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=217524 CPUtime=0.09 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 436 0 0 0 9 0 0 0 18 0 4 0 632556613 222744576 1755 33554432000 4194304 4580107 140734975262320 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=217524 CPUtime=0.09 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 245 0 0 0 9 0 0 0 18 0 4 0 632556613 222744576 1755 33554432000 4194304 4580107 140734975262320 18446744073709551615 4293927 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 217524

[startup+0.201095 s]
/proc/loadavg: 7.41 7.99 8.04 3/325 20424
/proc/meminfo: memFree=23413788/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=219072 CPUtime=0.77 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 2613 0 0 0 77 0 0 0 18 0 4 0 632556612 224329728 1784 33554432000 4194304 4580107 140734975262320 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 54768 1784 377 95 0 49750 0
[pid=20424/tid=20425] ppid=20422 vsize=219072 CPUtime=0.19 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 601 0 0 0 19 0 0 0 25 0 4 0 632556613 224329728 1784 33554432000 4194304 4580107 140734975262320 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=219072 CPUtime=0.19 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 600 0 0 0 19 0 0 0 18 0 4 0 632556613 224329728 1784 33554432000 4194304 4580107 140734975262320 18446744073709551615 4321334 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=219072 CPUtime=0.19 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 427 0 0 0 19 0 0 0 18 0 4 0 632556613 224329728 1784 33554432000 4194304 4580107 140734975262320 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 219072

[startup+0.301074 s]
/proc/loadavg: 7.41 7.99 8.04 3/325 20424
/proc/meminfo: memFree=23413788/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=219220 CPUtime=1.16 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 3028 0 0 0 116 0 0 0 18 0 4 0 632556612 224481280 2199 33554432000 4194304 4580107 140734975262320 18446744073709551615 4306048 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 54805 2199 377 95 0 49787 0
[pid=20424/tid=20425] ppid=20422 vsize=219220 CPUtime=0.29 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 683 0 0 0 29 0 0 0 25 0 4 0 632556613 224481280 2199 33554432000 4194304 4580107 140734975262320 18446744073709551615 4293155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=219220 CPUtime=0.29 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 715 0 0 0 29 0 0 0 18 0 4 0 632556613 224481280 2199 33554432000 4194304 4580107 140734975262320 18446744073709551615 4293752 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=219220 CPUtime=0.29 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 540 0 0 0 29 0 0 0 18 0 4 0 632556613 224481280 2199 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 219220

[startup+0.700995 s]
/proc/loadavg: 7.41 7.99 8.04 3/325 20424
/proc/meminfo: memFree=23413788/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=220480 CPUtime=2.76 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 4779 0 0 0 276 0 0 0 18 0 4 0 632556612 225771520 2886 33554432000 4194304 4580107 140734975262320 18446744073709551615 4318719 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 55120 2886 377 95 0 50102 0
[pid=20424/tid=20425] ppid=20422 vsize=220480 CPUtime=0.68 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 1125 0 0 0 68 0 0 0 25 0 4 0 632556613 225771520 2886 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=220480 CPUtime=0.68 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 1116 0 0 0 68 0 0 0 18 0 4 0 632556613 225771520 2886 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=220480 CPUtime=0.69 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 1000 0 0 0 69 0 0 0 18 0 4 0 632556613 225771520 2886 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 220480

[startup+1.50084 s]
/proc/loadavg: 7.41 7.99 8.04 9/337 20436
/proc/meminfo: memFree=23388900/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=222120 CPUtime=5.95 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 8319 0 0 0 594 1 0 0 19 0 4 0 632556612 227450880 3467 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 55530 3467 378 95 0 50512 0
[pid=20424/tid=20425] ppid=20422 vsize=222120 CPUtime=1.47 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 1973 0 0 0 147 0 0 0 25 0 4 0 632556613 227450880 3467 33554432000 4194304 4580107 140734975262320 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=222120 CPUtime=1.48 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 1997 0 0 0 148 0 0 0 19 0 4 0 632556613 227450880 3467 33554432000 4194304 4580107 140734975262320 18446744073709551615 4322884 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=222120 CPUtime=1.49 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 1908 0 0 0 149 0 0 0 19 0 4 0 632556613 227450880 3467 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 222120

[startup+3.10052 s]
/proc/loadavg: 7.41 7.99 8.04 10/337 20436
/proc/meminfo: memFree=23363480/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=209888 CPUtime=12.34 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 19132 0 0 0 1231 3 0 0 25 0 4 0 632556612 214925312 10966 33554432000 4194304 4580107 140734975262320 18446744073709551615 4321270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 52472 10966 379 95 0 47454 0
[pid=20424/tid=20425] ppid=20422 vsize=209888 CPUtime=3.05 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 4170 0 0 0 305 0 0 0 25 0 4 0 632556613 214925312 10966 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=209888 CPUtime=3.08 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 5503 0 0 0 307 1 0 0 25 0 4 0 632556613 214925312 10966 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=209888 CPUtime=3.08 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 4637 0 0 0 308 0 0 0 25 0 4 0 632556613 214925312 10966 33554432000 4194304 4580107 140734975262320 18446744073709551615 4324402 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 209888

[startup+6.30089 s]
/proc/loadavg: 7.45 7.99 8.04 9/337 20436
/proc/meminfo: memFree=23296820/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=230700 CPUtime=25.11 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 27297 0 0 0 2505 6 0 0 25 0 4 0 632556612 236236800 13849 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 57675 13849 379 95 0 52657 0
[pid=20424/tid=20425] ppid=20422 vsize=230700 CPUtime=6.23 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 5899 0 0 0 622 1 0 0 25 0 4 0 632556613 236236800 13849 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=230700 CPUtime=6.28 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 7484 0 0 0 627 1 0 0 25 0 4 0 632556613 236236800 13849 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=230700 CPUtime=6.28 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 6789 0 0 0 627 1 0 0 25 0 4 0 632556613 236236800 13849 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 230700

[startup+12.7006 s]
/proc/loadavg: 7.58 8.01 8.05 10/337 20437
/proc/meminfo: memFree=23231024/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=240660 CPUtime=50.64 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 45725 0 0 0 5054 10 0 0 25 0 4 0 632556612 246435840 23124 33554432000 4194304 4580107 140734975262320 18446744073709551615 4406296 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 60165 23124 379 95 0 55147 0
[pid=20424/tid=20425] ppid=20422 vsize=240660 CPUtime=12.56 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 11380 0 0 0 1254 2 0 0 25 0 4 0 632556613 246435840 23124 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=240660 CPUtime=12.68 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 11122 0 0 0 1266 2 0 0 25 0 4 0 632556613 246435840 23124 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=240660 CPUtime=12.68 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 12436 0 0 0 1266 2 0 0 25 0 4 0 632556613 246435840 23124 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 240660

[startup+25.5011 s]
/proc/loadavg: 7.67 8.01 8.04 9/337 20437
/proc/meminfo: memFree=23168412/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=259892 CPUtime=101.71 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 65984 0 0 0 10157 14 0 0 25 0 4 0 632556612 266129408 32978 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 64973 32978 379 95 0 59955 0
[pid=20424/tid=20425] ppid=20422 vsize=259892 CPUtime=25.23 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 18282 0 0 0 2519 4 0 0 25 0 4 0 632556613 266129408 32978 33554432000 4194304 4580107 140734975262320 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=259892 CPUtime=25.49 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 15366 0 0 0 2546 3 0 0 25 0 4 0 632556613 266129408 32978 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=259892 CPUtime=25.49 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 17544 0 0 0 2546 3 0 0 25 0 4 0 632556613 266129408 32978 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 259892

[startup+51.101 s]
/proc/loadavg: 7.78 8.00 8.04 10/337 20438
/proc/meminfo: memFree=23096376/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=290420 CPUtime=203.85 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 91122 0 0 0 20363 22 0 0 25 0 4 0 632556612 297390080 39162 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 72605 39162 379 95 0 67587 0
[pid=20424/tid=20425] ppid=20422 vsize=290420 CPUtime=50.57 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 26127 0 0 0 5051 6 0 0 25 0 4 0 632556613 297390080 39162 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=290420 CPUtime=51.08 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 18407 0 0 0 5104 4 0 0 25 0 4 0 632556613 297390080 39162 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=290420 CPUtime=51.08 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 27300 0 0 0 5103 5 0 0 25 0 4 0 632556613 297390080 39162 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 290420

[startup+102.301 s]
/proc/loadavg: 7.99 8.03 8.05 9/337 20439
/proc/meminfo: memFree=23007804/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=338772 CPUtime=408.15 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 129335 0 0 0 40782 33 0 0 25 0 4 0 632556612 346902528 47116 33554432000 4194304 4580107 140734975262320 18446744073709551615 4318675 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 84693 47116 379 95 0 79675 0
[pid=20424/tid=20425] ppid=20422 vsize=338772 CPUtime=101.26 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 36760 0 0 0 10116 10 0 0 25 0 4 0 632556613 346902528 47118 33554432000 4194304 4580107 140734975262320 18446744073709551615 4316751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=338772 CPUtime=102.28 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 21147 0 0 0 10223 5 0 0 25 0 4 0 632556613 346902528 47118 33554432000 4194304 4580107 140734975262320 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=338772 CPUtime=102.3 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 42134 0 0 0 10221 9 0 0 25 0 4 0 632556613 346902528 47118 33554432000 4194304 4580107 140734975262320 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 338772

[startup+162.301 s]

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

[pid=20424] ppid=20422 vsize=657564 CPUtime=2801.92 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 377282 0 0 0 280069 123 0 0 25 0 4 0 632556612 673345536 115387 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 164391 115387 379 95 0 159373 0
[pid=20424/tid=20425] ppid=20422 vsize=657564 CPUtime=695.09 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 91833 0 0 0 69480 29 0 0 25 0 4 0 632556613 673345536 115387 33554432000 4194304 4580107 140734975262320 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=657564 CPUtime=702.19 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 68072 0 0 0 70197 22 0 0 25 0 4 0 632556613 673345536 115387 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=657564 CPUtime=702.29 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 122740 0 0 0 70193 36 0 0 25 0 4 0 632556613 673345536 115387 33554432000 4194304 4580107 140734975262320 18446744073709551615 4318721 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.92
Current children cumulated vsize (KiB) 657564

[startup+762.301 s]
/proc/loadavg: 8.14 8.09 8.06 10/337 20457
/proc/meminfo: memFree=22566180/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=579612 CPUtime=3041.33 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 397303 0 0 0 304001 132 0 0 25 0 4 0 632556612 593522688 106787 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 144903 106787 379 95 0 139885 0
[pid=20424/tid=20425] ppid=20422 vsize=579612 CPUtime=754.49 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 96808 0 0 0 75417 32 0 0 25 0 4 0 632556613 593522688 106788 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=579612 CPUtime=762.18 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 73674 0 0 0 76194 24 0 0 25 0 4 0 632556613 593522688 106788 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=579612 CPUtime=762.3 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 127274 0 0 0 76192 38 0 0 25 0 4 0 632556613 593522688 106788 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.33
Current children cumulated vsize (KiB) 579612

[startup+822.301 s]
/proc/loadavg: 8.16 8.10 8.06 9/337 20458
/proc/meminfo: memFree=22531176/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=612388 CPUtime=3280.68 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 417541 0 0 0 327925 143 0 0 25 0 4 0 632556612 627085312 112844 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 153097 112844 379 95 0 148079 0
[pid=20424/tid=20425] ppid=20422 vsize=612388 CPUtime=813.86 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 102640 0 0 0 81352 34 0 0 25 0 4 0 632556613 627085312 112844 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=612388 CPUtime=822.16 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 76678 0 0 0 82190 26 0 0 25 0 4 0 632556613 627085312 112844 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=612388 CPUtime=822.3 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 134304 0 0 0 82188 42 0 0 25 0 4 0 632556613 627085312 112844 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.68
Current children cumulated vsize (KiB) 612388

[startup+882.312 s]
/proc/loadavg: 8.10 8.09 8.06 10/337 20460
/proc/meminfo: memFree=22523324/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=691560 CPUtime=3520.09 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 438780 0 0 0 351858 151 0 0 25 0 4 0 632556612 708157440 117517 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 172890 117517 379 95 0 167872 0
[pid=20424/tid=20425] ppid=20422 vsize=691560 CPUtime=873.25 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 106234 0 0 0 87289 36 0 0 25 0 4 0 632556613 708157440 117517 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=691560 CPUtime=882.17 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 84544 0 0 0 88188 29 0 0 25 0 4 0 632556613 708157440 117517 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=691560 CPUtime=882.31 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 141545 0 0 0 88186 45 0 0 25 0 4 0 632556613 708157440 117517 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.09
Current children cumulated vsize (KiB) 691560

[startup+942.3 s]
/proc/loadavg: 8.12 8.10 8.07 9/337 20461
/proc/meminfo: memFree=22433268/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=663664 CPUtime=3759.4 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 464996 0 0 0 375777 163 0 0 25 0 4 0 632556612 679591936 133225 33554432000 4194304 4580107 140734975262320 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 165916 133225 379 95 0 160898 0
[pid=20424/tid=20425] ppid=20422 vsize=663664 CPUtime=932.6 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 113063 0 0 0 93222 38 0 0 25 0 4 0 632556613 679591936 133225 33554432000 4194304 4580107 140734975262320 18446744073709551615 4301441 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=663664 CPUtime=942.14 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 91404 0 0 0 94180 34 0 0 25 0 4 0 632556613 679591936 133225 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=663664 CPUtime=942.3 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 147766 0 0 0 94183 47 0 0 25 0 4 0 632556613 679591936 133225 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.4
Current children cumulated vsize (KiB) 663664

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 8.07 9/337 20463
/proc/meminfo: memFree=22369128/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=790048 CPUtime=3998.76 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 482146 0 0 0 399704 172 0 0 25 0 4 0 632556612 809009152 134034 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 197512 134034 379 95 0 192494 0
[pid=20424/tid=20425] ppid=20422 vsize=790048 CPUtime=991.96 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 113579 0 0 0 99157 39 0 0 25 0 4 0 632556613 809009152 134034 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=790048 CPUtime=1002.14 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 98525 0 0 0 100177 37 0 0 25 0 4 0 632556613 809009152 134034 33554432000 4194304 4580107 140734975262320 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=790048 CPUtime=1002.3 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 152187 0 0 0 100181 49 0 0 25 0 4 0 632556613 809009152 134034 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.76
Current children cumulated vsize (KiB) 790048

[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 8.08 9/337 20465
/proc/meminfo: memFree=22323592/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=761864 CPUtime=4238.15 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 505848 0 0 0 423633 182 0 0 25 0 4 0 632556612 780148736 146366 33554432000 4194304 4580107 140734975262320 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 190466 146366 379 95 0 185448 0
[pid=20424/tid=20425] ppid=20422 vsize=761864 CPUtime=1051.35 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 120597 0 0 0 105094 41 0 0 25 0 4 0 632556613 780148736 146366 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=761864 CPUtime=1062.13 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 103757 0 0 0 106174 39 0 0 25 0 4 0 632556613 780148736 146366 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=761864 CPUtime=1062.3 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 159050 0 0 0 106179 51 0 0 25 0 4 0 632556613 780148736 146366 33554432000 4194304 4580107 140734975262320 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.15
Current children cumulated vsize (KiB) 761864

[startup+1122.3 s]
/proc/loadavg: 8.12 8.12 8.08 9/337 20466
/proc/meminfo: memFree=22324300/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=748580 CPUtime=4477.52 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 529495 0 0 0 447559 193 0 0 25 0 4 0 632556612 766545920 144564 33554432000 4194304 4580107 140734975262320 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 187145 144564 379 95 0 182127 0
[pid=20424/tid=20425] ppid=20422 vsize=748580 CPUtime=1110.73 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 125519 0 0 0 111029 44 0 0 25 0 4 0 632556613 766545920 144564 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=748580 CPUtime=1122.12 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 110857 0 0 0 112170 42 0 0 25 0 4 0 632556613 766545920 144564 33554432000 4194304 4580107 140734975262320 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=748580 CPUtime=1122.31 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 166066 0 0 0 112177 54 0 0 25 0 4 0 632556613 766545920 144564 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.52
Current children cumulated vsize (KiB) 748580

[startup+1182.3 s]
/proc/loadavg: 8.04 8.10 8.08 9/337 20468
/proc/meminfo: memFree=22322392/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=819728 CPUtime=4716.88 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 540739 0 0 0 471490 198 0 0 25 0 4 0 632556612 839401472 144174 33554432000 4194304 4580107 140734975262320 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 204932 144174 379 95 0 199914 0
[pid=20424/tid=20425] ppid=20422 vsize=819728 CPUtime=1170.09 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 128236 0 0 0 116964 45 0 0 25 0 4 0 632556613 839401472 144174 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=819728 CPUtime=1182.11 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 115726 0 0 0 118166 45 0 0 25 0 4 0 632556613 839401472 144174 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=819728 CPUtime=1182.31 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 168401 0 0 0 118176 55 0 0 25 0 4 0 632556613 839401472 144174 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.88
Current children cumulated vsize (KiB) 819728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.03 8.09 8.07 9/337 20468
/proc/meminfo: memFree=22311100/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=751524 CPUtime=4800.26 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 548295 0 0 0 479826 200 0 0 25 0 4 0 632556612 769560576 144950 33554432000 4194304 4580107 140734975262320 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 187881 144950 379 95 0 182863 0
[pid=20424/tid=20425] ppid=20422 vsize=751524 CPUtime=1190.77 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 129109 0 0 0 119032 45 0 0 25 0 4 0 632556613 769560576 144950 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=751524 CPUtime=1203.02 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 117001 0 0 0 120255 47 0 0 25 0 4 0 632556613 769560576 144950 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=751524 CPUtime=1203.22 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 171078 0 0 0 120267 55 0 0 25 0 4 0 632556613 769560576 144950 33554432000 4194304 4580107 140734975262320 18446744073709551615 4317137 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 751524

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

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

[startup+1203.2 s]
/proc/loadavg: 8.03 8.09 8.07 9/337 20468
/proc/meminfo: memFree=22311100/32951124 swapFree=59367104/67111528
[pid=20424] ppid=20422 vsize=751524 CPUtime=4800.26 cores=0,2,4,6
/proc/20424/stat : 20424 (strangenight2-m) R 20422 20424 20095 0 -1 4202496 548295 0 0 0 479826 200 0 0 25 0 4 0 632556612 769560576 144950 33554432000 4194304 4580107 140734975262320 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20424/statm: 187881 144950 379 95 0 182863 0
[pid=20424/tid=20425] ppid=20422 vsize=751524 CPUtime=1190.77 cores=0,2,4,6
/proc/20424/task/20425/stat : 20425 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 129109 0 0 0 119032 45 0 0 25 0 4 0 632556613 769560576 144950 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20424/tid=20426] ppid=20422 vsize=751524 CPUtime=1203.02 cores=0,2,4,6
/proc/20424/task/20426/stat : 20426 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 117001 0 0 0 120255 47 0 0 25 0 4 0 632556613 769560576 144950 33554432000 4194304 4580107 140734975262320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20424/tid=20427] ppid=20422 vsize=751524 CPUtime=1203.22 cores=0,2,4,6
/proc/20424/task/20427/stat : 20427 (strangenight2-m) R 20422 20424 20095 0 -1 4202560 171078 0 0 0 120267 55 0 0 25 0 4 0 632556613 769560576 144950 33554432000 4194304 4580107 140734975262320 18446744073709551615 4317137 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 751524

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.25
CPU time (s): 4800.34
CPU user time (s): 4798.3
CPU system time (s): 2.03669
CPU usage (%): 398.949
Max. virtual memory (cumulated for all children) (KiB): 982652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.3
system time used= 2.03669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548295
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= 542
involuntary context switches= 22696

runsolver used 3.49147 second user time and 9.00463 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-14 21:30:10
IDJOB=3366308
IDBENCH=82717
IDSOLVER=1844
FILE ID=node143/3366308-1305401410
RUNJOBID= node143-1305401410-20409
PBS_JOBID= 13324468
Free space on /tmp= 73416 MiB

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

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

MD5SUM BENCH= dedbbce6fb26e857922f18b3ce672c14
RANDOM SEED=1645501878

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23414200 kB
Buffers:        142656 kB
Cached:         649868 kB
SwapCached:      67336 kB
Active:          81464 kB
Inactive:      9231412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23414200 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:           10984 kB
Writeback:           0 kB
AnonPages:     8453092 kB
Mapped:          21824 kB
Slab:           106008 kB
PageTables:      53192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69933100 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= 73404 MiB
End job on node143 at 2011-05-14 21:50:15