Trace number 3174067

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf
MD5SUM871f75d4bb41b463ca12a7a8837d201b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.057991
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
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 52662
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-3174067-1304081325.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      71 undec:       5 neg:      49
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.00/0.20	c  N st     8      4915       125      2662         0      4671     13310    119185   no data   no data
0.00/0.32	c  N st    10     11301       125      2662         0      4313     13310     88634   no data   no data
0.00/0.53	c  N st    11     17044       125      2662         0      9674     13310    232660   no data   no data
3.20/0.87	c  F st    12     25000       125      2662         0     11905     13310    283358   no data   no data
3.20/0.87	c  N st    12     25000       125      2662         0     11905     13310    283358   no data   no data
3.99/1.07	c Decided on static restart strategy
3.99/1.07	c  N st    18     30002       125      2662         0     10215     13310    230382   no data   no data
3.99/1.07	c  S st    18     30002       125      2662         0     10215     13310    230382   no data   no data
4.39/1.10	c  S st    18     30504       125      2662         0     10700     13310    243025   no data   no data
4.39/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.11	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.39/1.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.78/1.29	c lits-rem:       214  cl-subs:     1348  v-elim:      0  v-fix:    0  time:  0.17 s
5.18/1.33	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.18/1.33	c calculated reachability. Time: 0.00
5.18/1.33	c  N st    18     30504       125      2662         0      9352     13310    204659   no data   no data
6.38/1.68	c  N st    20     37616       125      2662         0      8633     13310    167945   no data   no data
7.96/2.02	c  N st    21     44015       125      2662         0     14645     13310    324126   no data   no data
8.37/2.11	c  S st    22     45756       125      2662         0     16301     13310    368259   no data   no data
8.37/2.16	c  S st    22     46259       125      2662         0     16789     13310    381062   no data   no data
8.37/2.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.37/2.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.37/2.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.37/2.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.37/2.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.37/2.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.37/2.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.37/2.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.59	c lits-rem:       412  cl-subs:     1596  v-elim:      0  v-fix:    0  time:  0.41 s
9.97/2.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.97/2.60	c vivif2 --  cl tried    15193 cl shrink        0 lits rem          0 time: 0.00
10.37/2.65	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.37/2.65	c calculated reachability. Time: 0.00
10.37/2.65	c  N st    22     46259       125      2662         0     15193     13310    336869   no data   no data
13.57/3.47	c  N st    23     60658       125      2662         0     10999     13310    198530   no data   no data
15.56/3.97	c  N st    24     69389       125      2662         0     19230     13310    410962   no data   no data
15.56/3.97	c  S st    24     69389       125      2662         0     19230     13310    410962   no data   no data
15.98/4.02	c  S st    24     69892       125      2662         0     19716     13310    423738   no data   no data
15.98/4.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.98/4.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.98/4.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.98/4.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.98/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.98/4.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.98/4.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.98/4.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.98/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.35/4.68	c lits-rem:       417  cl-subs:     2188  v-elim:      0  v-fix:    0  time:  0.64 s
18.35/4.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.35/4.68	c vivif2 --  cl tried    17528 cl shrink        0 lits rem          0 time: 0.00
18.75/4.74	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.75/4.74	c calculated reachability. Time: 0.00
18.75/4.74	c  N st    24     69892       125      2662         0     17528     13310    364884   no data   no data
23.15/5.88	c  F st    25     87500       125      2662         0     12553     13310    217413   no data   no data
23.15/5.88	c  N st    25     87500       125      2662         0     12553     13310    217413   no data   no data
24.35/6.17	c Decided on static restart strategy
25.17/6.35	c  N st    32     95536       125      2662         0     20138     13310    416147   no data   no data
27.54/6.95	c  N st    34    104838       125      2662         0     16675     13310    316604   no data   no data
27.54/6.95	c  S st    34    104838       125      2662         0     16675     13310    316604   no data   no data
27.94/7.00	c  S st    34    105344       125      2662         0     17163     13310    328968   no data   no data
27.94/7.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.94/7.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.94/7.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.94/7.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.94/7.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.94/7.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.94/7.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.24	c lits-rem:       199  cl-subs:     1206  v-elim:      0  v-fix:    0  time:  0.23 s
28.74/7.24	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.74/7.25	c vivif2 --  cl tried    15957 cl shrink        0 lits rem          0 time: 0.00
29.16/7.31	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
29.16/7.31	c calculated reachability. Time: 0.00
29.16/7.31	c  N st    34    105344       125      2662         0     15957     13310    297584   no data   no data
31.94/8.08	c  N st    35    114943       125      2662         0     25006     13310    529724   no data   no data
35.93/9.09	c  N st    36    129340       125      2662         0     25424     13310    532475   no data   no data
42.75/10.76	c  N st    37    150935       125      2662         0     16537     13310    264175   no data   no data
44.72/11.23	c  S st    38    158017       125      2662         0     23219     13310    434588   no data   no data
44.72/11.28	c  S st    38    158521       125      2662         0     23715     13310    447468   no data   no data
44.72/11.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.72/11.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.72/11.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.72/11.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.72/11.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.72/11.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
44.72/11.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.12/11.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.12/11.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.13/11.82	c lits-rem:       320  cl-subs:     1740  v-elim:      0  v-fix:    0  time:  0.51 s
47.13/11.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
47.13/11.83	c vivif2 --  cl tried    21975 cl shrink        0 lits rem          0 time: 0.00
47.52/11.90	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
47.52/11.91	c calculated reachability. Time: 0.00
47.52/11.91	c  N st    38    158521       125      2662         0     21975     13310    402701   no data   no data
63.90/16.09	c  N st    39    207109       125      2662         0     34659     13310    705133   no data   no data
75.08/18.89	c  N st    40    237783       125      2662         0     26881     13310    483100   no data   no data
75.08/18.89	c  S st    40    237783       125      2662         0     26881     13310    483100   no data   no data
75.48/18.95	c  S st    40    238284       125      2662         0     27370     13310    495481   no data   no data
75.48/18.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.48/18.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.48/18.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.48/18.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.48/18.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.48/18.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
75.48/18.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.48/18.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.48/18.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.28/19.68	c lits-rem:       479  cl-subs:     2144  v-elim:      0  v-fix:    0  time:  0.69 s
78.28/19.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
78.28/19.68	c vivif2 --  cl tried    25226 cl shrink        0 lits rem          0 time: 0.00
78.68/19.78	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
78.68/19.78	c calculated reachability. Time: 0.00
78.68/19.78	c  N st    40    238284       125      2662         0     25226     13310    443158   no data   no data
104.63/26.22	c  F st    41    306250       125      2662         0     27115     13310    449125   no data   no data
104.63/26.22	c  N st    41    306250       125      2662         0     27115     13310    449125   no data   no data
106.64/26.70	c Decided on static restart strategy
116.63/29.29	c  N st    51    334562       125      2662         0     31262     13310    540522   no data   no data
126.23/31.66	c  N st    53    357426       125      2662         0     29324     13310    474329   no data   no data
126.23/31.66	c  S st    53    357426       125      2662         0     29324     13310    474329   no data   no data
126.61/31.73	c  S st    53    357928       125      2662         0     29815     13310    487289   no data   no data
126.61/31.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
126.61/31.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
126.61/31.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
126.61/31.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
126.61/31.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
126.61/31.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
126.61/31.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
126.61/31.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
126.61/31.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.21/32.17	c lits-rem:       259  cl-subs:     1259  v-elim:      0  v-fix:    0  time:  0.41 s
128.21/32.17	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
128.21/32.18	c vivif2 --  cl tried    28556 cl shrink        0 lits rem          0 time: 0.01
128.61/32.29	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
128.61/32.29	c calculated reachability. Time: 0.00
128.61/32.29	c  N st    53    357928       125      2662         0     28556     13310    453101   no data   no data
142.99/35.86	c  N st    54    390320       125      2662         0     34527     13310    590185   no data   no data
168.55/42.24	c  N st    55    438910       125      2662         0     28502     13310    415300   no data   no data
200.11/50.17	c  N st    56    511792       125      2662         0     41656     13310    731447   no data   no data
214.48/53.79	c  N st    57    536892       125      2662         0     36029     13310    566142   no data   no data
214.48/53.79	c  S st    57    536892       125      2662         0     36029     13310    566142   no data   no data
214.88/53.88	c  S st    57    537397       125      2662         0     36520     13310    579319   no data   no data
214.88/53.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
214.88/53.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
214.88/53.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
214.88/53.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
214.88/53.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.88/53.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
214.88/53.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
215.28/53.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
215.28/53.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.69/54.57	c lits-rem:       565  cl-subs:     1655  v-elim:      0  v-fix:    0  time:  0.66 s
217.69/54.57	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
217.69/54.58	c vivif2 --  cl tried    34865 cl shrink        0 lits rem          0 time: 0.01
218.51/54.72	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
218.51/54.72	c calculated reachability. Time: 0.00
218.51/54.72	c  N st    57    537397       125      2662         0     34865     13310    534783   no data   no data
305.98/76.68	c  N st    58    701381       125      2662         0     62642     13310   1213779   no data   no data
369.87/92.64	c  N st    59    806097       125      2662         0     56524     13310    973186   no data   no data
369.87/92.64	c  S st    59    806097       125      2662         0     56524     13310    973186   no data   no data
370.27/92.79	c  S st    59    806602       125      2662         0     57013     13310    986268   no data   no data
370.67/92.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
370.67/92.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
370.67/92.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
370.67/92.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
370.67/92.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
370.67/92.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
370.67/92.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
370.67/92.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
370.67/92.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
389.46/97.51	c lits-rem:      1053  cl-subs:     6519  v-elim:      0  v-fix:    0  time:  4.65 s
389.46/97.51	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
389.46/97.52	c vivif2 --  cl tried    50494 cl shrink        0 lits rem          0 time: 0.01
390.24/97.77	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.25
390.24/97.77	c calculated reachability. Time: 0.00
390.24/97.77	c  N st    59    806602       125      2662         0     50494     13310    835885   no data   no data
552.04/138.21	c  F st    60   1071877       125      2662         0     66393     13310   1180340   no data   no data
552.04/138.21	c  N st    60   1071877       125      2662         0     66393     13310   1180340   no data   no data
556.83/139.43	c Decided on static restart strategy
576.38/144.38	c  N st    70   1100184       125      2662         0     50999     13310    767521   no data   no data
605.95/151.78	c  N st    72   1136178       125      2662         0     84807     13310   1661662   no data   no data
626.74/156.99	c  N st    73   1168571       125      2662         0     71986     13310   1286217   no data   no data
661.89/165.72	c  N st    74   1209904       125      2662         0     66757     13310   1146847   no data   no data
661.89/165.72	c  S st    74   1209904       125      2662         0     66757     13310   1146847   no data   no data
663.07/166.01	c  S st    74   1210407       125      2662         0     67239     13310   1160303   no data   no data
663.07/166.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
663.07/166.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
663.07/166.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
663.07/166.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
663.07/166.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
663.07/166.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
663.07/166.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
663.07/166.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
663.47/166.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
717.79/179.73	c lits-rem:      1773  cl-subs:     5411  v-elim:      0  v-fix:    0  time: 13.61 s
717.79/179.73	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
717.79/179.75	c vivif2 --  cl tried    61828 cl shrink        0 lits rem          0 time: 0.02
719.79/180.26	c asymm  cl-useful: 0/2211/2662 lits-rem:0 time: 0.51
719.79/180.26	c calculated reachability. Time: 0.00
719.79/180.26	c  N st    74   1210407       125      2662         0     61828     13310   1016259   no data   no data
771.74/193.21	c  N st    75   1283290       125      2662         0     85300     13310   1671329   no data   no data
862.40/215.99	c  N st    76   1392613       125      2662         0     94728     13310   1823034   no data   no data
995.83/249.35	c  N st    77   1556598       125      2662         0     51716     13310    637641   no data   no data
1122.83/281.15	c  N st    78   1710408       125      2662         0     91546     13310   1645691   no data   no data
1122.83/281.15	c  S st    78   1710408       125      2662         0     91546     13310   1645691   no data   no data
1124.04/281.43	c  S st    78   1710911       125      2662         0     92028     13310   1658734   no data   no data
1124.04/281.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1124.04/281.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1124.04/281.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1124.04/281.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1124.04/281.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1124.04/281.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1124.04/281.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1124.43/281.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1124.43/281.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1237.50/309.80	c lits-rem:      3708  cl-subs:    11184  v-elim:      0  v-fix:    0  time: 28.25 s
1237.50/309.80	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1237.50/309.83	c vivif2 --  cl tried    80844 cl shrink        0 lits rem          0 time: 0.03
1239.87/310.43	c asymm  cl-useful: 0/1844/2662 lits-rem:0 time: 0.60
1239.87/310.43	c calculated reachability. Time: 0.00
1239.87/310.43	c  N st    78   1710911       125      2662         0     80844     13310   1387942   no data   no data
1590.19/398.13	c  N st    79   2079876       125      2662         0     92929     13310   1631567   no data   no data
1706.44/427.23	c  N st    80   2210912       125      2662         0     96907     13310   1681223   no data   no data
1706.44/427.23	c  S st    80   2210912       125      2662         0     96907     13310   1681223   no data   no data
1707.65/427.55	c  S st    80   2211417       125      2662         0     97397     13310   1694014   no data   no data
1707.65/427.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1708.06/427.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1708.06/427.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1708.06/427.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1708.06/427.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1708.06/427.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1708.06/427.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1708.06/427.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1708.06/427.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1767.95/442.66	c lits-rem:      2412  cl-subs:     9507  v-elim:      0  v-fix:    0  time: 14.97 s
1767.95/442.66	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1767.95/442.68	c vivif2 --  cl tried    87890 cl shrink        0 lits rem          0 time: 0.02
1768.75/442.88	c asymm  cl-useful: 0/818/2662 lits-rem:0 time: 0.20
1768.75/442.88	c calculated reachability. Time: 0.00
1768.75/442.88	c  N st    80   2211417       125      2662         0     87890     13310   1461647   no data   no data
2312.01/578.81	c  N st    81   2711419       125      2662         0    110039     13310   1897115   no data   no data
2312.01/578.81	c  S st    81   2711419       125      2662         0    110039     13310   1897115   no data   no data
2313.20/579.17	c  S st    81   2711922       125      2662         0    110532     13310   1910224   no data   no data
2313.20/579.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2313.60/579.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2313.60/579.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2313.60/579.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2313.60/579.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2313.60/579.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2313.60/579.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2313.60/579.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2314.02/579.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2396.29/599.99	c lits-rem:      2460  cl-subs:    12300  v-elim:      0  v-fix:    0  time: 20.68 s
2396.29/599.99	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2396.69/600.02	c vivif2 --  cl tried    98232 cl shrink        0 lits rem          0 time: 0.02
2397.91/600.37	c asymm  cl-useful: 0/1556/2662 lits-rem:0 time: 0.35
2397.91/600.38	c calculated reachability. Time: 0.00
2397.91/600.38	c  N st    81   2711922       125      2662         0     98232     13310   1633157   no data   no data
3031.41/758.99	c  N st    82   3211923       125      2662         0     75957     13310    931449   no data   no data
3031.41/758.99	c  S st    82   3211923       125      2662         0     75957     13310    931449   no data   no data
3032.61/759.21	c  S st    82   3212425       125      2662         0     76440     13310    944627   no data   no data
3032.61/759.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3032.61/759.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3032.61/759.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3032.61/759.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3032.61/759.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3032.61/759.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3032.61/759.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3032.61/759.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3032.61/759.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3035.40/759.98	c lits-rem:       104  cl-subs:      937  v-elim:      0  v-fix:    0  time:  0.69 s
3035.40/759.98	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3035.40/759.99	c vivif2 --  cl tried    75503 cl shrink        0 lits rem          0 time: 0.01
3036.60/760.20	c asymm  cl-useful: 0/1106/2662 lits-rem:0 time: 0.21
3036.60/760.21	c calculated reachability. Time: 0.00
3036.60/760.21	c  N st    82   3212425       125      2662         0     75503     13310    922850   no data   no data
3623.42/907.12	c  N st    83   3712426       125      2662         0     85663     13310   1103072   no data   no data
3623.42/907.12	c  S st    83   3712426       125      2662         0     85663     13310   1103072   no data   no data
3624.20/907.37	c  S st    83   3712934       125      2662         0     86157     13310   1116479   no data   no data
3624.20/907.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3624.60/907.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3624.60/907.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3624.60/907.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3624.60/907.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3624.60/907.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3624.60/907.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3624.60/907.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3624.60/907.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3630.19/908.85	c lits-rem:       295  cl-subs:     1755  v-elim:      0  v-fix:    0  time:  1.38 s
3630.19/908.85	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3630.19/908.87	c vivif2 --  cl tried    84402 cl shrink        0 lits rem          0 time: 0.02
3631.39/909.19	c asymm  cl-useful: 0/1764/2662 lits-rem:0 time: 0.32
3631.79/909.20	c calculated reachability. Time: 0.00
3631.79/909.20	c  N st    83   3712934       125      2662         0     84402     13310   1075763   no data   no data
3670.13/918.83	c  F st    84   3751562       125      2662         0    120661     13310   2046485   no data   no data
3670.13/918.83	c  N st    84   3751562       125      2662         0    120661     13310   2046485   no data   no data
3676.92/920.53	c Decided on static restart strategy
3710.89/929.02	c  N st    94   3779863       125      2662         0    147303     13310   2762888   no data   no data
3752.82/939.56	c  N st    96   3815858       125      2662         0    101673     13310   1519976   no data   no data
3798.36/950.95	c  N st    97   3848250       125      2662         0    131883     13310   2315608   no data   no data
3863.07/967.11	c  N st    98   3896838       125      2662         0     97170     13310   1384549   no data   no data
3974.93/995.18	c  N st    99   3969721       125      2662         0     84038     13310   1005800   no data   no data
4133.51/1034.84	c  N st   100   4079044       125      2662         0    103785     13310   1496248   no data   no data
4316.85/1080.71	c  N st   101   4212934       125      2662         0    145500     13310   2563017   no data   no data
4316.85/1080.71	c  S st   101   4212934       125      2662         0    145500     13310   2563017   no data   no data
4318.44/1081.19	c  S st   101   4213436       125      2662         0    145987     13310   2576217   no data   no data
4318.84/1081.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4318.84/1081.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4318.84/1081.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4318.84/1081.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4318.84/1081.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4318.84/1081.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4318.84/1081.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4319.24/1081.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4319.63/1081.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4495.00/1125.32	c lits-rem:      3968  cl-subs:    17442  v-elim:      0  v-fix:    0  time: 43.92 s
4495.00/1125.32	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4495.00/1125.35	c vivif2 --  cl tried   128545 cl shrink        0 lits rem          0 time: 0.03
4496.60/1125.71	c asymm  cl-useful: 0/898/2662 lits-rem:0 time: 0.36
4496.60/1125.71	c calculated reachability. Time: 0.00
4496.60/1125.72	c  N st   101   4213436       125      2662         0    128545     13310   2165367   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3174067-1304081325/watcher-3174067-1304081325 -o /tmp/evaluation-result-3174067-1304081325/solver-3174067-1304081325 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174067-1304081325.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: 8.00 8.03 8.00 6/180 29105
/proc/meminfo: memFree=30497904/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 519730479 52441088 353 33554432000 4194304 4627427 140735827913872 18446744073709551615 228244348859 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 12803 353 303 106 0 7774 0
[pid=29105/tid=29106] ppid=29103 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519730479 52441088 353 33554432000 4194304 4627427 140735827913872 18446744073709551615 47021990324150 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519730479 52441088 353 33554432000 4194304 4627427 140735827913872 18446744073709551615 228239395926 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519730479 52441088 353 33554432000 4194304 4627427 140735827913872 18446744073709551615 228239395926 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.806491 s]
/proc/loadavg: 8.00 8.03 8.00 6/180 29105
/proc/meminfo: memFree=30497904/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=285280 CPUtime=3.2 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 5861 0 0 0 319 1 0 0 25 0 4 0 519730479 292126720 2954 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 71320 2954 384 106 0 66291 0
[pid=29105/tid=29106] ppid=29103 vsize=285280 CPUtime=0.79 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1417 0 0 0 79 0 0 0 19 0 4 0 519730479 292126720 2954 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=285280 CPUtime=0.79 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1350 0 0 0 79 0 0 0 18 0 4 0 519730479 292126720 2954 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=285280 CPUtime=0.79 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1267 0 0 0 79 0 0 0 19 0 4 0 519730479 292126720 2954 33554432000 4194304 4627427 140735827913872 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 285280

