Trace number 3175341

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.38 1201.93

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf
MD5SUM31822745c6eca997ddfb1c68091841ad
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.945856
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-3175341-1304119601.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.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.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.01	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     276 undec:      70 neg:     304
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       633      2736         0         0      8304         0   no data   no data  --
0.07/0.07	c Decided on static restart strategy
0.38/0.17	c  N st     8      4914       633      2736         0      4863      8304    146177   no data   no data  --
1.57/0.46	c  N st    10     11296       633      2736         0      4501      8304     93021   no data   no data  --
2.77/0.76	c  N st    11     17039       633      2736         0     10144      8304    264357   no data   no data  --
4.76/1.21	c  F st    12     25000       633      2736         0     12450      8304    317741   no data   no data  --
4.76/1.21	c  N st    12     25000       633      2736         0     12450      8304    317741   no data   no data  --
5.56/1.48	c  N dy    18     30002       633      2736         0     10718      8304    243915   no data   no data  --
5.56/1.48	c  S st    18     30002       633      2736         0     10718      8304    243915   no data   no data  --
5.96/1.51	c  S st    18     30508       633      2736         0     11224      8304    257153   no data   no data  --
5.96/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.96/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
5.96/1.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.77/1.79	c lits-rem:       166  cl-subs:      267  v-elim:      0  v-fix:    0  time:  1.05 s
7.17/1.80	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.04
7.17/1.80	c calculated reachability. Time: 0.00
7.17/1.80	c  N dy    18     30508       633      2736         0     10957      8304    248074   no data   no data  --
7.97/2.06	c  N dy    37     35044       633      2736         0     15462      8304    372976     18.70     20.14  --
8.78/2.27	c  N dy    49     39099       633      2736         0     11641      8304    212796     18.34     19.37  --
9.96/2.54	c  N dy    68     43353       633      2736         0     15865      8304    328862     18.31     19.28  --
10.77/2.71	c  S st    81     45763       633      2736         0      9379      8304    121966     18.35   no data  --
10.77/2.74	c  S st    81     46267       633      2736         0      9882      8304    134807     18.35   no data  --
10.77/2.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.77/2.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.77/2.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.77/2.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.77/2.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.77/2.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
10.77/2.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.16/2.84	c lits-rem:         8  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.39 s
11.16/2.84	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
11.16/2.84	c vivif2 --  cl tried     9877 cl shrink        0 lits rem          0 time: 0.00
11.16/2.85	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.03
11.16/2.85	c calculated reachability. Time: 0.00
11.16/2.85	c  N dy    81     46267       633      2736         0      9877      8304    134690     18.35   no data  --
12.36/3.15	c  N dy    89     51383       633      2736         0     14925      8304    271839     18.12     19.20  --
13.55/3.43	c  N dy   120     55432       633      2736         0     18946      8304    382979     18.33     19.39  --
14.35/3.69	c  N dy   142     59496       633      2736         0     13101      8304    199957     18.46     20.24  --
15.55/3.96	c  N dy   161     63756       633      2736         0     17324      8304    316573     18.51     19.49  --
16.76/4.30	c  N dy   184     67917       633      2736         0     21452      8304    429714     18.61     21.05  --
17.17/4.40	c  S st   193     69400       633      2736         0     12022      8304    143490     18.61     16.58  --
17.58/4.43	c  S st   193     69901       633      2736         0     12523      8304    156981     18.61   no data  --
17.58/4.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.58/4.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.58/4.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.58/4.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.58/4.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.58/4.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
17.58/4.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.35/4.61	c lits-rem:        32  cl-subs:       29  v-elim:      0  v-fix:    0  time:  0.65 s
18.35/4.61	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
18.35/4.61	c vivif2 --  cl tried    12494 cl shrink        0 lits rem          0 time: 0.00
18.35/4.62	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.04
18.35/4.62	c calculated reachability. Time: 0.00
18.35/4.62	c  N dy   193     69901       633      2736         0     12494      8304    155969     18.61   no data  --
19.55/4.92	c  N dy   212     74456       633      2736         0     17022      8304    276410     18.57     19.57  --
21.14/5.34	c  N dy   234     79680       633      2736         0     22187      8304    416825     18.61     19.74  --
23.14/5.89	c  F st   260     87501       633      2736         0     18032      8304    285251     18.54     18.83  --
23.14/5.89	c  N st   260     87501       633      2736         0     18032      8304    285251     18.54     18.83  --
25.14/6.39	c  N dy   270     93740       633      2736         0     24213      8304    454104     18.54     19.53  --
27.13/6.87	c  N dy   296    100290       633      2736         0     17839      8304    260593     18.55     19.78  --
28.74/7.26	c  S st   330    104851       633      2736         0     22375      8304    387927     18.62   no data  --
29.13/7.31	c  S st   330    105353       633      2736         0     22877      8304    402496     18.62   no data  --
29.13/7.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.13/7.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.13/7.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.13/7.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.13/7.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.13/7.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
29.13/7.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.53/8.44	c lits-rem:       450  cl-subs:      228  v-elim:      0  v-fix:    0  time:  4.43 s
33.53/8.44	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
33.53/8.45	c vivif2 --  cl tried    22649 cl shrink        0 lits rem          0 time: 0.02
33.53/8.47	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.09
33.53/8.47	c calculated reachability. Time: 0.00
33.53/8.47	c  N dy   330    105353       633      2736         0     22649      8304    394764     18.62   no data  --
36.72/9.27	c  N dy   377    114311       633      2736         0     17647      8304    229728     18.67     19.96  --
39.54/9.91	c  N dy   408    121664       633      2736         0     24931      8304    433962     18.69     19.70  --
42.32/10.66	c  N dy   430    129511       633      2736         0     17834      8304    216322     18.63     22.14  --
45.11/11.38	c  N dy   458    137783       633      2736         0     26020      8304    437948     18.62     22.37  --
50.71/12.76	c  N dy   491    152792       633      2736         0     24993      8304    383126     18.50     19.64  --
52.72/13.28	c  S st   518    158030       633      2736         0     30182      8304    525507     18.51     17.30  --
53.10/13.35	c  S st   518    158531       633      2736         0     30682      8304    539220     18.51   no data  --
53.10/13.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.10/13.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.10/13.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.10/13.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.10/13.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.10/13.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
53.10/13.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
59.49/14.98	c lits-rem:       550  cl-subs:      861  v-elim:      0  v-fix:    0  time:  6.39 s
59.49/14.98	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
59.49/14.98	c vivif2 --  cl tried    29821 cl shrink        0 lits rem          0 time: 0.02
59.89/15.01	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.10
59.89/15.01	c calculated reachability. Time: 0.00
59.89/15.01	c  N dy   518    158531       633      2736         0     29821      8304    515671     18.51   no data  --
64.68/16.28	c  N dy   577    172386       633      2736         0     26723      8304    411704     18.54     19.91  --
69.48/17.46	c  N dy   623    183605       633      2736         0     20008      8304    209105     18.55     19.56  --
73.87/18.58	c  N dy   662    195408       633      2736         0     31675      8304    523590     18.51     19.70  --
80.26/20.18	c  N dy   709    209307       633      2736         0     26655      8304    373866     18.51     19.54  --
87.47/21.98	c  N dy   775    223255       633      2736         0     20684      8304    189913     18.53     19.62  --
93.85/23.59	c  N dy   828    237600       633      2736         0     34892      8304    578924     18.52     23.52  --
94.25/23.62	c  S st   830    237797       633      2736         0     35089      8304    584279     18.52   no data  --
94.65/23.71	c  S st   830    238301       633      2736         0     35593      8304    598457     18.52   no data  --
94.65/23.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.65/23.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.65/23.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
94.65/23.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.65/23.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.65/23.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
94.65/23.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
102.23/25.62	c lits-rem:       838  cl-subs:      514  v-elim:      0  v-fix:    0  time:  7.47 s
102.23/25.62	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
102.23/25.63	c vivif2 --  cl tried    35079 cl shrink        0 lits rem          0 time: 0.03
102.23/25.66	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.11
102.23/25.66	c calculated reachability. Time: 0.00
102.23/25.66	c  N dy   830    238301       633      2736         0     35079      8304    582732     18.52   no data  --
109.02/27.39	c  N dy   923    253551       633      2736         0     29411      8304    410621     18.59     20.80  --
117.42/29.49	c  N dy   993    269736       633      2736         0     23630      8304    225825     18.59     26.02  --
125.79/31.51	c  N dy  1083    286981       633      2736         0     40732      8304    696875     18.63     21.04  --
134.58/33.78	c  N dy  1159    305998       633      2736         0     36773      8304    570414     18.62     19.74  --
134.98/33.81	c  F st  1162    306251       633      2736         0     37025      8304    577565     18.63   no data  --
145.37/36.46	c  N dy  1228    326504       633      2736         0     33267      8304    444134     18.63     19.66  --
156.96/39.35	c  N dy  1338    346570       633      2736         0     28398      8304    289519     18.68     19.88  --
162.17/40.68	c  S st  1414    357451       633      2736         0     39182      8304    591258     18.72   no data  --
162.57/40.77	c  S st  1414    357957       633      2736         0     39688      8304    605434     18.72   no data  --
162.57/40.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
162.57/40.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.57/40.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
162.95/40.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.95/40.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.95/40.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
162.95/40.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
170.53/42.79	c lits-rem:       979  cl-subs:      386  v-elim:      0  v-fix:    0  time:  7.94 s
170.53/42.79	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
170.53/42.80	c vivif2 --  cl tried    39302 cl shrink        0 lits rem          0 time: 0.03
170.96/42.83	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.13
170.96/42.83	c calculated reachability. Time: 0.00
170.96/42.83	c  N dy  1414    357957       633      2736         0     39302      8304    592298     18.72   no data  --
182.13/45.69	c  N dy  1482    378440       633      2736         0     33809      8304    424406     18.71     19.72  --
195.30/48.90	c  N dy  1559    399167       633      2736         0     27584      8304    228213     18.70     19.85  --
207.69/52.00	c  N dy  1641    420296       633      2736         0     48497      8304    802221     18.69     19.74  --
219.29/54.98	c  N dy  1715    440510       633      2736         0     40799      8304    570107     18.67     19.70  --
233.25/58.44	c  N dy  1823    460707       633      2736         0     32102      8304    315219     18.70     19.84  --
245.24/61.41	c  N dy  1922    480712       633      2736         0     51934      8304    858709     18.72     22.32  --
258.02/64.67	c  N dy  2029    501133       633      2736         0     42434      8304    570466     18.74     19.75  --
273.60/68.59	c  N dy  2156    521284       633      2736         0     31695      8304    259609     18.78     19.88  --
282.39/70.80	c  S st  2253    536936       633      2736         0     47223      8304    694332     18.81     17.31  --
283.19/70.91	c  S st  2253    537444       633      2736         0     47731      8304    708209     18.81   no data  --
283.19/70.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
283.19/70.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.19/70.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
283.19/70.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
283.19/70.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
283.19/70.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
283.19/70.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
291.98/73.19	c lits-rem:      1117  cl-subs:      457  v-elim:      0  v-fix:    0  time:  8.94 s
291.98/73.19	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
292.38/73.20	c vivif2 --  cl tried    47274 cl shrink        0 lits rem          0 time: 0.04
292.38/73.24	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.18
292.38/73.25	c calculated reachability. Time: 0.00
292.38/73.25	c  N dy  2253    537444       633      2736         0     47274      8304    692232     18.81   no data  --
315.96/79.10	c  N dy  2302    572405       633      2736         0     49972      8304    727442     18.70     19.82  --
331.92/83.10	c  N dy  2413    592491       633      2736         0     37294      8304    371734     18.73     20.94  --
345.91/86.69	c  N dy  2482    613321       633      2736         0     57918      8304    943622     18.71     19.78  --
360.69/90.32	c  N dy  2567    633397       633      2736         0     44159      8304    535510     18.72     20.19  --
376.27/94.24	c  N dy  2663    653466       633      2736         0     64058      8304   1095396     18.74     22.76  --
390.66/97.80	c  N dy  2739    673474       633      2736         0     49237      8304    663186     18.74     19.78  --
411.42/103.07	c  N dy  2878    694714       633      2736         0     70281      8304   1256377     18.78     19.83  --
425.40/106.58	c  N dy  2991    715011       633      2736         0     54774      8304    797426     18.81     19.97  --
444.17/111.21	c  N dy  3054    736142       633      2736         0     39024      8304    331807     18.80     19.84  --
458.15/114.73	c  N dy  3112    756562       633      2736         0     59223      8304    894579     18.79     19.99  --
476.93/119.46	c  N dy  3238    776649       633      2736         0     41513      8304    385954     18.81     20.31  --
498.90/124.95	c  N dy  3271    806167       633      2736         0     70572      8304   1155763     18.74     16.58  --
498.90/124.95	c  S st  3271    806167       633      2736         0     70572      8304   1155763     18.74     16.58  --
499.70/125.14	c  S st  3271    806672       633      2736         0     71077      8304   1170558     18.74   no data  --
499.70/125.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
499.70/125.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
499.70/125.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
500.10/125.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
500.10/125.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
500.10/125.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
500.10/125.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
508.08/127.25	c lits-rem:       148  cl-subs:     2728  v-elim:      0  v-fix:    0  time:  8.12 s
508.08/127.25	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
508.08/127.26	c vivif2 --  cl tried    68349 cl shrink        0 lits rem          0 time: 0.05
508.48/127.34	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.32
508.48/127.34	c calculated reachability. Time: 0.00
508.48/127.34	c  N dy  3271    806672       633      2736         0     68349      8304   1103448     18.74   no data  --
525.26/131.52	c  N dy  3383    826832       633      2736         0     49781      8304    591211     18.76     19.75  --
567.21/142.08	c  N dy  3476    876851       633      2736         0     59610      8304    836168     18.65     19.66  --
588.40/147.32	c  N dy  3584    896905       633      2736         0     79468      8304   1387385     18.67     19.75  --
603.96/151.20	c  N dy  3692    916955       633      2736         0     58835      8304    806190     18.69     19.96  --
624.33/156.38	c  N dy  3792    937010       633      2736         0     78687      8304   1356741     18.70     21.20  --
641.91/160.73	c  N dy  3894    957840       633      2736         0     57753      8304    746718     18.70     19.74  --
661.88/165.76	c  N dy  3976    977940       633      2736         0     77648      8304   1301066     18.70     21.14  --
681.08/170.53	c  N dy  4096    998108       633      2736         0     55089      8304    660719     18.72     19.80  --
700.63/175.45	c  N dy  4217   1018129       633      2736         0     74920      8304   1216495     18.74     20.53  --
723.00/181.07	c  N dy  4362   1038151       633      2736         0     51185      8304    528955     18.78     20.53  --
740.98/185.53	c  N dy  4449   1058179       633      2736         0     71010      8304   1088740     18.78     24.16  --
758.16/189.81	c  F st  4529   1071876       633      2736         0     84572      8304   1467747     18.79   no data  --
764.94/191.51	c Decided on static restart strategy
766.55/191.93	c  N st  4536   1079912       633      2736         0     47951      8304    420788     18.79   no data  --
781.74/195.75	c  N st  4539   1100177       633      2736         0     67858      8304   1010027     18.79   no data  --
818.48/204.95	c  N st  4541   1136171       633      2736         0     57830      8304   1275506     18.79   no data  --
854.83/214.07	c  N st  4542   1168563       633      2736         0     89621      8304   2228877     18.79   no data  --
900.79/225.54	c  N st  4543   1210008       633      2736         0     83994      8304   1883137     18.79   no data  --
900.79/225.54	c  S st  4543   1210008       633      2736         0     83994      8304   1883137     18.79   no data  --
901.96/225.80	c  S st  4543   1210509       633      2736         0     84495      8304   1896700     18.79   no data  --
901.96/225.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
901.96/225.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
901.96/225.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
902.36/225.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
902.36/225.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
902.36/225.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
902.36/225.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
941.91/235.86	c lits-rem:        71  cl-subs:     5158  v-elim:      0  v-fix:    0  time: 39.70 s
941.91/235.86	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
941.91/235.88	c vivif2 --  cl tried    79337 cl shrink        0 lits rem          0 time: 0.08
942.31/235.99	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.42
942.31/235.99	c calculated reachability. Time: 0.00
942.31/235.99	c  N st  4543   1210509       633      2736         0     79337      8304   1740411     18.79   no data  --
1021.00/255.64	c  N st  4544   1283393       633      2736         0     55884      8304    966018     18.79   no data  --
1148.43/287.56	c  N st  4545   1392716       633      2736         0     64057      8304   1169800     18.79   no data  --
1306.22/327.07	c  N st  4546   1556700       633      2736         0     68734      8304   1195021     18.79   no data  --
1472.03/368.52	c  N st  4547   1710512       633      2736         0    110531      8304   2363830     18.79   no data  --
1472.03/368.52	c  S st  4547   1710512       633      2736         0    110531      8304   2363830     18.79   no data  --
1473.21/368.84	c  S st  4547   1711017       633      2736         0    111036      8304   2377989     18.79   no data  --
1473.21/368.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1473.21/368.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1473.61/368.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
1473.61/368.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1473.61/368.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1473.61/368.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
1473.61/368.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1563.90/391.51	c lits-rem:       594  cl-subs:     8666  v-elim:      0  v-fix:    0  time: 89.93 s
1563.90/391.51	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
1563.90/391.53	c vivif2 --  cl tried   102370 cl shrink        0 lits rem          0 time: 0.10
1564.30/391.69	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.62
1564.30/391.69	c calculated reachability. Time: 0.00
1564.30/391.69	c  N st  4547   1711017       633      2736         0    102370      8304   2131544     18.79   no data  --
2020.47/505.90	c  N st  4548   2079981       633      2736         0    114130      8304   2216990     18.79   no data  --
2195.44/549.62	c  N st  4549   2211018       633      2736         0    117657      8304   2140921     18.79   no data  --
2195.44/549.62	c  S st  4549   2211018       633      2736         0    117657      8304   2140921     18.79   no data  --
2196.66/550.00	c  S st  4549   2211521       633      2736         0    118160      8304   2154554     18.79   no data  --
2197.06/550.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2197.06/550.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2197.06/550.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2197.44/550.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2197.44/550.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2197.44/550.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2197.44/550.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2297.72/575.29	c lits-rem:       426  cl-subs:    12650  v-elim:      0  v-fix:    0  time: 100.44 s
2297.72/575.29	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
2298.12/575.31	c vivif2 --  cl tried   105510 cl shrink        0 lits rem          0 time: 0.09
2298.50/575.46	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.59
2298.50/575.46	c calculated reachability. Time: 0.00
2298.50/575.46	c  N st  4549   2211521       633      2736         0    105510      8304   1853795     18.79   no data  --
2995.87/750.15	c  N st  4550   2711521       633      2736         0    129543      8304   2454620     18.79   no data  --
2995.87/750.15	c  S st  4550   2711521       633      2736         0    129543      8304   2454620     18.79   no data  --
2997.43/750.55	c  S st  4550   2712022       633      2736         0    130042      8304   2468872     18.79   no data  --
2997.43/750.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2997.43/750.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2997.83/750.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
2998.22/750.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2998.22/750.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2998.22/750.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2998.22/750.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3093.78/774.71	c lits-rem:       110  cl-subs:     9594  v-elim:      0  v-fix:    0  time: 95.56 s
3093.78/774.71	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
3093.78/774.74	c vivif2 --  cl tried   120448 cl shrink        0 lits rem          0 time: 0.11
3094.58/774.91	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.68
3094.58/774.92	c calculated reachability. Time: 0.00
3094.58/774.92	c  N st  4550   2712022       633      2736         0    120448      8304   2229806     18.79   no data  --
3867.56/968.42	c  N st  4551   3212023       633      2736         0     96225      8304   1398098     18.79   no data  --
3867.56/968.42	c  S st  4551   3212023       633      2736         0     96225      8304   1398098     18.79   no data  --
3868.76/968.79	c  S st  4551   3212525       633      2736         0     96727      8304   1411831     18.79   no data  --
3869.16/968.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3869.16/968.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3869.16/968.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.25
3869.56/968.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3869.56/968.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3869.56/968.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
3869.56/968.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3894.72/975.21	c lits-rem:       118  cl-subs:     3004  v-elim:      0  v-fix:    0  time: 25.15 s
3894.72/975.21	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
3894.72/975.23	c vivif2 --  cl tried    93723 cl shrink        0 lits rem          0 time: 0.08
3895.12/975.39	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.62
3895.12/975.39	c calculated reachability. Time: 0.00
3895.12/975.39	c  N st  4551   3212525       633      2736         0     93723      8304   1336683     18.79   no data  --
4646.12/1163.39	c  N st  4552   3712525       633      2736         0    104329      8304   1505963     18.79   no data  --
4646.12/1163.39	c  S st  4552   3712525       633      2736         0    104329      8304   1505963     18.79   no data  --
4647.32/1163.69	c  S st  4552   3713028       633      2736         0    104832      8304   1519997     18.79   no data  --
4647.73/1163.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4647.73/1163.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4647.73/1163.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
4648.14/1163.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4648.14/1163.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4648.14/1163.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
4648.14/1163.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4666.49/1168.42	c lits-rem:       127  cl-subs:     3092  v-elim:      0  v-fix:    0  time: 18.41 s
4666.49/1168.42	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
4666.49/1168.44	c vivif2 --  cl tried   101740 cl shrink        0 lits rem          0 time: 0.08
4666.89/1168.59	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.59
4666.89/1168.59	c calculated reachability. Time: 0.00
4666.89/1168.59	c  N st  4552   3713028       633      2736         0    101740      8304   1443315     18.79   no data  --
4733.61/1185.24	c  F st  4553   3751562       633      2736         0    139344      8304   2606347     18.79   no data  --
4733.61/1185.24	c  N st  4553   3751562       633      2736         0    139344      8304   2606347     18.79   no data  --
4745.59/1188.25	c Decided on static restart strategy
4793.14/1200.16	c  N st  4563   3779864       633      2736         0     84313      8304    895650     18.79   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-3175341-1304119601/watcher-3175341-1304119601 -o /tmp/evaluation-result-3175341-1304119601/solver-3175341-1304119601 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175341-1304119601.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: 4.12 6.70 7.05 7/180 27784
/proc/meminfo: memFree=29689372/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 417 0 0 0 0 0 0 0 22 0 4 0 602190768 52465664 356 33554432000 4194304 4650419 140735054550800 18446744073709551615 256415391675 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 12809 356 306 112 0 7774 0
[pid=27784/tid=27785] ppid=27782 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 602190769 52465664 356 33554432000 4194304 4650419 140735054550800 18446744073709551615 47611815720882 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 602190769 52465664 356 33554432000 4194304 4650419 140735054550800 18446744073709551615 47611815720882 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 602190769 52465664 356 33554432000 4194304 4650419 140735054550800 18446744073709551615 256410438742 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.022523 s]
/proc/loadavg: 4.12 6.70 7.05 7/180 27784
/proc/meminfo: memFree=29689372/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=282448 CPUtime=0.07 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 1477 0 0 0 7 0 0 0 23 0 4 0 602190768 289226752 1346 33554432000 4194304 4650419 140735054550800 18446744073709551615 4349967 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 70612 1346 390 112 0 65577 0
[pid=27784/tid=27785] ppid=27782 vsize=282448 CPUtime=0.01 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 328 0 0 0 1 0 0 0 24 0 4 0 602190769 289226752 1346 33554432000 4194304 4650419 140735054550800 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=282448 CPUtime=0.01 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 233 0 0 0 1 0 0 0 24 0 4 0 602190769 289226752 1347 33554432000 4194304 4650419 140735054550800 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=282448 CPUtime=0.01 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 153 0 0 0 1 0 0 0 24 0 4 0 602190769 289226752 1347 33554432000 4194304 4650419 140735054550800 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 282448

