Trace number 3369059

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 (fixed)? (TO) 4800.43 1203.65

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369059-1305411130.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	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.70/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.70/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.70/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.70/0.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.70/0.18	c lits-rem:         0  cl-subs:        0  v-elim:     24  v-fix:    0  time:  0.01 s
0.70/0.18	c Finding binary XORs  T:     0.00 s  found:       0
0.70/0.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.70/0.18	c calculated reachability. Time: 0.00
0.70/0.18	c Calc default polars -  time:   0.00 s pos:     266 undec:      79 neg:     305
0.70/0.18	c =========================================================================================
0.70/0.18	c types(t): F = full restart, N = normal restart
0.70/0.18	c types(t): S = simplification begin/end, E = solution found
0.70/0.18	c restart types(rt): st = static, dy = dynamic
0.70/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.70/0.18	c  B st     0         0       626      2732         0         0      8350         0   no data   no data  --
0.70/0.18	c Decided on static restart strategy
0.70/0.18	c  N st     8      4917       626      2732         0      4865      8350    136258   no data   no data  --
3.16/0.81	c  N st    10     11300       626      2732         0      4500      8350     89946   no data   no data  --
3.16/0.81	c  N st    11     17044       626      2732         0     10174      8350    256571   no data   no data  --
4.38/1.16	c  F st    12     25002       626      2732         0     12513      8350    333311   no data   no data  --
4.38/1.16	c  N st    12     25002       626      2732         0     12513      8350    333311   no data   no data  --
5.56/1.43	c Decided on static restart strategy
5.56/1.43	c  N st    18     30002       626      2732         0     10768      8350    243110   no data   no data  --
5.56/1.43	c  S st    18     30002       626      2732         0     10768      8350    243110   no data   no data  --
5.56/1.46	c  S st    18     30509       626      2732         0     11275      8350    256944   no data   no data  --
5.56/1.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.56/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
5.56/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.75/1.76	c lits-rem:       188  cl-subs:      240  v-elim:      0  v-fix:    0  time:  1.13 s
6.75/1.77	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.04
6.75/1.77	c calculated reachability. Time: 0.00
6.75/1.77	c  N st    18     30509       626      2732         0     11035      8350    248572   no data   no data  --
8.35/2.17	c  N st    20     37622       626      2732         0     10246      8350    202177   no data   no data  --
10.34/2.60	c  N st    21     44021       626      2732         0     16549      8350    383832   no data   no data  --
10.74/2.72	c  S st    22     45763       626      2732         0      9460      8350    156388   no data   no data  --
10.74/2.75	c  S st    22     46268       626      2732         0      9965      8350    170699   no data   no data  --
10.74/2.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.74/2.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.74/2.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.74/2.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.74/2.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.74/2.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
10.74/2.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.54/2.90	c lits-rem:        40  cl-subs:       56  v-elim:      0  v-fix:    0  time:  0.56 s
11.54/2.90	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
11.54/2.90	c vivif2 --  cl tried     9909 cl shrink        0 lits rem          0 time: 0.01
11.54/2.91	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.03
11.54/2.91	c calculated reachability. Time: 0.00
11.54/2.91	c  N st    22     46268       626      2732         0      9909      8350    168704   no data   no data  --
15.12/3.85	c  N st    23     60665       626      2732         0     14298      8350    282014   no data   no data  --
17.97/4.51	c  N st    24     69403       626      2732         0     12077      8350    203719   no data   no data  --
17.97/4.51	c  S st    24     69403       626      2732         0     12077      8350    203719   no data   no data  --
17.97/4.54	c  S st    24     69907       626      2732         0     12581      8350    216718   no data   no data  --
17.97/4.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.97/4.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.97/4.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.97/4.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.97/4.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.97/4.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
17.97/4.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.11/4.80	c lits-rem:       107  cl-subs:      113  v-elim:      0  v-fix:    0  time:  0.98 s
19.11/4.80	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
19.11/4.80	c vivif2 --  cl tried    12468 cl shrink        0 lits rem          0 time: 0.01
19.11/4.81	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.04
19.11/4.81	c calculated reachability. Time: 0.00
19.11/4.81	c  N st    24     69907       626      2732         0     12468      8350    213571   no data   no data  --
23.90/6.07	c  F st    25     87500       626      2732         0     17899      8350    354544   no data   no data  --
23.90/6.07	c  N st    25     87500       626      2732         0     17899      8350    354544   no data   no data  --
25.90/6.50	c  N dy    32     93477       626      2732         0     23790      8350    515942     18.15     19.13  --
27.49/6.96	c  N dy    60     99477       626      2732         0     16891      8350    270773     18.13     19.38  --
29.49/7.41	c  S st    87    104860       626      2732         0     22233      8350    416031     18.41   no data  --
29.49/7.46	c  S st    87    105361       626      2732         0     22733      8350    429105     18.41   no data  --
29.49/7.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.49/7.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.49/7.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.49/7.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.49/7.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.49/7.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
29.49/7.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
34.27/8.61	c lits-rem:       206  cl-subs:      234  v-elim:      0  v-fix:    0  time:  4.47 s
34.27/8.61	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
34.27/8.61	c vivif2 --  cl tried    22499 cl shrink        0 lits rem          0 time: 0.02
34.27/8.63	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.08
34.27/8.63	c calculated reachability. Time: 0.00
34.27/8.63	c  N dy    87    105361       626      2732         0     22499      8350    421271     18.41   no data  --
36.67/9.27	c  N dy   112    112171       626      2732         0     15378      8350    193194     18.37     19.47  --
39.49/9.95	c  N dy   125    120635       626      2732         0     23715      8350    402063     17.85     18.99  --
42.25/10.69	c  N dy   152    128510       626      2732         0     16692      8350    199699     17.75     19.06  --
45.44/11.40	c  N dy   193    136716       626      2732         0     24820      8350    414940     17.81     19.60  --
49.03/12.31	c  N dy   250    145550       626      2732         0     17737      8350    205442     17.99     18.95  --
52.66/13.22	c  N dy   304    156021       626      2732         0     28112      8350    483094     18.08     19.05  --
53.42/13.44	c  S st   319    158041       626      2732         0     30119      8350    539333     18.12   no data  --
53.82/13.51	c  S st   319    158546       626      2732         0     30624      8350    552119     18.12   no data  --
53.82/13.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.82/13.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.82/13.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.82/13.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.82/13.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.82/13.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
53.82/13.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
60.61/15.20	c lits-rem:       544  cl-subs:      425  v-elim:      0  v-fix:    0  time:  6.62 s
60.61/15.20	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
60.61/15.20	c vivif2 --  cl tried    30199 cl shrink        0 lits rem          0 time: 0.03
60.61/15.23	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.11
60.61/15.23	c calculated reachability. Time: 0.00
60.61/15.23	c  N dy   319    158546       626      2732         0     30199      8350    537971     18.12   no data  --
64.19/16.18	c  N dy   373    168716       626      2732         0     23442      8350    331073     18.19     20.10  --
68.98/17.39	c  N dy   422    180024       626      2732         0     34667      8350    631829     18.21     19.22  --
73.76/18.56	c  N dy   458    191824       626      2732         0     28486      8350    439644     18.15     19.19  --
80.14/20.14	c  N dy   486    204181       626      2732         0     21884      8350    243698     17.98     18.97  --
86.93/21.80	c  N dy   553    219350       626      2732         0     36914      8350    651418     18.00     19.28  --
92.91/23.36	c  N dy   615    233414       626      2732         0     31032      8350    464790     18.04     19.97  --
95.30/23.91	c  S st   626    237821       626      2732         0     35410      8350    584503     18.01   no data  --
95.70/24.00	c  S st   626    238325       626      2732         0     35913      8350    597687     18.01   no data  --
95.70/24.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
95.70/24.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.70/24.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
95.70/24.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.70/24.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.70/24.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
95.70/24.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
103.28/25.93	c lits-rem:       470  cl-subs:      604  v-elim:      0  v-fix:    0  time:  7.53 s
103.28/25.93	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
103.28/25.93	c vivif2 --  cl tried    35309 cl shrink        0 lits rem          0 time: 0.03
103.28/25.96	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.12
103.28/25.96	c calculated reachability. Time: 0.00
103.28/25.96	c  N dy   626    238325       626      2732         0     35309      8350    579600     18.01   no data  --
110.45/27.74	c  N dy   728    253696       626      2732         0     29766      8350    418748     18.11     19.32  --
120.42/30.20	c  N dy   773    273450       626      2732         0     27511      8350    337211     18.02     19.05  --
129.60/32.57	c  N dy   873    290969       626      2732         0     44850      8350    800201     18.07     19.09  --
136.78/34.33	c  F st   944    306251       626      2732         0     37222      8350    574081     18.10   no data  --
138.37/34.76	c  N st   949    309547       626      2732         0     40478      8350    670710     18.10   no data  --
148.75/37.37	c  N dy  1026    329356       626      2732         0     36319      8350    518880     18.12     19.12  --
159.91/40.19	c  N dy  1131    349474       626      2732         0     31494      8350    378150     18.16     19.15  --
164.30/41.21	c  S st  1178    357487       626      2732         0     39436      8350    592437     18.18     15.78  --
164.70/41.30	c  S st  1178    357995       626      2732         0     39943      8350    606727     18.18   no data  --
164.70/41.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
164.70/41.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
164.70/41.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
164.70/41.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
164.70/41.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
164.70/41.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
164.70/41.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
173.07/43.42	c lits-rem:       661  cl-subs:      417  v-elim:      0  v-fix:    0  time:  8.29 s
173.07/43.42	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
173.07/43.43	c vivif2 --  cl tried    39526 cl shrink        0 lits rem          0 time: 0.03
173.07/43.47	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.14
173.07/43.47	c calculated reachability. Time: 0.00
173.07/43.47	c  N dy  1178    357995       626      2732         0     39526      8350    593515     18.18   no data  --
189.83/47.66	c  N dy  1266    387482       626      2732         0     42930      8350    651703     18.08     19.14  --
203.39/51.02	c  N dy  1383    407571       626      2732         0     36136      8350    466245     18.14     19.23  --
216.95/54.43	c  N dy  1451    427636       626      2732         0     28268      8350    229635     18.13     20.81  --
227.73/57.18	c  N dy  1563    447677       626      2732         0     48134      8350    768933     18.17     21.16  --
241.31/60.60	c  N dy  1654    470180       626      2732         0     41674      8350    575708     18.18     19.23  --
255.63/64.16	c  N dy  1736    490192       626      2732         0     31762      8350    284433     18.18     21.91  --
268.39/67.30	c  N dy  1835    510819       626      2732         0     52195      8350    832564     18.19     19.26  --
281.56/70.68	c  N dy  1923    530897       626      2732         0     41378      8350    521789     18.21     19.50  --
285.59/71.64	c  S st  1939    536992       626      2732         0     47391      8350    682052     18.20   no data  --
285.94/71.76	c  S st  1939    537493       626      2732         0     47892      8350    696174     18.20   no data  --
285.94/71.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
285.94/71.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.94/71.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
286.34/71.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
286.34/71.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
286.34/71.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
286.34/71.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
295.12/74.00	c lits-rem:      1335  cl-subs:      687  v-elim:      0  v-fix:    0  time:  8.79 s
295.12/74.00	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
295.12/74.01	c vivif2 --  cl tried    47205 cl shrink        0 lits rem          0 time: 0.03
295.12/74.06	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.18
295.12/74.06	c calculated reachability. Time: 0.00
295.12/74.06	c  N dy  1939    537493       626      2732         0     47205      8350    675398     18.20   no data  --
310.68/77.94	c  N dy  2058    557567       626      2732         0     35417      8350    335153     18.24     21.91  --
327.43/82.19	c  N dy  2147    583251       626      2732         0     60790      8350   1012408     18.21     19.32  --
341.79/85.75	c  N dy  2239    604496       626      2732         0     49230      8350    694103     18.22     19.21  --
358.54/89.91	c  N dy  2336    624615       626      2732         0     35481      8350    298985     18.24     19.20  --
371.31/93.14	c  N dy  2428    644684       626      2732         0     55343      8350    838968     18.25     19.36  --
388.05/97.33	c  N dy  2521    664752       626      2732         0     40568      8350    418305     18.26     19.27  --
410.79/103.04	c  N dy  2572    692686       626      2732         0     68183      8350   1160825     18.21     19.30  --
425.15/106.62	c  N dy  2666    712835       626      2732         0     52471      8350    713094     18.23     19.25  --
448.27/112.43	c  N dy  2718    735303       626      2732         0     38075      8350    306158     18.20     19.25  --
462.63/116.07	c  N dy  2855    755401       626      2732         0     58023      8350    856664     18.24     20.50  --
482.18/120.91	c  N dy  2957    775407       626      2732         0     40216      8350    344218     18.24     21.23  --
497.33/124.71	c  N dy  3080    795441       626      2732         0     60077      8350    899315     18.28     22.73  --
508.11/127.47	c  S st  3141    806240       626      2732         0     70770      8350   1192394     18.29   no data  --
508.93/127.66	c  S st  3141    806743       626      2732         0     71273      8350   1206395     18.29   no data  --
508.93/127.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
508.93/127.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
508.93/127.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
509.34/127.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
509.34/127.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
509.34/127.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
509.34/127.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
516.48/129.55	c lits-rem:       471  cl-subs:      974  v-elim:      0  v-fix:    0  time:  7.24 s
516.48/129.55	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
516.48/129.56	c vivif2 --  cl tried    70299 cl shrink        0 lits rem          0 time: 0.06
516.88/129.65	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.35
516.88/129.65	c calculated reachability. Time: 0.00
516.88/129.65	c  N dy  3141    806743       626      2732         0     70299      8350   1176153     18.29   no data  --
534.02/133.90	c  N dy  3172    827281       626      2732         0     51909      8350    623466     18.25     19.25  --
555.16/139.27	c  N dy  3306    848067       626      2732         0     72506      8350   1190641     18.29     19.27  --
573.51/143.81	c  N dy  3432    869061       626      2732         0     53732      8350    671060     18.31     19.28  --
592.70/148.65	c  N dy  3507    890184       626      2732         0     74652      8350   1243986     18.30     19.27  --
609.40/152.84	c  N dy  3557    910422       626      2732         0     54054      8350    644251     18.28     19.42  --
628.95/157.70	c  N dy  3688    930493       626      2732         0     73934      8350   1193632     18.31     19.44  --
649.73/162.93	c  N dy  3807    952691       626      2732         0     54364      8350    656320     18.33     19.35  --
669.23/167.88	c  N dy  3912    973093       626      2732         0     74555      8350   1207594     18.35     19.32  --
689.21/172.86	c  N dy  3974    993153       626      2732         0     51838      8350    560140     18.33     21.71  --
707.11/177.35	c  N dy  4040   1013420       626      2732         0     71856      8350   1102262     18.33     19.50  --
729.85/183.02	c  N dy  4155   1033503       626      2732         0     48227      8350    446751     18.35     21.20  --
748.60/187.77	c  N dy  4272   1055246       626      2732         0     69742      8350   1036827     18.36     19.84  --
769.34/192.93	c  F st  4370   1071875       626      2732         0     86207      8350   1486896     18.37     16.65  --
774.92/194.33	c Decided on static restart strategy
774.92/194.33	c  N st  4376   1077072       626      2732         0     46836      8350    389253     18.37   no data  --
791.67/198.53	c  N st  4380   1100182       626      2732         0     69560      8350   1034324     18.37   no data  --
821.98/206.14	c  N st  4382   1136174       626      2732         0     59591      8350   1193751     18.37   no data  --
853.89/214.16	c  N st  4383   1168566       626      2732         0     91403      8350   2197502     18.37   no data  --
893.38/224.01	c  N st  4384   1210114       626      2732         0     85975      8350   1941769     18.37   no data  --
893.38/224.01	c  S st  4384   1210114       626      2732         0     85975      8350   1941769     18.37   no data  --
894.58/224.31	c  S st  4384   1210618       626      2732         0     86478      8350   1955680     18.37   no data  --
894.58/224.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
894.58/224.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
894.58/224.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
895.00/224.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
895.00/224.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
895.00/224.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
895.00/224.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
928.47/232.89	c lits-rem:        88  cl-subs:     3729  v-elim:      0  v-fix:    0  time: 33.73 s
928.47/232.89	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
928.87/232.91	c vivif2 --  cl tried    82749 cl shrink        0 lits rem          0 time: 0.09
929.27/233.04	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.51
929.27/233.04	c calculated reachability. Time: 0.00
929.27/233.04	c  N st  4384   1210618       626      2732         0     82749      8350   1833043     18.37   no data  --
1002.25/251.39	c  N st  4385   1283500       626      2732         0     59162      8350   1005420     18.37   no data  --
1124.69/282.08	c  N st  4386   1392825       626      2732         0     67243      8350   1243691     18.37   no data  --
1293.00/324.24	c  N st  4387   1556809       626      2732         0     71986      8350   1283109     18.37   no data  --
1463.31/366.95	c  N st  4388   1710618       626      2732         0     58186      8350    738200     18.37   no data  --
1463.31/366.95	c  S st  4388   1710618       626      2732         0     58186      8350    738200     18.37   no data  --
1464.11/367.10	c  S st  4388   1711120       626      2732         0     58687      8350    751313     18.37   no data  --
1464.11/367.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1464.11/367.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1464.11/367.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1464.11/367.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1464.11/367.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1464.11/367.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
1464.11/367.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1472.48/369.23	c lits-rem:       781  cl-subs:      407  v-elim:      0  v-fix:    0  time:  8.28 s
1472.48/369.23	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
1472.48/369.24	c vivif2 --  cl tried    58280 cl shrink        0 lits rem          0 time: 0.04
1472.88/369.30	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.24
1472.88/369.30	c calculated reachability. Time: 0.00
1472.88/369.30	c  N st  4388   1711120       626      2732         0     58280      8350    738932     18.37   no data  --
1881.29/471.76	c  N st  4389   2080085       626      2732         0     64148      8350    760018     18.37   no data  --
2040.47/511.67	c  N st  4390   2211121       626      2732         0     65985      8350    770759     18.37   no data  --
2040.47/511.67	c  S st  4390   2211121       626      2732         0     65985      8350    770759     18.37   no data  --
2041.22/511.84	c  S st  4390   2211625       626      2732         0     66489      8350    785139     18.37   no data  --
2041.22/511.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2041.22/511.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2041.22/511.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
2041.62/511.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2041.62/511.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2041.62/511.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2041.62/511.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2050.79/514.24	c lits-rem:       267  cl-subs:      342  v-elim:      0  v-fix:    0  time:  9.34 s
2050.79/514.24	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
2050.79/514.25	c vivif2 --  cl tried    66147 cl shrink        0 lits rem          0 time: 0.04
2051.19/514.32	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.29
2051.19/514.33	c calculated reachability. Time: 0.00
2051.19/514.33	c  N st  4390   2211625       626      2732         0     66147      8350    776334     18.37   no data  --
2661.41/667.31	c  N st  4391   2711626       626      2732         0     82879      8350   1141820     18.37   no data  --
2661.41/667.31	c  S st  4391   2711626       626      2732         0     82879      8350   1141820     18.37   no data  --
2662.21/667.52	c  S st  4391   2712129       626      2732         0     83381      8350   1156138     18.37   no data  --
2662.21/667.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2662.21/667.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2662.21/667.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
2662.61/667.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2662.61/667.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2662.61/667.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2662.61/667.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2671.38/669.81	c lits-rem:        45  cl-subs:     1349  v-elim:      0  v-fix:    0  time:  8.79 s
2671.38/669.81	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
2671.38/669.83	c vivif2 --  cl tried    82032 cl shrink        0 lits rem          0 time: 0.06
2671.81/669.93	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.39
2671.81/669.93	c calculated reachability. Time: 0.00
2671.81/669.93	c  N st  4391   2712129       626      2732         0     82032      8350   1117491     18.37   no data  --
3376.52/846.63	c  N st  4392   3212131       626      2732         0    128322      8350   2451792     18.37   no data  --
3376.52/846.63	c  S st  4392   3212131       626      2732         0    128322      8350   2451792     18.37   no data  --
3378.55/847.17	c  S st  4392   3212635       626      2732         0    128826      8350   2466150     18.37   no data  --
3378.55/847.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3378.55/847.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3378.90/847.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.34
3379.30/847.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3379.30/847.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3379.30/847.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
3379.30/847.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3489.78/875.07	c lits-rem:       881  cl-subs:     5425  v-elim:      0  v-fix:    0  time: 110.46 s
3489.78/875.07	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
3490.18/875.10	c vivif2 --  cl tried   123401 cl shrink        0 lits rem          0 time: 0.12
3490.98/875.31	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.85
3490.98/875.31	c calculated reachability. Time: 0.00
3490.98/875.31	c  N st  4392   3212635       626      2732         0    123401      8350   2291337     18.37   no data  --
4240.38/1063.29	c  N st  4393   3712635       626      2732         0    133516      8350   2353981     18.37   no data  --
4240.38/1063.29	c  S st  4393   3712635       626      2732         0    133516      8350   2353981     18.37   no data  --
4242.41/1063.72	c  S st  4393   3713140       626      2732         0    134021      8350   2368447     18.37   no data  --
4242.41/1063.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4242.41/1063.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4242.41/1063.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
4242.82/1063.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4242.82/1063.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4242.82/1063.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
4242.82/1063.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4351.26/1091.05	c lits-rem:       266  cl-subs:     8278  v-elim:      0  v-fix:    0  time: 108.31 s
4351.26/1091.05	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
4351.26/1091.08	c vivif2 --  cl tried   125743 cl shrink        0 lits rem          0 time: 0.12
4352.50/1091.33	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 1.01
4352.50/1091.34	c calculated reachability. Time: 0.00
4352.50/1091.34	c  N st  4393   3713140       626      2732         0    125743      8350   2149129     18.37   no data  --
4431.81/1111.22	c  F st  4394   3751562       626      2732         0    163411      8350   3287955     18.37   no data  --
4431.81/1111.22	c  N st  4394   3751562       626      2732         0    163411      8350   3287955     18.37   no data  --
4442.59/1113.98	c Decided on static restart strategy
4473.30/1121.69	c  N st  4404   3779865       626      2732         0    108257      8350   1543872     18.37   no data  --
4533.12/1136.65	c  N st  4406   3815857       626      2732         0    143590      8350   2576520     18.37   no data  --
4598.17/1152.97	c  N st  4407   3848249       626      2732         0     91271      8350   1047280     18.37   no data  --
4674.30/1172.01	c  N st  4408   3896840       626      2732         0    138932      8350   2486559     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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369059-1305411130/watcher-3369059-1305411130 -o /tmp/evaluation-result-3369059-1305411130/solver-3369059-1305411130 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369059-1305411130.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.43 7.88 7.51 2/353 19446
/proc/meminfo: memFree=18702120/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 416 0 0 0 1 0 0 0 25 0 4 0 633528844 52465664 357 33554432000 4194304 4650419 140735874792176 18446744073709551615 47052240791056 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 12809 357 306 112 0 7774 0
[pid=19446/tid=19447] ppid=19444 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633528844 52465664 357 33554432000 4194304 4650419 140735874792176 18446744073709551615 47052240791468 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633528844 52465664 357 33554432000 4194304 4650419 140735874792176 18446744073709551615 47052240791065 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633528845 52465664 357 33554432000 4194304 4650419 140735874792176 18446744073709551615 47052240791056 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.184241 s]
/proc/loadavg: 7.43 7.88 7.51 2/353 19446
/proc/meminfo: memFree=18702120/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=300128 CPUtime=0.7 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 2403 0 0 0 70 0 0 0 18 0 4 0 633528844 307331072 2075 33554432000 4194304 4650419 140735874792176 18446744073709551615 233509958689 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 75032 2083 393 112 0 69997 0
[pid=19446/tid=19447] ppid=19444 vsize=300128 CPUtime=0.17 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 493 0 0 0 17 0 0 0 18 0 4 0 633528844 307331072 2090 33554432000 4194304 4650419 140735874792176 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=300128 CPUtime=0.17 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 580 0 0 0 17 0 0 0 18 0 4 0 633528844 307331072 2091 33554432000 4194304 4650419 140735874792176 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=300128 CPUtime=0.17 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 423 0 0 0 17 0 0 0 18 0 4 0 633528845 307331072 2096 33554432000 4194304 4650419 140735874792176 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 300128

