Trace number 3366595

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.08 1202.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf
MD5SUM39542bd0a185b4f7c5fc7900079a2845
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 variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
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-3366595-1305409851.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
3.17/0.85	c Parsing time:  0.00 s
3.17/0.85	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
3.17/0.85	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
3.17/0.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3.17/0.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.85	c calculated reachability. Time: 0.00
3.17/0.85	c Calc default polars -  time:   0.00 s pos:      66 undec:       6 neg:      78
3.17/0.85	c =========================================================================================
3.17/0.85	c types(t): F = full restart, N = normal restart
3.17/0.85	c types(t): S = simplification begin/end, E = solution found
3.17/0.85	c restart types(rt): st = static, dy = dynamic
3.17/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.85	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st     8      4915       150      3195         0      4686     15975    142048   no data   no data
3.17/0.85	c  N st    10     11299       150      3195         0      4344     15975     99241   no data   no data
3.17/0.85	c  N st    11     17042       150      3195         0      9818     15975    271871   no data   no data
3.57/0.95	c  F st    12     25001       150      3195         0     12013     15975    325847   no data   no data
3.57/0.95	c  N st    12     25001       150      3195         0     12013     15975    325847   no data   no data
4.40/1.15	c Decided on static restart strategy
4.40/1.15	c  N st    18     30001       150      3195         0     10328     15975    260370   no data   no data
4.40/1.15	c  S st    18     30001       150      3195         0     10328     15975    260370   no data   no data
4.40/1.18	c  S st    18     30505       150      3195         0     10823     15975    274619   no data   no data
4.40/1.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.40/1.18	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.40/1.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.40/1.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.76/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.35	c lits-rem:       209  cl-subs:     1205  v-elim:      0  v-fix:    0  time:  0.17 s
5.56/1.40	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.56/1.40	c calculated reachability. Time: 0.00
5.56/1.40	c  N st    18     30505       150      3195         0      9618     15975    234765   no data   no data
6.76/1.76	c  N st    20     37615       150      3195         0      8869     15975    193240   no data   no data
7.96/2.10	c  N st    21     44015       150      3195         0     14936     15975    370706   no data   no data
8.37/2.20	c  S st    22     45758       150      3195         0     16598     15975    420873   no data   no data
8.79/2.26	c  S st    22     46261       150      3195         0      8580     15975    167147   no data   no data
8.79/2.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.79/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.30	c lits-rem:        30  cl-subs:      232  v-elim:      0  v-fix:    0  time:  0.02 s
9.15/2.30	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.15/2.30	c vivif2 --  cl tried     8348 cl shrink        0 lits rem          0 time: 0.00
9.15/2.34	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.15/2.34	c calculated reachability. Time: 0.00
9.15/2.34	c  N st    22     46261       150      3195         0      8348     15975    160218   no data   no data
12.35/3.10	c  N st    23     60660       150      3195         0     12555     15975    269485   no data   no data
14.35/3.65	c  N st    24     69391       150      3195         0     20817     15975    527611   no data   no data
14.35/3.65	c  S st    24     69391       150      3195         0     20817     15975    527611   no data   no data
14.35/3.69	c  S st    24     69893       150      3195         0     10881     15975    205166   no data   no data
14.35/3.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.35/3.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.35/3.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.35/3.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.35/3.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.35/3.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.35/3.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.75/3.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.75/3.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.75/3.74	c lits-rem:        43  cl-subs:      232  v-elim:      0  v-fix:    0  time:  0.04 s
14.75/3.74	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.75/3.75	c vivif2 --  cl tried    10649 cl shrink        0 lits rem          0 time: 0.00
14.75/3.79	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
14.75/3.79	c calculated reachability. Time: 0.00
14.75/3.79	c  N st    24     69893       150      3195         0     10649     15975    197699   no data   no data
19.13/4.87	c  F st    25     87501       150      3195         0     15927     15975    344202   no data   no data
19.13/4.87	c  N st    25     87501       150      3195         0     15927     15975    344202   no data   no data
20.74/5.22	c Decided on static restart strategy
21.55/5.42	c  N st    32     95542       150      3195         0     23599     15975    566003   no data   no data
23.93/6.00	c  N st    34    104839       150      3195         0     20055     15975    456947   no data   no data
23.93/6.00	c  S st    34    104839       150      3195         0     20055     15975    456947   no data   no data
23.93/6.05	c  S st    34    105342       150      3195         0     20547     15975    470983   no data   no data
23.93/6.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.93/6.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
23.93/6.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.93/6.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.93/6.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.93/6.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.93/6.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.93/6.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
23.93/6.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.52	c lits-rem:       262  cl-subs:     1456  v-elim:      0  v-fix:    0  time:  0.44 s
25.94/6.52	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.94/6.52	c vivif2 --  cl tried    19091 cl shrink        0 lits rem          0 time: 0.00
25.94/6.60	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
25.94/6.60	c calculated reachability. Time: 0.00
25.94/6.60	c  N st    34    105342       150      3195         0     19091     15975    424378   no data   no data
29.11/7.30	c  N st    35    114940       150      3195         0     14971     15975    295620   no data   no data
33.51/8.44	c  N st    36    129337       150      3195         0     14420     15975    251449   no data   no data
39.52/9.96	c  N st    37    150932       150      3195         0     19794     15975    394549   no data   no data
41.49/10.49	c  S st    38    158015       150      3195         0     26539     15975    601020   no data   no data
41.89/10.56	c  S st    38    158517       150      3195         0     27035     15975    615954   no data   no data
41.89/10.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.89/10.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
41.89/10.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.89/10.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.89/10.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.89/10.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
41.89/10.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.89/10.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
41.89/10.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.07/11.34	c lits-rem:       567  cl-subs:     1670  v-elim:      0  v-fix:    0  time:  0.75 s
45.07/11.34	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
45.07/11.35	c vivif2 --  cl tried    25365 cl shrink        0 lits rem          0 time: 0.01
45.47/11.46	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.11
45.47/11.46	c calculated reachability. Time: 0.00
45.47/11.46	c  N st    38    158517       150      3195         0     25365     15975    561841   no data   no data
63.04/15.86	c  N st    39    207106       150      3195         0     20149     15975    353247   no data   no data
73.82/18.60	c  N st    40    237775       150      3195         0     30285     15975    652029   no data   no data
73.82/18.60	c  S st    40    237775       150      3195         0     30285     15975    652029   no data   no data
74.24/18.70	c  S st    40    238276       150      3195         0     30777     15975    666488   no data   no data
74.24/18.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.65/18.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.65/18.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.65/18.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.65/18.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.65/18.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
74.65/18.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.65/18.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.65/18.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.00/20.32	c lits-rem:       399  cl-subs:     2227  v-elim:      0  v-fix:    0  time:  1.58 s
81.00/20.32	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.00/20.33	c vivif2 --  cl tried    28550 cl shrink        0 lits rem          0 time: 0.01
81.40/20.48	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.16
81.40/20.48	c calculated reachability. Time: 0.00
81.40/20.48	c  N st    40    238276       150      3195         0     28550     15975    597849   no data   no data
106.55/26.78	c  F st    41    306251       150      3195         0     30497     15975    615616   no data   no data
106.55/26.79	c  N st    41    306251       150      3195         0     30497     15975    615616   no data   no data
108.94/27.37	c Decided on static restart strategy
118.55/29.71	c  N st    51    334555       150      3195         0     34706     15975    721187   no data   no data
128.50/32.21	c  N st    53    357414       150      3195         0     32657     15975    620482   no data   no data
128.50/32.21	c  S st    53    357414       150      3195         0     32657     15975    620482   no data   no data
128.50/32.29	c  S st    53    357916       150      3195         0     33151     15975    634940   no data   no data
128.50/32.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.90/32.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
128.90/32.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
128.90/32.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.90/32.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.90/32.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
128.90/32.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
128.90/32.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
128.90/32.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.32/32.98	c lits-rem:       423  cl-subs:     1429  v-elim:      0  v-fix:    0  time:  0.65 s
131.32/32.98	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
131.32/32.99	c vivif2 --  cl tried    31722 cl shrink        0 lits rem          0 time: 0.01
132.08/33.13	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
132.08/33.13	c calculated reachability. Time: 0.00
132.08/33.13	c  N st    53    357916       150      3195         0     31722     15975    590197   no data   no data
146.06/36.65	c  N st    54    390308       150      3195         0     37710     15975    759410   no data   no data
173.19/43.40	c  N st    55    438898       150      3195         0     31563     15975    550436   no data   no data
208.72/52.30	c  N st    56    511780       150      3195         0     44450     15975    877151   no data   no data
219.89/55.14	c  N st    57    536876       150      3195         0     38999     15975    713077   no data   no data
219.89/55.14	c  S st    57    536876       150      3195         0     38999     15975    713077   no data   no data
220.29/55.24	c  S st    57    537376       150      3195         0     39487     15975    727718   no data   no data
220.29/55.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
220.29/55.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
220.29/55.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
220.29/55.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
220.29/55.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.29/55.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
220.29/55.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
220.29/55.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
220.29/55.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
225.08/56.42	c lits-rem:       771  cl-subs:     1930  v-elim:      0  v-fix:    0  time:  1.14 s
225.08/56.42	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
225.08/56.43	c vivif2 --  cl tried    37557 cl shrink        0 lits rem          0 time: 0.01
225.88/56.61	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
225.88/56.61	c calculated reachability. Time: 0.00
225.88/56.61	c  N st    57    537376       150      3195         0     37557     15975    666911   no data   no data
311.32/78.01	c  N st    58    701361       150      3195         0     65881     15975   1460012   no data   no data
379.14/95.00	c  N st    59    806068       150      3195         0     60019     15975   1225187   no data   no data
379.14/95.00	c  S st    59    806068       150      3195         0     60019     15975   1225187   no data   no data
379.54/95.18	c  S st    59    806572       150      3195         0     60511     15975   1240246   no data   no data
379.54/95.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
379.94/95.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
379.94/95.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
379.94/95.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
379.94/95.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
379.94/95.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
379.94/95.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
379.94/95.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
379.94/95.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
405.08/101.57	c lits-rem:      1054  cl-subs:     4815  v-elim:      0  v-fix:    0  time:  6.31 s
405.08/101.57	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
405.08/101.58	c vivif2 --  cl tried    55696 cl shrink        0 lits rem          0 time: 0.01
406.28/101.88	c asymm  cl-useful: 0/2786/3195 lits-rem:0 time: 0.30
406.28/101.88	c calculated reachability. Time: 0.00
406.28/101.88	c  N st    59    806572       150      3195         0     55696     15975   1100252   no data   no data
581.90/145.87	c  F st    60   1071875       150      3195         0     70994     15975   1452221   no data   no data
581.90/145.88	c  N st    60   1071875       150      3195         0     70994     15975   1452221   no data   no data
586.68/147.02	c Decided on static restart strategy
602.65/151.06	c  N st    70   1100177       150      3195         0     55631     15975    982034   no data   no data
631.80/158.36	c  N st    72   1136169       150      3195         0     46306     15975    665593   no data   no data
655.72/164.31	c  N st    73   1168563       150      3195         0     77172     15975   1653325   no data   no data
690.45/173.09	c  N st    74   1209859       150      3195         0     71642     15975   1415966   no data   no data
690.45/173.09	c  S st    74   1209859       150      3195         0     71642     15975   1415966   no data   no data
691.65/173.36	c  S st    74   1210365       150      3195         0     72134     15975   1430827   no data   no data
691.65/173.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
692.05/173.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
692.05/173.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
692.05/173.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
692.05/173.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
692.05/173.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
692.05/173.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
692.05/173.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
692.05/173.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
750.35/188.05	c lits-rem:      1853  cl-subs:     4369  v-elim:      0  v-fix:    0  time: 14.57 s
750.35/188.05	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
750.35/188.07	c vivif2 --  cl tried    67765 cl shrink        0 lits rem          0 time: 0.02
752.71/188.62	c asymm  cl-useful: 0/2431/3195 lits-rem:0 time: 0.55
752.71/188.62	c calculated reachability. Time: 0.00
752.71/188.62	c  N st    74   1210365       150      3195         0     67765     15975   1294724   no data   no data
822.15/206.07	c  N st    75   1283247       150      3195         0     91461     15975   1961384   no data   no data
917.58/229.99	c  N st    76   1392570       150      3195         0     52986     15975    774656   no data   no data
1062.04/266.12	c  N st    77   1556554       150      3195         0     57277     15975    850603   no data   no data
1199.72/300.66	c  N st    78   1710365       150      3195         0     97666     15975   2044933   no data   no data
1199.72/300.66	c  S st    78   1710365       150      3195         0     97666     15975   2044933   no data   no data
1200.92/301.00	c  S st    78   1710871       150      3195         0     98162     15975   2059733   no data   no data
1201.32/301.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1201.32/301.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1201.32/301.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1201.32/301.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1201.32/301.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1201.32/301.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1201.32/301.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1201.32/301.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1201.72/301.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1307.08/327.57	c lits-rem:      1878  cl-subs:    10173  v-elim:      0  v-fix:    0  time: 26.43 s
1307.08/327.57	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1307.08/327.59	c vivif2 --  cl tried    87989 cl shrink        0 lits rem          0 time: 0.02
1307.90/327.76	c asymm  cl-useful: 0/764/3195 lits-rem:0 time: 0.16
1307.90/327.76	c calculated reachability. Time: 0.00
1307.90/327.76	c  N st    78   1710871       150      3195         0     87989     15975   1758584   no data   no data
1661.08/416.29	c  N st    79   2079835       150      3195         0     99550     15975   1995971   no data   no data
1789.61/448.49	c  N st    80   2210874       150      3195         0    103329     15975   2062445   no data   no data
1789.61/448.49	c  S st    80   2210874       150      3195         0    103329     15975   2062445   no data   no data
1791.23/448.81	c  S st    80   2211377       150      3195         0    103817     15975   2077136   no data   no data
1791.23/448.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1791.23/448.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1791.23/448.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1791.23/448.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1791.23/448.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1791.23/448.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1791.23/448.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1791.59/448.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1791.59/448.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1891.79/474.02	c lits-rem:      2988  cl-subs:    10399  v-elim:      0  v-fix:    0  time: 25.07 s
1891.79/474.02	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1891.79/474.04	c vivif2 --  cl tried    93418 cl shrink        0 lits rem          0 time: 0.02
1892.96/474.38	c asymm  cl-useful: 0/1909/3195 lits-rem:0 time: 0.34
1892.96/474.38	c calculated reachability. Time: 0.00
1892.96/474.38	c  N st    80   2211377       150      3195         0     93418     15975   1775925   no data   no data
2407.81/603.31	c  N st    81   2711378       150      3195         0    117061     15975   2435268   no data   no data
2407.81/603.31	c  S st    81   2711378       150      3195         0    117061     15975   2435268   no data   no data
2409.01/603.66	c  S st    81   2711879       150      3195         0    117549     15975   2449745   no data   no data
2409.01/603.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2409.41/603.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2409.41/603.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2409.41/603.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2409.41/603.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2409.41/603.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2409.41/603.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2409.41/603.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2409.83/603.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2537.88/635.92	c lits-rem:      4318  cl-subs:    10042  v-elim:      0  v-fix:    0  time: 32.10 s
2537.88/635.92	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2537.88/635.95	c vivif2 --  cl tried   107507 cl shrink        0 lits rem          0 time: 0.03
2539.48/636.30	c asymm  cl-useful: 0/1286/3195 lits-rem:0 time: 0.35
2539.48/636.30	c calculated reachability. Time: 0.00
2539.48/636.30	c  N st    81   2711879       150      3195         0    107507     15975   2142086   no data   no data
3184.44/797.92	c  N st    82   3211880       150      3195         0     84395     15975   1255263   no data   no data
3184.44/797.92	c  S st    82   3211880       150      3195         0     84395     15975   1255263   no data   no data
3185.24/798.15	c  S st    82   3212384       150      3195         0     84883     15975   1270319   no data   no data
3185.24/798.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3185.64/798.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3185.64/798.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3185.64/798.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3185.64/798.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3185.64/798.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3185.64/798.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3185.64/798.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3185.64/798.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3194.82/800.52	c lits-rem:       570  cl-subs:     2332  v-elim:      0  v-fix:    0  time:  2.27 s
3194.82/800.52	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3194.82/800.54	c vivif2 --  cl tried    82551 cl shrink        0 lits rem          0 time: 0.02
3196.05/800.87	c asymm  cl-useful: 0/1962/3195 lits-rem:0 time: 0.33
3196.05/800.87	c calculated reachability. Time: 0.00
3196.05/800.87	c  N st    82   3212384       150      3195         0     82551     15975   1203168   no data   no data
3862.11/967.78	c  N st    83   3712384       150      3195         0     93169     15975   1427182   no data   no data
3862.11/967.78	c  S st    83   3712384       150      3195         0     93169     15975   1427182   no data   no data
3863.34/968.08	c  S st    83   3712894       150      3195         0     93668     15975   1442042   no data   no data
3863.34/968.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3863.70/968.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3863.70/968.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3863.70/968.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3863.70/968.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3863.70/968.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3863.70/968.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3863.70/968.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3863.70/968.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3878.87/971.96	c lits-rem:       645  cl-subs:     2632  v-elim:      0  v-fix:    0  time:  3.77 s
3878.87/971.96	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3878.87/971.99	c vivif2 --  cl tried    91036 cl shrink        0 lits rem          0 time: 0.02
3880.07/972.26	c asymm  cl-useful: 0/1233/3195 lits-rem:0 time: 0.27
3880.07/972.26	c calculated reachability. Time: 0.00
3880.07/972.26	c  N st    83   3712894       150      3195         0     91036     15975   1361534   no data   no data
3927.16/984.06	c  F st    84   3751563       150      3195         0    127791     15975   2499504   no data   no data
3927.16/984.06	c  N st    84   3751563       150      3195         0    127791     15975   2499504   no data   no data
3935.15/986.04	c Decided on static restart strategy
3987.43/999.18	c  N st    94   3779869       150      3195         0    154657     15975   3314415   no data   no data
4031.33/1010.11	c  N st    96   3815862       150      3195         0    108441     15975   1838699   no data   no data
4074.43/1020.98	c  N st    97   3848254       150      3195         0    138874     15975   2760990   no data   no data
4137.89/1036.86	c  N st    98   3896843       150      3195         0    103687     15975   1698388   no data   no data
4248.84/1064.69	c  N st    99   3969727       150      3195         0     90460     15975   1265911   no data   no data
4394.90/1101.29	c  N st   100   4079050       150      3195         0    110698     15975   1903079   no data   no data
4569.74/1145.07	c  N st   101   4212895       150      3195         0    152689     15975   3218760   no data   no data
4569.74/1145.07	c  S st   101   4212895       150      3195         0    152689     15975   3218760   no data   no data
4571.71/1145.56	c  S st   101   4213396       150      3195         0    153182     15975   3233982   no data   no data
4571.71/1145.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4572.11/1145.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4572.11/1145.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4572.11/1145.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4572.11/1145.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4572.11/1145.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4572.11/1145.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4572.51/1145.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4572.51/1145.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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-3366595-1305409851/watcher-3366595-1305409851 -o /tmp/evaluation-result-3366595-1305409851/solver-3366595-1305409851 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366595-1305409851.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: 5.63 7.47 7.80 7/282 19420
/proc/meminfo: memFree=25083024/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 4 0 633400408 52396032 352 33554432000 4194304 4580107 140735562166128 18446744073709551615 47612029650448 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 12792 352 302 95 0 7774 0
[pid=19420/tid=19421] ppid=19418 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 633400409 52396032 352 33554432000 4194304 4580107 140735562166128 18446744073709551615 47612029650457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 633400409 52396032 352 33554432000 4194304 4580107 140735562166128 18446744073709551615 47612029650856 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 633400409 52396032 352 33554432000 4194304 4580107 140735562166128 18446744073709551615 47612029650457 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0976221 s]
/proc/loadavg: 5.63 7.47 7.80 7/282 19420
/proc/meminfo: memFree=25083024/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=282444 CPUtime=0.36 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 1947 0 0 0 36 0 0 0 18 0 4 0 633400408 289222656 1791 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 70611 1791 376 95 0 65593 0
[pid=19420/tid=19421] ppid=19418 vsize=282444 CPUtime=0.09 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 400 0 0 0 9 0 0 0 18 0 4 0 633400409 289222656 1791 33554432000 4194304 4580107 140735562166128 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=282444 CPUtime=0.08 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 422 0 0 0 8 0 0 0 24 0 4 0 633400409 289222656 1791 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=282444 CPUtime=0.09 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 303 0 0 0 9 0 0 0 18 0 4 0 633400409 289222656 1791 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282444

