Trace number 3366667

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.15 1203.34

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf
MD5SUMfe5ef992569d41f4964aa99001a148e1
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 variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366667-1305411367.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.82	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
3.17/0.82	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.82	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.82	c calculated reachability. Time: 0.00
3.17/0.82	c Calc default polars -  time:   0.00 s pos:     277 undec:      85 neg:     288
3.17/0.82	c =========================================================================================
3.17/0.82	c types(t): F = full restart, N = normal restart
3.17/0.82	c types(t): S = simplification begin/end, E = solution found
3.17/0.82	c restart types(rt): st = static, dy = dynamic
3.17/0.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.82	c  B st     0         0       636      2745         0         0      8320         0   no data   no data
3.17/0.82	c Decided on static restart strategy
3.17/0.82	c  N st     8      4918       636      2745         0      4880      8320    133859   no data   no data
3.17/0.82	c  N st    10     11303       636      2745         0      4494      8320     88800   no data   no data
3.17/0.82	c  N st    11     17048       636      2745         0     10155      8320    254045   no data   no data
4.81/1.22	c  F st    12     25000       636      2745         0     12404      8320    311732   no data   no data
4.81/1.22	c  N st    12     25000       636      2745         0     12404      8320    311732   no data   no data
5.56/1.48	c Decided on static restart strategy
5.56/1.48	c  N st    18     30001       636      2745         0     10712      8320    243001   no data   no data
5.56/1.48	c  S st    18     30001       636      2745         0     10712      8320    243001   no data   no data
5.96/1.51	c  S st    18     30505       636      2745         0     11216      8320    255385   no data   no data
5.96/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.52	c blocked clauses removed:        7 vars:      1 tried:         636 T: 0.00 s
5.96/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
5.96/1.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.58	c lits-rem:       113  cl-subs:      326  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.59	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.01
5.96/1.59	c calculated reachability. Time: 0.00
5.96/1.59	c  N st    18     30505       635      2738         0     10887      8299    244273   no data   no data
7.96/2.02	c  N st    20     37619       635      2738         0     10167      8299    207853   no data   no data
9.54/2.45	c  N st    21     44018       635      2738         0     16496      8299    395746   no data   no data
9.94/2.57	c  S st    22     45757       635      2738         0      9398      8299    157358   no data   no data
9.94/2.59	c  S st    22     46259       635      2738         0      9899      8299    170537   no data   no data
10.34/2.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.34/2.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.34/2.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.34/2.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.34/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
10.34/2.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.34/2.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.34/2.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.62	c lits-rem:        17  cl-subs:       22  v-elim:      0  v-fix:    0  time:  0.01 s
10.34/2.62	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
10.34/2.62	c vivif2 --  cl tried     9877 cl shrink        0 lits rem          0 time: 0.00
10.34/2.62	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.01
10.34/2.62	c calculated reachability. Time: 0.00
10.34/2.62	c  N st    22     46259       635      2738         0      9877      8299    169829   no data   no data
14.74/3.70	c  N st    23     60657       635      2738         0     14220      8299    288516   no data   no data
17.13/4.36	c  N st    24     69390       635      2738         0     12023      8299    210648   no data   no data
17.13/4.36	c  S st    24     69390       635      2738         0     12023      8299    210648   no data   no data
17.13/4.40	c  S st    24     69898       635      2738         0     12529      8299    224479   no data   no data
17.55/4.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.55/4.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.55/4.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.55/4.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.55/4.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.55/4.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
17.55/4.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.55/4.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.55/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.55/4.44	c lits-rem:        33  cl-subs:      117  v-elim:      0  v-fix:    0  time:  0.02 s
17.55/4.44	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
17.55/4.45	c vivif2 --  cl tried    12412 cl shrink        0 lits rem          0 time: 0.00
17.55/4.45	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.01
17.55/4.45	c calculated reachability. Time: 0.00
17.55/4.45	c  N st    24     69898       635      2738         0     12412      8299    220776   no data   no data
23.11/5.81	c  F st    25     87502       635      2738         0     17808      8299    354375   no data   no data
23.11/5.81	c  N st    25     87502       635      2738         0     17808      8299    354375   no data   no data
24.70/6.23	c  N dy    32     93179       635      2738         0     23429      8299    515969     21.39     22.58
26.33/6.70	c  N dy    50     99232       635      2738         0     16571      8299    262317     18.62     19.61
28.30/7.15	c  S st    71    104847       635      2738         0     22131      8299    411033     18.69     18.04
28.70/7.20	c  S st    71    105349       635      2738         0     22631      8299    424213     18.69   no data
28.70/7.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.70/7.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.70/7.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.70/7.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.70/7.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.70/7.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
28.70/7.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.70/7.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
28.70/7.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.70/7.29	c lits-rem:       107  cl-subs:      334  v-elim:      0  v-fix:    0  time:  0.07 s
28.70/7.29	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
29.09/7.30	c vivif2 --  cl tried    22297 cl shrink        0 lits rem          0 time: 0.00
29.09/7.31	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.01
29.09/7.31	c calculated reachability. Time: 0.00
29.09/7.31	c  N dy    71    105349       635      2738         0     22297      8299    413719     18.69   no data
31.49/7.94	c  N dy    94    112076       635      2738         0     15129      8299    190326     18.54     19.53
33.89/8.50	c  N dy   119    119273       635      2738         0     22245      8299    378652     18.31     19.48
37.07/9.30	c  N dy   145    126925       635      2738         0     14974      8299    157372     18.29     19.60
39.49/9.98	c  N dy   195    135436       635      2738         0     23426      8299    389214     18.44     19.63
43.06/10.88	c  N dy   215    144139       635      2738         0     16190      8299    167003     18.33     19.31
46.25/11.67	c  N dy   247    153423       635      2738         0     25405      8299    411869     18.29     21.58
48.26/12.16	c  S st   264    158025       635      2738         0     29959      8299    534660     18.27     16.29
48.69/12.24	c  S st   264    158533       635      2738         0     30467      8299    547915     18.27   no data
48.69/12.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.69/12.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.69/12.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.69/12.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.69/12.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.69/12.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
48.69/12.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.69/12.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.69/12.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.43/12.41	c lits-rem:       162  cl-subs:      458  v-elim:      0  v-fix:    0  time:  0.13 s
49.43/12.41	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
49.43/12.42	c vivif2 --  cl tried    30009 cl shrink        0 lits rem          0 time: 0.01
49.43/12.44	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.02
49.43/12.44	c calculated reachability. Time: 0.00
49.43/12.44	c  N dy   264    158533       635      2738         0     30009      8299    533771     18.27   no data
53.42/13.43	c  N dy   299    168650       635      2738         0     23193      8299    327861     18.24     19.41
57.81/14.58	c  N dy   315    179456       635      2738         0     33869      8299    609750     18.04     19.04
62.60/15.74	c  N dy   393    190941       635      2738         0     27430      8299    422079     18.17     20.75
70.21/17.65	c  N dy   429    208005       635      2738         0     25466      8299    342518     17.97     19.35
77.36/19.41	c  N dy   487    222115       635      2738         0     39436      8299    712848     17.97     19.04
84.15/21.10	c  N dy   562    236304       635      2738         0     33736      8299    547244     18.03     21.00
84.95/21.31	c  S st   570    237801       635      2738         0     35219      8299    587846     18.04   no data
84.95/21.39	c  S st   570    238303       635      2738         0     35721      8299    601162     18.04   no data
84.95/21.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.34/21.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.34/21.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.34/21.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.34/21.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.34/21.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
85.34/21.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.34/21.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.34/21.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.14/21.60	c lits-rem:       152  cl-subs:      440  v-elim:      0  v-fix:    0  time:  0.17 s
86.14/21.60	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
86.14/21.61	c vivif2 --  cl tried    35281 cl shrink        0 lits rem          0 time: 0.01
86.14/21.63	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.02
86.14/21.63	c calculated reachability. Time: 0.00
86.14/21.63	c  N dy   570    238303       635      2738         0     35281      8299    586835     18.04   no data
93.71/23.52	c  N dy   655    253982       635      2738         0     30025      8299    427426     18.10     19.11
105.31/26.44	c  N dy   710    277455       635      2738         0     31440      8299    442060     17.96     18.91
114.85/28.86	c  N dy   801    295258       635      2738         0     26320      8299    281696     18.00     19.03
120.04/30.18	c  F st   849    306251       635      2738         0     37203      8299    572802     18.01     15.99
123.28/30.92	c Decided on static restart strategy
124.83/31.34	c  N st   856    314293       635      2738         0     45162      8299    794360     18.01   no data
134.81/33.85	c  N st   859    334559       635      2738         0     41331      8299    871802     18.01   no data
147.17/36.96	c  N st   861    357454       635      2738         0     39144      8299    778242     18.01   no data
147.17/36.96	c  S st   861    357454       635      2738         0     39144      8299    778242     18.01   no data
147.57/37.06	c  S st   861    357961       635      2738         0     39651      8299    791807     18.01   no data
147.57/37.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.57/37.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
147.57/37.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.57/37.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.57/37.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.57/37.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
147.57/37.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
147.57/37.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.97/37.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.76/37.82	c lits-rem:       153  cl-subs:     1979  v-elim:      0  v-fix:    0  time:  0.69 s
150.76/37.82	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
150.76/37.83	c vivif2 --  cl tried    37672 cl shrink        0 lits rem          0 time: 0.01
150.76/37.86	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.03
150.76/37.86	c calculated reachability. Time: 0.00
150.76/37.86	c  N st   861    357961       635      2738         0     37672      8299    736627     18.01   no data
169.52/42.54	c  N st   862    390353       635      2738         0     43873      8299    938460     18.01   no data
200.23/50.29	c  N st   863    438941       635      2738         0     37721      8299    672079     18.01   no data
244.50/61.30	c  N st   864    511823       635      2738         0     51506      8299   1070046     18.01   no data
259.67/65.13	c  N st   865    536943       635      2738         0     45733      8299    855795     18.01   no data
259.67/65.13	c  S st   865    536943       635      2738         0     45733      8299    855795     18.01   no data
260.06/65.26	c  S st   865    537452       635      2738         0     46241      8299    869040     18.01   no data
260.06/65.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.06/65.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
260.06/65.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.06/65.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.06/65.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.06/65.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
260.06/65.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
260.06/65.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
260.47/65.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.86/65.94	c lits-rem:       199  cl-subs:      918  v-elim:      0  v-fix:    0  time:  0.63 s
262.86/65.94	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
262.86/65.95	c vivif2 --  cl tried    45323 cl shrink        0 lits rem          0 time: 0.01
262.86/65.99	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.04
262.86/65.99	c calculated reachability. Time: 0.00
262.86/65.99	c  N st   865    537452       635      2738         0     45323      8299    838058     18.01   no data
391.70/98.22	c  N st   866    701437       635      2738         0     39131      8299    526833     18.01   no data
473.90/118.83	c  N st   867    806179       635      2738         0     68094      8299   1291213     18.01   no data
473.90/118.83	c  S st   867    806179       635      2738         0     68094      8299   1291213     18.01   no data
474.68/119.03	c  S st   867    806682       635      2738         0     68597      8299   1304805     18.01   no data
474.68/119.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
474.68/119.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
474.68/119.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
474.68/119.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
474.68/119.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
474.68/119.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
474.68/119.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
474.68/119.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
475.08/119.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
493.43/123.77	c lits-rem:       826  cl-subs:     4820  v-elim:      0  v-fix:    0  time:  4.60 s
493.43/123.77	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
493.43/123.79	c vivif2 --  cl tried    63777 cl shrink        0 lits rem          0 time: 0.02
493.83/123.85	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.06
493.83/123.85	c calculated reachability. Time: 0.00
493.83/123.85	c  N st   867    806682       635      2738         0     63777      8299   1179189     18.01   no data
722.41/181.19	c  F st   868   1071876       635      2738         0     79540      8299   1459822     18.01   no data
722.41/181.19	c  N st   868   1071876       635      2738         0     79540      8299   1459822     18.01   no data
728.42/182.70	c Decided on static restart strategy
747.54/187.46	c  N st   878   1100181       635      2738         0     63460      8299   1026263     18.01   no data
783.45/196.42	c  N st   880   1136173       635      2738         0     53743      8299    724764     18.01   no data
816.95/204.82	c  N st   881   1168565       635      2738         0     85515      8299   1627034     18.01   no data
863.23/216.49	c  N st   882   1210024       635      2738         0     80165      8299   1488739     18.01   no data
863.23/216.49	c  S st   882   1210024       635      2738         0     80165      8299   1488739     18.01   no data
864.45/216.73	c  S st   882   1210525       635      2738         0     80665      8299   1502521     18.01   no data
864.45/216.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
864.45/216.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
864.45/216.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
864.45/216.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
864.45/216.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
864.45/216.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
864.45/216.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
864.45/216.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
864.87/216.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
879.58/220.56	c lits-rem:       795  cl-subs:     2556  v-elim:      0  v-fix:    0  time:  3.69 s
879.58/220.56	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
879.58/220.58	c vivif2 --  cl tried    78109 cl shrink        0 lits rem          0 time: 0.02
879.98/220.66	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.07
879.98/220.66	c calculated reachability. Time: 0.00
879.98/220.66	c  N st   882   1210525       635      2738         0     78109      8299   1422706     18.01   no data
958.96/240.40	c  N st   883   1283407       635      2738         0     54507      8299    687918     18.01   no data
1067.46/267.63	c  N st   884   1392731       635      2738         0     62641      8299    899544     18.01   no data
1235.01/309.62	c  N st   885   1556717       635      2738         0     67474      8299    969139     18.01   no data
1394.58/349.60	c  N st   886   1710525       635      2738         0    109159      8299   2090082     18.01   no data
1394.58/349.60	c  S st   886   1710525       635      2738         0    109159      8299   2090082     18.01   no data
1395.82/349.95	c  S st   886   1711031       635      2738         0    109665      8299   2103687     18.01   no data
1395.82/349.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1396.17/350.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1396.17/350.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1396.17/350.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1396.17/350.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1396.17/350.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
1396.17/350.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1396.17/350.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1396.57/350.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1463.19/366.86	c lits-rem:      1204  cl-subs:     8866  v-elim:      0  v-fix:    0  time: 16.57 s
1463.19/366.86	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
1463.19/366.89	c vivif2 --  cl tried   100799 cl shrink        0 lits rem          0 time: 0.03
1463.59/366.99	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.10
1463.99/367.00	c calculated reachability. Time: 0.00
1463.99/367.00	c  N st   886   1711031       635      2738         0    100799      8299   1879090     18.01   no data
1901.60/476.71	c  N st   887   2079995       635      2738         0    113095      8299   2210249     18.01   no data
2068.34/518.54	c  N st   888   2211031       635      2738         0    117397      8299   2308507     18.01   no data
2068.34/518.54	c  S st   888   2211031       635      2738         0    117397      8299   2308507     18.01   no data
2069.94/518.93	c  S st   888   2211538       635      2738         0    117904      8299   2322746     18.01   no data
2069.94/518.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2070.34/519.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2070.34/519.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2070.34/519.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2070.34/519.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2070.34/519.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
2070.34/519.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2070.34/519.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2070.74/519.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2109.04/528.70	c lits-rem:      1024  cl-subs:     3709  v-elim:      0  v-fix:    0  time:  9.49 s
2109.04/528.70	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
2109.04/528.73	c vivif2 --  cl tried   114195 cl shrink        0 lits rem          0 time: 0.03
2109.44/528.86	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.12
2109.44/528.86	c calculated reachability. Time: 0.00
2109.44/528.86	c  N st   888   2211538       635      2738         0    114195      8299   2209448     18.01   no data
2741.71/687.30	c  N st   889   2711539       635      2738         0    137891      8299   2768778     18.01   no data
2741.71/687.30	c  S st   889   2711539       635      2738         0    137891      8299   2768778     18.01   no data
2743.70/687.81	c  S st   889   2712045       635      2738         0    138397      8299   2782493     18.01   no data
2743.70/687.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2744.10/687.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2744.10/687.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2744.10/687.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2744.10/687.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2744.10/687.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
2744.10/687.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2744.10/687.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2744.50/688.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2832.67/710.18	c lits-rem:       824  cl-subs:     7372  v-elim:      0  v-fix:    0  time: 21.92 s
2832.67/710.18	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
2833.07/710.22	c vivif2 --  cl tried   131025 cl shrink        0 lits rem          0 time: 0.04
2833.47/710.36	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.14
2833.47/710.37	c calculated reachability. Time: 0.00
2833.47/710.37	c  N st   889   2712045       635      2738         0    131025      8299   2566286     18.01   no data
3588.99/899.79	c  N st   890   3212045       635      2738         0    105614      8299   1595735     18.01   no data
3588.99/899.79	c  S st   890   3212045       635      2738         0    105614      8299   1595735     18.01   no data
3591.38/900.32	c  S st   890   3212551       635      2738         0    106119      8299   1609725     18.01   no data
3591.38/900.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3591.78/900.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.08
3591.78/900.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3591.78/900.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3591.78/900.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3591.78/900.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
3591.78/900.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3591.78/900.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3592.18/900.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3625.28/908.81	c lits-rem:       634  cl-subs:     4639  v-elim:      0  v-fix:    0  time:  8.20 s
3625.28/908.81	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
3625.28/908.84	c vivif2 --  cl tried   101480 cl shrink        0 lits rem          0 time: 0.02
3625.68/908.97	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.13
3625.68/908.97	c calculated reachability. Time: 0.00
3625.68/908.97	c  N st   890   3212551       635      2738         0    101480      8299   1491986     18.01   no data
4412.74/1106.21	c  N st   891   3712552       635      2738         0    112658      8299   1703949     18.01   no data
4412.74/1106.21	c  S st   891   3712552       635      2738         0    112658      8299   1703949     18.01   no data
4413.94/1106.54	c  S st   891   3713054       635      2738         0    113160      8299   1718616     18.01   no data
4413.94/1106.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4414.36/1106.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4414.36/1106.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4414.36/1106.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4414.36/1106.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4414.36/1106.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
4414.36/1106.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4414.36/1106.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4414.36/1106.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4453.02/1116.35	c lits-rem:       398  cl-subs:     3550  v-elim:      0  v-fix:    0  time:  9.55 s
4453.02/1116.35	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
4453.02/1116.39	c vivif2 --  cl tried   109610 cl shrink        0 lits rem          0 time: 0.03
4453.84/1116.59	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.19
4453.84/1116.60	c calculated reachability. Time: 0.00
4453.84/1116.60	c  N st   891   3713054       635      2738         0    109610      8299   1622071     18.01   no data
4537.62/1137.56	c  F st   892   3751563       635      2738         0    147210      8299   2669484     18.01   no data
4537.62/1137.56	c  N st   892   3751563       635      2738         0    147210      8299   2669484     18.01   no data
4547.94/1140.19	c Decided on static restart strategy
4590.28/1150.78	c  N st   902   3779864       635      2738         0     91820      8299   1045738     18.01   no data
4642.93/1163.99	c  N st   904   3815865       635      2738         0    127086      8299   2004492     18.01   no data
4699.98/1178.29	c  N st   905   3848257       635      2738         0    158920      8299   2943486     18.01   no data
4779.71/1198.28	c  N st   906   3896845       635      2738         0    122260      8299   1907677     18.01   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366667-1305411367/watcher-3366667-1305411367 -o /tmp/evaluation-result-3366667-1305411367/solver-3366667-1305411367 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366667-1305411367.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.52 7.95 7.93 5/352 3936
/proc/meminfo: memFree=26183032/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 652739283 52396032 347 33554432000 4194304 4580107 140737439860336 18446744073709551615 47688343709618 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3936/statm: 12792 347 299 95 0 7774 0
[pid=3936/tid=3937] ppid=3934 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652739283 52396032 347 33554432000 4194304 4580107 140737439860336 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652739283 52396032 347 33554432000 4194304 4580107 140737439860336 18446744073709551615 47688343709618 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652739283 52396032 347 33554432000 4194304 4580107 140737439860336 18446744073709551615 47688343709618 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.114645 s]
/proc/loadavg: 7.52 7.95 7.93 5/352 3936
/proc/meminfo: memFree=26183032/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=282484 CPUtime=0.43 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 1854 0 0 0 43 0 0 0 25 0 4 0 652739283 289263616 1746 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 70621 1746 377 95 0 65603 0
[pid=3936/tid=3937] ppid=3934 vsize=282484 CPUtime=0.09 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 363 0 0 0 9 0 0 0 18 0 4 0 652739283 289263616 1746 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=282484 CPUtime=0.1 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 406 0 0 0 10 0 0 0 18 0 4 0 652739283 289263616 1746 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=282484 CPUtime=0.11 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 295 0 0 0 11 0 0 0 18 0 4 0 652739283 289263616 1746 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282484

