Trace number 3264707

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.41 1202.14

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
MD5SUM51d9aefd9da7f94abc32dd024090dc46
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables270
Number of clauses1080
Sum of the clauses size3240
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31080
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-3264707-1304128754.cnf'
0.00/0.00	c -- header says num vars:            270
0.00/0.00	c -- header says num clauses:        1080
0.00/0.00	c -- clauses added:            0 learnts,         1080 normals,            0 xors
0.00/0.00	c -- vars added        270
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       270      1080         0         0      3240         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1080/1080 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    270 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.19	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.19	c Finding non-binary XORs:     0.00 s (found:     270, avg size: 3.0)
0.00/0.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.00
0.00/0.19	c calculated reachability. Time: 0.00
0.00/0.19	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     270
0.00/0.19	c =========================================================================================
0.00/0.19	c types(t): F = full restart, N = normal restart
0.00/0.19	c types(t): S = simplification begin/end, E = solution found
0.00/0.19	c restart types(rt): st = static, dy = dynamic
0.00/0.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.19	c  B st     0         0       270         0         2         0       814         0   no data   no data
0.00/0.19	c Decided on static restart strategy
0.00/0.19	c  N st     8      4914       270         0         2      4603       814    124974   no data   no data
0.00/0.35	c  N st    10     11297       270         0         2      4216       814     77248   no data   no data
0.00/0.60	c  N st    11     17041       270         0         2      9507       814    224919   no data   no data
3.60/1.00	c  F st    12     25000       270         0         2     11782       814    260963   no data   no data
4.00/1.00	c Replacing        1 vars Replaced     2855 lits Time:     0.01 s 
4.00/1.00	c  N st    12     25000       269         0         0     11782       810    260963   no data   no data
4.77/1.25	c Decided on static restart strategy
4.77/1.25	c  N st    18     30001       269         0         0     10120       810    216363   no data   no data
4.77/1.25	c  S st    18     30001       269         0         0     10120       810    216363   no data   no data
4.77/1.28	c  S st    18     30503       269         0         0     10595       810    230199   no data   no data
4.77/1.29	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
4.77/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.77/1.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4.77/1.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    268 time:  0.00 s
4.77/1.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.41	c lits-rem:       658  cl-subs:     1072  v-elim:      0  v-fix:    0  time:  0.12 s
5.57/1.41	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
5.57/1.42	c calculated reachability. Time: 0.00
5.57/1.42	c  N st    18     30503       268         0         0      9366       805    200933   no data   no data
7.19/1.83	c  N st    20     37617       268         0         0      8804       805    164177   no data   no data
8.77/2.24	c  N st    21     44017       268         0         0     14768       805    315100   no data   no data
9.17/2.36	c  S st    22     45755       268         0         0     16394       805    356208   no data   no data
9.57/2.42	c  S st    22     46259       268         0         0      8534       805    144198   no data   no data
9.57/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
9.57/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.57/2.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
9.57/2.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.57/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.47	c lits-rem:       291  cl-subs:      533  v-elim:      0  v-fix:    0  time:  0.03 s
9.57/2.47	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
9.57/2.47	c vivif2 --  cl tried     7992 cl shrink        0 lits rem          0 time: 0.00
9.57/2.47	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
9.57/2.47	c calculated reachability. Time: 0.00
9.57/2.47	c  N st    22     46259       267         0         0      7992       803    132409   no data   no data
13.57/3.41	c  N st    23     60656       267         0         0     12185       803    220990   no data   no data
16.38/4.14	c  N st    24     69389       267         0         0     20413       803    435222   no data   no data
16.38/4.14	c  S st    24     69389       267         0         0     20413       803    435222   no data   no data
16.76/4.22	c  S st    24     69890       267         0         0     10598       803    170149   no data   no data
16.76/4.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.76/4.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
16.76/4.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.76/4.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.76/4.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
16.76/4.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.76/4.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.76/4.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.29	c lits-rem:       209  cl-subs:      817  v-elim:      0  v-fix:    0  time:  0.06 s
16.76/4.29	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
17.16/4.30	c vivif2 --  cl tried     9781 cl shrink        0 lits rem          0 time: 0.00
17.16/4.30	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
17.16/4.30	c calculated reachability. Time: 0.00
17.16/4.30	c  N st    24     69890       267         0         0      9781       803    154318   no data   no data
21.95/5.53	c  F st    25     87501       267         0         0     14935       803    270097   no data   no data
21.95/5.53	c  N st    25     87501       267         0         0     14935       803    270097   no data   no data
23.16/5.88	c Decided on static restart strategy
24.36/6.10	c  N st    32     95538       267         0         0     22427       803    469977   no data   no data
27.15/6.81	c  N st    34    104838       267         0         0     19061       803    362065   no data   no data
27.15/6.81	c  S st    34    104838       267         0         0     19061       803    362065   no data   no data
27.15/6.89	c  S st    34    105340       267         0         0     19542       803    375798   no data   no data
27.15/6.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.55/6.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
27.55/6.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.55/6.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.55/6.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.55/6.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
27.55/6.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.55/6.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.55/6.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.56/7.44	c lits-rem:       539  cl-subs:     2999  v-elim:      0  v-fix:    0  time:  0.53 s
29.56/7.44	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
29.56/7.45	c vivif2 --  cl tried    16543 cl shrink        0 lits rem          0 time: 0.00
29.56/7.45	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
29.56/7.45	c calculated reachability. Time: 0.00
29.56/7.45	c  N st    34    105340       267         0         0     16543       803    309230   no data   no data
33.14/8.30	c  N st    35    114940       267         0         0     25648       803    548846   no data   no data
37.95/9.59	c  N st    36    129338       267         0         0     26087       803    510444   no data   no data
46.33/11.65	c  N st    37    150934       267         0         0     17488       803    284956   no data   no data
48.72/12.23	c  S st    38    158011       267         0         0     24130       803    452551   no data   no data
49.12/12.33	c  S st    38    158511       267         0         0     24611       803    466419   no data   no data
49.12/12.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.12/12.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
49.12/12.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.12/12.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.12/12.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.12/12.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
49.12/12.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.12/12.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.12/12.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.72/13.75	c lits-rem:       793  cl-subs:     5632  v-elim:      0  v-fix:    0  time:  1.40 s
54.72/13.75	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
54.72/13.76	c vivif2 --  cl tried    18979 cl shrink        0 lits rem          0 time: 0.01
54.72/13.76	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
54.72/13.76	c calculated reachability. Time: 0.00
54.72/13.76	c  N st    38    158511       267         0         0     18979       803    345824   no data   no data
74.69/18.77	c  N st    39    207099       267         0         0     31669       803    586164   no data   no data
87.48/21.94	c  N st    40    237767       267         0         0     23772       803    390790   no data   no data
87.48/21.94	c  S st    40    237767       267         0         0     23772       803    390790   no data   no data
87.88/22.03	c  S st    40    238269       267         0         0     24260       803    405522   no data   no data
87.88/22.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.88/22.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
87.88/22.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
87.88/22.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.88/22.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.88/22.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
87.88/22.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.88/22.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
87.88/22.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.47/22.99	c lits-rem:       346  cl-subs:     5013  v-elim:      0  v-fix:    0  time:  0.94 s
91.47/22.99	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
91.87/23.00	c vivif2 --  cl tried    19247 cl shrink        0 lits rem          0 time: 0.00
91.87/23.00	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
91.87/23.00	c calculated reachability. Time: 0.00
91.87/23.00	c  N st    40    238269       267         0         0     19247       803    308869   no data   no data
123.03/30.84	c  F st    41    306250       267         0         0     21532       803    324887   no data   no data
123.03/30.84	c  N st    41    306250       267         0         0     21532       803    324887   no data   no data
125.03/31.34	c Decided on static restart strategy
135.42/33.95	c  N st    51    334556       267         0         0     25363       803    405617   no data   no data
147.82/37.09	c  N st    53    357405       267         0         0     23337       803    345571   no data   no data
147.82/37.09	c  S st    53    357405       267         0         0     23337       803    345571   no data   no data
148.22/37.19	c  S st    53    357908       267         0         0     23820       803    359177   no data   no data
148.22/37.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.22/37.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
148.22/37.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
148.22/37.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.22/37.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.22/37.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
148.22/37.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
148.60/37.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
148.60/37.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.41/37.47	c lits-rem:       390  cl-subs:     1065  v-elim:      0  v-fix:    0  time:  0.26 s
149.41/37.47	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
149.41/37.47	c vivif2 --  cl tried    22755 cl shrink        0 lits rem          0 time: 0.01
149.41/37.47	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
149.41/37.47	c calculated reachability. Time: 0.00
149.41/37.47	c  N st    53    357908       267         0         0     22755       803    340725   no data   no data
166.58/41.71	c  N st    54    390301       267         0         0     28718       803    456313   no data   no data
190.15/47.66	c  N st    55    438892       267         0         0     48598       803    940386   no data   no data
228.51/57.23	c  N st    56    511775       267         0         0     35497       803    573234   no data   no data
242.49/60.71	c  N st    57    536863       267         0         0     29976       803    453306   no data   no data
242.49/60.71	c  S st    57    536863       267         0         0     29976       803    453306   no data   no data
242.89/60.81	c  S st    57    537368       267         0         0     30455       803    467025   no data   no data
242.89/60.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
242.89/60.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
242.89/60.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.89/60.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.89/60.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.89/60.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
242.89/60.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
242.89/60.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
242.89/60.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.28/61.46	c lits-rem:       832  cl-subs:     2319  v-elim:      0  v-fix:    0  time:  0.61 s
245.28/61.46	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
245.28/61.46	c vivif2 --  cl tried    28136 cl shrink        0 lits rem          0 time: 0.00
245.28/61.46	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
245.28/61.46	c calculated reachability. Time: 0.00
245.28/61.46	c  N st    57    537368       267         0         0     28136       803    426254   no data   no data
325.99/81.64	c  N st    58    701353       267         0         0     54870       803    967519   no data   no data
380.75/95.37	c  N st    59    806052       267         0         0     49685       803    852510   no data   no data
380.75/95.37	c  S st    59    806052       267         0         0     49685       803    852510   no data   no data
381.92/95.65	c  S st    59    806555       267         0         0     50156       803    865955   no data   no data
381.92/95.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
381.92/95.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
381.92/95.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
381.92/95.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
381.92/95.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
381.92/95.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
381.92/95.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
381.92/95.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
382.32/95.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
407.89/102.11	c lits-rem:      1368  cl-subs:    11921  v-elim:      0  v-fix:    0  time:  6.40 s
407.89/102.11	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
407.89/102.12	c vivif2 --  cl tried    38235 cl shrink        0 lits rem          0 time: 0.01
407.89/102.12	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
407.89/102.12	c calculated reachability. Time: 0.00
407.89/102.12	c  N st    59    806555       267         0         0     38235       803    646556   no data   no data
574.88/143.95	c  F st    60   1071875       267         0         0     54105       803    910827   no data   no data
574.88/143.95	c  N st    60   1071875       267         0         0     54105       803    910827   no data   no data
577.68/144.62	c Decided on static restart strategy
592.08/148.23	c  N st    70   1100176       267         0         0     79820       803   1546755   no data   no data
613.66/153.68	c  N st    72   1136168       267         0         0     71302       803   1321485   no data   no data
633.22/158.53	c  N st    73   1168560       267         0         0     58985       803   1015387   no data   no data
664.78/166.46	c  N st    74   1209834       267         0         0     54036       803    880479   no data   no data
664.78/166.46	c  S st    74   1209834       267         0         0     54036       803    880479   no data   no data
665.98/166.76	c  S st    74   1210336       267         0         0     54521       803    894722   no data   no data
665.98/166.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
665.98/166.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.03
665.98/166.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
665.98/166.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
665.98/166.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
665.98/166.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
665.98/166.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
666.39/166.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
666.39/166.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
689.19/172.61	c lits-rem:      2254  cl-subs:     9396  v-elim:      0  v-fix:    0  time:  5.70 s
689.19/172.61	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
689.19/172.63	c vivif2 --  cl tried    45125 cl shrink        0 lits rem          0 time: 0.01
689.19/172.63	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
689.19/172.63	c calculated reachability. Time: 0.00
689.19/172.63	c  N st    74   1210336       267         0         0     45125       803    709558   no data   no data
740.14/185.48	c  N st    75   1283219       267         0         0     68508       803   1192080   no data   no data
836.00/209.42	c  N st    76   1392542       267         0         0     77923       803   1387925   no data   no data
967.02/242.23	c  N st    77   1556527       267         0         0     86025       803   1592009   no data   no data
1098.04/275.02	c  N st    78   1710338       267         0         0     76151       803   1329910   no data   no data
1098.04/275.02	c  S st    78   1710338       267         0         0     76151       803   1329910   no data   no data
1099.24/275.36	c  S st    78   1710840       267         0         0     76630       803   1343734   no data   no data
1099.24/275.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1099.64/275.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
1099.64/275.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1099.64/275.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1099.64/275.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1099.64/275.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
1099.64/275.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1099.64/275.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1099.64/275.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1153.99/289.08	c lits-rem:      2515  cl-subs:    14856  v-elim:      0  v-fix:    0  time: 13.62 s
1153.99/289.08	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
1154.36/289.10	c vivif2 --  cl tried    61774 cl shrink        0 lits rem          0 time: 0.02
1154.36/289.10	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1154.36/289.10	c calculated reachability. Time: 0.00
1154.36/289.10	c  N st    78   1710840       267         0         0     61774       803   1092629   no data   no data
1468.29/367.99	c  N st    79   2079804       267         0         0     74219       803   1202567   no data   no data
1585.33/397.27	c  N st    80   2210841       267         0         0     78760       803   1292872   no data   no data
1585.33/397.27	c  S st    80   2210841       267         0         0     78760       803   1292872   no data   no data
1586.93/397.60	c  S st    80   2211342       267         0         0     79237       803   1307224   no data   no data
1586.93/397.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1586.93/397.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
1586.93/397.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1586.93/397.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1586.93/397.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1586.93/397.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
1586.93/397.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1586.93/397.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1586.93/397.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1620.87/406.17	c lits-rem:      1884  cl-subs:    13418  v-elim:      0  v-fix:    0  time:  8.48 s
1620.87/406.17	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
1620.87/406.19	c vivif2 --  cl tried    65819 cl shrink        0 lits rem          0 time: 0.02
1620.87/406.19	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1620.87/406.19	c calculated reachability. Time: 0.00
1620.87/406.19	c  N st    80   2211342       267         0         0     65819       803   1058058   no data   no data
2114.21/529.65	c  N st    81   2711344       267         0         0     89346       803   1467570   no data   no data
2114.21/529.65	c  S st    81   2711344       267         0         0     89346       803   1467570   no data   no data
2115.80/530.03	c  S st    81   2711845       267         0         0     89830       803   1481274   no data   no data
2115.80/530.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2115.80/530.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
2115.80/530.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2115.80/530.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2115.80/530.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2115.80/530.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
2115.80/530.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2116.20/530.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2116.20/530.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2173.31/544.41	c lits-rem:       713  cl-subs:    17984  v-elim:      0  v-fix:    0  time: 14.26 s
2173.31/544.41	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
2173.31/544.43	c vivif2 --  cl tried    71846 cl shrink        0 lits rem          0 time: 0.02
2173.31/544.43	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2173.31/544.44	c calculated reachability. Time: 0.00
2173.31/544.44	c  N st    81   2711845       267         0         0     71846       803   1142691   no data   no data
2651.86/664.23	c  N st    82   3211846       267         0         0    119797       803   2129574   no data   no data
2651.86/664.23	c  S st    82   3211846       267         0         0    119797       803   2129574   no data   no data
2654.25/664.87	c  S st    82   3212352       267         0         0    120284       803   2143582   no data   no data
2654.25/664.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2654.65/664.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2654.65/664.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2654.65/664.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2654.65/664.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2654.65/664.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
2654.65/664.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2654.65/664.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2655.05/665.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2869.15/718.66	c lits-rem:      1405  cl-subs:    31125  v-elim:      0  v-fix:    0  time: 53.61 s
2869.15/718.66	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
2869.15/718.69	c vivif2 --  cl tried    89159 cl shrink        0 lits rem          0 time: 0.03
2869.15/718.69	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2869.15/718.69	c calculated reachability. Time: 0.00
2869.15/718.69	c  N st    82   3212352       267         0         0     89159       803   1594587   no data   no data
3411.75/854.55	c  N st    83   3712353       267         0         0    109582       803   1836086   no data   no data
3411.75/854.55	c  S st    83   3712353       267         0         0    109582       803   1836086   no data   no data
3414.55/855.23	c  S st    83   3712855       267         0         0    110065       803   1849952   no data   no data
3414.55/855.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3414.55/855.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
3414.95/855.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3414.95/855.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3414.95/855.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3414.95/855.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
3414.95/855.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3414.95/855.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3414.95/855.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3551.59/889.59	c lits-rem:      1497  cl-subs:    24131  v-elim:      0  v-fix:    0  time: 34.21 s
3551.59/889.59	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
3551.99/889.62	c vivif2 --  cl tried    85934 cl shrink        0 lits rem          0 time: 0.02
3551.99/889.62	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
3551.99/889.62	c calculated reachability. Time: 0.00
3551.99/889.62	c  N st    83   3712855       267         0         0     85934       803   1390136   no data   no data
3586.33/898.29	c  F st    84   3751563       267         0         0    121733       803   2244188   no data   no data
3586.33/898.29	c  N st    84   3751563       267         0         0    121733       803   2244188   no data   no data
3617.09/905.91	c  N dy   122   3772380       267         0         0    140944       803   2732480     18.48     19.54
3653.45/915.02	c  N dy   169   3796237       267         0         0     85759       803   1340233     17.97     18.96
3681.40/922.01	c  N dy   279   3816492       267         0         0    104828       803   1842406     18.30     19.36
3715.37/930.53	c  N dy   332   3838314       267         0         0    125207       803   2359655     18.22     19.30
3754.13/940.25	c  N dy   388   3858373       267         0         0    144106       803   2850738     18.15     19.31
3800.45/951.80	c  N dy   501   3878448       267         0         0     83831       803   1259044     18.28     20.07
3828.83/958.98	c  N dy   594   3898461       267         0         0    102570       803   1740083     18.35     19.77
3859.20/966.54	c  N dy   662   3918545       267         0         0    121232       803   2218144     18.34     20.90
3895.13/975.58	c  N dy   714   3941824       267         0         0    142981       803   2783232     18.25     19.23
3949.46/989.12	c  N dy   818   3969057       267         0         0     88221       803   1329562     18.27     19.30
3977.43/996.20	c  N dy   928   3989153       267         0         0    107049       803   1824000     18.34     20.26
4008.60/1003.93	c  N dy  1008   4009599       267         0         0    126066       803   2318323     18.35     19.41
4056.13/1015.86	c  N dy  1071   4030233       267         0         0    145242       803   2801252     18.32     19.32
4118.05/1031.40	c  N dy  1137   4052087       267         0         0     84788       803   1229954     18.29     19.31
4192.34/1049.91	c  N dy  1257   4085913       267         0         0    116191       803   2014066     18.28     19.26
4249.86/1064.37	c  N dy  1380   4105977       267         0         0    134999       803   2501296     18.33     21.31
4305.79/1078.32	c  N dy  1443   4126020       267         0         0    153717       803   2969054     18.31     19.98
4358.52/1091.56	c  N dy  1558   4146087       267         0         0     90407       803   1347695     18.35     21.20
4400.47/1102.01	c  N dy  1675   4166188       267         0         0    109225       803   1827560     18.39     20.88
4441.21/1112.20	c  N dy  1793   4186453       267         0         0    128192       803   2314980     18.43     19.41
4487.97/1123.96	c  N dy  1928   4206468       267         0         0    146872       803   2797524     18.48     19.63
4504.33/1128.02	c  S st  1972   4212855       267         0         0    152848       803   2951157     18.49   no data
4507.53/1128.83	c  S st  1972   4213358       267         0         0    153332       803   2965495     18.49   no data
4507.53/1128.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4507.93/1128.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4507.93/1128.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4507.93/1128.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4507.93/1128.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4507.93/1128.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
4507.93/1128.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4507.93/1128.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4508.33/1129.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4678.10/1171.55	c lits-rem:      4444  cl-subs:    20140  v-elim:      0  v-fix:    0  time: 42.50 s
4678.10/1171.55	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
4678.10/1171.59	c vivif2 --  cl tried   133192 cl shrink        0 lits rem          0 time: 0.03
4678.10/1171.59	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
4678.10/1171.59	c calculated reachability. Time: 0.00
4678.10/1171.59	c  N dy  1972   4213358       267         0         0    133192       803   2519732     18.49   no data
4747.23/1188.88	c  N dy  2013   4245673       267         0         0    163358       803   3244277     18.38     19.46
4786.78/1198.79	c  N dy  2108   4269854       267         0         0    103394       803   1653053     18.38     19.46

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3264707-1304128754/watcher-3264707-1304128754 -o /tmp/evaluation-result-3264707-1304128754/solver-3264707-1304128754 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3264707-1304128754.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: 6.25 7.66 7.88 2/172 20989
/proc/meminfo: memFree=27885720/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 412 0 0 0 0 0 0 0 24 0 4 0 524475063 52441088 352 33554432000 4194304 4627427 140736807513184 18446744073709551615 47247377548825 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 12803 352 303 106 0 7774 0
[pid=20989/tid=20991] ppid=20987 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 524475063 52441088 352 33554432000 4194304 4627427 140736807513184 18446744073709551615 47247377548825 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524475063 52441088 352 33554432000 4194304 4627427 140736807513184 18446744073709551615 47247377549228 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524475063 52441088 352 33554432000 4194304 4627427 140736807513184 18446744073709551615 47247377548816 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.412125 s]
/proc/loadavg: 6.25 7.66 7.88 2/172 20989
/proc/meminfo: memFree=27885720/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=284524 CPUtime=3.2 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 4704 0 0 0 320 0 0 0 25 0 4 0 524475063 291352576 2237 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 71131 2237 387 106 0 66102 0
[pid=20989/tid=20991] ppid=20987 vsize=284524 CPUtime=0.8 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1123 0 0 0 80 0 0 0 25 0 4 0 524475063 291352576 2237 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=284524 CPUtime=0.8 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1122 0 0 0 80 0 0 0 19 0 4 0 524475063 291352576 2237 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=284524 CPUtime=0.8 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 905 0 0 0 80 0 0 0 25 0 4 0 524475063 291352576 2237 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 284524