[startup+0.10062 s]
/proc/loadavg: 5.63 7.47 7.80 7/282 19420
/proc/meminfo: memFree=25083024/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=282444 CPUtime=0.37 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 1962 0 0 0 37 0 0 0 18 0 4 0 633400408 289222656 1806 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294438 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 70611 1806 376 95 0 65593 0
[pid=19420/tid=19421] ppid=19418 vsize=282444 CPUtime=0.09 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 404 0 0 0 9 0 0 0 18 0 4 0 633400409 289222656 1806 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=282444 CPUtime=0.09 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 425 0 0 0 9 0 0 0 24 0 4 0 633400409 289222656 1806 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=282444 CPUtime=0.09 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 306 0 0 0 9 0 0 0 18 0 4 0 633400409 289222656 1806 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282444

[startup+0.300585 s]
/proc/loadavg: 5.63 7.47 7.80 7/282 19420
/proc/meminfo: memFree=25083024/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=284248 CPUtime=1.17 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 3329 0 0 0 117 0 0 0 18 0 4 0 633400408 291069952 2453 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 71062 2453 377 95 0 66044 0
[pid=19420/tid=19421] ppid=19418 vsize=284248 CPUtime=0.29 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 748 0 0 0 29 0 0 0 18 0 4 0 633400409 291069952 2453 33554432000 4194304 4580107 140735562166128 18446744073709551615 4321277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=284248 CPUtime=0.29 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 761 0 0 0 29 0 0 0 25 0 4 0 633400409 291069952 2453 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=284248 CPUtime=0.29 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 641 0 0 0 29 0 0 0 18 0 4 0 633400409 291069952 2453 33554432000 4194304 4580107 140735562166128 18446744073709551615 4342240 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) 284248