[startup+0.906473 s]
/proc/loadavg: 8.00 8.03 8.00 6/180 29105
/proc/meminfo: memFree=30497904/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=285576 CPUtime=3.6 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 6215 0 0 0 359 1 0 0 25 0 4 0 519730479 292429824 3308 33554432000 4194304 4627427 140735827913872 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 71394 3308 385 106 0 66365 0
[pid=29105/tid=29106] ppid=29103 vsize=285576 CPUtime=0.89 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1521 0 0 0 89 0 0 0 19 0 4 0 519730479 292429824 3308 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=285576 CPUtime=0.89 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1407 0 0 0 89 0 0 0 19 0 4 0 519730479 292429824 3308 33554432000 4194304 4627427 140735827913872 18446744073709551615 4321364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=285576 CPUtime=0.89 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1368 0 0 0 89 0 0 0 19 0 4 0 519730479 292429824 3308 33554432000 4194304 4627427 140735827913872 18446744073709551615 4333350 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 285576

[startup+1.00646 s]
/proc/loadavg: 8.00 8.03 8.00 6/180 29105
/proc/meminfo: memFree=30497904/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=285988 CPUtime=3.99 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 7213 0 0 0 398 1 0 0 25 0 4 0 519730479 292851712 2878 33554432000 4194304 4627427 140735827913872 18446744073709551615 4302476 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 71497 2878 385 106 0 66468 0
[pid=29105/tid=29106] ppid=29103 vsize=285988 CPUtime=0.99 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1759 0 0 0 99 0 0 0 19 0 4 0 519730479 292851712 2878 33554432000 4194304 4627427 140735827913872 18446744073709551615 4332756 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=285988 CPUtime=0.99 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1670 0 0 0 99 0 0 0 19 0 4 0 519730479 292851712 2878 33554432000 4194304 4627427 140735827913872 18446744073709551615 4324721 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=285988 CPUtime=0.99 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1613 0 0 0 99 0 0 0 19 0 4 0 519730479 292851712 2878 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 285988