[startup+0.100509 s]
/proc/loadavg: 4.12 6.70 7.05 7/180 27784
/proc/meminfo: memFree=29689372/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=282448 CPUtime=0.38 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 1925 0 0 0 38 0 0 0 23 0 4 0 602190768 289226752 1794 33554432000 4194304 4650419 140735054550800 18446744073709551615 4306796 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 70612 1794 391 112 0 65577 0
[pid=27784/tid=27785] ppid=27782 vsize=282448 CPUtime=0.09 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 422 0 0 0 9 0 0 0 24 0 4 0 602190769 289226752 1794 33554432000 4194304 4650419 140735054550800 18446744073709551615 4334746 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=282448 CPUtime=0.09 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 352 0 0 0 9 0 0 0 24 0 4 0 602190769 289226752 1794 33554432000 4194304 4650419 140735054550800 18446744073709551615 4520254 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=282448 CPUtime=0.09 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 264 0 0 0 9 0 0 0 24 0 4 0 602190769 289226752 1794 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282448

[startup+0.300471 s]
/proc/loadavg: 4.12 6.70 7.05 7/180 27784
/proc/meminfo: memFree=29689372/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=283580 CPUtime=1.17 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 3164 0 0 0 117 0 0 0 24 0 4 0 602190768 290385920 2340 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 70895 2340 393 112 0 65860 0
[pid=27784/tid=27785] ppid=27782 vsize=283580 CPUtime=0.29 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 734 0 0 0 29 0 0 0 25 0 4 0 602190769 290385920 2340 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=283580 CPUtime=0.29 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 638 0 0 0 29 0 0 0 25 0 4 0 602190769 290385920 2340 33554432000 4194304 4650419 140735054550800 18446744073709551615 4333687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=283580 CPUtime=0.29 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 582 0 0 0 29 0 0 0 24 0 4 0 602190769 290385920 2340 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283580