[startup+0.700516 s]
/proc/loadavg: 5.63 7.47 7.80 7/282 19420
/proc/meminfo: memFree=25083024/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=286164 CPUtime=2.77 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 6058 0 0 0 277 0 0 0 18 0 4 0 633400408 293031936 2706 33554432000 4194304 4580107 140735562166128 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 71541 2706 377 95 0 66523 0
[pid=19420/tid=19421] ppid=19418 vsize=286164 CPUtime=0.69 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 1436 0 0 0 69 0 0 0 18 0 4 0 633400409 293031936 2706 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=286164 CPUtime=0.68 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 1428 0 0 0 68 0 0 0 25 0 4 0 633400409 293031936 2707 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=286164 CPUtime=0.69 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 1340 0 0 0 69 0 0 0 18 0 4 0 633400409 293031936 2707 33554432000 4194304 4580107 140735562166128 18446744073709551615 4295404 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) 286164

[startup+1.50037 s]
/proc/loadavg: 5.63 7.47 7.80 9/286 19424
/proc/meminfo: memFree=25063524/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=287296 CPUtime=5.96 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 11540 0 0 0 594 2 0 0 20 0 4 0 633400408 294191104 5045 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 71824 5053 379 95 0 66806 0
[pid=19420/tid=19421] ppid=19418 vsize=287296 CPUtime=1.49 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 2559 0 0 0 149 0 0 0 20 0 4 0 633400409 294191104 5058 33554432000 4194304 4580107 140735562166128 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=287296 CPUtime=1.47 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 2454 0 0 0 147 0 0 0 25 0 4 0 633400409 294191104 5062 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=287296 CPUtime=1.49 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 2396 0 0 0 149 0 0 0 20 0 4 0 633400409 294191104 5065 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294952 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) 287296