[startup+1.10644 s]
/proc/loadavg: 8.00 8.03 8.00 6/180 29105
/proc/meminfo: memFree=30497904/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=285988 CPUtime=4.39 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 7483 0 0 0 438 1 0 0 25 0 4 0 519730479 292851712 3148 33554432000 4194304 4627427 140735827913872 18446744073709551615 4332856 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 71497 3148 385 106 0 66468 0
[pid=29105/tid=29106] ppid=29103 vsize=285988 CPUtime=1.09 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1827 0 0 0 109 0 0 0 19 0 4 0 519730479 292851712 3148 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=285988 CPUtime=1.09 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1737 0 0 0 109 0 0 0 19 0 4 0 519730479 292851712 3148 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=285988 CPUtime=1.09 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 1682 0 0 0 109 0 0 0 19 0 4 0 519730479 292851712 3148 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 285988

[startup+1.50037 s]
/proc/loadavg: 8.00 8.03 8.00 6/180 29105
/proc/meminfo: memFree=30497904/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=286180 CPUtime=5.98 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 11541 0 0 0 596 2 0 0 25 0 4 0 519730479 293048320 5946 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 71545 5946 388 106 0 66516 0
[pid=29105/tid=29106] ppid=29103 vsize=286180 CPUtime=1.48 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 3461 0 0 0 148 0 0 0 20 0 4 0 519730479 293048320 5946 33554432000 4194304 4627427 140735827913872 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=286180 CPUtime=1.49 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 2165 0 0 0 149 0 0 0 20 0 4 0 519730479 293048320 5946 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=286180 CPUtime=1.49 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 2125 0 0 0 149 0 0 0 20 0 4 0 519730479 293048320 5946 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 286180

