Trace number 3174280

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf
MD5SUM26e1db2f130e6076b57fb074a1167d5e
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 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-3174280-1304116973.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.00/0.02	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.40/0.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.40/0.12	c Finding binary XORs  T:     0.00 s  found:       0
0.40/0.12	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.40/0.12	c calculated reachability. Time: 0.00
0.40/0.12	c Calc default polars -  time:   0.00 s pos:      66 undec:       2 neg:      57
0.40/0.12	c =========================================================================================
0.40/0.12	c types(t): F = full restart, N = normal restart
0.40/0.12	c types(t): S = simplification begin/end, E = solution found
0.40/0.12	c restart types(rt): st = static, dy = dynamic
0.40/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.40/0.12	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.40/0.12	c Decided on static restart strategy
0.77/0.22	c  N st     8      4929       125      2662         0      4659     13310    124804   no data   no data
1.17/0.35	c  N st    10     11311       125      2662         0      4287     13310     87185   no data   no data
1.97/0.55	c  N st    11     17054       125      2662         0      9704     13310    225762   no data   no data
3.18/0.86	c  F st    12     25002       125      2662         0     11887     13310    277770   no data   no data
3.18/0.86	c  N st    12     25002       125      2662         0     11887     13310    277770   no data   no data
3.98/1.08	c Decided on static restart strategy
3.98/1.08	c  N st    18     30001       125      2662         0     10187     13310    223859   no data   no data
3.98/1.08	c  S st    18     30001       125      2662         0     10187     13310    223859   no data   no data
4.39/1.12	c  S st    18     30503       125      2662         0     10675     13310    236390   no data   no data
4.39/1.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.12	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.39/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.31	c lits-rem:       270  cl-subs:     1576  v-elim:      0  v-fix:    0  time:  0.18 s
5.16/1.35	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.16/1.35	c calculated reachability. Time: 0.00
5.16/1.35	c  N st    18     30503       125      2662         0      9099     13310    193989   no data   no data
6.37/1.68	c  N st    20     37615       125      2662         0      8416     13310    161147   no data   no data
7.56/1.97	c  N st    21     44015       125      2662         0     14465     13310    322760   no data   no data
7.96/2.06	c  S st    22     45755       125      2662         0     16085     13310    363804   no data   no data
8.36/2.11	c  S st    22     46258       125      2662         0     16566     13310    376333   no data   no data
8.36/2.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.36/2.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.36/2.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.36/2.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.36/2.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.36/2.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.36/2.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.36/2.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.36/2.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.56	c lits-rem:       345  cl-subs:     1745  v-elim:      0  v-fix:    0  time:  0.43 s
9.96/2.56	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.96/2.56	c vivif2 --  cl tried    14821 cl shrink        0 lits rem          0 time: 0.00
10.36/2.62	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.36/2.62	c calculated reachability. Time: 0.00
10.36/2.62	c  N st    22     46258       125      2662         0     14821     13310    328525   no data   no data
13.17/3.37	c  N st    23     60655       125      2662         0     10628     13310    188446   no data   no data
15.15/3.85	c  N st    24     69387       125      2662         0     18790     13310    402113   no data   no data
15.15/3.85	c  S st    24     69387       125      2662         0     18790     13310    402113   no data   no data
15.55/3.90	c  S st    24     69893       125      2662         0     19281     13310    414481   no data   no data
15.55/3.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
15.55/3.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.55/3.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
15.55/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.97/4.54	c lits-rem:       565  cl-subs:     2079  v-elim:      0  v-fix:    0  time:  0.61 s
17.97/4.54	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.97/4.54	c vivif2 --  cl tried    17202 cl shrink        0 lits rem          0 time: 0.00
18.34/4.60	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.34/4.60	c calculated reachability. Time: 0.00
18.34/4.60	c  N st    24     69893       125      2662         0     17202     13310    357921   no data   no data
22.37/5.66	c  F st    25     87503       125      2662         0     12270     13310    209810   no data   no data
22.37/5.66	c  N st    25     87503       125      2662         0     12270     13310    209810   no data   no data
23.54/5.93	c Decided on static restart strategy
24.34/6.11	c  N st    32     95541       125      2662         0     19781     13310    407407   no data   no data
26.76/6.71	c  N st    34    104839       125      2662         0     16376     13310    311137   no data   no data
26.76/6.71	c  S st    34    104839       125      2662         0     16376     13310    311137   no data   no data
26.76/6.75	c  S st    34    105342       125      2662         0     16868     13310    324201   no data   no data
26.76/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.76/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.76/6.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.76/6.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.76/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
26.76/6.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.76/6.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.76/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.98	c lits-rem:       238  cl-subs:     1096  v-elim:      0  v-fix:    0  time:  0.21 s
27.54/6.98	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.54/6.98	c vivif2 --  cl tried    15772 cl shrink        0 lits rem          0 time: 0.00
27.93/7.04	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
27.93/7.04	c calculated reachability. Time: 0.00
27.93/7.04	c  N st    34    105342       125      2662         0     15772     13310    295262   no data   no data
30.76/7.74	c  N st    35    114941       125      2662         0     24769     13310    530584   no data   no data
34.73/8.74	c  N st    36    129339       125      2662         0     25242     13310    529969   no data   no data
41.12/10.32	c  N st    37    150934       125      2662         0     16357     13310    258400   no data   no data
43.11/10.80	c  S st    38    158013       125      2662         0     22958     13310    428836   no data   no data
43.11/10.86	c  S st    38    158516       125      2662         0     23446     13310    441354   no data   no data
43.11/10.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.11/10.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.11/10.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.11/10.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.11/10.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.11/10.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.11/10.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.11/10.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.11/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.51/11.41	c lits-rem:       487  cl-subs:     1918  v-elim:      0  v-fix:    0  time:  0.53 s
45.51/11.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.51/11.42	c vivif2 --  cl tried    21528 cl shrink        0 lits rem          0 time: 0.00
45.91/11.50	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
45.91/11.50	c calculated reachability. Time: 0.00
45.91/11.50	c  N st    38    158516       125      2662         0     21528     13310    391661   no data   no data
61.91/15.54	c  N st    39    207105       125      2662         0     34380     13310    695948   no data   no data
72.68/18.25	c  N st    40    237774       125      2662         0     26564     13310    468491   no data   no data
72.68/18.25	c  S st    40    237774       125      2662         0     26564     13310    468491   no data   no data
73.08/18.32	c  S st    40    238278       125      2662         0     27054     13310    481316   no data   no data
73.08/18.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
73.08/18.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
73.08/18.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
73.08/18.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
73.08/18.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
73.08/18.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
73.08/18.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.08/18.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
73.08/18.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.87/19.03	c lits-rem:       453  cl-subs:     2229  v-elim:      0  v-fix:    0  time:  0.67 s
75.87/19.03	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
75.87/19.03	c vivif2 --  cl tried    24825 cl shrink        0 lits rem          0 time: 0.00
76.27/19.13	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
76.27/19.13	c calculated reachability. Time: 0.00
76.27/19.13	c  N st    40    238278       125      2662         0     24825     13310    429437   no data   no data
102.23/25.60	c  F st    41    306253       125      2662         0     26591     13310    422673   no data   no data
102.23/25.61	c  N st    41    306253       125      2662         0     26591     13310    422673   no data   no data
103.83/26.06	c Decided on static restart strategy
113.82/28.58	c  N st    51    334559       125      2662         0     30900     13310    538332   no data   no data
124.20/31.14	c  N st    53    357418       125      2662         0     28906     13310    457398   no data   no data
124.20/31.14	c  S st    53    357418       125      2662         0     28906     13310    457398   no data   no data
124.60/31.22	c  S st    53    357921       125      2662         0     29403     13310    470681   no data   no data
124.60/31.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.60/31.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
124.60/31.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124.60/31.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.60/31.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.60/31.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
124.60/31.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.60/31.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
124.60/31.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
126.20/31.61	c lits-rem:       516  cl-subs:     1280  v-elim:      0  v-fix:    0  time:  0.36 s
126.20/31.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
126.20/31.61	c vivif2 --  cl tried    28123 cl shrink        0 lits rem          0 time: 0.00
126.60/31.72	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
126.60/31.72	c calculated reachability. Time: 0.00
126.60/31.72	c  N st    53    357921       125      2662         0     28123     13310    438158   no data   no data
140.59/35.23	c  N st    54    390313       125      2662         0     34015     13310    574213   no data   no data
167.74/42.07	c  N st    55    438904       125      2662         0     28009     13310    398785   no data   no data
205.29/51.44	c  N st    56    511787       125      2662         0     40864     13310    703709   no data   no data
218.07/54.63	c  N st    57    536883       125      2662         0     35366     13310    544827   no data   no data
218.07/54.63	c  S st    57    536883       125      2662         0     35366     13310    544827   no data   no data
218.47/54.73	c  S st    57    537386       125      2662         0     35855     13310    557918   no data   no data
218.47/54.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
218.47/54.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
218.47/54.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
218.47/54.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
218.47/54.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
218.47/54.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
218.47/54.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
218.47/54.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
218.47/54.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.87/55.37	c lits-rem:       487  cl-subs:     1727  v-elim:      0  v-fix:    0  time:  0.61 s
220.87/55.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
220.87/55.38	c vivif2 --  cl tried    34128 cl shrink        0 lits rem          0 time: 0.01
221.67/55.53	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.15
221.67/55.53	c calculated reachability. Time: 0.00
221.67/55.53	c  N st    57    537386       125      2662         0     34128     13310    515215   no data   no data
307.96/77.11	c  N st    58    701370       125      2662         0     62441     13310   1246641   no data   no data
367.07/91.92	c  N st    59    806079       125      2662         0     56520     13310   1015358   no data   no data
367.07/91.92	c  S st    59    806079       125      2662         0     56520     13310   1015358   no data   no data
367.47/92.09	c  S st    59    806580       125      2662         0     57011     13310   1028048   no data   no data
367.47/92.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
367.87/92.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
367.87/92.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
367.87/92.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
367.87/92.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
367.87/92.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
367.87/92.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
367.87/92.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
367.87/92.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
383.84/96.13	c lits-rem:       924  cl-subs:     4500  v-elim:      0  v-fix:    0  time:  3.98 s
383.84/96.13	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
383.84/96.15	c vivif2 --  cl tried    52511 cl shrink        0 lits rem          0 time: 0.01
385.04/96.40	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.25
385.04/96.40	c calculated reachability. Time: 0.00
385.04/96.40	c  N st    59    806580       125      2662         0     52511     13310    914573   no data   no data
558.02/139.80	c  F st    60   1071876       125      2662         0     67809     13310   1235660   no data   no data
558.02/139.80	c  N st    60   1071876       125      2662         0     67809     13310   1235660   no data   no data
563.19/141.00	c Decided on static restart strategy
579.99/145.27	c  N st    70   1100176       125      2662         0     52337     13310    795085   no data   no data
609.13/152.51	c  N st    72   1136171       125      2662         0     42962     13310    531228   no data   no data
631.90/158.27	c  N st    73   1168563       125      2662         0     73291     13310   1323943   no data   no data
672.67/168.48	c  N st    74   1209870       125      2662         0     68013     13310   1175566   no data   no data
672.67/168.48	c  S st    74   1209870       125      2662         0     68013     13310   1175566   no data   no data
673.84/168.76	c  S st    74   1210376       125      2662         0     68503     13310   1188418   no data   no data
673.84/168.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
674.24/168.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
674.24/168.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
674.24/168.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
674.24/168.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
674.24/168.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
674.24/168.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
674.24/168.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
674.24/168.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
716.98/179.57	c lits-rem:      1901  cl-subs:     4905  v-elim:      0  v-fix:    0  time: 10.70 s
716.98/179.57	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
716.98/179.59	c vivif2 --  cl tried    63598 cl shrink        0 lits rem          0 time: 0.02
718.98/180.03	c asymm  cl-useful: 0/2131/2662 lits-rem:0 time: 0.44
718.98/180.03	c calculated reachability. Time: 0.00
718.98/180.03	c  N st    74   1210376       125      2662         0     63598     13310   1058145   no data   no data
790.48/197.98	c  N st    75   1283258       125      2662         0     86862     13310   1632191   no data   no data
891.15/223.11	c  N st    76   1392582       125      2662         0     49082     13310    613766   no data   no data
1025.36/256.75	c  N st    77   1556566       125      2662         0     53312     13310    680215   no data   no data
1157.98/289.98	c  N st    78   1710376       125      2662         0     93575     13310   1700558   no data   no data
1157.98/289.98	c  S st    78   1710376       125      2662         0     93575     13310   1700558   no data   no data
1159.58/290.38	c  S st    78   1710881       125      2662         0     94068     13310   1713381   no data   no data
1159.58/290.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1160.00/290.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1160.00/290.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1160.00/290.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1160.00/290.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1160.00/290.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1160.00/290.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1160.00/290.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1160.40/290.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1285.00/321.72	c lits-rem:      1918  cl-subs:     9679  v-elim:      0  v-fix:    0  time: 31.18 s
1285.00/321.72	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1285.00/321.75	c vivif2 --  cl tried    84389 cl shrink        0 lits rem          0 time: 0.03
1285.80/321.96	c asymm  cl-useful: 0/531/2662 lits-rem:0 time: 0.21
1285.80/321.97	c calculated reachability. Time: 0.00
1285.80/321.97	c  N st    78   1710881       125      2662         0     84389     13310   1474049   no data   no data
1647.72/412.54	c  N st    79   2079845       125      2662         0     96128     13310   1706346   no data   no data
1773.13/443.93	c  N st    80   2210884       125      2662         0     99861     13310   1730794   no data   no data
1773.13/443.93	c  S st    80   2210884       125      2662         0     99861     13310   1730794   no data   no data
1774.33/444.23	c  S st    80   2211385       125      2662         0    100351     13310   1744127   no data   no data
1774.33/444.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1774.33/444.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1774.33/444.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1774.33/444.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1774.33/444.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1774.33/444.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1774.33/444.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1774.73/444.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1774.73/444.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1867.82/467.62	c lits-rem:      2050  cl-subs:    10769  v-elim:      0  v-fix:    0  time: 23.26 s
1867.82/467.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1867.82/467.65	c vivif2 --  cl tried    89582 cl shrink        0 lits rem          0 time: 0.03
1869.80/468.19	c asymm  cl-useful: 0/1649/2662 lits-rem:0 time: 0.54
1869.80/468.19	c calculated reachability. Time: 0.00
1869.80/468.19	c  N st    80   2211385       125      2662         0     89582     13310   1487666   no data   no data
2444.21/611.95	c  N st    81   2711386       125      2662         0    112532     13310   2024691   no data   no data
2444.21/611.95	c  S st    81   2711386       125      2662         0    112532     13310   2024691   no data   no data
2445.41/612.29	c  S st    81   2711889       125      2662         0    113022     13310   2037490   no data   no data
2445.81/612.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2445.81/612.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2445.81/612.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2445.81/612.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2445.81/612.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2445.81/612.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2445.81/612.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2445.81/612.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2446.21/612.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2582.43/646.54	c lits-rem:      2235  cl-subs:    11714  v-elim:      0  v-fix:    0  time: 34.10 s
2582.43/646.54	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2582.43/646.57	c vivif2 --  cl tried   101308 cl shrink        0 lits rem          0 time: 0.03
2584.05/646.97	c asymm  cl-useful: 0/1013/2662 lits-rem:0 time: 0.40
2584.05/646.98	c calculated reachability. Time: 0.00
2584.05/646.98	c  N st    81   2711889       125      2662         0    101308     13310   1741097   no data   no data
3178.79/795.89	c  N st    82   3211890       125      2662         0     78758     13310   1004281   no data   no data
3178.79/795.89	c  S st    82   3211890       125      2662         0     78758     13310   1004281   no data   no data
3180.39/796.21	c  S st    82   3212393       125      2662         0     79242     13310   1016785   no data   no data
3180.39/796.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3180.39/796.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
3180.39/796.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3180.39/796.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3180.39/796.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3180.39/796.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3180.39/796.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3180.39/796.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3180.79/796.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3188.38/798.27	c lits-rem:       421  cl-subs:     1567  v-elim:      0  v-fix:    0  time:  1.95 s
3188.38/798.27	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3188.38/798.29	c vivif2 --  cl tried    77675 cl shrink        0 lits rem          0 time: 0.02
3190.40/798.71	c asymm  cl-useful: 0/1888/2662 lits-rem:0 time: 0.41
3190.40/798.71	c calculated reachability. Time: 0.00
3190.40/798.71	c  N st    82   3212393       125      2662         0     77675     13310    978550   no data   no data
3787.98/948.39	c  N st    83   3712395       125      2662         0     87763     13310   1153363   no data   no data
3787.98/948.39	c  S st    83   3712395       125      2662         0     87763     13310   1153363   no data   no data
3789.15/948.66	c  S st    83   3712899       125      2662         0     88250     13310   1166451   no data   no data
3789.15/948.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3789.55/948.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3789.55/948.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3789.55/948.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3789.55/948.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3789.55/948.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3789.55/948.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3789.55/948.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3789.55/948.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3798.34/950.90	c lits-rem:       482  cl-subs:     2657  v-elim:      0  v-fix:    0  time:  2.14 s
3798.34/950.90	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3798.34/950.91	c vivif2 --  cl tried    85593 cl shrink        0 lits rem          0 time: 0.02
3798.74/951.09	c asymm  cl-useful: 0/774/2662 lits-rem:0 time: 0.18
3799.14/951.10	c calculated reachability. Time: 0.00
3799.14/951.10	c  N st    83   3712899       125      2662         0     85593     13310   1101660   no data   no data
3847.47/963.29	c  F st    84   3751562       125      2662         0    121673     13310   2076619   no data   no data
3847.47/963.30	c  N st    84   3751562       125      2662         0    121673     13310   2076619   no data   no data
3858.28/965.99	c Decided on static restart strategy
3893.42/974.79	c  N st    94   3779864       125      2662         0    148246     13310   2790878   no data   no data
3939.75/986.36	c  N st    96   3815858       125      2662         0    102854     13310   1539806   no data   no data
3980.91/996.62	c  N st    97   3848250       125      2662         0    132982     13310   2317130   no data   no data
4043.60/1012.38	c  N st    98   3896841       125      2662         0     98390     13310   1401517   no data   no data
4146.26/1038.01	c  N st    99   3969723       125      2662         0     85216     13310   1033919   no data   no data
4294.86/1075.25	c  N st   100   4079047       125      2662         0    105079     13310   1543841   no data   no data
4470.60/1119.23	c  N st   101   4212900       125      2662         0    147017     13310   2639622   no data   no data
4470.60/1119.23	c  S st   101   4212900       125      2662         0    147017     13310   2639622   no data   no data
4472.60/1119.75	c  S st   101   4213404       125      2662         0    147512     13310   2653021   no data   no data
4472.60/1119.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4473.02/1119.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4473.02/1119.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4473.02/1119.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4473.02/1119.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4473.02/1119.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4473.02/1119.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4473.02/1119.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4473.42/1119.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4796.51/1200.81	c lits-rem:      3093  cl-subs:    14874  v-elim:      0  v-fix:    0  time: 80.85 s
4796.51/1200.81	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4796.51/1200.86	c vivif2 --  cl tried   132638 cl shrink        0 lits rem          0 time: 0.05
4799.30/1201.58	c asymm  cl-useful: 0/1116/2662 lits-rem:0 time: 0.72
4799.30/1201.59	c calculated reachability. Time: 0.00
4799.30/1201.59	c  N st   101   4213404       125      2662         0    132638     13310   2285168   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-3174280-1304116973/watcher-3174280-1304116973 -o /tmp/evaluation-result-3174280-1304116973/solver-3174280-1304116973 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174280-1304116973.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.06 8.06 7.59 3/173 4341
/proc/meminfo: memFree=31210400/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 523296084 52441088 354 33554432000 4194304 4627427 140734026710512 18446744073709551615 235594866619 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 12803 354 303 106 0 7774 0
[pid=4341/tid=4345] ppid=4338 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523296085 52441088 354 33554432000 4194304 4627427 140734026710512 18446744073709551615 47922121885616 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523296085 52441088 354 33554432000 4194304 4627427 140734026710512 18446744073709551615 235589913686 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523296085 52441088 354 33554432000 4194304 4627427 140734026710512 18446744073709551615 47922121885209 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.107283 s]
/proc/loadavg: 8.06 8.06 7.59 3/173 4341
/proc/meminfo: memFree=31210400/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=282592 CPUtime=0.4 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 1884 0 0 0 40 0 0 0 25 0 4 0 523296084 289374208 1747 33554432000 4194304 4627427 140734026710512 18446744073709551615 4333256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 70648 1747 383 106 0 65619 0
[pid=4341/tid=4345] ppid=4338 vsize=282592 CPUtime=0.09 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 381 0 0 0 9 0 0 0 25 0 4 0 523296085 289374208 1748 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=282592 CPUtime=0.1 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 410 0 0 0 10 0 0 0 25 0 4 0 523296085 289374208 1748 33554432000 4194304 4627427 140734026710512 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=282592 CPUtime=0.1 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 256 0 0 0 10 0 0 0 25 0 4 0 523296085 289374208 1748 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282592