[startup+0.907069 s]
/proc/loadavg: 6.25 7.66 7.88 2/172 20989
/proc/meminfo: memFree=27885720/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=284524 CPUtime=3.6 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 4947 0 0 0 360 0 0 0 25 0 4 0 524475063 291352576 2480 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 71131 2480 387 106 0 66102 0
[pid=20989/tid=20991] ppid=20987 vsize=284524 CPUtime=0.9 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1192 0 0 0 90 0 0 0 25 0 4 0 524475063 291352576 2480 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=284524 CPUtime=0.9 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1183 0 0 0 90 0 0 0 19 0 4 0 524475063 291352576 2480 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=284524 CPUtime=0.9 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 961 0 0 0 90 0 0 0 25 0 4 0 524475063 291352576 2480 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 284524

[startup+1.00705 s]
/proc/loadavg: 6.25 7.66 7.88 2/172 20989
/proc/meminfo: memFree=27885720/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=284636 CPUtime=4 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 5322 0 0 0 400 0 0 0 25 0 4 0 524475063 291467264 2557 33554432000 4194304 4627427 140736807513184 18446744073709551615 4261805 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 71159 2558 389 106 0 66130 0
[pid=20989/tid=20991] ppid=20987 vsize=284636 CPUtime=1 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1258 0 0 0 100 0 0 0 25 0 4 0 524475063 291467264 2558 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=284636 CPUtime=1 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1246 0 0 0 100 0 0 0 19 0 4 0 524475063 291467264 2558 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=284636 CPUtime=1 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1140 0 0 0 100 0 0 0 25 0 4 0 524475063 291467264 2558 33554432000 4194304 4627427 140736807513184 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 284636