[startup+0.700397 s]
/proc/loadavg: 4.12 6.70 7.05 7/180 27784
/proc/meminfo: memFree=29689372/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=284224 CPUtime=2.77 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 4901 0 0 0 277 0 0 0 25 0 4 0 602190768 291045376 3055 33554432000 4194304 4650419 140735054550800 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 71056 3055 393 112 0 66021 0
[pid=27784/tid=27785] ppid=27782 vsize=284224 CPUtime=0.69 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 1177 0 0 0 69 0 0 0 25 0 4 0 602190769 291045376 3055 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366261 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=284224 CPUtime=0.69 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 1067 0 0 0 69 0 0 0 25 0 4 0 602190769 291045376 3055 33554432000 4194304 4650419 140735054550800 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=284224 CPUtime=0.69 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 1012 0 0 0 69 0 0 0 25 0 4 0 602190769 291045376 3055 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284224

[startup+1.50025 s]
/proc/loadavg: 4.12 6.70 7.05 9/184 27788
/proc/meminfo: memFree=29669872/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=285120 CPUtime=5.96 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 8402 0 0 0 596 0 0 0 25 0 4 0 602190768 291962880 3703 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 71280 3703 394 112 0 66245 0
[pid=27784/tid=27785] ppid=27782 vsize=285120 CPUtime=1.49 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 2089 0 0 0 149 0 0 0 25 0 4 0 602190769 291962880 3703 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=285120 CPUtime=1.48 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 1958 0 0 0 148 0 0 0 25 0 4 0 602190769 291962880 3703 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=285120 CPUtime=1.49 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 1819 0 0 0 149 0 0 0 25 0 4 0 602190769 291962880 3703 33554432000 4194304 4650419 140735054550800 18446744073709551615 4329715 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285120

