Trace number 3175450

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-1-mt? (TO) 4800.29 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf
MD5SUMfff1de37c6c2184176b7a20930cdd47f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03184
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175450-1304124590.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.04	c lits-rem:         0  cl-subs:        0  v-elim:     24  v-fix:    0  time:  0.01 s
0.00/0.04	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.04	c calculated reachability. Time: 0.00
0.00/0.04	c Calc default polars -  time:   0.00 s pos:     266 undec:      79 neg:     305
0.00/0.04	c =========================================================================================
0.00/0.04	c types(t): F = full restart, N = normal restart
0.00/0.04	c types(t): S = simplification begin/end, E = solution found
0.00/0.04	c restart types(rt): st = static, dy = dynamic
0.00/0.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.04	c  B st     0         0       626      2732         0         0      8350         0   no data   no data  --
0.37/0.11	c Decided on static restart strategy
0.37/0.17	c  N st     8      4917       626      2732         0      4865      8350    136258   no data   no data  --
1.57/0.45	c  N st    10     11300       626      2732         0      4500      8350     89946   no data   no data  --
2.77/0.73	c  N st    11     17044       626      2732         0     10174      8350    256571   no data   no data  --
4.39/1.15	c  F st    12     25002       626      2732         0     12513      8350    333311   no data   no data  --
4.39/1.15	c  N st    12     25002       626      2732         0     12513      8350    333311   no data   no data  --
5.57/1.42	c Decided on static restart strategy
5.57/1.42	c  N st    18     30002       626      2732         0     10768      8350    243110   no data   no data  --
5.57/1.42	c  S st    18     30002       626      2732         0     10768      8350    243110   no data   no data  --
5.57/1.45	c  S st    18     30509       626      2732         0     11275      8350    256944   no data   no data  --
5.57/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.57/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
5.57/1.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.76/1.74	c lits-rem:       188  cl-subs:      240  v-elim:      0  v-fix:    0  time:  1.13 s
6.76/1.75	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.04
6.76/1.75	c calculated reachability. Time: 0.00
6.76/1.75	c  N st    18     30509       626      2732         0     11035      8350    248572   no data   no data  --
8.38/2.15	c  N st    20     37622       626      2732         0     10246      8350    202177   no data   no data  --
9.95/2.58	c  N st    21     44021       626      2732         0     16549      8350    383832   no data   no data  --
10.76/2.70	c  S st    22     45763       626      2732         0      9460      8350    156388   no data   no data  --
10.76/2.73	c  S st    22     46268       626      2732         0      9965      8350    170699   no data   no data  --
10.76/2.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.76/2.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.76/2.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
10.76/2.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.15/2.88	c lits-rem:        40  cl-subs:       56  v-elim:      0  v-fix:    0  time:  0.56 s
11.15/2.88	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
11.15/2.88	c vivif2 --  cl tried     9909 cl shrink        0 lits rem          0 time: 0.01
11.15/2.89	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.03
11.15/2.89	c calculated reachability. Time: 0.00
11.15/2.89	c  N st    22     46268       626      2732         0      9909      8350    168704   no data   no data  --
15.15/3.83	c  N st    23     60665       626      2732         0     14298      8350    282014   no data   no data  --
17.57/4.48	c  N st    24     69403       626      2732         0     12077      8350    203719   no data   no data  --
17.57/4.48	c  S st    24     69403       626      2732         0     12077      8350    203719   no data   no data  --
17.94/4.52	c  S st    24     69907       626      2732         0     12581      8350    216718   no data   no data  --
17.94/4.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.94/4.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.94/4.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
17.94/4.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.94/4.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.94/4.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
17.94/4.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.74/4.77	c lits-rem:       107  cl-subs:      113  v-elim:      0  v-fix:    0  time:  0.98 s
18.74/4.77	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
18.74/4.78	c vivif2 --  cl tried    12468 cl shrink        0 lits rem          0 time: 0.01
18.74/4.79	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.04
18.74/4.79	c calculated reachability. Time: 0.00
18.74/4.79	c  N st    24     69907       626      2732         0     12468      8350    213571   no data   no data  --
23.94/6.04	c  F st    25     87500       626      2732         0     17899      8350    354544   no data   no data  --
23.94/6.04	c  N st    25     87500       626      2732         0     17899      8350    354544   no data   no data  --
25.54/6.47	c  N dy    32     93477       626      2732         0     23790      8350    515942     18.15     19.13  --
27.53/6.93	c  N dy    60     99477       626      2732         0     16891      8350    270773     18.13     19.38  --
29.13/7.37	c  S st    87    104860       626      2732         0     22233      8350    416031     18.41   no data  --
29.53/7.43	c  S st    87    105361       626      2732         0     22733      8350    429105     18.41   no data  --
29.53/7.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.53/7.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.53/7.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.53/7.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.53/7.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.53/7.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
29.53/7.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.93/8.58	c lits-rem:       206  cl-subs:      234  v-elim:      0  v-fix:    0  time:  4.49 s
33.93/8.58	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
33.93/8.58	c vivif2 --  cl tried    22499 cl shrink        0 lits rem          0 time: 0.02
34.33/8.60	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.08
34.33/8.60	c calculated reachability. Time: 0.00
34.33/8.60	c  N dy    87    105361       626      2732         0     22499      8350    421271     18.41   no data  --
36.72/9.24	c  N dy   112    112171       626      2732         0     15378      8350    193194     18.37     19.47  --
39.54/9.92	c  N dy   125    120635       626      2732         0     23715      8350    402063     17.85     18.99  --
42.31/10.67	c  N dy   152    128510       626      2732         0     16692      8350    199699     17.75     19.06  --
45.11/11.37	c  N dy   193    136716       626      2732         0     24820      8350    414940     17.81     19.60  --
48.71/12.27	c  N dy   250    145550       626      2732         0     17737      8350    205442     17.99     18.95  --
52.32/13.18	c  N dy   304    156021       626      2732         0     28112      8350    483094     18.08     19.05  --
53.10/13.39	c  S st   319    158041       626      2732         0     30119      8350    539333     18.12   no data  --
53.50/13.46	c  S st   319    158546       626      2732         0     30624      8350    552119     18.12   no data  --
53.50/13.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.50/13.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.50/13.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.50/13.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.50/13.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.50/13.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
53.50/13.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
60.29/15.16	c lits-rem:       544  cl-subs:      425  v-elim:      0  v-fix:    0  time:  6.64 s
60.29/15.16	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
60.29/15.16	c vivif2 --  cl tried    30199 cl shrink        0 lits rem          0 time: 0.02
60.29/15.19	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.11
60.29/15.19	c calculated reachability. Time: 0.00
60.29/15.19	c  N dy   319    158546       626      2732         0     30199      8350    537971     18.12   no data  --
64.28/16.13	c  N dy   373    168716       626      2732         0     23442      8350    331073     18.19     20.10  --
69.07/17.33	c  N dy   422    180024       626      2732         0     34667      8350    631829     18.21     19.22  --
73.46/18.48	c  N dy   458    191824       626      2732         0     28486      8350    439644     18.15     19.19  --
79.86/20.06	c  N dy   486    204181       626      2732         0     21884      8350    243698     17.98     18.97  --
86.64/21.73	c  N dy   553    219350       626      2732         0     36914      8350    651418     18.00     19.28  --
93.03/23.30	c  N dy   615    233414       626      2732         0     31032      8350    464790     18.04     19.97  --
95.04/23.85	c  S st   626    237821       626      2732         0     35410      8350    584503     18.01   no data  --
95.44/23.94	c  S st   626    238325       626      2732         0     35913      8350    597687     18.01   no data  --
95.44/23.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
95.44/23.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.44/23.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
95.44/23.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.44/23.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.44/23.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
95.44/23.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
103.03/25.82	c lits-rem:       470  cl-subs:      604  v-elim:      0  v-fix:    0  time:  7.35 s
103.03/25.82	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
103.03/25.83	c vivif2 --  cl tried    35309 cl shrink        0 lits rem          0 time: 0.03
103.03/25.86	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.12
103.03/25.86	c calculated reachability. Time: 0.00
103.03/25.86	c  N dy   626    238325       626      2732         0     35309      8350    579600     18.01   no data  --
110.22/27.63	c  N dy   728    253696       626      2732         0     29766      8350    418748     18.11     19.32  --
119.80/30.09	c  N dy   773    273450       626      2732         0     27511      8350    337211     18.02     19.05  --
129.39/32.45	c  N dy   873    290969       626      2732         0     44850      8350    800201     18.07     19.09  --
136.58/34.20	c  F st   944    306251       626      2732         0     37222      8350    574081     18.10   no data  --
138.18/34.62	c  N st   949    309547       626      2732         0     40478      8350    670710     18.10   no data  --
148.56/37.22	c  N dy  1026    329356       626      2732         0     36319      8350    518880     18.12     19.12  --
159.74/40.04	c  N dy  1131    349474       626      2732         0     31494      8350    378150     18.16     19.15  --
163.74/41.05	c  S st  1178    357487       626      2732         0     39436      8350    592437     18.18     15.78  --
164.14/41.15	c  S st  1178    357995       626      2732         0     39943      8350    606727     18.18   no data  --
164.14/41.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
164.14/41.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
164.14/41.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
164.14/41.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
164.14/41.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
164.14/41.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
164.14/41.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
172.53/43.27	c lits-rem:       661  cl-subs:      417  v-elim:      0  v-fix:    0  time:  8.33 s
172.53/43.27	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
172.53/43.28	c vivif2 --  cl tried    39526 cl shrink        0 lits rem          0 time: 0.03
172.93/43.31	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.14
172.93/43.31	c calculated reachability. Time: 0.00
172.93/43.31	c  N dy  1178    357995       626      2732         0     39526      8350    593515     18.18   no data  --
189.30/47.48	c  N dy  1266    387482       626      2732         0     42930      8350    651703     18.08     19.14  --
202.89/50.82	c  N dy  1383    407571       626      2732         0     36136      8350    466245     18.14     19.23  --
216.47/54.24	c  N dy  1451    427636       626      2732         0     28268      8350    229635     18.13     20.81  --
227.26/56.97	c  N dy  1563    447677       626      2732         0     48134      8350    768933     18.17     21.16  --
240.84/60.37	c  N dy  1654    470180       626      2732         0     41674      8350    575708     18.18     19.23  --
255.21/63.91	c  N dy  1736    490192       626      2732         0     31762      8350    284433     18.18     21.91  --
267.62/67.04	c  N dy  1835    510819       626      2732         0     52195      8350    832564     18.19     19.26  --
281.19/70.42	c  N dy  1923    530897       626      2732         0     41378      8350    521789     18.21     19.50  --
284.77/71.36	c  S st  1939    536992       626      2732         0     47391      8350    682052     18.20   no data  --
285.19/71.47	c  S st  1939    537493       626      2732         0     47892      8350    696174     18.20   no data  --
285.19/71.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
285.19/71.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.19/71.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
285.59/71.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
285.59/71.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
285.59/71.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
285.59/71.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
294.38/73.72	c lits-rem:      1335  cl-subs:      687  v-elim:      0  v-fix:    0  time:  8.81 s
294.38/73.72	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
294.38/73.73	c vivif2 --  cl tried    47205 cl shrink        0 lits rem          0 time: 0.03
294.38/73.78	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.17
294.38/73.78	c calculated reachability. Time: 0.00
294.38/73.78	c  N dy  1939    537493       626      2732         0     47205      8350    675398     18.20   no data  --
309.93/77.63	c  N dy  2058    557567       626      2732         0     35417      8350    335153     18.24     21.91  --
326.71/81.85	c  N dy  2147    583251       626      2732         0     60790      8350   1012408     18.21     19.32  --
341.09/85.40	c  N dy  2239    604496       626      2732         0     49230      8350    694103     18.22     19.21  --
357.47/89.53	c  N dy  2336    624615       626      2732         0     35481      8350    298985     18.24     19.20  --
370.25/92.76	c  N dy  2428    644684       626      2732         0     55343      8350    838968     18.25     19.36  --
387.03/96.92	c  N dy  2521    664752       626      2732         0     40568      8350    418305     18.26     19.27  --
409.80/102.61	c  N dy  2572    692686       626      2732         0     68183      8350   1160825     18.21     19.30  --
423.78/106.16	c  N dy  2666    712835       626      2732         0     52471      8350    713094     18.23     19.25  --
446.95/111.99	c  N dy  2718    735303       626      2732         0     38075      8350    306158     18.20     19.25  --
461.35/115.59	c  N dy  2855    755401       626      2732         0     58023      8350    856664     18.24     20.50  --
480.90/120.44	c  N dy  2957    775407       626      2732         0     40216      8350    344218     18.24     21.23  --
495.68/124.20	c  N dy  3080    795441       626      2732         0     60077      8350    899315     18.28     22.73  --
506.87/126.99	c  S st  3141    806240       626      2732         0     70770      8350   1192394     18.29   no data  --
507.67/127.17	c  S st  3141    806743       626      2732         0     71273      8350   1206395     18.29   no data  --
507.67/127.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
507.67/127.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
508.07/127.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
508.07/127.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
508.07/127.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
508.07/127.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
508.07/127.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
515.25/129.06	c lits-rem:       471  cl-subs:      974  v-elim:      0  v-fix:    0  time:  7.25 s
515.25/129.06	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
515.25/129.08	c vivif2 --  cl tried    70299 cl shrink        0 lits rem          0 time: 0.06
515.65/129.16	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.35
515.65/129.17	c calculated reachability. Time: 0.00
515.65/129.17	c  N dy  3141    806743       626      2732         0     70299      8350   1176153     18.29   no data  --
532.43/133.39	c  N dy  3172    827281       626      2732         0     51909      8350    623466     18.25     19.25  --
554.00/138.75	c  N dy  3306    848067       626      2732         0     72506      8350   1190641     18.29     19.27  --
571.98/143.24	c  N dy  3432    869061       626      2732         0     53732      8350    671060     18.31     19.28  --
591.15/148.08	c  N dy  3507    890184       626      2732         0     74652      8350   1243986     18.30     19.27  --
607.93/152.21	c  N dy  3557    910422       626      2732         0     54054      8350    644251     18.28     19.42  --
627.50/157.10	c  N dy  3688    930493       626      2732         0     73934      8350   1193632     18.31     19.44  --
647.87/162.27	c  N dy  3807    952691       626      2732         0     54364      8350    656320     18.33     19.35  --
667.87/167.21	c  N dy  3912    973093       626      2732         0     74555      8350   1207594     18.35     19.32  --
687.42/172.12	c  N dy  3974    993153       626      2732         0     51838      8350    560140     18.33     21.71  --
705.40/176.67	c  N dy  4040   1013420       626      2732         0     71856      8350   1102262     18.33     19.50  --
727.77/182.26	c  N dy  4155   1033503       626      2732         0     48227      8350    446751     18.35     21.20  --
746.96/187.02	c  N dy  4272   1055246       626      2732         0     69742      8350   1036827     18.36     19.84  --
767.32/192.14	c  F st  4370   1071875       626      2732         0     86207      8350   1486896     18.37     16.65  --
772.93/193.53	c Decided on static restart strategy
772.93/193.53	c  N st  4376   1077072       626      2732         0     46836      8350    389253     18.37   no data  --
789.67/197.72	c  N st  4380   1100182       626      2732         0     69560      8350   1034324     18.37   no data  --
820.04/205.31	c  N st  4382   1136174       626      2732         0     59591      8350   1193751     18.37   no data  --
852.02/213.32	c  N st  4383   1168566       626      2732         0     91403      8350   2197502     18.37   no data  --
890.74/223.03	c  N st  4384   1210114       626      2732         0     85975      8350   1941769     18.37   no data  --
890.74/223.03	c  S st  4384   1210114       626      2732         0     85975      8350   1941769     18.37   no data  --
891.56/223.30	c  S st  4384   1210618       626      2732         0     86478      8350   1955680     18.37   no data  --
891.96/223.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
891.96/223.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
891.96/223.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
892.33/223.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
892.33/223.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
892.33/223.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
892.33/223.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
926.71/232.09	c lits-rem:        88  cl-subs:     3729  v-elim:      0  v-fix:    0  time: 34.65 s
926.71/232.09	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
927.11/232.12	c vivif2 --  cl tried    82749 cl shrink        0 lits rem          0 time: 0.09
927.49/232.23	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.46
927.49/232.23	c calculated reachability. Time: 0.00
927.49/232.23	c  N st  4384   1210618       626      2732         0     82749      8350   1833043     18.37   no data  --
1000.59/250.51	c  N st  4385   1283500       626      2732         0     59162      8350   1005420     18.37   no data  --
1122.82/281.10	c  N st  4386   1392825       626      2732         0     67243      8350   1243691     18.37   no data  --
1290.19/323.05	c  N st  4387   1556809       626      2732         0     71986      8350   1283109     18.37   no data  --
1459.95/365.55	c  N st  4388   1710618       626      2732         0     58186      8350    738200     18.37   no data  --
1459.95/365.55	c  S st  4388   1710618       626      2732         0     58186      8350    738200     18.37   no data  --
1460.75/365.70	c  S st  4388   1711120       626      2732         0     58687      8350    751313     18.37   no data  --
1460.75/365.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1460.75/365.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1460.75/365.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1460.75/365.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1460.75/365.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1460.75/365.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
1460.75/365.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1469.14/367.83	c lits-rem:       781  cl-subs:      407  v-elim:      0  v-fix:    0  time:  8.31 s
1469.14/367.84	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
1469.14/367.84	c vivif2 --  cl tried    58280 cl shrink        0 lits rem          0 time: 0.04
1469.54/367.91	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.25
1469.54/367.91	c calculated reachability. Time: 0.00
1469.54/367.91	c  N st  4388   1711120       626      2732         0     58280      8350    738932     18.37   no data  --
1876.57/469.87	c  N st  4389   2080085       626      2732         0     64148      8350    760018     18.37   no data  --
2035.16/509.56	c  N st  4390   2211121       626      2732         0     65985      8350    770759     18.37   no data  --
2035.16/509.56	c  S st  4390   2211121       626      2732         0     65985      8350    770759     18.37   no data  --
2035.96/509.74	c  S st  4390   2211625       626      2732         0     66489      8350    785139     18.37   no data  --
2035.96/509.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2035.96/509.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2035.96/509.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
2036.36/509.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2036.36/509.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2036.36/509.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2036.36/509.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2045.55/512.17	c lits-rem:       267  cl-subs:      342  v-elim:      0  v-fix:    0  time:  9.46 s
2045.55/512.17	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
2045.55/512.18	c vivif2 --  cl tried    66147 cl shrink        0 lits rem          0 time: 0.04
2045.95/512.25	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.30
2045.95/512.25	c calculated reachability. Time: 0.00
2045.95/512.25	c  N st  4390   2211625       626      2732         0     66147      8350    776334     18.37   no data  --
2655.92/664.95	c  N st  4391   2711626       626      2732         0     82879      8350   1141820     18.37   no data  --
2655.92/664.95	c  S st  4391   2711626       626      2732         0     82879      8350   1141820     18.37   no data  --
2656.72/665.19	c  S st  4391   2712129       626      2732         0     83381      8350   1156138     18.37   no data  --
2657.12/665.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2657.12/665.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2657.12/665.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
2657.12/665.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2657.12/665.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2657.12/665.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2657.12/665.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2667.49/667.83	c lits-rem:        45  cl-subs:     1349  v-elim:      0  v-fix:    0  time: 10.19 s
2667.49/667.83	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
2667.49/667.85	c vivif2 --  cl tried    82032 cl shrink        0 lits rem          0 time: 0.06
2667.89/667.95	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.40
2667.89/667.95	c calculated reachability. Time: 0.00
2667.89/667.95	c  N st  4391   2712129       626      2732         0     82032      8350   1117491     18.37   no data  --
3377.32/845.50	c  N st  4392   3212131       626      2732         0    128322      8350   2451792     18.37   no data  --
3377.32/845.50	c  S st  4392   3212131       626      2732         0    128322      8350   2451792     18.37   no data  --
3379.32/846.04	c  S st  4392   3212635       626      2732         0    128826      8350   2466150     18.37   no data  --
3379.32/846.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3379.32/846.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3379.72/846.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.34
3380.12/846.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3380.12/846.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3380.12/846.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
3380.12/846.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3466.82/867.99	c lits-rem:       881  cl-subs:     5425  v-elim:      0  v-fix:    0  time: 86.90 s
3466.82/867.99	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
3467.20/868.02	c vivif2 --  cl tried   123401 cl shrink        0 lits rem          0 time: 0.12
3468.00/868.21	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.75
3468.00/868.22	c calculated reachability. Time: 0.00
3468.00/868.22	c  N st  4392   3212635       626      2732         0    123401      8350   2291337     18.37   no data  --
4217.41/1055.90	c  N st  4393   3712635       626      2732         0    133516      8350   2353981     18.37   no data  --
4217.41/1055.90	c  S st  4393   3712635       626      2732         0    133516      8350   2353981     18.37   no data  --
4219.80/1056.44	c  S st  4393   3713140       626      2732         0    134021      8350   2368447     18.37   no data  --
4219.80/1056.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4219.80/1056.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4220.20/1056.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.36
4220.60/1056.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4220.60/1056.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4220.60/1056.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
4220.60/1056.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4340.85/1086.70	c lits-rem:       266  cl-subs:     8278  v-elim:      0  v-fix:    0  time: 120.06 s
4340.85/1086.70	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
4340.85/1086.73	c vivif2 --  cl tried   125743 cl shrink        0 lits rem          0 time: 0.12
4341.63/1086.96	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.92
4341.63/1086.97	c calculated reachability. Time: 0.00
4341.63/1086.97	c  N st  4393   3713140       626      2732         0    125743      8350   2149129     18.37   no data  --
4413.94/1105.09	c  F st  4394   3751562       626      2732         0    163411      8350   3287955     18.37   no data  --
4413.94/1105.09	c  N st  4394   3751562       626      2732         0    163411      8350   3287955     18.37   no data  --
4425.12/1107.85	c Decided on static restart strategy
4455.88/1115.50	c  N st  4404   3779865       626      2732         0    108257      8350   1543872     18.37   no data  --
4515.40/1130.42	c  N st  4406   3815857       626      2732         0    143590      8350   2576520     18.37   no data  --
4580.52/1146.70	c  N st  4407   3848249       626      2732         0     91271      8350   1047280     18.37   no data  --
4654.01/1165.10	c  N st  4408   3896840       626      2732         0    138932      8350   2486559     18.37   no data  --
4789.45/1199.03	c  N st  4409   3969722       626      2732         0    125173      8350   2102410     18.37   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-3175450-1304124590/watcher-3175450-1304124590 -o /tmp/evaluation-result-3175450-1304124590/solver-3175450-1304124590 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175450-1304124590.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.84 8.05 8.03 5/180 12030
/proc/meminfo: memFree=29480736/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 415 0 0 0 0 0 0 0 25 0 4 0 504874365 52465664 355 33554432000 4194304 4650419 140737302831920 18446744073709551615 47089244186546 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 12809 357 306 112 0 7774 0
[pid=12030/tid=12031] ppid=12028 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 504874365 52465664 357 33554432000 4194304 4650419 140737302831920 18446744073709551615 254261616571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 504874365 52465664 357 33554432000 4194304 4650419 140737302831920 18446744073709551615 47089244186546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 504874365 52465664 357 33554432000 4194304 4650419 140737302831920 18446744073709551615 254256663638 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.056133 s]
/proc/loadavg: 7.84 8.05 8.03 5/180 12030
/proc/meminfo: memFree=29480736/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=282760 CPUtime=0.19 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 1660 0 0 0 19 0 0 0 25 0 4 0 504874365 289546240 1501 33554432000 4194304 4650419 140737302831920 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 70690 1501 390 112 0 65655 0
[pid=12030/tid=12031] ppid=12028 vsize=282760 CPUtime=0.04 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 406 0 0 0 4 0 0 0 18 0 4 0 504874365 289546240 1501 33554432000 4194304 4650419 140737302831920 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=282760 CPUtime=0.04 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 314 0 0 0 4 0 0 0 25 0 4 0 504874365 289546240 1501 33554432000 4194304 4650419 140737302831920 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=282760 CPUtime=0.04 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 186 0 0 0 4 0 0 0 25 0 4 0 504874365 289546240 1501 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 282760