[startup+1.10703 s]
/proc/loadavg: 6.25 7.66 7.88 2/172 20989
/proc/meminfo: memFree=27885720/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=284732 CPUtime=4.4 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 5757 0 0 0 440 0 0 0 25 0 4 0 524475063 291565568 2675 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 71183 2675 389 106 0 66154 0
[pid=20989/tid=20991] ppid=20987 vsize=284732 CPUtime=1.1 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1354 0 0 0 110 0 0 0 25 0 4 0 524475063 291565568 2675 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=284732 CPUtime=1.1 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1305 0 0 0 110 0 0 0 19 0 4 0 524475063 291565568 2675 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=284732 CPUtime=1.1 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1189 0 0 0 110 0 0 0 25 0 4 0 524475063 291565568 2675 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 284732

[startup+1.50096 s]
/proc/loadavg: 6.25 7.66 7.88 2/172 20989
/proc/meminfo: memFree=27885720/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=285444 CPUtime=5.97 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 8441 0 0 0 597 0 0 0 25 0 4 0 524475063 292294656 4182 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 71361 4182 390 106 0 66332 0
[pid=20989/tid=20991] ppid=20987 vsize=285444 CPUtime=1.49 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1713 0 0 0 149 0 0 0 25 0 4 0 524475063 292294656 4182 33554432000 4194304 4627427 140736807513184 18446744073709551615 4330888 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=285444 CPUtime=1.49 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1688 0 0 0 149 0 0 0 20 0 4 0 524475063 292294656 4182 33554432000 4194304 4627427 140736807513184 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=285444 CPUtime=1.49 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 1588 0 0 0 149 0 0 0 25 0 4 0 524475063 292294656 4182 33554432000 4194304 4627427 140736807513184 18446744073709551615 4332195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285444