[startup+0.200631 s]
/proc/loadavg: 7.52 7.95 7.93 5/352 3936
/proc/meminfo: memFree=26183032/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=283828 CPUtime=0.77 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 2526 0 0 0 77 0 0 0 25 0 4 0 652739283 290639872 1757 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 70957 1757 377 95 0 65939 0
[pid=3936/tid=3937] ppid=3934 vsize=283828 CPUtime=0.18 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 530 0 0 0 18 0 0 0 18 0 4 0 652739283 290639872 1757 33554432000 4194304 4580107 140737439860336 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=283828 CPUtime=0.19 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 575 0 0 0 19 0 0 0 18 0 4 0 652739283 290639872 1757 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=283828 CPUtime=0.19 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 463 0 0 0 19 0 0 0 18 0 4 0 652739283 290639872 1757 33554432000 4194304 4580107 140737439860336 18446744073709551615 4320085 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283828

[startup+0.300613 s]
/proc/loadavg: 7.52 7.95 7.93 5/352 3936
/proc/meminfo: memFree=26183032/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=284144 CPUtime=1.17 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 2989 0 0 0 117 0 0 0 25 0 4 0 652739283 290963456 2220 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 71036 2220 377 95 0 66018 0
[pid=3936/tid=3937] ppid=3934 vsize=284144 CPUtime=0.28 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 650 0 0 0 28 0 0 0 18 0 4 0 652739283 290963456 2220 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=284144 CPUtime=0.29 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 696 0 0 0 29 0 0 0 18 0 4 0 652739283 290963456 2220 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293032 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=284144 CPUtime=0.29 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 572 0 0 0 29 0 0 0 18 0 4 0 652739283 290963456 2220 33554432000 4194304 4580107 140737439860336 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284144