[startup+0.215393 s]
/proc/loadavg: 7.43 7.88 7.51 2/353 19446
/proc/meminfo: memFree=18702120/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=283808 CPUtime=0.82 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 2751 0 0 0 82 0 0 0 18 0 4 0 633528844 290619392 1919 33554432000 4194304 4650419 140735874792176 18446744073709551615 4333862 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 70952 1919 393 112 0 65917 0
[pid=19446/tid=19447] ppid=19444 vsize=283808 CPUtime=0.2 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 563 0 0 0 20 0 0 0 18 0 4 0 633528844 290619392 1919 33554432000 4194304 4650419 140735874792176 18446744073709551615 4329157 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=283808 CPUtime=0.21 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 706 0 0 0 21 0 0 0 18 0 4 0 633528844 290619392 1919 33554432000 4194304 4650419 140735874792176 18446744073709551615 4333421 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=283808 CPUtime=0.2 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 449 0 0 0 20 0 0 0 18 0 4 0 633528845 290619392 1919 33554432000 4194304 4650419 140735874792176 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 283808

[startup+0.300378 s]
/proc/loadavg: 7.43 7.88 7.51 2/353 19446
/proc/meminfo: memFree=18702120/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=283952 CPUtime=1.16 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 3106 0 0 0 116 0 0 0 18 0 4 0 633528844 290766848 2274 33554432000 4194304 4650419 140735874792176 18446744073709551615 4363460 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 70988 2274 393 112 0 65953 0
[pid=19446/tid=19447] ppid=19444 vsize=283952 CPUtime=0.28 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 644 0 0 0 28 0 0 0 18 0 4 0 633528844 290766848 2274 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=283952 CPUtime=0.29 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 808 0 0 0 29 0 0 0 18 0 4 0 633528844 290766848 2274 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=283952 CPUtime=0.29 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 527 0 0 0 29 0 0 0 18 0 4 0 633528845 290766848 2274 33554432000 4194304 4650419 140735874792176 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283952