[startup+3.10065 s]
/proc/loadavg: 6.25 7.66 7.88 9/184 21001
/proc/meminfo: memFree=27825012/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=286372 CPUtime=12.36 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 15712 0 0 0 1234 2 0 0 25 0 4 0 524475063 293244928 7928 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 71593 7929 390 106 0 66564 0
[pid=20989/tid=20991] ppid=20987 vsize=286372 CPUtime=3.09 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 3794 0 0 0 309 0 0 0 25 0 4 0 524475063 293244928 7929 33554432000 4194304 4627427 140736807513184 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=286372 CPUtime=3.07 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 4671 0 0 0 307 0 0 0 25 0 4 0 524475063 293244928 7929 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309075 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=286372 CPUtime=3.08 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 2641 0 0 0 308 0 0 0 25 0 4 0 524475063 293244928 7929 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286372

[startup+6.30604 s]
/proc/loadavg: 6.55 7.70 7.89 9/184 21001
/proc/meminfo: memFree=27800344/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=294940 CPUtime=25.17 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 26185 0 0 0 2512 5 0 0 25 0 4 0 524475063 302018560 11462 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 73735 11463 390 106 0 68706 0
[pid=20989/tid=20991] ppid=20987 vsize=294940 CPUtime=6.29 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 6977 0 0 0 629 0 0 0 25 0 4 0 524475063 302018560 11463 33554432000 4194304 4627427 140736807513184 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=294940 CPUtime=6.26 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 6287 0 0 0 626 0 0 0 25 0 4 0 524475063 302018560 11463 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=294940 CPUtime=6.29 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 6042 0 0 0 628 1 0 0 25 0 4 0 524475063 302018560 11463 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 294940