[startup+3.10095 s]
/proc/loadavg: 4.12 6.70 7.05 9/184 27788
/proc/meminfo: memFree=29640084/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=267504 CPUtime=12.36 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 18318 0 0 0 1234 2 0 0 25 0 4 0 602190768 273924096 11184 33554432000 4194304 4650419 140735054550800 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 66876 11184 395 112 0 61841 0
[pid=27784/tid=27785] ppid=27782 vsize=267504 CPUtime=3.09 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 4393 0 0 0 309 0 0 0 25 0 4 0 602190769 273924096 11184 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=267504 CPUtime=3.07 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 4736 0 0 0 307 0 0 0 25 0 4 0 602190769 273924096 11184 33554432000 4194304 4650419 140735054550800 18446744073709551615 4541720 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=267504 CPUtime=3.09 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 4051 0 0 0 309 0 0 0 25 0 4 0 602190769 273924096 11184 33554432000 4194304 4650419 140735054550800 18446744073709551615 4333134 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 267504

[startup+6.30034 s]
/proc/loadavg: 4.43 6.73 7.05 9/184 27788
/proc/meminfo: memFree=29590676/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=258628 CPUtime=25.14 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 26378 0 0 0 2510 4 0 0 25 0 4 0 602190768 264835072 15203 33554432000 4194304 4650419 140735054550800 18446744073709551615 4360418 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 64657 15203 395 112 0 59622 0
[pid=27784/tid=27785] ppid=27782 vsize=258628 CPUtime=6.29 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 7285 0 0 0 628 1 0 0 25 0 4 0 602190769 264835072 15203 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=258628 CPUtime=6.25 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 6665 0 0 0 625 0 0 0 25 0 4 0 602190769 264835072 15203 33554432000 4194304 4650419 140735054550800 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=258628 CPUtime=6.28 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 5486 0 0 0 628 0 0 0 25 0 4 0 602190769 264835072 15203 33554432000 4194304 4650419 140735054550800 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 258628