[startup+3.10109 s]
/proc/loadavg: 5.63 7.47 7.80 9/286 19424
/proc/meminfo: memFree=25027828/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=298352 CPUtime=12.35 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 22478 0 0 0 1232 3 0 0 25 0 4 0 633400408 305512448 11213 33554432000 4194304 4580107 140735562166128 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 74588 11213 379 95 0 69570 0
[pid=19420/tid=19421] ppid=19418 vsize=298352 CPUtime=3.09 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 5183 0 0 0 308 1 0 0 25 0 4 0 633400409 305512448 11213 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=298352 CPUtime=3.06 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 5813 0 0 0 306 0 0 0 25 0 4 0 633400409 305512448 11213 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=298352 CPUtime=3.08 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 5756 0 0 0 308 0 0 0 25 0 4 0 633400409 305512448 11213 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 298352

[startup+6.30053 s]
/proc/loadavg: 5.82 7.47 7.80 9/286 19425
/proc/meminfo: memFree=24984804/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=304688 CPUtime=25.12 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 36338 0 0 0 2506 6 0 0 25 0 4 0 633400408 312000512 16312 33554432000 4194304 4580107 140735562166128 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 76172 16312 380 95 0 71154 0
[pid=19420/tid=19421] ppid=19418 vsize=304688 CPUtime=6.28 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 9065 0 0 0 627 1 0 0 25 0 4 0 633400409 312000512 16312 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=304688 CPUtime=6.24 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 9002 0 0 0 623 1 0 0 25 0 4 0 633400409 312000512 16313 33554432000 4194304 4580107 140735562166128 18446744073709551615 4302062 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=304688 CPUtime=6.28 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 8540 0 0 0 627 1 0 0 25 0 4 0 633400409 312000512 16313 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 304688