[startup+0.700544 s]
/proc/loadavg: 7.52 7.95 7.93 5/352 3936
/proc/meminfo: memFree=26183032/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=284988 CPUtime=2.77 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 4630 0 0 0 277 0 0 0 25 0 4 0 652739283 291827712 2851 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 71247 2851 377 95 0 66229 0
[pid=3936/tid=3937] ppid=3934 vsize=284988 CPUtime=0.68 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 1053 0 0 0 68 0 0 0 18 0 4 0 652739283 291827712 2851 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=284988 CPUtime=0.69 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 1119 0 0 0 69 0 0 0 18 0 4 0 652739283 291827712 2851 33554432000 4194304 4580107 140737439860336 18446744073709551615 4324385 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=284988 CPUtime=0.69 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 979 0 0 0 69 0 0 0 18 0 4 0 652739283 291827712 2851 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284988

[startup+1.5004 s]
/proc/loadavg: 7.52 7.95 7.93 9/356 3940
/proc/meminfo: memFree=26171840/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=286504 CPUtime=5.96 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 8044 0 0 0 595 1 0 0 25 0 4 0 652739283 293380096 3425 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293192 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 71626 3425 378 95 0 66608 0
[pid=3936/tid=3937] ppid=3934 vsize=286504 CPUtime=1.48 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 1925 0 0 0 148 0 0 0 20 0 4 0 652739283 293380096 3426 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=286504 CPUtime=1.48 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 1959 0 0 0 148 0 0 0 20 0 4 0 652739283 293380096 3426 33554432000 4194304 4580107 140737439860336 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=286504 CPUtime=1.49 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 1839 0 0 0 149 0 0 0 20 0 4 0 652739283 293380096 3426 33554432000 4194304 4580107 140737439860336 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286504