[startup+3.10109 s]
/proc/loadavg: 8.08 8.04 8.01 9/184 29109
/proc/meminfo: memFree=30451000/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=286108 CPUtime=12.36 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 21087 0 0 0 1233 3 0 0 25 0 4 0 519730479 292974592 11067 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 71527 11067 388 106 0 66498 0
[pid=29105/tid=29106] ppid=29103 vsize=286108 CPUtime=3.09 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 4662 0 0 0 308 1 0 0 25 0 4 0 519730479 292974592 11067 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=286108 CPUtime=3.08 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 5406 0 0 0 308 0 0 0 25 0 4 0 519730479 292974592 11067 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=286108 CPUtime=3.07 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 5160 0 0 0 307 0 0 0 25 0 4 0 519730479 292974592 11067 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286108

[startup+6.30653 s]
/proc/loadavg: 8.08 8.04 8.00 9/184 29110
/proc/meminfo: memFree=30427236/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=286936 CPUtime=25.17 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 32298 0 0 0 2512 5 0 0 25 0 4 0 519730479 293822464 15463 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 71734 15463 388 106 0 66705 0
[pid=29105/tid=29106] ppid=29103 vsize=286936 CPUtime=6.29 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 8266 0 0 0 628 1 0 0 25 0 4 0 519730479 293822464 15463 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=286936 CPUtime=6.29 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 8440 0 0 0 629 0 0 0 25 0 4 0 519730479 293822464 15463 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=286936 CPUtime=6.26 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 7449 0 0 0 625 1 0 0 25 0 4 0 519730479 293822464 15463 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 286936