[startup+12.7004 s]
/proc/loadavg: 5.99 7.48 7.80 9/286 19425
/proc/meminfo: memFree=24927176/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=314076 CPUtime=50.66 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 55902 0 0 0 5056 10 0 0 25 0 4 0 633400408 321613824 21294 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294396 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 78519 21294 379 95 0 73501 0
[pid=19420/tid=19421] ppid=19418 vsize=314076 CPUtime=12.69 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 13946 0 0 0 1267 2 0 0 25 0 4 0 633400409 321613824 21294 33554432000 4194304 4580107 140735562166128 18446744073709551615 4322594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=314076 CPUtime=12.58 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 12911 0 0 0 1256 2 0 0 25 0 4 0 633400409 321613824 21294 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=314076 CPUtime=12.68 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 14263 0 0 0 1266 2 0 0 25 0 4 0 633400409 321613824 21294 33554432000 4194304 4580107 140735562166128 18446744073709551615 4324533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 314076

[startup+25.5011 s]
/proc/loadavg: 6.44 7.51 7.81 9/286 19425
/proc/meminfo: memFree=24862444/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=313412 CPUtime=101.75 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 83085 0 0 0 10159 16 0 0 25 0 4 0 633400408 320933888 32885 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 78353 32885 379 95 0 73335 0
[pid=19420/tid=19421] ppid=19418 vsize=313412 CPUtime=25.49 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 21245 0 0 0 2545 4 0 0 25 0 4 0 633400409 320933888 32885 33554432000 4194304 4580107 140735562166128 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=313412 CPUtime=25.27 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 18526 0 0 0 2524 3 0 0 25 0 4 0 633400409 320933888 32885 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=313412 CPUtime=25.49 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 21314 0 0 0 2544 5 0 0 25 0 4 0 633400409 320933888 32885 33554432000 4194304 4580107 140735562166128 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 313412