[startup+3.10112 s]
/proc/loadavg: 7.52 7.95 7.93 9/356 3940
/proc/meminfo: memFree=26149168/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=287792 CPUtime=12.34 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 18961 0 0 0 1232 2 0 0 25 0 4 0 652739283 294699008 10864 33554432000 4194304 4580107 140737439860336 18446744073709551615 4317131 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 71948 10864 379 95 0 66930 0
[pid=3936/tid=3937] ppid=3934 vsize=287792 CPUtime=3.08 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 4243 0 0 0 308 0 0 0 25 0 4 0 652739283 294699008 10864 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=287792 CPUtime=3.09 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 5386 0 0 0 308 1 0 0 25 0 4 0 652739283 294699008 10865 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=287792 CPUtime=3.09 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 4082 0 0 0 309 0 0 0 20 0 4 0 652739283 294699008 10865 33554432000 4194304 4580107 140737439860336 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 287792

[startup+6.30056 s]
/proc/loadavg: 7.56 7.96 7.93 9/356 3940
/proc/meminfo: memFree=26123008/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=288680 CPUtime=25.1 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 28414 0 0 0 2506 4 0 0 25 0 4 0 652739283 295608320 13939 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 72170 13939 379 95 0 67152 0
[pid=3936/tid=3937] ppid=3934 vsize=288680 CPUtime=6.27 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 8028 0 0 0 627 0 0 0 25 0 4 0 652739283 295608320 13939 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=288680 CPUtime=6.28 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 7239 0 0 0 627 1 0 0 25 0 4 0 652739283 295608320 13939 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=288680 CPUtime=6.28 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 5485 0 0 0 628 0 0 0 25 0 4 0 652739283 295608320 13939 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 288680