[startup+0.101124 s]
/proc/loadavg: 7.84 8.05 8.03 5/180 12030
/proc/meminfo: memFree=29480736/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=282760 CPUtime=0.37 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 1907 0 0 0 37 0 0 0 25 0 4 0 504874365 289546240 1748 33554432000 4194304 4650419 140737302831920 18446744073709551615 4360346 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 70690 1748 391 112 0 65655 0
[pid=12030/tid=12031] ppid=12028 vsize=282760 CPUtime=0.09 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 470 0 0 0 9 0 0 0 18 0 4 0 504874365 289546240 1749 33554432000 4194304 4650419 140737302831920 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=282760 CPUtime=0.09 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 378 0 0 0 9 0 0 0 25 0 4 0 504874365 289546240 1749 33554432000 4194304 4650419 140737302831920 18446744073709551615 4311000 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=282760 CPUtime=0.09 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 244 0 0 0 9 0 0 0 25 0 4 0 504874365 289546240 1749 33554432000 4194304 4650419 140737302831920 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282760

[startup+0.301089 s]
/proc/loadavg: 7.84 8.05 8.03 5/180 12030
/proc/meminfo: memFree=29480736/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=284132 CPUtime=1.17 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 3113 0 0 0 116 1 0 0 25 0 4 0 504874365 290951168 2287 33554432000 4194304 4650419 140737302831920 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 71033 2287 393 112 0 65998 0
[pid=12030/tid=12031] ppid=12028 vsize=284132 CPUtime=0.29 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 768 0 0 0 29 0 0 0 18 0 4 0 504874365 290951168 2287 33554432000 4194304 4650419 140737302831920 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=284132 CPUtime=0.29 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 679 0 0 0 29 0 0 0 25 0 4 0 504874365 290951168 2287 33554432000 4194304 4650419 140737302831920 18446744073709551615 4334276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=284132 CPUtime=0.28 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 538 0 0 0 28 0 0 0 25 0 4 0 504874365 290951168 2287 33554432000 4194304 4650419 140737302831920 18446744073709551615 4328328 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284132