[startup+0.700307 s]
/proc/loadavg: 7.43 7.88 7.51 2/353 19446
/proc/meminfo: memFree=18702120/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=284704 CPUtime=2.76 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 4820 0 0 0 276 0 0 0 18 0 4 0 633528844 291536896 2997 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 71176 2997 393 112 0 66141 0
[pid=19446/tid=19447] ppid=19444 vsize=284704 CPUtime=0.68 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 1075 0 0 0 68 0 0 0 18 0 4 0 633528844 291536896 2997 33554432000 4194304 4650419 140735874792176 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=284704 CPUtime=0.69 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 1233 0 0 0 69 0 0 0 18 0 4 0 633528844 291536896 2997 33554432000 4194304 4650419 140735874792176 18446744073709551615 4333924 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=284704 CPUtime=0.69 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 956 0 0 0 69 0 0 0 18 0 4 0 633528845 291536896 2998 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284704

[startup+1.50017 s]
/proc/loadavg: 7.43 7.88 7.51 9/364 19458
/proc/meminfo: memFree=18675492/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=286032 CPUtime=5.95 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 9710 0 0 0 594 1 0 0 20 0 4 0 633528844 292896768 5067 33554432000 4194304 4650419 140735874792176 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 71508 5067 395 112 0 66473 0
[pid=19446/tid=19447] ppid=19444 vsize=286032 CPUtime=1.47 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 1913 0 0 0 147 0 0 0 20 0 4 0 633528844 292896768 5067 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=286032 CPUtime=1.49 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 2133 0 0 0 149 0 0 0 20 0 4 0 633528844 292896768 5067 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=286032 CPUtime=1.49 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 1744 0 0 0 149 0 0 0 20 0 4 0 633528845 292896768 5067 33554432000 4194304 4650419 140735874792176 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286032