[startup+12.7011 s]
/proc/loadavg: 4.71 6.75 7.06 9/184 27788
/proc/meminfo: memFree=29545944/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=333896 CPUtime=50.71 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 38693 0 0 0 5064 7 0 0 25 0 4 0 602190768 341909504 21847 33554432000 4194304 4650419 140735054550800 18446744073709551615 4306767 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 83474 21847 395 112 0 78439 0
[pid=27784/tid=27785] ppid=27782 vsize=333896 CPUtime=12.69 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 11789 0 0 0 1267 2 0 0 25 0 4 0 602190769 341909504 21847 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=333896 CPUtime=12.61 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 10263 0 0 0 1260 1 0 0 25 0 4 0 602190769 341909504 21847 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=333896 CPUtime=12.68 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 7919 0 0 0 1267 1 0 0 25 0 4 0 602190769 341909504 21847 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 333896

[startup+25.5007 s]
/proc/loadavg: 5.44 6.81 7.07 9/184 27789
/proc/meminfo: memFree=29496696/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=324736 CPUtime=101.83 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 58551 0 0 0 10171 12 0 0 25 0 4 0 602190768 332529664 28342 33554432000 4194304 4650419 140735054550800 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 81184 28342 395 112 0 76149 0
[pid=27784/tid=27785] ppid=27782 vsize=324736 CPUtime=25.48 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 19537 0 0 0 2545 3 0 0 25 0 4 0 602190769 332529664 28342 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=324736 CPUtime=25.34 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 15684 0 0 0 2532 2 0 0 25 0 4 0 602190769 332529664 28342 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=324736 CPUtime=25.49 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 11179 0 0 0 2546 3 0 0 25 0 4 0 602190769 332529664 28342 33554432000 4194304 4650419 140735054550800 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 324736