[startup+0.701018 s]
/proc/loadavg: 7.84 8.05 8.03 5/180 12030
/proc/meminfo: memFree=29480736/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=285064 CPUtime=2.77 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 4813 0 0 0 276 1 0 0 25 0 4 0 504874365 291905536 2996 33554432000 4194304 4650419 140737302831920 18446744073709551615 4333260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 71266 2996 393 112 0 66231 0
[pid=12030/tid=12031] ppid=12028 vsize=285064 CPUtime=0.69 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 1200 0 0 0 69 0 0 0 18 0 4 0 504874365 291905536 2996 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=285064 CPUtime=0.68 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 1074 0 0 0 68 0 0 0 25 0 4 0 504874365 291905536 2996 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=285064 CPUtime=0.68 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 949 0 0 0 68 0 0 0 25 0 4 0 504874365 291905536 2996 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285064

[startup+1.50088 s]
/proc/loadavg: 7.84 8.05 8.03 9/184 12034
/proc/meminfo: memFree=29468552/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=290864 CPUtime=5.96 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 9715 0 0 0 594 2 0 0 25 0 4 0 504874365 297844736 5083 33554432000 4194304 4650419 140737302831920 18446744073709551615 4439153 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 72716 5083 395 112 0 67681 0
[pid=12030/tid=12031] ppid=12028 vsize=290864 CPUtime=1.49 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 2080 0 0 0 149 0 0 0 19 0 4 0 504874365 297844736 5083 33554432000 4194304 4650419 140737302831920 18446744073709551615 4315744 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=290864 CPUtime=1.48 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 1971 0 0 0 148 0 0 0 25 0 4 0 504874365 297844736 5083 33554432000 4194304 4650419 140737302831920 18446744073709551615 4315670 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=290864 CPUtime=1.48 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 1734 0 0 0 148 0 0 0 25 0 4 0 504874365 297844736 5083 33554432000 4194304 4650419 140737302831920 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 290864