[startup+3.10088 s]
/proc/loadavg: 7.43 7.88 7.51 9/364 19459
/proc/meminfo: memFree=18647244/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=295896 CPUtime=12.34 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 18279 0 0 0 1231 3 0 0 25 0 4 0 633528844 302997504 10548 33554432000 4194304 4650419 140735874792176 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 73974 10548 395 112 0 68939 0
[pid=19446/tid=19447] ppid=19444 vsize=295896 CPUtime=3.05 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 4153 0 0 0 305 0 0 0 25 0 4 0 633528844 302997504 10548 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=295896 CPUtime=3.08 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 4495 0 0 0 308 0 0 0 25 0 4 0 633528844 302997504 10548 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=295896 CPUtime=3.08 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 4539 0 0 0 308 0 0 0 25 0 4 0 633528845 302997504 10548 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 295896

[startup+6.30031 s]
/proc/loadavg: 7.47 7.88 7.51 9/364 19459
/proc/meminfo: memFree=18601952/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=296716 CPUtime=25.1 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 27484 0 0 0 2505 5 0 0 25 0 4 0 633528844 303837184 14534 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 74179 14534 395 112 0 69144 0
[pid=19446/tid=19447] ppid=19444 vsize=296716 CPUtime=6.21 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 6618 0 0 0 620 1 0 0 25 0 4 0 633528844 303837184 14534 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=296716 CPUtime=6.29 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 7045 0 0 0 628 1 0 0 25 0 4 0 633528844 303837184 14534 33554432000 4194304 4650419 140735874792176 18446744073709551615 4328106 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=296716 CPUtime=6.29 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 6443 0 0 0 628 1 0 0 25 0 4 0 633528845 303837184 14534 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 296716