[startup+0.200267 s]
/proc/loadavg: 8.06 8.06 7.59 3/173 4341
/proc/meminfo: memFree=31210400/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=284060 CPUtime=0.77 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 2643 0 0 0 77 0 0 0 25 0 4 0 523296084 290877440 1880 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 71015 1880 384 106 0 65986 0
[pid=4341/tid=4345] ppid=4338 vsize=284060 CPUtime=0.19 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 571 0 0 0 19 0 0 0 25 0 4 0 523296085 290877440 1880 33554432000 4194304 4627427 140734026710512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=284060 CPUtime=0.19 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 595 0 0 0 19 0 0 0 25 0 4 0 523296085 290877440 1880 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=284060 CPUtime=0.19 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 452 0 0 0 19 0 0 0 25 0 4 0 523296085 290877440 1880 33554432000 4194304 4627427 140734026710512 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284060

[startup+0.300249 s]
/proc/loadavg: 8.06 8.06 7.59 3/173 4341
/proc/meminfo: memFree=31210400/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=284248 CPUtime=1.17 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 3092 0 0 0 117 0 0 0 25 0 4 0 523296084 291069952 2329 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 71062 2329 384 106 0 66033 0
[pid=4341/tid=4345] ppid=4338 vsize=284248 CPUtime=0.29 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 679 0 0 0 29 0 0 0 25 0 4 0 523296085 291069952 2329 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=284248 CPUtime=0.29 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 711 0 0 0 29 0 0 0 25 0 4 0 523296085 291069952 2329 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=284248 CPUtime=0.29 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 569 0 0 0 29 0 0 0 25 0 4 0 523296085 291069952 2329 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284248