[startup+3.10059 s]
/proc/loadavg: 7.84 8.05 8.03 9/184 12034
/proc/meminfo: memFree=29455380/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=285508 CPUtime=12.35 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 18500 0 0 0 1231 4 0 0 25 0 4 0 504874365 292360192 10524 33554432000 4194304 4650419 140737302831920 18446744073709551615 4363482 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 71377 10525 395 112 0 66342 0
[pid=12030/tid=12031] ppid=12028 vsize=285508 CPUtime=3.09 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 4340 0 0 0 308 1 0 0 25 0 4 0 504874365 292360192 10525 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=285508 CPUtime=3.08 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 4555 0 0 0 308 0 0 0 25 0 4 0 504874365 292360192 10525 33554432000 4194304 4650419 140737302831920 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=285508 CPUtime=3.07 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 4423 0 0 0 306 1 0 0 25 0 4 0 504874365 292360192 10525 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 285508

[startup+6.30103 s]
/proc/loadavg: 7.85 8.05 8.03 9/184 12034
/proc/meminfo: memFree=29423264/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=296228 CPUtime=25.14 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 27516 0 0 0 2507 7 0 0 25 0 4 0 504874365 303337472 13965 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 74057 13965 395 112 0 69022 0
[pid=12030/tid=12031] ppid=12028 vsize=296228 CPUtime=6.29 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 6776 0 0 0 627 2 0 0 25 0 4 0 504874365 303337472 13965 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=296228 CPUtime=6.28 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 7057 0 0 0 627 1 0 0 25 0 4 0 504874365 303337472 13965 33554432000 4194304 4650419 140737302831920 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=296228 CPUtime=6.24 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 6218 0 0 0 623 1 0 0 25 0 4 0 504874365 303337472 13965 33554432000 4194304 4650419 140737302831920 18446744073709551615 4332020 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 296228