[startup+12.7012 s]
/proc/loadavg: 7.51 7.88 7.51 9/364 19489
/proc/meminfo: memFree=18605876/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=287320 CPUtime=50.63 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 39657 0 0 0 5055 8 0 0 25 0 4 0 633528844 294215680 21995 33554432000 4194304 4650419 140735874792176 18446744073709551615 4334040 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 71830 21995 395 112 0 66795 0
[pid=19446/tid=19447] ppid=19444 vsize=287320 CPUtime=12.54 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 9613 0 0 0 1252 2 0 0 25 0 4 0 633528844 294215680 21995 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=287320 CPUtime=12.69 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 10367 0 0 0 1267 2 0 0 25 0 4 0 633528844 294215680 21995 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=287320 CPUtime=12.69 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 9171 0 0 0 1268 1 0 0 25 0 4 0 633528845 294215680 21995 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 287320

[startup+25.5009 s]
/proc/loadavg: 7.62 7.89 7.52 9/364 19489
/proc/meminfo: memFree=18508952/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=306192 CPUtime=101.68 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 54701 0 0 0 10154 14 0 0 25 0 4 0 633528844 313540608 29703 33554432000 4194304 4650419 140735874792176 18446744073709551615 4438680 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 76548 29703 395 112 0 71513 0
[pid=19446/tid=19447] ppid=19444 vsize=306192 CPUtime=25.18 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 13263 0 0 0 2515 3 0 0 25 0 4 0 633528844 313540608 29703 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=306192 CPUtime=25.49 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 16218 0 0 0 2546 3 0 0 25 0 4 0 633528844 313540608 29703 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=306192 CPUtime=25.48 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 12521 0 0 0 2546 2 0 0 25 0 4 0 633528845 313540608 29703 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 306192