[startup+0.700179 s]
/proc/loadavg: 8.06 8.06 7.59 3/173 4341
/proc/meminfo: memFree=31210400/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=285920 CPUtime=2.77 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 5550 0 0 0 276 1 0 0 25 0 4 0 523296084 292782080 2661 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 71480 2661 384 106 0 66451 0
[pid=4341/tid=4345] ppid=4338 vsize=285920 CPUtime=0.68 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 1280 0 0 0 68 0 0 0 25 0 4 0 523296085 292782080 2661 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=285920 CPUtime=0.69 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 1342 0 0 0 69 0 0 0 25 0 4 0 523296085 292782080 2661 33554432000 4194304 4627427 140734026710512 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=285920 CPUtime=0.69 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 1175 0 0 0 69 0 0 0 25 0 4 0 523296085 292782080 2661 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285920

[startup+1.50104 s]
/proc/loadavg: 8.06 8.06 7.59 9/184 4352
/proc/meminfo: memFree=31187000/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=286996 CPUtime=5.97 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 10331 0 0 0 595 2 0 0 25 0 4 0 523296084 293883904 4768 33554432000 4194304 4627427 140734026710512 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 71749 4768 388 106 0 66720 0
[pid=4341/tid=4345] ppid=4338 vsize=286996 CPUtime=1.48 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 2135 0 0 0 148 0 0 0 25 0 4 0 523296085 293883904 4768 33554432000 4194304 4627427 140734026710512 18446744073709551615 4402664 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=286996 CPUtime=1.49 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 2318 0 0 0 149 0 0 0 25 0 4 0 523296085 293883904 4768 33554432000 4194304 4627427 140734026710512 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=286996 CPUtime=1.48 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 2108 0 0 0 148 0 0 0 25 0 4 0 523296085 293883904 4768 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286996