[startup+12.7008 s]
/proc/loadavg: 6.66 7.71 7.89 9/184 21001
/proc/meminfo: memFree=27770748/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=301248 CPUtime=50.73 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 42434 0 0 0 5065 8 0 0 25 0 4 0 524475063 308477952 16944 33554432000 4194304 4627427 140736807513184 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 75312 16944 390 106 0 70283 0
[pid=20989/tid=20991] ppid=20987 vsize=301248 CPUtime=12.69 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 11255 0 0 0 1268 1 0 0 25 0 4 0 524475063 308477952 16944 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=301248 CPUtime=12.63 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 9833 0 0 0 1262 1 0 0 25 0 4 0 524475063 308477952 16944 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=301248 CPUtime=12.69 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 9814 0 0 0 1267 2 0 0 25 0 4 0 524475063 308477952 16944 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 301248

[startup+25.5004 s]
/proc/loadavg: 7.03 7.74 7.89 9/184 21001
/proc/meminfo: memFree=27723988/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=300992 CPUtime=101.87 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 61315 0 0 0 10175 12 0 0 25 0 4 0 524475063 308215808 23940 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 75248 23941 390 106 0 70219 0
[pid=20989/tid=20991] ppid=20987 vsize=300992 CPUtime=25.49 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 18200 0 0 0 2547 2 0 0 25 0 4 0 524475063 308215808 23941 33554432000 4194304 4627427 140736807513184 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=300992 CPUtime=25.37 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 14411 0 0 0 2535 2 0 0 25 0 4 0 524475063 308215808 23941 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=300992 CPUtime=25.49 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 12689 0 0 0 2546 3 0 0 25 0 4 0 524475063 308215808 23941 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 300992