[startup+51.1006 s]
/proc/loadavg: 6.97 7.55 7.81 9/286 19426
/proc/meminfo: memFree=24810552/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=377248 CPUtime=203.93 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 120119 0 0 0 20364 29 0 0 25 0 4 0 633400408 386301952 40219 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 94312 40219 379 95 0 89294 0
[pid=19420/tid=19421] ppid=19418 vsize=377248 CPUtime=51.09 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 30104 0 0 0 5103 6 0 0 25 0 4 0 633400409 386301952 40219 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=377248 CPUtime=50.64 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 27192 0 0 0 5058 6 0 0 25 0 4 0 633400409 386301952 40219 33554432000 4194304 4580107 140735562166128 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=377248 CPUtime=51.09 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 31847 0 0 0 5101 8 0 0 25 0 4 0 633400409 386301952 40219 33554432000 4194304 4580107 140735562166128 18446744073709551615 4340614 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 377248

[startup+102.31 s]
/proc/loadavg: 7.62 7.63 7.83 9/286 19427
/proc/meminfo: memFree=24747052/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=323752 CPUtime=408.31 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 176771 0 0 0 40785 46 0 0 25 0 4 0 633400408 331522048 47804 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 80938 47804 379 95 0 75920 0
[pid=19420/tid=19421] ppid=19418 vsize=323752 CPUtime=102.3 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 42901 0 0 0 10220 10 0 0 25 0 4 0 633400409 331522048 47804 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=323752 CPUtime=101.39 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 34818 0 0 0 10129 10 0 0 25 0 4 0 633400409 331522048 47804 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=323752 CPUtime=102.3 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 50906 0 0 0 10216 14 0 0 25 0 4 0 633400409 331522048 47804 33554432000 4194304 4580107 140735562166128 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.31
Current children cumulated vsize (KiB) 323752

[startup+162.301 s]

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

[pid=19420] ppid=19418 vsize=717008 CPUtime=2802.9 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 561767 0 0 0 280091 199 0 0 25 0 4 0 633400408 734216192 109689 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 179252 109689 379 95 0 174234 0
[pid=19420/tid=19421] ppid=19418 vsize=717008 CPUtime=702.28 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 154987 0 0 0 70172 56 0 0 25 0 4 0 633400409 734216192 109689 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=717008 CPUtime=695.98 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 96987 0 0 0 69563 35 0 0 25 0 4 0 633400409 734216192 109689 33554432000 4194304 4580107 140735562166128 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=717008 CPUtime=702.29 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 168557 0 0 0 70168 61 0 0 25 0 4 0 633400409 734216192 109689 33554432000 4194304 4580107 140735562166128 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.9
Current children cumulated vsize (KiB) 717008

[startup+762.311 s]
/proc/loadavg: 8.11 8.07 7.95 9/286 19454
/proc/meminfo: memFree=24277388/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=649468 CPUtime=3042.39 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 588224 0 0 0 304030 209 0 0 25 0 4 0 633400408 665055232 114368 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 162367 114368 379 95 0 157349 0
[pid=19420/tid=19421] ppid=19418 vsize=649468 CPUtime=762.3 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 163613 0 0 0 76171 59 0 0 25 0 4 0 633400409 665055232 114368 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=649468 CPUtime=755.44 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 100822 0 0 0 75507 37 0 0 25 0 4 0 633400409 665055232 114368 33554432000 4194304 4580107 140735562166128 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=649468 CPUtime=762.31 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 178218 0 0 0 76167 64 0 0 25 0 4 0 633400409 665055232 114368 33554432000 4194304 4580107 140735562166128 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.39
Current children cumulated vsize (KiB) 649468