[startup+3.10076 s]
/proc/loadavg: 8.05 8.06 7.59 9/184 4352
/proc/meminfo: memFree=31141048/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=297140 CPUtime=12.36 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 21010 0 0 0 1233 3 0 0 25 0 4 0 523296084 304271360 11007 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 74285 11007 388 106 0 69256 0
[pid=4341/tid=4345] ppid=4338 vsize=297140 CPUtime=3.07 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 4394 0 0 0 307 0 0 0 25 0 4 0 523296085 304271360 11008 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=297140 CPUtime=3.08 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 5562 0 0 0 308 0 0 0 25 0 4 0 523296085 304271360 11008 33554432000 4194304 4627427 140734026710512 18446744073709551615 4325026 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=297140 CPUtime=3.09 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 5106 0 0 0 308 1 0 0 25 0 4 0 523296085 304271360 11008 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 297140

[startup+6.3002 s]
/proc/loadavg: 8.05 8.06 7.59 9/184 4353
/proc/meminfo: memFree=31102608/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=312276 CPUtime=25.14 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 32475 0 0 0 2508 6 0 0 25 0 4 0 523296084 319770624 15904 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 78069 15904 388 106 0 73040 0
[pid=4341/tid=4345] ppid=4338 vsize=312276 CPUtime=6.25 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 7544 0 0 0 624 1 0 0 25 0 4 0 523296085 319770624 15904 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=312276 CPUtime=6.29 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 8623 0 0 0 628 1 0 0 25 0 4 0 523296085 319770624 15904 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=312276 CPUtime=6.28 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 7511 0 0 0 627 1 0 0 25 0 4 0 523296085 319770624 15904 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 312276