[startup+12.7004 s]
/proc/loadavg: 8.07 8.04 8.00 9/184 29110
/proc/meminfo: memFree=30406788/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=293932 CPUtime=50.72 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 48952 0 0 0 5062 10 0 0 25 0 4 0 519730479 300986368 19776 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 73483 19776 388 106 0 68454 0
[pid=29105/tid=29106] ppid=29103 vsize=293932 CPUtime=12.69 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 12660 0 0 0 1267 2 0 0 25 0 4 0 519730479 300986368 19776 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=293932 CPUtime=12.68 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 12323 0 0 0 1266 2 0 0 25 0 4 0 519730479 300986368 19776 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=293932 CPUtime=12.63 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 12260 0 0 0 1261 2 0 0 25 0 4 0 519730479 300986368 19776 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 293932

[startup+25.5012 s]
/proc/loadavg: 8.06 8.04 8.00 9/184 29110
/proc/meminfo: memFree=30352100/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=288144 CPUtime=101.84 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 74265 0 0 0 10167 17 0 0 25 0 4 0 519730479 295059456 27669 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 72036 27669 388 106 0 67007 0
[pid=29105/tid=29106] ppid=29103 vsize=288144 CPUtime=25.49 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 19859 0 0 0 2545 4 0 0 25 0 4 0 519730479 295059456 27669 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=288144 CPUtime=25.48 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 19164 0 0 0 2544 4 0 0 25 0 4 0 519730479 295059456 27669 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=288144 CPUtime=25.35 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 18708 0 0 0 2532 3 0 0 25 0 4 0 519730479 295059456 27669 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 288144