[startup+51.1005 s]
/proc/loadavg: 7.43 7.77 7.90 10/184 21002
/proc/meminfo: memFree=27653644/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=314228 CPUtime=204.14 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 88362 0 0 0 20396 18 0 0 25 0 4 0 524475063 321769472 34564 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 78557 34564 390 106 0 73528 0
[pid=20989/tid=20991] ppid=20987 vsize=314228 CPUtime=51.09 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 29798 0 0 0 5104 5 0 0 25 0 4 0 524475063 321769472 34564 33554432000 4194304 4627427 140736807513184 18446744073709551615 4310659 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=314228 CPUtime=50.84 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 20349 0 0 0 5081 3 0 0 25 0 4 0 524475063 321769472 34564 33554432000 4194304 4627427 140736807513184 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=314228 CPUtime=51.09 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 15115 0 0 0 5105 4 0 0 25 0 4 0 524475063 321769472 34564 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.14
Current children cumulated vsize (KiB) 314228

[startup+102.301 s]
/proc/loadavg: 7.87 7.84 7.91 9/184 21003
/proc/meminfo: memFree=27566692/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=327384 CPUtime=408.68 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 127108 0 0 0 40839 29 0 0 25 0 4 0 524475063 335241216 37138 33554432000 4194304 4627427 140736807513184 18446744073709551615 4329686 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 81846 37138 390 106 0 76817 0
[pid=20989/tid=20991] ppid=20987 vsize=327384 CPUtime=102.29 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 45398 0 0 0 10220 9 0 0 25 0 4 0 524475063 335241216 37138 33554432000 4194304 4627427 140736807513184 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=327384 CPUtime=101.79 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 29171 0 0 0 10173 6 0 0 25 0 4 0 524475063 335241216 37138 33554432000 4194304 4627427 140736807513184 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=327384 CPUtime=102.29 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 17807 0 0 0 10224 5 0 0 25 0 4 0 524475063 335241216 37138 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 327384

[startup+162.3 s]

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

[pid=20989] ppid=20987 vsize=583616 CPUtime=2804.05 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 457933 0 0 0 280269 136 0 0 25 0 4 0 524475063 597622784 87757 33554432000 4194304 4627427 140736807513184 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 145904 87757 390 106 0 140875 0
[pid=20989/tid=20991] ppid=20987 vsize=583616 CPUtime=702.27 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 108404 0 0 0 70201 26 0 0 25 0 4 0 524475063 597622784 87757 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=583616 CPUtime=698.58 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 132360 0 0 0 69825 33 0 0 25 0 4 0 524475063 597622784 87757 33554432000 4194304 4627427 140736807513184 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=583616 CPUtime=701.96 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 81746 0 0 0 70171 25 0 0 25 0 4 0 524475063 597622784 87757 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.05
Current children cumulated vsize (KiB) 583616