[startup+12.7011 s]
/proc/loadavg: 8.04 8.06 7.60 9/184 4353
/proc/meminfo: memFree=31050700/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=311764 CPUtime=50.7 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 47351 0 0 0 5061 9 0 0 25 0 4 0 523296084 319246336 19537 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 77941 19537 388 106 0 72912 0
[pid=4341/tid=4345] ppid=4338 vsize=311764 CPUtime=12.62 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 11566 0 0 0 1260 2 0 0 25 0 4 0 523296085 319246336 19537 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=311764 CPUtime=12.68 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 10413 0 0 0 1267 1 0 0 25 0 4 0 523296085 319246336 19537 33554432000 4194304 4627427 140734026710512 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=311764 CPUtime=12.68 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 12194 0 0 0 1266 2 0 0 25 0 4 0 523296085 319246336 19537 33554432000 4194304 4627427 140734026710512 18446744073709551615 4321706 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 311764

[startup+25.5008 s]
/proc/loadavg: 8.04 8.05 7.60 9/184 4353
/proc/meminfo: memFree=31004428/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=303260 CPUtime=101.83 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 72272 0 0 0 10168 15 0 0 25 0 4 0 523296084 310538240 24054 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 75815 24054 388 106 0 70786 0
[pid=4341/tid=4345] ppid=4338 vsize=303260 CPUtime=25.35 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 16887 0 0 0 2532 3 0 0 25 0 4 0 523296085 310538240 24054 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=303260 CPUtime=25.48 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 17014 0 0 0 2545 3 0 0 25 0 4 0 523296085 310538240 24054 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=303260 CPUtime=25.48 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 18678 0 0 0 2544 4 0 0 25 0 4 0 523296085 310538240 24054 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 303260