[startup+822.3 s]
/proc/loadavg: 8.19 8.10 7.97 9/286 19455
/proc/meminfo: memFree=24202980/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=768240 CPUtime=3281.81 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 619662 0 0 0 327957 224 0 0 25 0 4 0 633400408 786677760 121846 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 192060 121846 379 95 0 187042 0
[pid=19420/tid=19421] ppid=19418 vsize=768240 CPUtime=822.29 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 172073 0 0 0 82166 63 0 0 25 0 4 0 633400409 786677760 121846 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=768240 CPUtime=814.89 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 109266 0 0 0 81448 41 0 0 25 0 4 0 633400409 786677760 121846 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=768240 CPUtime=822.29 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 185421 0 0 0 82162 67 0 0 25 0 4 0 633400409 786677760 121846 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.81
Current children cumulated vsize (KiB) 768240

[startup+882.301 s]
/proc/loadavg: 8.18 8.11 7.98 9/286 19457
/proc/meminfo: memFree=24203704/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=770588 CPUtime=3521.27 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 654458 0 0 0 351885 242 0 0 25 0 4 0 633400408 789082112 121805 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 192647 121805 379 95 0 187629 0
[pid=19420/tid=19421] ppid=19418 vsize=770588 CPUtime=882.29 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 182479 0 0 0 88161 68 0 0 25 0 4 0 633400409 789082112 121805 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=770588 CPUtime=874.34 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 118396 0 0 0 87388 46 0 0 25 0 4 0 633400409 789082112 121805 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=770588 CPUtime=882.3 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 193911 0 0 0 88157 73 0 0 25 0 4 0 633400409 789082112 121805 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.27
Current children cumulated vsize (KiB) 770588

[startup+942.301 s]
/proc/loadavg: 8.21 8.12 7.99 9/286 19458
/proc/meminfo: memFree=24176656/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=715644 CPUtime=3760.75 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 683203 0 0 0 375822 253 0 0 25 0 4 0 633400408 732819456 123448 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 178911 123448 379 95 0 173893 0
[pid=19420/tid=19421] ppid=19418 vsize=715644 CPUtime=942.29 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 189474 0 0 0 94159 70 0 0 25 0 4 0 633400409 732819456 123448 33554432000 4194304 4580107 140735562166128 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=715644 CPUtime=933.81 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 126489 0 0 0 93331 50 0 0 25 0 4 0 633400409 732819456 123448 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=715644 CPUtime=942.3 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 203469 0 0 0 94155 75 0 0 25 0 4 0 633400409 732819456 123448 33554432000 4194304 4580107 140735562166128 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.75
Current children cumulated vsize (KiB) 715644

[startup+1002.3 s]
/proc/loadavg: 8.22 8.13 8.00 9/286 19460
/proc/meminfo: memFree=24145396/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=777744 CPUtime=4000.19 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 708071 0 0 0 399753 266 0 0 25 0 4 0 633400408 796409856 129647 33554432000 4194304 4580107 140735562166128 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 194436 129647 379 95 0 189418 0
[pid=19420/tid=19421] ppid=19418 vsize=777744 CPUtime=1002.29 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 195234 0 0 0 100155 74 0 0 25 0 4 0 633400409 796409856 129647 33554432000 4194304 4580107 140735562166128 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=777744 CPUtime=993.26 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 134777 0 0 0 99272 54 0 0 25 0 4 0 633400409 796409856 129647 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=777744 CPUtime=1002.3 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 208534 0 0 0 100152 78 0 0 25 0 4 0 633400409 796409856 129647 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.19
Current children cumulated vsize (KiB) 777744

[startup+1062.3 s]
/proc/loadavg: 8.22 8.13 8.01 9/286 19462
/proc/meminfo: memFree=24149220/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=779160 CPUtime=4239.66 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 736773 0 0 0 423686 280 0 0 25 0 4 0 633400408 797859840 125873 33554432000 4194304 4580107 140735562166128 18446744073709551615 4305633 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 194790 125873 379 95 0 189772 0
[pid=19420/tid=19421] ppid=19418 vsize=779160 CPUtime=1062.3 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 203523 0 0 0 106152 78 0 0 25 0 4 0 633400409 797859840 125873 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=779160 CPUtime=1052.72 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 142378 0 0 0 105215 57 0 0 25 0 4 0 633400409 797859840 125873 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=779160 CPUtime=1062.3 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 216970 0 0 0 106148 82 0 0 25 0 4 0 633400409 797859840 125873 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.66
Current children cumulated vsize (KiB) 779160

[startup+1122.3 s]
/proc/loadavg: 8.14 8.12 8.01 9/286 19463
/proc/meminfo: memFree=24163948/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=780384 CPUtime=4479.12 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 766996 0 0 0 447618 294 0 0 25 0 4 0 633400408 799113216 122730 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 195096 122731 379 95 0 190078 0
[pid=19420/tid=19421] ppid=19418 vsize=780384 CPUtime=1122.3 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 212448 0 0 0 112148 82 0 0 25 0 4 0 633400409 799113216 122731 33554432000 4194304 4580107 140735562166128 18446744073709551615 4305583 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=780384 CPUtime=1112.17 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 150793 0 0 0 111156 61 0 0 25 0 4 0 633400409 799113216 122731 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=780384 CPUtime=1122.31 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 225213 0 0 0 112144 87 0 0 25 0 4 0 633400409 799113216 122731 33554432000 4194304 4580107 140735562166128 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.12
Current children cumulated vsize (KiB) 780384