[startup+12.7004 s]
/proc/loadavg: 7.59 7.96 7.93 9/356 3940
/proc/meminfo: memFree=26073248/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=286012 CPUtime=50.64 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 45650 0 0 0 5056 8 0 0 25 0 4 0 652739283 292876288 22749 33554432000 4194304 4580107 140737439860336 18446744073709551615 4321874 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 71503 22749 379 95 0 66485 0
[pid=3936/tid=3937] ppid=3934 vsize=286012 CPUtime=12.68 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 12716 0 0 0 1267 1 0 0 25 0 4 0 652739283 292876288 22749 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=286012 CPUtime=12.68 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 11792 0 0 0 1266 2 0 0 25 0 4 0 652739283 292876288 22749 33554432000 4194304 4580107 140737439860336 18446744073709551615 4316511 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=286012 CPUtime=12.69 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 9136 0 0 0 1268 1 0 0 25 0 4 0 652739283 292876288 22749 33554432000 4194304 4580107 140737439860336 18446744073709551615 4320796 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 286012

[startup+25.5012 s]
/proc/loadavg: 7.68 7.96 7.93 9/356 3941
/proc/meminfo: memFree=26029340/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=295604 CPUtime=101.7 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 67458 0 0 0 10156 14 0 0 25 0 4 0 652739283 302698496 28530 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 73901 28530 379 95 0 68883 0
[pid=3936/tid=3937] ppid=3934 vsize=295604 CPUtime=25.48 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 20616 0 0 0 2545 3 0 0 25 0 4 0 652739283 302698496 28530 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=295604 CPUtime=25.48 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 18663 0 0 0 2544 4 0 0 25 0 4 0 652739283 302698496 28530 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=295604 CPUtime=25.49 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 12091 0 0 0 2547 2 0 0 25 0 4 0 652739283 302698496 28530 33554432000 4194304 4580107 140737439860336 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 295604