[startup+12.7009 s]
/proc/loadavg: 7.87 8.05 8.03 9/184 12034
/proc/meminfo: memFree=29388536/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=295500 CPUtime=50.71 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 40088 0 0 0 5060 11 0 0 25 0 4 0 504874365 302592000 21039 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 73875 21039 395 112 0 68840 0
[pid=12030/tid=12031] ppid=12028 vsize=295500 CPUtime=12.69 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 9976 0 0 0 1266 3 0 0 25 0 4 0 504874365 302592000 21039 33554432000 4194304 4650419 140737302831920 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=295500 CPUtime=12.68 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 10597 0 0 0 1266 2 0 0 25 0 4 0 504874365 302592000 21039 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=295500 CPUtime=12.61 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 9201 0 0 0 1259 2 0 0 25 0 4 0 504874365 302592000 21039 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 295500

[startup+25.5006 s]
/proc/loadavg: 7.89 8.05 8.03 9/184 12035
/proc/meminfo: memFree=29367204/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=307180 CPUtime=101.83 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 56436 0 0 0 10167 16 0 0 25 0 4 0 504874365 314552320 28954 33554432000 4194304 4650419 140737302831920 18446744073709551615 4439086 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 76795 28954 395 112 0 71760 0
[pid=12030/tid=12031] ppid=12028 vsize=307180 CPUtime=25.49 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 13689 0 0 0 2545 4 0 0 25 0 4 0 504874365 314552320 28954 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=307180 CPUtime=25.49 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 16790 0 0 0 2545 4 0 0 25 0 4 0 504874365 314552320 28954 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=307180 CPUtime=25.33 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 13094 0 0 0 2529 4 0 0 25 0 4 0 504874365 314552320 28954 33554432000 4194304 4650419 140737302831920 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 307180