[startup+51.1009 s]
/proc/loadavg: 6.31 6.90 7.09 9/184 27790
/proc/meminfo: memFree=29455480/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=325260 CPUtime=204.09 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 88414 0 0 0 20389 20 0 0 25 0 4 0 602190768 333066240 34011 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 81315 34011 395 112 0 76280 0
[pid=27784/tid=27785] ppid=27782 vsize=325260 CPUtime=51.09 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 29060 0 0 0 5103 6 0 0 25 0 4 0 602190769 333066240 34011 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=325260 CPUtime=50.8 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 25187 0 0 0 5075 5 0 0 25 0 4 0 602190769 333066240 34011 33554432000 4194304 4650419 140735054550800 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=325260 CPUtime=51.09 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 16540 0 0 0 5104 5 0 0 25 0 4 0 602190769 333066240 34011 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 325260

[startup+102.307 s]
/proc/loadavg: 7.27 7.07 7.14 9/184 27791
/proc/meminfo: memFree=29365772/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=336660 CPUtime=408.64 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 132204 0 0 0 40826 38 0 0 25 0 4 0 602190768 344739840 43891 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 84165 43891 395 112 0 79130 0
[pid=27784/tid=27785] ppid=27782 vsize=336660 CPUtime=102.3 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 45618 0 0 0 10219 11 0 0 25 0 4 0 602190769 344739840 43891 33554432000 4194304 4650419 140735054550800 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=336660 CPUtime=101.73 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 35912 0 0 0 10162 11 0 0 25 0 4 0 602190769 344739840 43891 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=336660 CPUtime=102.3 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 26153 0 0 0 10221 9 0 0 25 0 4 0 602190769 344739840 43891 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 336660