[startup+51.1007 s]
/proc/loadavg: 7.79 7.96 7.93 9/356 3941
/proc/meminfo: memFree=25976456/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=371456 CPUtime=203.81 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 101296 0 0 0 20357 24 0 0 25 0 4 0 652739283 380370944 39331 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 92864 39331 379 95 0 87846 0
[pid=3936/tid=3937] ppid=3934 vsize=371456 CPUtime=51.08 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 29133 0 0 0 5103 5 0 0 25 0 4 0 652739283 380370944 39331 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=371456 CPUtime=51.08 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 27184 0 0 0 5102 6 0 0 25 0 4 0 652739283 380370944 39331 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=371456 CPUtime=51.08 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 20337 0 0 0 5103 5 0 0 25 0 4 0 652739283 380370944 39331 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 371456

[startup+102.301 s]
/proc/loadavg: 7.91 7.96 7.93 9/356 3943
/proc/meminfo: memFree=25871636/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=382520 CPUtime=408.09 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 141909 0 0 0 40771 38 0 0 25 0 4 0 652739283 391700480 52858 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 95630 52858 379 95 0 90612 0
[pid=3936/tid=3937] ppid=3934 vsize=382520 CPUtime=102.29 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 39345 0 0 0 10220 9 0 0 25 0 4 0 652739283 391700480 52860 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=382520 CPUtime=102.29 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 29770 0 0 0 10222 7 0 0 25 0 4 0 652739283 391700480 52860 33554432000 4194304 4580107 140737439860336 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=382520 CPUtime=102.3 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 35891 0 0 0 10219 11 0 0 25 0 4 0 652739283 391700480 52860 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 382520

[startup+162.301 s]

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

[pid=3936] ppid=3934 vsize=615104 CPUtime=2562.21 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 411196 0 0 0 256057 164 0 0 25 0 4 0 652739283 629866496 103248 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 153776 103248 379 95 0 148758 0
[pid=3936/tid=3937] ppid=3934 vsize=615104 CPUtime=642.29 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 106092 0 0 0 64187 42 0 0 25 0 4 0 652739283 629866496 103248 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=615104 CPUtime=642.29 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 63904 0 0 0 64205 24 0 0 25 0 4 0 652739283 629866496 103248 33554432000 4194304 4580107 140737439860336 18446744073709551615 4295863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=615104 CPUtime=642.3 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 128396 0 0 0 64174 56 0 0 25 0 4 0 652739283 629866496 103248 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.21
Current children cumulated vsize (KiB) 615104