[startup+51.1007 s]
/proc/loadavg: 8.04 8.03 8.00 9/184 29111
/proc/meminfo: memFree=30351544/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=354660 CPUtime=204.1 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 109863 0 0 0 20383 27 0 0 25 0 4 0 519730479 363171840 35173 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 88665 35173 388 106 0 83636 0
[pid=29105/tid=29106] ppid=29103 vsize=354660 CPUtime=51.09 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 30050 0 0 0 5102 7 0 0 25 0 4 0 519730479 363171840 35173 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=354660 CPUtime=51.08 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 29290 0 0 0 5101 7 0 0 25 0 4 0 519730479 363171840 35173 33554432000 4194304 4627427 140735827913872 18446744073709551615 4322566 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=354660 CPUtime=50.81 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 27771 0 0 0 5075 6 0 0 25 0 4 0 519730479 363171840 35173 33554432000 4194304 4627427 140735827913872 18446744073709551615 4332156 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 354660

[startup+102.301 s]
/proc/loadavg: 8.01 8.03 8.00 9/184 29112
/proc/meminfo: memFree=30318236/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=313844 CPUtime=408.61 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 165902 0 0 0 40819 42 0 0 25 0 4 0 519730479 321376256 41390 33554432000 4194304 4627427 140735827913872 18446744073709551615 4310105 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 78461 41390 388 106 0 73432 0
[pid=29105/tid=29106] ppid=29103 vsize=313844 CPUtime=102.29 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 43054 0 0 0 10219 10 0 0 25 0 4 0 519730479 321376256 41390 33554432000 4194304 4627427 140735827913872 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=313844 CPUtime=102.28 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 41329 0 0 0 10217 11 0 0 25 0 4 0 519730479 321376256 41390 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=313844 CPUtime=101.73 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 44846 0 0 0 10163 10 0 0 25 0 4 0 519730479 321376256 41390 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 313844

[startup+162.3 s]

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

[pid=29105] ppid=29103 vsize=682576 CPUtime=2805.33 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 499512 0 0 0 280366 167 0 0 25 0 4 0 519730479 698957824 109626 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 170644 109626 388 106 0 165615 0
[pid=29105/tid=29106] ppid=29103 vsize=682576 CPUtime=702.3 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 130863 0 0 0 70187 43 0 0 25 0 4 0 519730479 698957824 109626 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=682576 CPUtime=702.24 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 134860 0 0 0 70178 46 0 0 25 0 4 0 519730479 698957824 109626 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=682576 CPUtime=698.48 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 97369 0 0 0 69820 28 0 0 25 0 4 0 519730479 698957824 109626 33554432000 4194304 4627427 140735827913872 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 682576