[startup+51.1013 s]
/proc/loadavg: 7.83 7.91 7.54 9/364 19490
/proc/meminfo: memFree=18447356/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=381568 CPUtime=203.79 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 78248 0 0 0 20356 23 0 0 25 0 4 0 633528844 390725632 37133 33554432000 4194304 4650419 140735874792176 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 95392 37133 395 112 0 90357 0
[pid=19446/tid=19447] ppid=19444 vsize=381568 CPUtime=50.49 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 18182 0 0 0 5044 5 0 0 25 0 4 0 633528844 390725632 37133 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=381568 CPUtime=51.09 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 24665 0 0 0 5103 6 0 0 25 0 4 0 633528844 390725632 37133 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=381568 CPUtime=51.08 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 18009 0 0 0 5103 5 0 0 25 0 4 0 633528845 390725632 37133 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 381568

[startup+102.301 s]
/proc/loadavg: 7.97 7.94 7.56 9/364 19491
/proc/meminfo: memFree=18364872/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=458872 CPUtime=408.03 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 107922 0 0 0 40768 35 0 0 25 0 4 0 633528844 469884928 49807 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 114718 49807 395 112 0 109683 0
[pid=19446/tid=19447] ppid=19444 vsize=458872 CPUtime=101.11 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 25746 0 0 0 10102 9 0 0 25 0 4 0 633528844 469884928 49808 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=458872 CPUtime=102.3 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 34108 0 0 0 10220 10 0 0 25 0 4 0 633528844 469884928 49808 33554432000 4194304 4650419 140735874792176 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=458872 CPUtime=102.3 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 27108 0 0 0 10221 9 0 0 25 0 4 0 633528845 469884928 49808 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364325 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.03
Current children cumulated vsize (KiB) 458872