[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 8.01 9/286 19465
/proc/meminfo: memFree=24131688/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=753244 CPUtime=4718.58 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 800515 0 0 0 471550 308 0 0 25 0 4 0 633400408 771321856 133048 33554432000 4194304 4580107 140735562166128 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 188311 133048 379 95 0 183293 0
[pid=19420/tid=19421] ppid=19418 vsize=753244 CPUtime=1182.3 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 220493 0 0 0 118144 86 0 0 25 0 4 0 633400409 771321856 133048 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=753244 CPUtime=1171.63 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 163313 0 0 0 117098 65 0 0 25 0 4 0 633400409 771321856 133048 33554432000 4194304 4580107 140735562166128 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=753244 CPUtime=1182.3 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 232933 0 0 0 118140 90 0 0 25 0 4 0 633400409 771321856 133048 33554432000 4194304 4580107 140735562166128 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.58
Current children cumulated vsize (KiB) 753244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.7 s]
/proc/loadavg: 8.07 8.10 8.01 6/285 19466
/proc/meminfo: memFree=24344704/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=811308 CPUtime=4800.02 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 803055 0 0 0 479692 310 0 0 25 0 4 0 633400408 830779392 135586 33554432000 4194304 4580107 140735562166128 18446744073709551615 4406476 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 202827 135586 379 95 0 197809 0
[pid=19420/tid=19421] ppid=19418 vsize=811308 CPUtime=1202.71 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 221597 0 0 0 120185 86 0 0 25 0 4 0 633400409 830779392 135586 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=811308 CPUtime=1191.84 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 163313 0 0 0 119119 65 0 0 25 0 4 0 633400409 830779392 135586 33554432000 4194304 4580107 140735562166128 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=811308 CPUtime=1202.71 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 234369 0 0 0 120180 91 0 0 25 0 4 0 633400409 830779392 135586 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 811308

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

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

[startup+1202.7 s]
/proc/loadavg: 8.07 8.10 8.01 6/285 19466
/proc/meminfo: memFree=24344704/32951124 swapFree=67057896/67111528
[pid=19420] ppid=19418 vsize=811308 CPUtime=4800.02 cores=1,3,5,7
/proc/19420/stat : 19420 (strangenight2-m) R 19418 19420 19052 0 -1 4202496 803055 0 0 0 479692 310 0 0 25 0 4 0 633400408 830779392 135586 33554432000 4194304 4580107 140735562166128 18446744073709551615 4406476 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19420/statm: 202827 135586 379 95 0 197809 0
[pid=19420/tid=19421] ppid=19418 vsize=811308 CPUtime=1202.71 cores=1,3,5,7
/proc/19420/task/19421/stat : 19421 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 221597 0 0 0 120185 86 0 0 25 0 4 0 633400409 830779392 135586 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19420/tid=19422] ppid=19418 vsize=811308 CPUtime=1191.84 cores=1,3,5,7
/proc/19420/task/19422/stat : 19422 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 163313 0 0 0 119119 65 0 0 25 0 4 0 633400409 830779392 135586 33554432000 4194304 4580107 140735562166128 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19420/tid=19423] ppid=19418 vsize=811308 CPUtime=1202.71 cores=1,3,5,7
/proc/19420/task/19423/stat : 19423 (strangenight2-m) R 19418 19420 19052 0 -1 4202560 234369 0 0 0 120180 91 0 0 25 0 4 0 633400409 830779392 135586 33554432000 4194304 4580107 140735562166128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 811308

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.74
CPU time (s): 4800.08
CPU user time (s): 4796.95
CPU system time (s): 3.13052
CPU usage (%): 399.096
Max. virtual memory (cumulated for all children) (KiB): 837620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.95
system time used= 3.13052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 803055
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= 325
involuntary context switches= 30499

runsolver used 3.04954 second user time and 7.83581 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-14 23:50:51
IDJOB=3366595
IDBENCH=83004
IDSOLVER=1844
FILE ID=node140/3366595-1305409851
RUNJOBID= node140-1305409851-19398
PBS_JOBID= 13324508
Free space on /tmp= 73480 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366595-1305409851/watcher-3366595-1305409851 -o /tmp/evaluation-result-3366595-1305409851/solver-3366595-1305409851 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366595-1305409851.cnf

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

MD5SUM BENCH= 39542bd0a185b4f7c5fc7900079a2845
RANDOM SEED=757457774

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      25083304 kB
Buffers:        298564 kB
Cached:        3726956 kB
SwapCached:       8056 kB
Active:        4886088 kB
Inactive:      2672276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25083304 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           10924 kB
Writeback:           8 kB
AnonPages:     3529552 kB
Mapped:          23244 kB
Slab:           224512 kB
PageTables:      21920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45647788 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= 73476 MiB
End job on node140 at 2011-05-15 00:10:56