[startup+702.301 s]
/proc/loadavg: 8.19 8.12 8.01 9/356 3959
/proc/meminfo: memFree=25425124/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=731320 CPUtime=2801.55 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 445402 0 0 0 279975 180 0 0 25 0 4 0 652739283 748871680 110771 33554432000 4194304 4580107 140737439860336 18446744073709551615 4406483 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 182830 110771 379 95 0 177812 0
[pid=3936/tid=3937] ppid=3934 vsize=731320 CPUtime=702.29 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 114605 0 0 0 70184 45 0 0 25 0 4 0 652739283 748871680 110771 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=731320 CPUtime=702.3 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 70693 0 0 0 70202 28 0 0 25 0 4 0 652739283 748871680 110771 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=731320 CPUtime=702.3 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 137064 0 0 0 70170 60 0 0 25 0 4 0 652739283 748871680 110771 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.55
Current children cumulated vsize (KiB) 731320

[startup+762.301 s]
/proc/loadavg: 8.18 8.13 8.02 9/356 3960
/proc/meminfo: memFree=25432368/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=668856 CPUtime=3040.92 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 471647 0 0 0 303899 193 0 0 25 0 4 0 652739283 684908544 109636 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 167214 109636 379 95 0 162196 0
[pid=3936/tid=3937] ppid=3934 vsize=668856 CPUtime=762.31 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 121829 0 0 0 76182 49 0 0 25 0 4 0 652739283 684908544 109638 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=668856 CPUtime=762.31 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 76975 0 0 0 76200 31 0 0 25 0 4 0 652739283 684908544 109638 33554432000 4194304 4580107 140737439860336 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=668856 CPUtime=762.31 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 143871 0 0 0 76167 64 0 0 25 0 4 0 652739283 684908544 109638 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.92
Current children cumulated vsize (KiB) 668856

[startup+822.301 s]
/proc/loadavg: 8.24 8.15 8.03 9/356 3962
/proc/meminfo: memFree=25374300/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=669228 CPUtime=3280.25 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 500565 0 0 0 327817 208 0 0 25 0 4 0 652739283 685289472 114954 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 167307 114954 379 95 0 162289 0
[pid=3936/tid=3937] ppid=3934 vsize=669228 CPUtime=822.3 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 130112 0 0 0 82177 53 0 0 25 0 4 0 652739283 685289472 114954 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=669228 CPUtime=822.29 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 83912 0 0 0 82194 35 0 0 25 0 4 0 652739283 685289472 114954 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=669228 CPUtime=822.3 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 150896 0 0 0 82163 67 0 0 25 0 4 0 652739283 685289472 114954 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.25
Current children cumulated vsize (KiB) 669228

[startup+882.314 s]
/proc/loadavg: 8.23 8.15 8.03 10/356 3964
/proc/meminfo: memFree=25345996/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=682388 CPUtime=3519.64 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 536417 0 0 0 351743 221 0 0 25 0 4 0 652739283 698765312 124220 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 170597 124220 379 95 0 165579 0
[pid=3936/tid=3937] ppid=3934 vsize=682388 CPUtime=882.31 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 142190 0 0 0 88174 57 0 0 25 0 4 0 652739283 698765312 124220 33554432000 4194304 4580107 140737439860336 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=682388 CPUtime=882.31 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 90624 0 0 0 88192 39 0 0 25 0 4 0 652739283 698765312 124220 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=682388 CPUtime=882.32 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 164616 0 0 0 88161 71 0 0 25 0 4 0 652739283 698765312 124220 33554432000 4194304 4580107 140737439860336 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.64
Current children cumulated vsize (KiB) 682388

[startup+942.301 s]
/proc/loadavg: 8.21 8.15 8.04 9/356 3965
/proc/meminfo: memFree=25341108/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=734504 CPUtime=3758.92 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 556325 0 0 0 375660 232 0 0 25 0 4 0 652739283 752132096 123491 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 183626 123491 379 95 0 178608 0
[pid=3936/tid=3937] ppid=3934 vsize=734504 CPUtime=942.3 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 145947 0 0 0 94169 61 0 0 25 0 4 0 652739283 752132096 123491 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=734504 CPUtime=942.29 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 95366 0 0 0 94187 42 0 0 25 0 4 0 652739283 752132096 123491 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=734504 CPUtime=942.3 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 168573 0 0 0 94158 72 0 0 25 0 4 0 652739283 752132096 123491 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.92
Current children cumulated vsize (KiB) 734504

[startup+1002.3 s]
/proc/loadavg: 8.08 8.12 8.03 9/356 3967
/proc/meminfo: memFree=25319984/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=681296 CPUtime=3998.25 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 582954 0 0 0 399579 246 0 0 25 0 4 0 652739283 697647104 124375 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 170324 124375 379 95 0 165306 0
[pid=3936/tid=3937] ppid=3934 vsize=681296 CPUtime=1002.3 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 152029 0 0 0 100166 64 0 0 25 0 4 0 652739283 697647104 124375 33554432000 4194304 4580107 140737439860336 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=681296 CPUtime=1002.3 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 101816 0 0 0 100184 46 0 0 25 0 4 0 652739283 697647104 124375 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=681296 CPUtime=1002.31 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 175547 0 0 0 100154 77 0 0 25 0 4 0 652739283 697647104 124375 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.25
Current children cumulated vsize (KiB) 681296