[startup+162.301 s]

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

[pid=27784] ppid=27782 vsize=667568 CPUtime=2805.43 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 346395 0 0 0 280405 138 0 0 25 0 4 0 602190768 683589632 110582 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 166892 110582 395 112 0 161857 0
[pid=27784/tid=27785] ppid=27782 vsize=667568 CPUtime=702.31 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 103614 0 0 0 70191 40 0 0 25 0 4 0 602190769 683589632 110582 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=667568 CPUtime=698.48 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 78166 0 0 0 69820 28 0 0 25 0 4 0 602190769 683589632 110582 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=667568 CPUtime=702.31 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 71753 0 0 0 70199 32 0 0 25 0 4 0 602190769 683589632 110582 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 667568

[startup+762.307 s]
/proc/loadavg: 8.38 8.02 7.61 9/184 27811
/proc/meminfo: memFree=28926672/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=667568 CPUtime=3044.27 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 361850 0 0 0 304281 146 0 0 25 0 4 0 602190768 683589632 119849 33554432000 4194304 4650419 140735054550800 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 166892 119849 395 112 0 161857 0
[pid=27784/tid=27785] ppid=27782 vsize=667568 CPUtime=762.32 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 109442 0 0 0 76189 43 0 0 25 0 4 0 602190769 683589632 119849 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=667568 CPUtime=757.29 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 81412 0 0 0 75700 29 0 0 25 0 4 0 602190769 683589632 119849 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=667568 CPUtime=762.32 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 74594 0 0 0 76198 34 0 0 25 0 4 0 602190769 683589632 119849 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.27
Current children cumulated vsize (KiB) 667568

[startup+822.3 s]
/proc/loadavg: 8.18 8.03 7.63 9/184 27813
/proc/meminfo: memFree=28892588/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=667568 CPUtime=3283.93 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 376543 0 0 0 328239 154 0 0 25 0 4 0 602190768 683589632 120025 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 166892 120025 395 112 0 161857 0
[pid=27784/tid=27785] ppid=27782 vsize=667568 CPUtime=822.32 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 112623 0 0 0 82187 45 0 0 25 0 4 0 602190769 683589632 120025 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=667568 CPUtime=816.96 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 84950 0 0 0 81665 31 0 0 25 0 4 0 602190769 683589632 120025 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=667568 CPUtime=822.31 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 79116 0 0 0 82195 36 0 0 25 0 4 0 602190769 683589632 120025 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.93
Current children cumulated vsize (KiB) 667568

[startup+882.301 s]
/proc/loadavg: 8.10 8.03 7.66 9/184 27815
/proc/meminfo: memFree=28844188/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=667568 CPUtime=3523.61 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 394611 0 0 0 352198 163 0 0 25 0 4 0 602190768 683589632 130697 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 166892 130697 395 112 0 161857 0
[pid=27784/tid=27785] ppid=27782 vsize=667568 CPUtime=882.31 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 117569 0 0 0 88184 47 0 0 25 0 4 0 602190769 683589632 130697 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=667568 CPUtime=876.64 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 88965 0 0 0 87631 33 0 0 25 0 4 0 602190769 683589632 130697 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=667568 CPUtime=882.31 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 84867 0 0 0 88192 39 0 0 25 0 4 0 602190769 683589632 130697 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.61
Current children cumulated vsize (KiB) 667568

[startup+942.301 s]
/proc/loadavg: 8.18 8.07 7.69 9/184 27816
/proc/meminfo: memFree=28850940/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=719948 CPUtime=3763.3 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 407398 0 0 0 376159 171 0 0 25 0 4 0 602190768 737226752 124200 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 179987 124200 395 112 0 174952 0
[pid=27784/tid=27785] ppid=27782 vsize=719948 CPUtime=942.32 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 120197 0 0 0 94182 50 0 0 25 0 4 0 602190769 737226752 124200 33554432000 4194304 4650419 140735054550800 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=719948 CPUtime=936.32 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 93033 0 0 0 93596 36 0 0 25 0 4 0 602190769 737226752 124200 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=719948 CPUtime=942.32 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 87512 0 0 0 94192 40 0 0 25 0 4 0 602190769 737226752 124200 33554432000 4194304 4650419 140735054550800 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.3
Current children cumulated vsize (KiB) 719948

[startup+1002.3 s]
/proc/loadavg: 8.10 8.07 7.71 10/184 27818
/proc/meminfo: memFree=28875548/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=680784 CPUtime=4002.97 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 422140 0 0 0 400117 180 0 0 25 0 4 0 602190768 697122816 124267 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 170196 124267 395 112 0 165161 0
[pid=27784/tid=27785] ppid=27782 vsize=680784 CPUtime=1002.32 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 124630 0 0 0 100180 52 0 0 25 0 4 0 602190769 697122816 124267 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=680784 CPUtime=995.99 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 95450 0 0 0 99562 37 0 0 25 0 4 0 602190769 697122816 124267 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=680784 CPUtime=1002.32 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 91593 0 0 0 100190 42 0 0 25 0 4 0 602190769 697122816 124267 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.97
Current children cumulated vsize (KiB) 680784

[startup+1062.3 s]
/proc/loadavg: 8.07 8.07 7.73 9/184 27819
/proc/meminfo: memFree=28857292/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=795108 CPUtime=4242.65 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 440662 0 0 0 424075 190 0 0 25 0 4 0 602190768 814190592 126184 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 198777 126184 395 112 0 193742 0
[pid=27784/tid=27785] ppid=27782 vsize=795108 CPUtime=1062.32 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 128522 0 0 0 106177 55 0 0 25 0 4 0 602190769 814190592 126184 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=795108 CPUtime=1055.66 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 101080 0 0 0 105526 40 0 0 25 0 4 0 602190769 814190592 126184 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=795108 CPUtime=1062.32 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 95384 0 0 0 106187 45 0 0 25 0 4 0 602190769 814190592 126184 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.65
Current children cumulated vsize (KiB) 795108