[startup+162.3 s]

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

[pid=19446] ppid=19444 vsize=588556 CPUtime=2800.99 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 390520 0 0 0 279931 168 0 0 25 0 4 0 633528844 602681344 107370 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 147139 107370 395 112 0 142104 0
[pid=19446/tid=19447] ppid=19444 vsize=588556 CPUtime=694.05 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 116381 0 0 0 69353 52 0 0 25 0 4 0 633528844 602681344 107370 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=588556 CPUtime=702.31 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 101315 0 0 0 70190 41 0 0 25 0 4 0 633528844 602681344 107370 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=588556 CPUtime=702.3 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 67834 0 0 0 70201 29 0 0 25 0 4 0 633528845 602681344 107370 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.99
Current children cumulated vsize (KiB) 588556

[startup+762.301 s]
/proc/loadavg: 8.05 8.06 7.82 9/364 19509
/proc/meminfo: memFree=17944816/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=636056 CPUtime=3040.33 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 411030 0 0 0 303855 178 0 0 25 0 4 0 633528844 651321344 107518 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 159014 107518 395 112 0 153979 0
[pid=19446/tid=19447] ppid=19444 vsize=636056 CPUtime=753.36 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 124588 0 0 0 75279 57 0 0 25 0 4 0 633528844 651321344 107520 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=636056 CPUtime=762.32 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 106046 0 0 0 76190 42 0 0 25 0 4 0 633528844 651321344 107520 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=636056 CPUtime=762.32 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 71895 0 0 0 76202 30 0 0 25 0 4 0 633528845 651321344 107520 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.33
Current children cumulated vsize (KiB) 636056

[startup+822.301 s]
/proc/loadavg: 8.22 8.12 7.85 9/364 19513
/proc/meminfo: memFree=17936164/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=570832 CPUtime=3279.6 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 433569 0 0 0 327769 191 0 0 25 0 4 0 633528844 584531968 102063 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 142708 102063 395 112 0 137673 0
[pid=19446/tid=19447] ppid=19444 vsize=570832 CPUtime=812.64 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 133927 0 0 0 81203 61 0 0 25 0 4 0 633528844 584531968 102063 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=570832 CPUtime=822.31 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 109915 0 0 0 82186 45 0 0 25 0 4 0 633528844 584531968 102063 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=570832 CPUtime=822.31 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 73560 0 0 0 82199 32 0 0 25 0 4 0 633528845 584531968 102063 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.6
Current children cumulated vsize (KiB) 570832

[startup+882.313 s]
/proc/loadavg: 8.16 8.13 7.87 9/364 19515
/proc/meminfo: memFree=17863236/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=675252 CPUtime=3518.94 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 455388 0 0 0 351693 201 0 0 25 0 4 0 633528844 691458048 117506 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 168813 117507 395 112 0 163778 0
[pid=19446/tid=19447] ppid=19444 vsize=675252 CPUtime=871.95 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 139797 0 0 0 87132 63 0 0 25 0 4 0 633528844 691458048 117507 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=675252 CPUtime=882.32 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 116382 0 0 0 88183 49 0 0 25 0 4 0 633528844 691458048 117507 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=675252 CPUtime=882.32 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 76534 0 0 0 88199 33 0 0 25 0 4 0 633528845 691458048 117507 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.94
Current children cumulated vsize (KiB) 675252

[startup+942.301 s]
/proc/loadavg: 8.25 8.15 7.89 9/364 19517
/proc/meminfo: memFree=17876488/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=702252 CPUtime=3758.2 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 479080 0 0 0 375607 213 0 0 25 0 4 0 633528844 719106048 115289 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 175563 115289 395 112 0 170528 0
[pid=19446/tid=19447] ppid=19444 vsize=702252 CPUtime=931.24 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 147202 0 0 0 93057 67 0 0 25 0 4 0 633528844 719106048 115289 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=702252 CPUtime=942.31 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 120692 0 0 0 94180 51 0 0 25 0 4 0 633528844 719106048 115289 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365453 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=702252 CPUtime=942.31 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 81449 0 0 0 94196 35 0 0 25 0 4 0 633528845 719106048 115289 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.2
Current children cumulated vsize (KiB) 702252

[startup+1002.3 s]
/proc/loadavg: 8.21 8.15 7.91 9/364 19518
/proc/meminfo: memFree=17838132/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=777332 CPUtime=3997.49 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 508451 0 0 0 399523 226 0 0 25 0 4 0 633528844 795987968 119682 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 194333 119682 395 112 0 189298 0
[pid=19446/tid=19447] ppid=19444 vsize=777332 CPUtime=990.52 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 154660 0 0 0 98981 71 0 0 25 0 4 0 633528844 795987968 119682 33554432000 4194304 4650419 140735874792176 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=777332 CPUtime=1002.32 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 127188 0 0 0 100179 53 0 0 25 0 4 0 633528844 795987968 119682 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=777332 CPUtime=1002.31 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 89914 0 0 0 100192 39 0 0 25 0 4 0 633528845 795987968 119682 33554432000 4194304 4650419 140735874792176 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997.49
Current children cumulated vsize (KiB) 777332