[startup+51.1003 s]
/proc/loadavg: 8.02 8.05 7.61 9/184 4354
/proc/meminfo: memFree=30913808/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=384456 CPUtime=204.08 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 105184 0 0 0 20384 24 0 0 25 0 4 0 523296084 393682944 35889 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 96114 35889 388 106 0 91085 0
[pid=4341/tid=4345] ppid=4338 vsize=384456 CPUtime=50.81 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 25635 0 0 0 5076 5 0 0 25 0 4 0 523296085 393682944 35889 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=384456 CPUtime=51.09 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 22591 0 0 0 5104 5 0 0 25 0 4 0 523296085 393682944 35889 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=384456 CPUtime=51.08 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 28095 0 0 0 5100 8 0 0 25 0 4 0 523296085 393682944 35889 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 384456

[startup+102.3 s]
/proc/loadavg: 8.04 8.05 7.64 9/184 4355
/proc/meminfo: memFree=30839608/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=395452 CPUtime=408.63 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 158166 0 0 0 40824 39 0 0 25 0 4 0 523296084 404942848 47181 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 98863 47181 388 106 0 93834 0
[pid=4341/tid=4345] ppid=4338 vsize=395452 CPUtime=101.73 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 40079 0 0 0 10164 9 0 0 25 0 4 0 523296085 404942848 47181 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=395452 CPUtime=102.29 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 31782 0 0 0 10222 7 0 0 25 0 4 0 523296085 404942848 47181 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=395452 CPUtime=102.28 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 43526 0 0 0 10216 12 0 0 25 0 4 0 523296085 404942848 47181 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 395452

[startup+162.301 s]

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

[pid=4341] ppid=4338 vsize=619348 CPUtime=2565.65 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 456139 0 0 0 256421 144 0 0 25 0 4 0 523296084 634212352 101958 33554432000 4194304 4627427 140734026710512 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 154837 101958 388 106 0 149808 0
[pid=4341/tid=4345] ppid=4338 vsize=619348 CPUtime=638.8 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 98809 0 0 0 63851 29 0 0 25 0 4 0 523296085 634212352 101958 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=619348 CPUtime=642.23 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 116427 0 0 0 64186 37 0 0 25 0 4 0 523296085 634212352 101958 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=619348 CPUtime=642.27 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 120825 0 0 0 64186 41 0 0 25 0 4 0 523296085 634212352 101958 33554432000 4194304 4627427 140734026710512 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.65
Current children cumulated vsize (KiB) 619348