[startup+51.1011 s]
/proc/loadavg: 7.99 8.06 8.03 9/184 12035
/proc/meminfo: memFree=29331432/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=363748 CPUtime=204.09 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 89334 0 0 0 20383 26 0 0 25 0 4 0 504874365 372477952 38171 33554432000 4194304 4650419 140737302831920 18446744073709551615 4315210 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 90937 38171 395 112 0 85902 0
[pid=12030/tid=12031] ppid=12028 vsize=363748 CPUtime=51.09 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 22037 0 0 0 5102 7 0 0 25 0 4 0 504874365 372477952 38171 33554432000 4194304 4650419 140737302831920 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=363748 CPUtime=51.09 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 26761 0 0 0 5102 7 0 0 25 0 4 0 504874365 372477952 38171 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=363748 CPUtime=50.79 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 20067 0 0 0 5073 6 0 0 25 0 4 0 504874365 372477952 38171 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 363748

[startup+102.307 s]
/proc/loadavg: 8.06 8.06 8.03 9/184 12037
/proc/meminfo: memFree=29264208/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=459376 CPUtime=408.62 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 120728 0 0 0 40822 40 0 0 25 0 4 0 504874365 470401024 51040 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 114844 51040 395 112 0 109809 0
[pid=12030/tid=12031] ppid=12028 vsize=459376 CPUtime=102.3 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 32800 0 0 0 10218 12 0 0 25 0 4 0 504874365 470401024 51040 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=459376 CPUtime=102.28 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 35011 0 0 0 10218 10 0 0 25 0 4 0 504874365 470401024 51040 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=459376 CPUtime=101.72 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 24554 0 0 0 10164 8 0 0 25 0 4 0 504874365 470401024 51040 33554432000 4194304 4650419 140737302831920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 459376