[startup+1062.3 s]
/proc/loadavg: 8.11 8.13 7.91 9/364 19520
/proc/meminfo: memFree=17807620/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=737996 CPUtime=4236.8 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 533700 0 0 0 423440 240 0 0 25 0 4 0 633528844 755707904 122146 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 184499 122146 395 112 0 179464 0
[pid=19446/tid=19447] ppid=19444 vsize=737996 CPUtime=1049.82 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 161939 0 0 0 104907 75 0 0 25 0 4 0 633528844 755707904 122146 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=737996 CPUtime=1062.32 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 134496 0 0 0 106174 58 0 0 25 0 4 0 633528844 755707904 122146 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=737996 CPUtime=1062.31 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 93424 0 0 0 106192 39 0 0 25 0 4 0 633528845 755707904 122146 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4236.8
Current children cumulated vsize (KiB) 737996

[startup+1122.3 s]
/proc/loadavg: 8.04 8.11 7.91 9/364 19521
/proc/meminfo: memFree=17810560/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=716708 CPUtime=4476.09 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 554585 0 0 0 447359 250 0 0 25 0 4 0 633528844 733908992 123729 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 179177 123729 395 112 0 174142 0
[pid=19446/tid=19447] ppid=19444 vsize=716708 CPUtime=1109.11 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 169846 0 0 0 110834 77 0 0 25 0 4 0 633528844 733908992 123729 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=716708 CPUtime=1122.32 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 139234 0 0 0 112170 62 0 0 25 0 4 0 633528844 733908992 123729 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=716708 CPUtime=1122.31 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 96003 0 0 0 112189 42 0 0 25 0 4 0 633528845 733908992 123729 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.09
Current children cumulated vsize (KiB) 716708

[startup+1182.3 s]
/proc/loadavg: 8.04 8.10 7.92 9/364 19523
/proc/meminfo: memFree=17768636/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=816676 CPUtime=4715.39 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 574310 0 0 0 471277 262 0 0 25 0 4 0 633528844 836276224 135169 33554432000 4194304 4650419 140735874792176 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 204169 135169 395 112 0 199134 0
[pid=19446/tid=19447] ppid=19444 vsize=816676 CPUtime=1168.41 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 175149 0 0 0 116760 81 0 0 25 0 4 0 633528844 836276224 135169 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=816676 CPUtime=1182.32 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 144038 0 0 0 118168 64 0 0 25 0 4 0 633528844 836276224 135169 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=816676 CPUtime=1182.31 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 100394 0 0 0 118187 44 0 0 25 0 4 0 633528845 836276224 135169 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.39
Current children cumulated vsize (KiB) 816676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.03 8.09 7.92 10/364 19524
/proc/meminfo: memFree=17774456/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=816668 CPUtime=4800.36 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 581086 0 0 0 479771 265 0 0 25 0 4 0 633528844 836268032 133787 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 204167 133787 395 112 0 199132 0
[pid=19446/tid=19447] ppid=19444 vsize=816668 CPUtime=1189.45 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 176193 0 0 0 118863 82 0 0 25 0 4 0 633528844 836268032 133788 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=816668 CPUtime=1203.63 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 146670 0 0 0 120298 65 0 0 25 0 4 0 633528844 836268032 133788 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=816668 CPUtime=1203.63 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 100718 0 0 0 120319 44 0 0 25 0 4 0 633528845 836268032 133788 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 816668

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

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

[startup+1203.6 s]
/proc/loadavg: 8.03 8.09 7.92 10/364 19524
/proc/meminfo: memFree=17774456/32951124 swapFree=67111348/67111528
[pid=19446] ppid=19444 vsize=816668 CPUtime=4800.36 cores=1,3,5,7
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 18878 0 -1 4202496 581086 0 0 0 479771 265 0 0 25 0 4 0 633528844 836268032 133787 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19446/statm: 204167 133787 395 112 0 199132 0
[pid=19446/tid=19447] ppid=19444 vsize=816668 CPUtime=1189.45 cores=1,3,5,7
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 176193 0 0 0 118863 82 0 0 25 0 4 0 633528844 836268032 133788 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19446/tid=19448] ppid=19444 vsize=816668 CPUtime=1203.63 cores=1,3,5,7
/proc/19446/task/19448/stat : 19448 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 146670 0 0 0 120298 65 0 0 25 0 4 0 633528844 836268032 133788 33554432000 4194304 4650419 140735874792176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=816668 CPUtime=1203.63 cores=1,3,5,7
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 18878 0 -1 4202560 100718 0 0 0 120319 44 0 0 25 0 4 0 633528845 836268032 133788 33554432000 4194304 4650419 140735874792176 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 816668

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.65
CPU time (s): 4800.43
CPU user time (s): 4797.74
CPU system time (s): 2.68359
CPU usage (%): 398.824
Max. virtual memory (cumulated for all children) (KiB): 903220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.74
system time used= 2.68359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581087
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= 526
involuntary context switches= 30264

runsolver used 3.9284 second user time and 10.2554 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-15 00:12:10
IDJOB=3369059
IDBENCH=83068
IDSOLVER=1846
FILE ID=node145/3369059-1305411130
RUNJOBID= node145-1305409924-19329
PBS_JOBID= 13324499
Free space on /tmp= 73660 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369059-1305411130/watcher-3369059-1305411130 -o /tmp/evaluation-result-3369059-1305411130/solver-3369059-1305411130 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369059-1305411130.cnf

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

MD5SUM BENCH= fff1de37c6c2184176b7a20930cdd47f
RANDOM SEED=345795745

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18703888 kB
Buffers:        297732 kB
Cached:        8121888 kB
SwapCached:          0 kB
Active:        7269348 kB
Inactive:      6623724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18703888 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            8968 kB
Writeback:           0 kB
AnonPages:     5472964 kB
Mapped:          26876 kB
Slab:           255384 kB
PageTables:      33524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79338344 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= 73648 MiB
End job on node145 at 2011-05-15 00:32:16