[startup+762.301 s]
/proc/loadavg: 9.09 8.96 8.49 11/189 23266
/proc/meminfo: memFree=25719760/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=583912 CPUtime=3043.71 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 472262 0 0 0 304225 146 0 0 25 0 4 0 524475063 597925888 91100 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309234 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 145978 91100 390 106 0 140949 0
[pid=20989/tid=20991] ppid=20987 vsize=583912 CPUtime=762.28 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 111490 0 0 0 76200 28 0 0 25 0 4 0 524475063 597925888 91100 33554432000 4194304 4627427 140736807513184 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=583912 CPUtime=758.25 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 135294 0 0 0 75790 35 0 0 25 0 4 0 524475063 597925888 91100 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=583912 CPUtime=761.96 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 83568 0 0 0 76170 26 0 0 25 0 4 0 524475063 597925888 91100 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.71
Current children cumulated vsize (KiB) 583912

[startup+822.301 s]
/proc/loadavg: 8.64 8.87 8.48 9/184 23322
/proc/meminfo: memFree=25741744/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=577836 CPUtime=3283.14 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 499949 0 0 0 328156 158 0 0 25 0 4 0 524475063 591704064 90685 33554432000 4194304 4627427 140736807513184 18446744073709551615 4333279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 144459 90685 390 106 0 139430 0
[pid=20989/tid=20991] ppid=20987 vsize=577836 CPUtime=822.27 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 115478 0 0 0 82198 29 0 0 25 0 4 0 524475063 591704064 90685 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=577836 CPUtime=817.93 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 144116 0 0 0 81755 38 0 0 25 0 4 0 524475063 591704064 90685 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=577836 CPUtime=821.91 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 90815 0 0 0 82163 28 0 0 25 0 4 0 524475063 591704064 90685 33554432000 4194304 4627427 140736807513184 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.14
Current children cumulated vsize (KiB) 577836

[startup+882.301 s]
/proc/loadavg: 8.28 8.72 8.45 9/184 23324
/proc/meminfo: memFree=25805924/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=560788 CPUtime=3522.81 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 518556 0 0 0 352116 165 0 0 25 0 4 0 524475063 574246912 93221 33554432000 4194304 4627427 140736807513184 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 140197 93221 390 106 0 135168 0
[pid=20989/tid=20991] ppid=20987 vsize=560788 CPUtime=882.28 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 118366 0 0 0 88198 30 0 0 25 0 4 0 524475063 574246912 93221 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=560788 CPUtime=877.61 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 150870 0 0 0 87719 42 0 0 25 0 4 0 524475063 574246912 93221 33554432000 4194304 4627427 140736807513184 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=560788 CPUtime=881.91 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 92947 0 0 0 88162 29 0 0 25 0 4 0 524475063 574246912 93221 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3522.81
Current children cumulated vsize (KiB) 560788

[startup+942.301 s]
/proc/loadavg: 8.15 8.60 8.43 9/184 23326
/proc/meminfo: memFree=25452496/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=604044 CPUtime=3762.52 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 542530 0 0 0 376076 176 0 0 25 0 4 0 524475063 618541056 100354 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 151011 100354 390 106 0 145982 0
[pid=20989/tid=20991] ppid=20987 vsize=604044 CPUtime=942.29 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 121689 0 0 0 94198 31 0 0 25 0 4 0 524475063 618541056 100354 33554432000 4194304 4627427 140736807513184 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=604044 CPUtime=937.3 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 158691 0 0 0 93684 46 0 0 25 0 4 0 524475063 618541056 100354 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=604044 CPUtime=941.92 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 100608 0 0 0 94160 32 0 0 25 0 4 0 524475063 618541056 100354 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.52
Current children cumulated vsize (KiB) 604044

[startup+1002.3 s]
/proc/loadavg: 8.05 8.49 8.40 9/184 23327
/proc/meminfo: memFree=25441908/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=590348 CPUtime=4002.19 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 562513 0 0 0 400035 184 0 0 25 0 4 0 524475063 604516352 102318 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 147587 102318 390 106 0 142558 0
[pid=20989/tid=20991] ppid=20987 vsize=590348 CPUtime=1002.28 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 124687 0 0 0 100196 32 0 0 25 0 4 0 524475063 604516352 102318 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309213 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=590348 CPUtime=996.99 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 168521 0 0 0 99650 49 0 0 25 0 4 0 524475063 604516352 102318 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=590348 CPUtime=1001.91 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 101266 0 0 0 100158 33 0 0 25 0 4 0 524475063 604516352 102318 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.19
Current children cumulated vsize (KiB) 590348

[startup+1062.31 s]
/proc/loadavg: 8.17 8.44 8.39 9/184 23329
/proc/meminfo: memFree=25361276/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=590348 CPUtime=4241.89 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 573259 0 0 0 423998 191 0 0 25 0 4 0 524475063 604516352 113062 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 147587 113062 390 106 0 142558 0
[pid=20989/tid=20991] ppid=20987 vsize=590348 CPUtime=1062.29 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 128149 0 0 0 106194 35 0 0 25 0 4 0 524475063 604516352 113062 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=590348 CPUtime=1056.67 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 171914 0 0 0 105617 50 0 0 25 0 4 0 524475063 604516352 113062 33554432000 4194304 4627427 140736807513184 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=590348 CPUtime=1061.92 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 101266 0 0 0 106159 33 0 0 25 0 4 0 524475063 604516352 113062 33554432000 4194304 4627427 140736807513184 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4241.89
Current children cumulated vsize (KiB) 590348