[startup+762.3 s]
/proc/loadavg: 8.08 8.06 8.00 9/184 29170
/proc/meminfo: memFree=30121880/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=695924 CPUtime=3044.98 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 527258 0 0 0 304321 177 0 0 25 0 4 0 519730479 712626176 115602 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 173981 115602 388 106 0 168952 0
[pid=29105/tid=29106] ppid=29103 vsize=695924 CPUtime=762.3 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 137498 0 0 0 76185 45 0 0 25 0 4 0 519730479 712626176 115602 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=695924 CPUtime=762.22 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 142766 0 0 0 76174 48 0 0 25 0 4 0 519730479 712626176 115602 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=695924 CPUtime=758.14 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 102095 0 0 0 75784 30 0 0 25 0 4 0 519730479 712626176 115602 33554432000 4194304 4627427 140735827913872 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.98
Current children cumulated vsize (KiB) 695924

[startup+822.301 s]
/proc/loadavg: 8.11 8.08 8.01 9/184 29171
/proc/meminfo: memFree=30115212/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=696704 CPUtime=3284.66 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 550883 0 0 0 328280 186 0 0 25 0 4 0 519730479 713424896 119212 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 174176 119212 388 106 0 169147 0
[pid=29105/tid=29106] ppid=29103 vsize=696704 CPUtime=822.3 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 144165 0 0 0 82182 48 0 0 25 0 4 0 519730479 713424896 119212 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=696704 CPUtime=822.22 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 151821 0 0 0 82171 51 0 0 25 0 4 0 519730479 713424896 119212 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=696704 CPUtime=817.82 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 102542 0 0 0 81752 30 0 0 25 0 4 0 519730479 713424896 119212 33554432000 4194304 4627427 140735827913872 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 696704

[startup+882.3 s]
/proc/loadavg: 8.24 8.12 8.03 9/184 29173
/proc/meminfo: memFree=30117108/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=632024 CPUtime=3524.33 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 572598 0 0 0 352239 194 0 0 25 0 4 0 519730479 647192576 114353 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 158006 114353 388 106 0 152977 0
[pid=29105/tid=29106] ppid=29103 vsize=632024 CPUtime=882.3 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 149545 0 0 0 88180 50 0 0 25 0 4 0 519730479 647192576 114353 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=632024 CPUtime=882.22 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 159056 0 0 0 88168 54 0 0 25 0 4 0 519730479 647192576 114353 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=632024 CPUtime=877.5 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 102622 0 0 0 87719 31 0 0 25 0 4 0 519730479 647192576 114353 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 632024

[startup+942.301 s]
/proc/loadavg: 8.21 8.13 8.03 10/185 29177
/proc/meminfo: memFree=30080492/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=646436 CPUtime=3764.02 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 595844 0 0 0 376198 204 0 0 25 0 4 0 519730479 661950464 116303 33554432000 4194304 4627427 140735827913872 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 161609 116303 388 106 0 156580 0
[pid=29105/tid=29106] ppid=29103 vsize=646436 CPUtime=942.31 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 157046 0 0 0 94177 54 0 0 25 0 4 0 519730479 661950464 116303 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=646436 CPUtime=942.22 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 166019 0 0 0 94165 57 0 0 25 0 4 0 519730479 661950464 116303 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=646436 CPUtime=937.17 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 102786 0 0 0 93686 31 0 0 25 0 4 0 519730479 661950464 116303 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 646436

[startup+1002.3 s]
/proc/loadavg: 8.25 8.17 8.05 9/184 29179
/proc/meminfo: memFree=30047276/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=698660 CPUtime=4003.67 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 618617 0 0 0 400153 214 0 0 25 0 4 0 519730479 715427840 119522 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 174665 119522 388 106 0 169636 0
[pid=29105/tid=29106] ppid=29103 vsize=698660 CPUtime=1002.31 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 164554 0 0 0 100174 57 0 0 25 0 4 0 519730479 715427840 119522 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=698660 CPUtime=1002.21 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 173592 0 0 0 100161 60 0 0 25 0 4 0 519730479 715427840 119522 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=698660 CPUtime=996.84 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 103247 0 0 0 99653 31 0 0 25 0 4 0 519730479 715427840 119522 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 698660

[startup+1062.31 s]
/proc/loadavg: 8.13 8.15 8.05 9/184 29181
/proc/meminfo: memFree=29967776/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=699404 CPUtime=4243.36 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 640026 0 0 0 424114 222 0 0 25 0 4 0 519730479 716189696 125751 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 174851 125751 388 106 0 169822 0
[pid=29105/tid=29106] ppid=29103 vsize=699404 CPUtime=1062.31 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 171330 0 0 0 106171 60 0 0 25 0 4 0 519730479 716189696 125751 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=699404 CPUtime=1062.21 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 180744 0 0 0 106158 63 0 0 25 0 4 0 519730479 716189696 125751 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=699404 CPUtime=1056.52 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 103658 0 0 0 105621 31 0 0 25 0 4 0 519730479 716189696 125751 33554432000 4194304 4627427 140735827913872 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 699404

[startup+1122.3 s]
/proc/loadavg: 8.14 8.15 8.06 9/184 29182
/proc/meminfo: memFree=29962372/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=754908 CPUtime=4483.01 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 654111 0 0 0 448074 227 0 0 25 0 4 0 519730479 773025792 128893 33554432000 4194304 4627427 140735827913872 18446744073709551615 4467838 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 188727 128893 388 106 0 183698 0
[pid=29105/tid=29106] ppid=29103 vsize=754908 CPUtime=1122.3 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 173009 0 0 0 112169 61 0 0 25 0 4 0 519730479 773025792 128893 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=754908 CPUtime=1122.2 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 185653 0 0 0 112154 66 0 0 25 0 4 0 519730479 773025792 128893 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=754908 CPUtime=1116.19 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 103857 0 0 0 111588 31 0 0 25 0 4 0 519730479 773025792 128893 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 754908