[startup+1062.3 s]
/proc/loadavg: 8.03 8.10 8.02 9/356 3968
/proc/meminfo: memFree=25307024/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=694692 CPUtime=4237.62 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 608944 0 0 0 423502 260 0 0 25 0 4 0 652739283 711364608 127718 33554432000 4194304 4580107 140737439860336 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 173673 127718 379 95 0 168655 0
[pid=3936/tid=3937] ppid=3934 vsize=694692 CPUtime=1062.3 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 158937 0 0 0 106163 67 0 0 25 0 4 0 652739283 711364608 127718 33554432000 4194304 4580107 140737439860336 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=694692 CPUtime=1062.3 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 106790 0 0 0 106181 49 0 0 25 0 4 0 652739283 711364608 127718 33554432000 4194304 4580107 140737439860336 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=694692 CPUtime=1062.31 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 182646 0 0 0 106151 80 0 0 25 0 4 0 652739283 711364608 127718 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.62
Current children cumulated vsize (KiB) 694692

[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 8.02 10/356 3970
/proc/meminfo: memFree=25244848/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=826416 CPUtime=4476.94 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 630987 0 0 0 447425 269 0 0 25 0 4 0 652739283 846249984 140559 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 206604 140559 379 95 0 201586 0
[pid=3936/tid=3937] ppid=3934 vsize=826416 CPUtime=1122.3 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 165689 0 0 0 112160 70 0 0 25 0 4 0 652739283 846249984 140559 33554432000 4194304 4580107 140737439860336 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=826416 CPUtime=1122.3 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 107151 0 0 0 112181 49 0 0 25 0 4 0 652739283 846249984 140559 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=826416 CPUtime=1122.31 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 190701 0 0 0 112147 84 0 0 25 0 4 0 652739283 846249984 140559 33554432000 4194304 4580107 140737439860336 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.94
Current children cumulated vsize (KiB) 826416

[startup+1182.3 s]
/proc/loadavg: 8.02 8.07 8.02 9/356 3972
/proc/meminfo: memFree=25246276/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=776324 CPUtime=4716.29 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 648479 0 0 0 471351 278 0 0 25 0 4 0 652739283 794955776 133899 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 194081 133899 379 95 0 189063 0
[pid=3936/tid=3937] ppid=3934 vsize=776324 CPUtime=1182.3 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 166689 0 0 0 118160 70 0 0 25 0 4 0 652739283 794955776 133899 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=776324 CPUtime=1182.3 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 113514 0 0 0 118178 52 0 0 25 0 4 0 652739283 794955776 133899 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=776324 CPUtime=1182.31 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 195728 0 0 0 118145 86 0 0 25 0 4 0 652739283 794955776 133899 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.29
Current children cumulated vsize (KiB) 776324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 7.40 7.94 7.97 5/347 3990
/proc/meminfo: memFree=25693464/32951124 swapFree=53501236/67111528
[pid=3936] ppid=3934 vsize=690132 CPUtime=4800.08 cores=1,3,5,7
/proc/3936/stat : 3936 (strangenight2-m) R 3934 3936 3413 0 -1 4202496 659089 0 0 0 479725 283 0 0 25 0 4 0 652739283 706695168 139950 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3936/statm: 172533 139950 379 95 0 167515 0
[pid=3936/tid=3937] ppid=3934 vsize=690132 CPUtime=1203.32 cores=1,3,5,7
/proc/3936/task/3937/stat : 3937 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 168489 0 0 0 120260 72 0 0 25 0 4 0 652739283 706695168 139951 33554432000 4194304 4580107 140737439860336 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3936/tid=3938] ppid=3934 vsize=690132 CPUtime=1203.32 cores=1,3,5,7
/proc/3936/task/3938/stat : 3938 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 116922 0 0 0 120279 53 0 0 25 0 4 0 652739283 706695168 139951 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3936/tid=3939] ppid=3934 vsize=690132 CPUtime=1203.33 cores=1,3,5,7
/proc/3936/task/3939/stat : 3939 (strangenight2-m) R 3934 3936 3413 0 -1 4202560 198472 0 0 0 120245 88 0 0 25 0 4 0 652739283 706695168 139951 33554432000 4194304 4580107 140737439860336 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 690132

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.34
CPU time (s): 4800.15
CPU user time (s): 4797.29
CPU system time (s): 2.85956
CPU usage (%): 398.902
Max. virtual memory (cumulated for all children) (KiB): 880164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.29
system time used= 2.85956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 659092
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= 206
involuntary context switches= 36984

runsolver used 3.61245 second user time and 9.63753 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 00:16:07
IDJOB=3366667
IDBENCH=83076
IDSOLVER=1844
FILE ID=node103/3366667-1305411367
RUNJOBID= node103-1305410151-3778
PBS_JOBID= 13324513
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366667-1305411367/watcher-3366667-1305411367 -o /tmp/evaluation-result-3366667-1305411367/solver-3366667-1305411367 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366667-1305411367.cnf

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

MD5SUM BENCH= fe5ef992569d41f4964aa99001a148e1
RANDOM SEED=2035291149

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26183312 kB
Buffers:        300872 kB
Cached:        3865804 kB
SwapCached:     340192 kB
Active:        1389316 kB
Inactive:      5109728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26183312 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           11296 kB
Writeback:           0 kB
AnonPages:     2002896 kB
Mapped:          11112 kB
Slab:           151640 kB
PageTables:      53132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78441572 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= 72984 MiB
End job on node103 at 2011-05-15 00:36:12