[startup+162.3 s]

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

[pid=12030] ppid=12028 vsize=669416 CPUtime=2805.29 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 346893 0 0 0 280378 151 0 0 25 0 4 0 504874365 685481984 114784 33554432000 4194304 4650419 140737302831920 18446744073709551615 4314855 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 167354 114784 395 112 0 162319 0
[pid=12030/tid=12031] ppid=12028 vsize=669416 CPUtime=702.29 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 95659 0 0 0 70186 43 0 0 25 0 4 0 504874365 685481984 114784 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=669416 CPUtime=702.28 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 114779 0 0 0 70180 48 0 0 25 0 4 0 504874365 685481984 114784 33554432000 4194304 4650419 140737302831920 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=669416 CPUtime=698.39 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 59103 0 0 0 69812 27 0 0 25 0 4 0 504874365 685481984 114784 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366853 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 669416

[startup+762.306 s]
/proc/loadavg: 6.78 7.79 7.95 5/175 12110
/proc/meminfo: memFree=29230284/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=656748 CPUtime=3044.99 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 359606 0 0 0 304340 159 0 0 25 0 4 0 504874365 672509952 112598 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 164187 112598 395 112 0 159152 0
[pid=12030/tid=12031] ppid=12028 vsize=656748 CPUtime=762.3 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 97059 0 0 0 76186 44 0 0 25 0 4 0 504874365 672509952 112598 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=656748 CPUtime=762.28 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 118628 0 0 0 76178 50 0 0 25 0 4 0 504874365 672509952 112598 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=656748 CPUtime=758.06 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 61897 0 0 0 75778 28 0 0 25 0 4 0 504874365 672509952 112598 33554432000 4194304 4650419 140737302831920 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.99
Current children cumulated vsize (KiB) 656748

[startup+822.301 s]
/proc/loadavg: 5.02 7.09 7.70 5/175 12112
/proc/meminfo: memFree=29232240/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=696480 CPUtime=3284.64 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 375051 0 0 0 328296 168 0 0 25 0 4 0 504874365 713195520 112241 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 174120 112241 395 112 0 169085 0
[pid=12030/tid=12031] ppid=12028 vsize=696480 CPUtime=822.3 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 98054 0 0 0 82186 44 0 0 25 0 4 0 504874365 713195520 112241 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=696480 CPUtime=822.28 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 122454 0 0 0 82176 52 0 0 25 0 4 0 504874365 713195520 112241 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=696480 CPUtime=817.74 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 68102 0 0 0 81742 32 0 0 25 0 4 0 504874365 713195520 112241 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 696480

[startup+882.301 s]
/proc/loadavg: 4.41 6.54 7.47 5/175 12113
/proc/meminfo: memFree=29189676/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=788296 CPUtime=3524.32 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 392797 0 0 0 352255 177 0 0 25 0 4 0 504874365 807215104 122708 33554432000 4194304 4650419 140737302831920 18446744073709551615 4313315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 197074 122708 395 112 0 192039 0
[pid=12030/tid=12031] ppid=12028 vsize=788296 CPUtime=882.29 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 106697 0 0 0 88183 46 0 0 25 0 4 0 504874365 807215104 122708 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=788296 CPUtime=882.27 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 126914 0 0 0 88172 55 0 0 25 0 4 0 504874365 807215104 122708 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=788296 CPUtime=877.41 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 68554 0 0 0 87709 32 0 0 25 0 4 0 504874365 807215104 122708 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 788296

[startup+942.3 s]
/proc/loadavg: 4.15 6.08 7.25 5/175 12115
/proc/meminfo: memFree=29196968/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=835968 CPUtime=3764.01 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 407406 0 0 0 376213 188 0 0 25 0 4 0 504874365 856031232 121310 33554432000 4194304 4650419 140737302831920 18446744073709551615 4313456 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 208992 121310 395 112 0 203957 0
[pid=12030/tid=12031] ppid=12028 vsize=835968 CPUtime=942.3 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 110746 0 0 0 94181 49 0 0 25 0 4 0 504874365 856031232 121310 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=835968 CPUtime=942.28 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 133503 0 0 0 94168 60 0 0 25 0 4 0 504874365 856031232 121310 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=835968 CPUtime=937.09 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 68715 0 0 0 93676 33 0 0 25 0 4 0 504874365 856031232 121310 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 835968

[startup+1002.3 s]
/proc/loadavg: 4.08 5.71 7.05 5/175 12117
/proc/meminfo: memFree=29169788/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=802408 CPUtime=4003.69 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 429908 0 0 0 400168 201 0 0 25 0 4 0 504874365 821665792 128037 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 200602 128037 395 112 0 195567 0
[pid=12030/tid=12031] ppid=12028 vsize=802408 CPUtime=1002.3 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 118102 0 0 0 100176 54 0 0 25 0 4 0 504874365 821665792 128037 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=802408 CPUtime=1002.29 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 139243 0 0 0 100165 64 0 0 25 0 4 0 504874365 821665792 128037 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=802408 CPUtime=996.77 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 71214 0 0 0 99643 34 0 0 25 0 4 0 504874365 821665792 128037 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 802408