[startup+702.301 s]
/proc/loadavg: 8.06 8.11 7.85 9/184 4371
/proc/meminfo: memFree=30393288/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=685048 CPUtime=2805.31 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 475397 0 0 0 280374 157 0 0 25 0 4 0 523296084 701489152 114592 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 171262 114592 388 106 0 166233 0
[pid=4341/tid=4345] ppid=4338 vsize=685048 CPUtime=698.47 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 101699 0 0 0 69817 30 0 0 25 0 4 0 523296085 701489152 114592 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=685048 CPUtime=702.23 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 122994 0 0 0 70181 42 0 0 25 0 4 0 523296085 701489152 114592 33554432000 4194304 4627427 140734026710512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=685048 CPUtime=702.27 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 123976 0 0 0 70184 43 0 0 25 0 4 0 523296085 701489152 114592 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 685048

[startup+762.3 s]
/proc/loadavg: 8.02 8.08 7.85 9/184 4373
/proc/meminfo: memFree=30373408/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=685220 CPUtime=3045 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 500001 0 0 0 304334 166 0 0 25 0 4 0 523296084 701665280 111212 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309119 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 171305 111212 388 106 0 166276 0
[pid=4341/tid=4345] ppid=4338 vsize=685220 CPUtime=758.15 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 106000 0 0 0 75783 32 0 0 25 0 4 0 523296085 701665280 111212 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=685220 CPUtime=762.23 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 131652 0 0 0 76178 45 0 0 25 0 4 0 523296085 701665280 111212 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=685220 CPUtime=762.27 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 129571 0 0 0 76182 45 0 0 25 0 4 0 523296085 701665280 111212 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 685220

[startup+822.301 s]
/proc/loadavg: 8.00 8.07 7.86 9/184 4374
/proc/meminfo: memFree=30339896/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=685332 CPUtime=3284.65 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 520645 0 0 0 328290 175 0 0 25 0 4 0 523296084 701779968 119223 33554432000 4194304 4627427 140734026710512 18446744073709551615 4324328 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 171333 119223 388 106 0 166304 0
[pid=4341/tid=4345] ppid=4338 vsize=685332 CPUtime=817.82 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 107615 0 0 0 81749 33 0 0 25 0 4 0 523296085 701779968 119223 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=685332 CPUtime=822.22 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 138535 0 0 0 82175 47 0 0 25 0 4 0 523296085 701779968 119223 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=685332 CPUtime=822.27 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 134651 0 0 0 82180 47 0 0 25 0 4 0 523296085 701779968 119223 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 685332

[startup+882.307 s]
/proc/loadavg: 8.00 8.05 7.87 9/184 4376
/proc/meminfo: memFree=30312576/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=696672 CPUtime=3524.33 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 542507 0 0 0 352250 183 0 0 25 0 4 0 523296084 713392128 112256 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 174168 112256 388 106 0 169139 0
[pid=4341/tid=4345] ppid=4338 vsize=696672 CPUtime=877.5 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 113795 0 0 0 87715 35 0 0 25 0 4 0 523296085 713392128 112256 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=696672 CPUtime=882.22 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 146733 0 0 0 88172 50 0 0 25 0 4 0 523296085 713392128 112256 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=696672 CPUtime=882.28 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 139636 0 0 0 88178 50 0 0 25 0 4 0 523296085 713392128 112256 33554432000 4194304 4627427 140734026710512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 696672

[startup+942.301 s]
/proc/loadavg: 8.00 8.04 7.87 9/184 4377
/proc/meminfo: memFree=30276332/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=683596 CPUtime=3763.99 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 560752 0 0 0 376208 191 0 0 25 0 4 0 523296084 700002304 117250 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 170899 117250 388 106 0 165870 0
[pid=4341/tid=4345] ppid=4338 vsize=683596 CPUtime=937.17 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 113796 0 0 0 93682 35 0 0 25 0 4 0 523296085 700002304 117250 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=683596 CPUtime=942.22 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 151022 0 0 0 94170 52 0 0 25 0 4 0 523296085 700002304 117250 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=683596 CPUtime=942.27 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 146102 0 0 0 94175 52 0 0 25 0 4 0 523296085 700002304 117250 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.99
Current children cumulated vsize (KiB) 683596

[startup+1002.3 s]
/proc/loadavg: 8.00 8.03 7.88 9/184 4379
/proc/meminfo: memFree=30246660/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=639708 CPUtime=4003.66 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 578309 0 0 0 400169 197 0 0 25 0 4 0 523296084 655060992 117316 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 159927 117316 388 106 0 154898 0
[pid=4341/tid=4345] ppid=4338 vsize=639708 CPUtime=996.84 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 116355 0 0 0 99648 36 0 0 25 0 4 0 523296085 655060992 117316 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=639708 CPUtime=1002.22 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 156729 0 0 0 100168 54 0 0 25 0 4 0 523296085 655060992 117316 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=639708 CPUtime=1002.27 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 151876 0 0 0 100173 54 0 0 25 0 4 0 523296085 655060992 117316 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.66
Current children cumulated vsize (KiB) 639708