[startup+1122.3 s]
/proc/loadavg: 8.17 8.39 8.37 9/184 23330
/proc/meminfo: memFree=25394820/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=590328 CPUtime=4481.55 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 583562 0 0 0 447959 196 0 0 25 0 4 0 524475063 604495872 114863 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309646 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 147582 114863 390 106 0 142553 0
[pid=20989/tid=20991] ppid=20987 vsize=590328 CPUtime=1122.28 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 129830 0 0 0 112193 35 0 0 25 0 4 0 524475063 604495872 114863 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=590328 CPUtime=1116.35 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 175142 0 0 0 111584 51 0 0 25 0 4 0 524475063 604495872 114863 33554432000 4194304 4627427 140736807513184 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=590328 CPUtime=1121.92 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 102662 0 0 0 112158 34 0 0 25 0 4 0 524475063 604495872 114863 33554432000 4194304 4627427 140736807513184 18446744073709551615 4290431 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.55
Current children cumulated vsize (KiB) 590328

[startup+1182.3 s]
/proc/loadavg: 8.13 8.33 8.35 9/184 23332
/proc/meminfo: memFree=25294332/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=716348 CPUtime=4721.24 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 597214 0 0 0 471921 203 0 0 25 0 4 0 524475063 733540352 121794 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 179087 121794 390 106 0 174058 0
[pid=20989/tid=20991] ppid=20987 vsize=716348 CPUtime=1182.29 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 134035 0 0 0 118192 37 0 0 25 0 4 0 524475063 733540352 121794 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=716348 CPUtime=1176.04 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 183171 0 0 0 117548 56 0 0 25 0 4 0 524475063 733540352 121794 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=716348 CPUtime=1181.92 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 103029 0 0 0 118158 34 0 0 25 0 4 0 524475063 733540352 121794 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.24
Current children cumulated vsize (KiB) 716348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.24 8.34 8.35 9/184 23333
/proc/meminfo: memFree=25250308/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=723180 CPUtime=4800.35 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 603841 0 0 0 479831 204 0 0 25 0 4 0 524475063 740536320 124443 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 180795 124443 390 106 0 175766 0
[pid=20989/tid=20991] ppid=20987 vsize=723180 CPUtime=1202.09 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 134918 0 0 0 120172 37 0 0 25 0 4 0 524475063 740536320 124443 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=723180 CPUtime=1195.74 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 186482 0 0 0 119517 57 0 0 25 0 4 0 524475063 740536320 124443 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=723180 CPUtime=1201.72 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 103029 0 0 0 120138 34 0 0 25 0 4 0 524475063 740536320 124443 33554432000 4194304 4627427 140736807513184 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 723180

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

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

[startup+1202.1 s]
/proc/loadavg: 8.24 8.34 8.35 9/184 23333
/proc/meminfo: memFree=25250308/32950928 swapFree=67111356/67111528
[pid=20989] ppid=20987 vsize=723180 CPUtime=4800.35 cores=0,2,4,6
/proc/20989/stat : 20989 (strangenight2-m) R 20987 20989 20956 0 -1 4202496 603841 0 0 0 479831 204 0 0 25 0 4 0 524475063 740536320 124443 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20989/statm: 180795 124443 390 106 0 175766 0
[pid=20989/tid=20991] ppid=20987 vsize=723180 CPUtime=1202.09 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 134918 0 0 0 120172 37 0 0 25 0 4 0 524475063 740536320 124443 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20989/tid=20992] ppid=20987 vsize=723180 CPUtime=1195.74 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 186482 0 0 0 119517 57 0 0 25 0 4 0 524475063 740536320 124443 33554432000 4194304 4627427 140736807513184 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20989/tid=20993] ppid=20987 vsize=723180 CPUtime=1201.72 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (strangenight2-m) R 20987 20989 20956 0 -1 4202560 103029 0 0 0 120138 34 0 0 25 0 4 0 524475063 740536320 124443 33554432000 4194304 4627427 140736807513184 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 723180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.14
CPU time (s): 4800.41
CPU user time (s): 4798.34
CPU system time (s): 2.07268
CPU usage (%): 399.323
Max. virtual memory (cumulated for all children) (KiB): 782012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.34
system time used= 2.07268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603841
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= 182
involuntary context switches= 27900

runsolver used 1.93871 second user time and 4.47032 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-30 03:59:14
IDJOB=3264707
IDBENCH=85304
IDSOLVER=1586
FILE ID=node127/3264707-1304128754
RUNJOBID= node127-1304128754-20974
PBS_JOBID= 13170783
Free space on /tmp= 71820 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264707-1304128754/watcher-3264707-1304128754 -o /tmp/evaluation-result-3264707-1304128754/solver-3264707-1304128754 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3264707-1304128754.cnf

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

MD5SUM BENCH= 51d9aefd9da7f94abc32dd024090dc46
RANDOM SEED=1455027502

node127.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.823
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.64
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.823
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.83
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.823
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.823
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.86
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.823
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.823
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.823
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.60
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.823
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:     32950928 kB
MemFree:      27885884 kB
Buffers:       1288176 kB
Cached:        3259152 kB
SwapCached:          8 kB
Active:         183724 kB
Inactive:      4426728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27885884 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11440 kB
Writeback:           0 kB
AnonPages:       63412 kB
Mapped:          14176 kB
Slab:           388460 kB
PageTables:       4880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185024 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= 72724 MiB
End job on node127 at 2011-04-30 04:19:18