[startup+1182.3 s]
/proc/loadavg: 8.11 8.14 8.06 9/184 29184
/proc/meminfo: memFree=29955936/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=769928 CPUtime=4722.69 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 671125 0 0 0 472032 237 0 0 25 0 4 0 519730479 788406272 129492 33554432000 4194304 4627427 140735827913872 18446744073709551615 4324205 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 192482 129492 388 106 0 187453 0
[pid=29105/tid=29106] ppid=29103 vsize=769928 CPUtime=1182.3 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 178358 0 0 0 118168 62 0 0 25 0 4 0 519730479 788406272 129492 33554432000 4194304 4627427 140735827913872 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=769928 CPUtime=1182.19 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 192407 0 0 0 118150 69 0 0 25 0 4 0 519730479 788406272 129492 33554432000 4194304 4627427 140735827913872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=769928 CPUtime=1175.86 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 104129 0 0 0 117555 31 0 0 25 0 4 0 519730479 788406272 129492 33554432000 4194304 4627427 140735827913872 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.69
Current children cumulated vsize (KiB) 769928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.13 8.05 9/184 29184
/proc/meminfo: memFree=29901592/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=714080 CPUtime=4800.2 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 680040 0 0 0 479780 240 0 0 25 0 4 0 519730479 731217920 134827 33554432000 4194304 4627427 140735827913872 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 178520 134827 388 106 0 173491 0
[pid=29105/tid=29106] ppid=29103 vsize=714080 CPUtime=1201.71 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 178358 0 0 0 120109 62 0 0 25 0 4 0 519730479 731217920 134827 33554432000 4194304 4627427 140735827913872 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=714080 CPUtime=1201.59 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 199070 0 0 0 120088 71 0 0 25 0 4 0 519730479 731217920 134827 33554432000 4194304 4627427 140735827913872 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=714080 CPUtime=1195.16 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 104129 0 0 0 119485 31 0 0 25 0 4 0 519730479 731217920 134827 33554432000 4194304 4627427 140735827913872 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 714080

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

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

[startup+1201.7 s]
/proc/loadavg: 8.08 8.13 8.05 9/184 29184
/proc/meminfo: memFree=29901592/32951124 swapFree=67111364/67111528
[pid=29105] ppid=29103 vsize=714080 CPUtime=4800.2 cores=0,2,4,6
/proc/29105/stat : 29105 (strangenight2-m) R 29103 29105 28877 0 -1 4202496 680040 0 0 0 479780 240 0 0 25 0 4 0 519730479 731217920 134827 33554432000 4194304 4627427 140735827913872 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29105/statm: 178520 134827 388 106 0 173491 0
[pid=29105/tid=29106] ppid=29103 vsize=714080 CPUtime=1201.71 cores=0,2,4,6
/proc/29105/task/29106/stat : 29106 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 178358 0 0 0 120109 62 0 0 25 0 4 0 519730479 731217920 134827 33554432000 4194304 4627427 140735827913872 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29105/tid=29107] ppid=29103 vsize=714080 CPUtime=1201.59 cores=0,2,4,6
/proc/29105/task/29107/stat : 29107 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 199070 0 0 0 120088 71 0 0 25 0 4 0 519730479 731217920 134827 33554432000 4194304 4627427 140735827913872 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29105/tid=29108] ppid=29103 vsize=714080 CPUtime=1195.16 cores=0,2,4,6
/proc/29105/task/29108/stat : 29108 (strangenight2-m) R 29103 29105 28877 0 -1 4202560 104129 0 0 0 119485 31 0 0 25 0 4 0 519730479 731217920 134827 33554432000 4194304 4627427 140735827913872 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 714080

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.26
CPU user time (s): 4797.83
CPU system time (s): 2.43063
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 810184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.83
system time used= 2.43063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 680041
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= 258
involuntary context switches= 20385

runsolver used 1.90471 second user time and 4.66129 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 14:48:45
IDJOB=3174067
IDBENCH=82885
IDSOLVER=1586
FILE ID=node136/3174067-1304081325
RUNJOBID= node136-1304078917-28895
PBS_JOBID= 13170526
Free space on /tmp= 72328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174067-1304081325/watcher-3174067-1304081325 -o /tmp/evaluation-result-3174067-1304081325/solver-3174067-1304081325 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174067-1304081325.cnf

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

MD5SUM BENCH= 871f75d4bb41b463ca12a7a8837d201b
RANDOM SEED=518791895

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30498192 kB
Buffers:        568020 kB
Cached:         926812 kB
SwapCached:          0 kB
Active:         580536 kB
Inactive:      1447616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30498192 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5836 kB
Writeback:           0 kB
AnonPages:      532628 kB
Mapped:          15504 kB
Slab:           359636 kB
PageTables:       5860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   797180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72324 MiB
End job on node136 at 2011-04-29 15:08:49