[startup+1062.3 s]
/proc/loadavg: 8.03 8.04 7.89 9/184 4381
/proc/meminfo: memFree=30262984/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=705376 CPUtime=4243.33 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 597094 0 0 0 424129 204 0 0 25 0 4 0 523296084 722305024 115711 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 176344 115711 388 106 0 171315 0
[pid=4341/tid=4345] ppid=4338 vsize=705376 CPUtime=1056.53 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 120810 0 0 0 105614 39 0 0 25 0 4 0 523296085 722305024 115711 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=705376 CPUtime=1062.21 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 160443 0 0 0 106166 55 0 0 25 0 4 0 523296085 722305024 115711 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=705376 CPUtime=1062.27 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 155526 0 0 0 106171 56 0 0 25 0 4 0 523296085 722305024 115711 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 705376

[startup+1122.3 s]
/proc/loadavg: 8.21 8.09 7.92 9/184 4391
/proc/meminfo: memFree=30235568/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=705604 CPUtime=4482.99 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 621141 0 0 0 448086 213 0 0 25 0 4 0 523296084 722538496 118224 33554432000 4194304 4627427 140734026710512 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 176401 118224 388 106 0 171372 0
[pid=4341/tid=4345] ppid=4338 vsize=705604 CPUtime=1116.19 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 123759 0 0 0 111580 39 0 0 25 0 4 0 523296085 722538496 118224 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=705604 CPUtime=1122.2 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 167284 0 0 0 112163 57 0 0 25 0 4 0 523296085 722538496 118224 33554432000 4194304 4627427 140734026710512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=705604 CPUtime=1122.26 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 162583 0 0 0 112167 59 0 0 25 0 4 0 523296085 722538496 118224 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 705604

[startup+1182.3 s]
/proc/loadavg: 8.23 8.10 7.93 9/184 4393
/proc/meminfo: memFree=30169300/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=794504 CPUtime=4722.63 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 639033 0 0 0 472042 221 0 0 25 0 4 0 523296084 813572096 135928 33554432000 4194304 4627427 140734026710512 18446744073709551615 4420171 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 198626 135928 388 106 0 193597 0
[pid=4341/tid=4345] ppid=4338 vsize=794504 CPUtime=1175.84 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 132595 0 0 0 117540 44 0 0 25 0 4 0 523296085 813572096 135928 33554432000 4194304 4627427 140734026710512 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=794504 CPUtime=1182.2 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 169546 0 0 0 118162 58 0 0 25 0 4 0 523296085 813572096 135928 33554432000 4194304 4627427 140734026710512 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=794504 CPUtime=1182.26 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 169377 0 0 0 118164 62 0 0 25 0 4 0 523296085 813572096 135928 33554432000 4194304 4627427 140734026710512 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.63
Current children cumulated vsize (KiB) 794504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.09 7.93 9/184 4393
/proc/meminfo: memFree=30180696/32950928 swapFree=67111404/67111528
[pid=4341] ppid=4338 vsize=794504 CPUtime=4800.12 cores=0,2,4,6
/proc/4341/stat : 4341 (strangenight2-m) R 4338 4341 4213 0 -1 4202496 639033 0 0 0 479791 221 0 0 25 0 4 0 523296084 813572096 135444 33554432000 4194304 4627427 140734026710512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4341/statm: 198626 135444 388 106 0 193597 0
[pid=4341/tid=4345] ppid=4338 vsize=794504 CPUtime=1195.11 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 132595 0 0 0 119467 44 0 0 25 0 4 0 523296085 813572096 135444 33554432000 4194304 4627427 140734026710512 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4341/tid=4346] ppid=4338 vsize=794504 CPUtime=1201.6 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 169546 0 0 0 120102 58 0 0 25 0 4 0 523296085 813572096 135444 33554432000 4194304 4627427 140734026710512 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4341/tid=4347] ppid=4338 vsize=794504 CPUtime=1201.67 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (strangenight2-m) R 4338 4341 4213 0 -1 4202560 169377 0 0 0 120105 62 0 0 25 0 4 0 523296085 813572096 135444 33554432000 4194304 4627427 140734026710512 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 794504

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.17
CPU user time (s): 4797.94
CPU system time (s): 2.23566
CPU usage (%): 399.436
Max. virtual memory (cumulated for all children) (KiB): 814828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.94
system time used= 2.23566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639033
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= 414
involuntary context switches= 36681

runsolver used 1.85572 second user time and 4.76028 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-30 00:42:53
IDJOB=3174280
IDBENCH=83098
IDSOLVER=1586
FILE ID=node120/3174280-1304116973
RUNJOBID= node120-1304115769-4231
PBS_JOBID= 13170710
Free space on /tmp= 72076 MiB

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

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

MD5SUM BENCH= 26e1db2f130e6076b57fb074a1167d5e
RANDOM SEED=317303652

node120.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	: 5226.07
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.82
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.75
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.78
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.82
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31210696 kB
Buffers:        497576 kB
Cached:         819328 kB
SwapCached:          8 kB
Active:         414340 kB
Inactive:       966604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31210696 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           11272 kB
Writeback:           0 kB
AnonPages:       63220 kB
Mapped:          14892 kB
Slab:           295880 kB
PageTables:       4656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187540 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= 72064 MiB
End job on node120 at 2011-04-30 01:02:57