[startup+1122.3 s]
/proc/loadavg: 8.02 8.05 7.75 9/184 27821
/proc/meminfo: memFree=28817056/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=801084 CPUtime=4482.33 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 460253 0 0 0 448030 203 0 0 25 0 4 0 602190768 820310016 129178 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 200271 129178 395 112 0 195236 0
[pid=27784/tid=27785] ppid=27782 vsize=801084 CPUtime=1122.33 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 131151 0 0 0 112176 57 0 0 25 0 4 0 602190769 820310016 129178 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=801084 CPUtime=1115.34 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 108670 0 0 0 111490 44 0 0 25 0 4 0 602190769 820310016 129178 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=801084 CPUtime=1122.32 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 98491 0 0 0 112185 47 0 0 25 0 4 0 602190769 820310016 129178 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.33
Current children cumulated vsize (KiB) 801084

[startup+1182.3 s]
/proc/loadavg: 8.01 8.04 7.76 9/184 27823
/proc/meminfo: memFree=28824424/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=743000 CPUtime=4722.02 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 483694 0 0 0 471987 215 0 0 25 0 4 0 602190768 760832000 127076 33554432000 4194304 4650419 140735054550800 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 185750 127076 395 112 0 180715 0
[pid=27784/tid=27785] ppid=27782 vsize=743000 CPUtime=1182.33 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 132436 0 0 0 118175 58 0 0 25 0 4 0 602190769 760832000 127076 33554432000 4194304 4650419 140735054550800 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=743000 CPUtime=1175.02 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 118176 0 0 0 117453 49 0 0 25 0 4 0 602190769 760832000 127076 33554432000 4194304 4650419 140735054550800 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=743000 CPUtime=1182.33 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 100858 0 0 0 118184 49 0 0 25 0 4 0 602190769 760832000 127076 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.02
Current children cumulated vsize (KiB) 743000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.00 8.04 7.76 5/179 27824
/proc/meminfo: memFree=29173868/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=694572 CPUtime=4800.34 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 491842 0 0 0 479815 219 0 0 25 0 4 0 602190768 711241728 128842 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 173643 128842 395 112 0 168608 0
[pid=27784/tid=27785] ppid=27782 vsize=694572 CPUtime=1201.93 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 134644 0 0 0 120134 59 0 0 25 0 4 0 602190769 711241728 128842 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=694572 CPUtime=1194.51 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 120606 0 0 0 119401 50 0 0 25 0 4 0 602190769 711241728 128842 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=694572 CPUtime=1201.93 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 101919 0 0 0 120143 50 0 0 25 0 4 0 602190769 711241728 128842 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 694572

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

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

[startup+1201.9 s]
/proc/loadavg: 8.00 8.04 7.76 5/179 27824
/proc/meminfo: memFree=29173868/32950928 swapFree=67111364/67111528
[pid=27784] ppid=27782 vsize=694572 CPUtime=4800.34 cores=1,3,5,7
/proc/27784/stat : 27784 (strangenight1-m) R 27782 27784 27136 0 -1 4202496 491842 0 0 0 479815 219 0 0 25 0 4 0 602190768 711241728 128842 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27784/statm: 173643 128842 395 112 0 168608 0
[pid=27784/tid=27785] ppid=27782 vsize=694572 CPUtime=1201.93 cores=1,3,5,7
/proc/27784/task/27785/stat : 27785 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 134644 0 0 0 120134 59 0 0 25 0 4 0 602190769 711241728 128842 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27784/tid=27786] ppid=27782 vsize=694572 CPUtime=1194.51 cores=1,3,5,7
/proc/27784/task/27786/stat : 27786 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 120606 0 0 0 119401 50 0 0 25 0 4 0 602190769 711241728 128842 33554432000 4194304 4650419 140735054550800 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27784/tid=27787] ppid=27782 vsize=694572 CPUtime=1201.93 cores=1,3,5,7
/proc/27784/task/27787/stat : 27787 (strangenight1-m) R 27782 27784 27136 0 -1 4202560 101919 0 0 0 120143 50 0 0 25 0 4 0 602190769 711241728 128842 33554432000 4194304 4650419 140735054550800 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 694572

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.38
CPU user time (s): 4798.17
CPU system time (s): 2.21266
CPU usage (%): 399.388
Max. virtual memory (cumulated for all children) (KiB): 862492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.17
system time used= 2.21266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491844
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= 190
involuntary context switches= 17959

runsolver used 1.86372 second user time and 4.71128 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 01:26:41
IDJOB=3175341
IDBENCH=82959
IDSOLVER=1588
FILE ID=node115/3175341-1304119601
RUNJOBID= node115-1304119601-27762
PBS_JOBID= 13170702
Free space on /tmp= 72728 MiB

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

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

MD5SUM BENCH= 31822745c6eca997ddfb1c68091841ad
RANDOM SEED=1995157298

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29689404 kB
Buffers:        812592 kB
Cached:        1956836 kB
SwapCached:          0 kB
Active:         179980 kB
Inactive:      2656164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29689404 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12524 kB
Writeback:           0 kB
AnonPages:       66612 kB
Mapped:          14884 kB
Slab:           362244 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   273816 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= 72728 MiB
End job on node115 at 2011-04-30 01:46:45