[startup+1062.3 s]
/proc/loadavg: 4.03 5.40 6.86 5/175 12118
/proc/meminfo: memFree=29125248/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=802048 CPUtime=4243.37 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 458682 0 0 0 424123 214 0 0 25 0 4 0 504874365 821297152 138911 33554432000 4194304 4650419 140737302831920 18446744073709551615 4433090 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 200512 138911 395 112 0 195477 0
[pid=12030/tid=12031] ppid=12028 vsize=802048 CPUtime=1062.3 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 128543 0 0 0 106173 57 0 0 25 0 4 0 504874365 821297152 138911 33554432000 4194304 4650419 140737302831920 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=802048 CPUtime=1062.29 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 146598 0 0 0 106161 68 0 0 25 0 4 0 504874365 821297152 138911 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=802048 CPUtime=1056.44 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 74664 0 0 0 105610 34 0 0 25 0 4 0 504874365 821297152 138911 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 802048

[startup+1122.3 s]
/proc/loadavg: 4.12 5.17 6.69 5/175 12120
/proc/meminfo: memFree=29134992/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=855544 CPUtime=4483.04 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 471292 0 0 0 448082 222 0 0 25 0 4 0 504874365 876077056 136741 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 213886 136741 395 112 0 208851 0
[pid=12030/tid=12031] ppid=12028 vsize=855544 CPUtime=1122.3 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 134189 0 0 0 112171 59 0 0 25 0 4 0 504874365 876077056 136741 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=855544 CPUtime=1122.29 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 148239 0 0 0 112159 70 0 0 25 0 4 0 504874365 876077056 136741 33554432000 4194304 4650419 140737302831920 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=855544 CPUtime=1116.11 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 76305 0 0 0 111576 35 0 0 25 0 4 0 504874365 876077056 136741 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 855544

[startup+1182.3 s]
/proc/loadavg: 4.12 4.97 6.52 5/175 12121
/proc/meminfo: memFree=29126900/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=923404 CPUtime=4722.73 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 491882 0 0 0 472039 234 0 0 25 0 4 0 504874365 945565696 138828 33554432000 4194304 4650419 140737302831920 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 230851 138828 395 112 0 225816 0
[pid=12030/tid=12031] ppid=12028 vsize=923404 CPUtime=1182.3 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 138849 0 0 0 118168 62 0 0 25 0 4 0 504874365 945565696 138828 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=923404 CPUtime=1182.28 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 154736 0 0 0 118155 73 0 0 25 0 4 0 504874365 945565696 138828 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=923404 CPUtime=1175.79 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 80662 0 0 0 117542 37 0 0 25 0 4 0 504874365 945565696 138828 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 923404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.08 4.91 6.47 5/175 12122
/proc/meminfo: memFree=29123548/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=856088 CPUtime=4800.24 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 500374 0 0 0 479785 239 0 0 25 0 4 0 504874365 876634112 139468 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 214022 139468 395 112 0 208987 0
[pid=12030/tid=12031] ppid=12028 vsize=856088 CPUtime=1201.71 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 141411 0 0 0 120107 64 0 0 25 0 4 0 504874365 876634112 139468 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=856088 CPUtime=1201.69 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 156053 0 0 0 120095 74 0 0 25 0 4 0 504874365 876634112 139468 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=856088 CPUtime=1195.08 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 82517 0 0 0 119470 38 0 0 25 0 4 0 504874365 876634112 139468 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 856088

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: 4.08 4.91 6.47 5/175 12122
/proc/meminfo: memFree=29123548/32951124 swapFree=67111348/67111528
[pid=12030] ppid=12028 vsize=856088 CPUtime=4800.24 cores=1,3,5,7
/proc/12030/stat : 12030 (strangenight1-m) R 12028 12030 11762 0 -1 4202496 500374 0 0 0 479785 239 0 0 25 0 4 0 504874365 876634112 139468 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12030/statm: 214022 139468 395 112 0 208987 0
[pid=12030/tid=12031] ppid=12028 vsize=856088 CPUtime=1201.71 cores=1,3,5,7
/proc/12030/task/12031/stat : 12031 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 141411 0 0 0 120107 64 0 0 25 0 4 0 504874365 876634112 139468 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12030/tid=12032] ppid=12028 vsize=856088 CPUtime=1201.69 cores=1,3,5,7
/proc/12030/task/12032/stat : 12032 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 156053 0 0 0 120095 74 0 0 25 0 4 0 504874365 876634112 139468 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12030/tid=12033] ppid=12028 vsize=856088 CPUtime=1195.08 cores=1,3,5,7
/proc/12030/task/12033/stat : 12033 (strangenight1-m) R 12028 12030 11762 0 -1 4202560 82517 0 0 0 119470 38 0 0 25 0 4 0 504874365 876634112 139468 33554432000 4194304 4650419 140737302831920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 856088

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.29
CPU user time (s): 4797.87
CPU system time (s): 2.41863
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 923404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.41863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500375
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= 378
involuntary context switches= 33593

runsolver used 1.9687 second user time and 4.6033 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-30 02:49:50
IDJOB=3175450
IDBENCH=83068
IDSOLVER=1588
FILE ID=node140/3175450-1304124590
RUNJOBID= node140-1304121952-11781
PBS_JOBID= 13170742
Free space on /tmp= 72656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175450-1304124590/watcher-3175450-1304124590 -o /tmp/evaluation-result-3175450-1304124590/solver-3175450-1304124590 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175450-1304124590.cnf

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

MD5SUM BENCH= fff1de37c6c2184176b7a20930cdd47f
RANDOM SEED=526804664

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29481008 kB
Buffers:       1018772 kB
Cached:        1704900 kB
SwapCached:        180 kB
Active:         482888 kB
Inactive:      2498508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29481008 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:      257572 kB
Mapped:          15520 kB
Slab:           426500 kB
PageTables:       5208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   490560 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= 72656 MiB
End job on node140 at 2011-04-30 03:09:54