Trace number 3175076

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.3 1203.23

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf
MD5SUMcfa9ddae87a68697f7100e24d97d7728
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of clauses21250
Sum of the clauses size148750
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521250

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-3175076-1304082188.cnf'
0.00/0.00	c -- header says num vars:            250
0.00/0.00	c -- header says num clauses:       21250
0.00/0.02	c -- clauses added:            0 learnts,        21250 normals,            0 xors
0.00/0.02	c -- vars added        250
0.00/0.02	c Parsing time:  0.05 s
0.00/0.02	c  N st     0         0       250     21250         0         0    148750         0   no data   no data  --
11.64/3.81	c asymm  cl-useful: 0/14596/21250 lits-rem:0 time: 10.73
11.64/3.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
12.52/4.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.52/4.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.81/4.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
12.81/4.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.16/4.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.39 s
13.16/4.33	c Finding binary XORs  T:     0.00 s  found:       0
13.16/4.35	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
13.16/4.35	c calculated reachability. Time: 0.00
13.16/4.35	c Calc default polars -  time:   0.00 s pos:     131 undec:       6 neg:     113
13.16/4.35	c =========================================================================================
13.16/4.35	c types(t): F = full restart, N = normal restart
13.16/4.35	c types(t): S = simplification begin/end, E = solution found
13.16/4.35	c restart types(rt): st = static, dy = dynamic
13.16/4.35	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
13.16/4.35	c  B st     0         0       250     21250         0         0    148750         0   no data   no data  --
14.29/4.60	c  N dy    11      4243       250     21250         0      4136    148750    288228     61.61     65.25  --
15.06/4.88	c  N dy    17      8475       250     21250         0      5812    148750    335144     59.60     62.80  --
16.66/5.21	c  N dy    22     13001       250     21250         0      6102    148750    291642     58.64     61.76  --
17.87/5.55	c  N dy    35     17449       250     21250         0     10442    148750    581420     58.59     61.76  --
20.24/6.13	c  F st    47     25000       250     21250         0     12328    148750    643489     58.02     56.14  --
20.24/6.14	c  N st    47     25000       250     21250         0     12328    148750    643489     58.02     56.14  --
21.86/6.54	c  N dy    53     30001       250     21250         0     10558    148750    471573     58.02   no data  --
21.86/6.54	c  S st    53     30001       250     21250         0     10558    148750    471573     58.02   no data  --
21.86/6.60	c  S st    53     30503       250     21250         0     11054    148750    502055     58.02   no data  --
21.86/6.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
21.86/6.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.26/6.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
22.26/6.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.26/6.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.26/6.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
22.26/6.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
38.20/10.64	c lits-rem:      2572  cl-subs:      292  v-elim:      0  v-fix:    0  time: 15.96 s
39.00/10.89	c asymm  cl-useful: 0/5569/21250 lits-rem:0 time: 1.00
39.00/10.89	c calculated reachability. Time: 0.00
39.00/10.89	c  N dy    53     30503       250     21250         0     10762    148750    472144     58.02   no data  --
40.59/11.24	c  N dy    73     34555       250     21250         0     14700    148750    730495     58.07     61.71  --
41.80/11.58	c  N dy    85     38761       250     21250         0     11099    148750    445462     57.98     61.05  --
43.40/11.93	c  N dy    97     42809       250     21250         0     15071    148750    705896     57.87     61.22  --
44.22/12.19	c  S st   109     45754       250     21250         0      9207    148750    266463     57.85   no data  --
44.60/12.25	c  S st   109     46258       250     21250         0      9706    148750    297899     57.85   no data  --
44.60/12.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
44.60/12.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
44.60/12.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
44.60/12.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.60/12.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.60/12.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
44.60/12.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.96/15.39	c lits-rem:       467  cl-subs:       24  v-elim:      0  v-fix:    0  time: 12.38 s
56.96/15.39	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
56.96/15.39	c vivif2 --  cl tried     9682 cl shrink        0 lits rem          0 time: 0.01
57.38/15.44	c asymm  cl-useful: 0/1085/21250 lits-rem:0 time: 0.18
57.38/15.44	c calculated reachability. Time: 0.00
57.38/15.44	c  N dy   109     46258       250     21250         0      9682    148750    295108     57.85   no data  --
58.53/15.78	c  N dy   129     50280       250     21250         0     13614    148750    556078     57.99     61.17  --
60.94/16.32	c  N dy   137     56096       250     21250         0     19290    148750    929567     57.71     60.84  --
62.14/16.66	c  N dy   158     60244       250     21250         0     13595    148750    503745     57.81     60.96  --
63.73/17.02	c  N dy   180     64326       250     21250         0     17583    148750    766351     57.86     61.27  --
65.33/17.44	c  N dy   199     68478       250     21250         0     10906    148750    270703     57.88     60.95  --
65.75/17.51	c  S st   202     69387       250     21250         0     11793    148750    328622     57.88     55.72  --
65.75/17.57	c  S st   202     69893       250     21250         0     12294    148750    360858     57.88   no data  --
65.75/17.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.75/17.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.75/17.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
65.75/17.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.75/17.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.75/17.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
65.75/17.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.92/20.88	c lits-rem:       795  cl-subs:       63  v-elim:      0  v-fix:    0  time: 13.06 s
78.92/20.88	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
78.92/20.88	c vivif2 --  cl tried    12231 cl shrink        0 lits rem          0 time: 0.02
80.10/21.14	c asymm  cl-useful: 0/6406/21250 lits-rem:0 time: 1.05
80.10/21.14	c calculated reachability. Time: 0.00
80.10/21.14	c  N dy   202     69893       250     21250         0     12231    148750    354129     57.88   no data  --
81.70/21.59	c  N dy   230     74357       250     21250         0     16592    148750    642508     58.00     62.65  --
83.71/22.09	c  N dy   252     79383       250     21250         0     21504    148750    967552     58.05     61.31  --
86.09/22.61	c  N dy   268     84502       250     21250         0     14783    148750    473187     57.97     61.38  --
87.29/22.91	c  F st   277     87501       250     21250         0     17729    148750    667083     57.95   no data  --
88.48/23.25	c  N st   282     90800       250     21250         0     20931    148750    880956     57.95   no data  --
91.29/23.90	c  N dy   302     96631       250     21250         0     13914    148750    362298     58.00     61.60  --
93.27/24.49	c  N dy   320    102904       250     21250         0     20042    148750    767030     57.93     61.12  --
94.47/24.71	c  S st   328    104840       250     21250         0     21925    148750    890949     57.95     61.56  --
94.47/24.79	c  S st   328    105343       250     21250         0     22423    148750    921420     57.95   no data  --
94.88/24.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.88/24.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.88/24.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
94.88/24.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.88/24.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.88/24.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
94.88/24.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.24/28.91	c lits-rem:       883  cl-subs:      572  v-elim:      0  v-fix:    0  time: 16.21 s
111.24/28.92	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
111.24/28.93	c vivif2 --  cl tried    21851 cl shrink        0 lits rem          0 time: 0.04
112.43/29.21	c asymm  cl-useful: 0/4215/21250 lits-rem:0 time: 1.08
112.43/29.21	c calculated reachability. Time: 0.00
112.43/29.21	c  N dy   328    105343       250     21250         0     21851    148750    868432     57.95   no data  --
115.22/29.98	c  N dy   349    112401       250     21250         0     15086    148750    386712     57.93     61.44  --
118.02/30.62	c  N dy   375    119768       250     21250         0     22281    148750    860430     57.92     61.20  --
121.21/31.41	c  N dy   396    127415       250     21250         0     15105    148750    334616     57.86     61.05  --
124.00/32.16	c  N dy   425    135573       250     21250         0     23065    148750    860892     57.86     65.54  --
128.00/33.11	c  N dy   453    144288       250     21250         0     15960    148750    338032     57.81     61.09  --
131.21/33.95	c  N dy   482    153523       250     21250         0     24971    148750    934643     57.78     60.87  --
133.20/34.43	c  S st   494    158014       250     21250         0     29359    148750   1223564     57.76     57.53  --
133.60/34.51	c  S st   494    158516       250     21250         0     29857    148750   1254795     57.76   no data  --
133.60/34.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
133.60/34.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
133.60/34.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
133.60/34.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
133.60/34.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.60/34.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
133.60/34.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
169.93/43.61	c lits-rem:       482  cl-subs:      840  v-elim:      0  v-fix:    0  time: 36.06 s
169.93/43.62	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
169.93/43.63	c vivif2 --  cl tried    29017 cl shrink        0 lits rem          0 time: 0.06
171.15/43.97	c asymm  cl-useful: 0/3464/21250 lits-rem:0 time: 1.36
171.15/43.97	c calculated reachability. Time: 0.00
171.15/43.97	c  N dy   494    158516       250     21250         0     29017    148750   1178529     57.76   no data  --
175.94/45.12	c  N dy   519    168861       250     21250         0     22539    148750    719447     57.68     60.79  --
181.51/46.58	c  N dy   565    180280       250     21250         0     33698    148750   1456605     57.70     60.78  --
187.11/47.97	c  N dy   604    191818       250     21250         0     27375    148750    983401     57.70     60.78  --
193.52/49.56	c  N dy   654    204109       250     21250         0     20834    148750    499935     57.73     60.92  --
199.88/51.17	c  N dy   701    217136       250     21250         0     33542    148750   1344650     57.73     60.80  --
207.06/52.93	c  N dy   755    231023       250     21250         0     27582    148750    893605     57.76     60.97  --
210.27/53.76	c  S st   775    237779       250     21250         0     34184    148750   1326171     57.76     60.80  --
210.68/53.87	c  S st   775    238281       250     21250         0     34680    148750   1357651     57.76   no data  --
210.68/53.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
210.68/53.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.68/53.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.09
211.09/53.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
211.09/53.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.09/53.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
211.09/53.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
253.80/64.63	c lits-rem:      1437  cl-subs:      902  v-elim:      0  v-fix:    0  time: 42.68 s
253.80/64.64	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
253.80/64.65	c vivif2 --  cl tried    33778 cl shrink        0 lits rem          0 time: 0.06
255.02/64.93	c asymm  cl-useful: 0/3154/21250 lits-rem:0 time: 1.13
255.02/64.93	c calculated reachability. Time: 0.00
255.02/64.93	c  N dy   775    238281       250     21250         0     33778    148750   1273940     57.76   no data  --
262.18/66.77	c  N dy   847    253643       250     21250         0     28283    148750    888914     57.80     60.97  --
270.97/68.90	c  N dy   915    269971       250     21250         0     22758    148750    465450     57.83     61.10  --
278.55/70.89	c  N dy   975    287244       250     21250         0     39637    148750   1588426     57.84     61.13  --
288.14/73.21	c  N dy  1043    305673       250     21250         0     35191    148750   1233525     57.84     61.20  --
288.14/73.29	c  F st  1045    306252       250     21250         0     35759    148750   1271433     57.84     59.11  --
298.13/75.72	c  N dy  1096    325213       250     21250         0     30808    148750    890564     57.82     64.27  --
308.91/78.42	c  N dy  1156    345258       250     21250         0     25976    148750    516396     57.80     60.96  --
315.30/80.09	c  S st  1210    357423       250     21250         0     37844    148750   1299063     57.82   no data  --
315.71/80.20	c  S st  1210    357925       250     21250         0     38341    148750   1330543     57.82   no data  --
316.12/80.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
316.12/80.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
316.12/80.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
316.12/80.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
316.12/80.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
316.12/80.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
316.12/80.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
367.20/93.06	c lits-rem:       937  cl-subs:      739  v-elim:      0  v-fix:    0  time: 51.03 s
367.20/93.06	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
367.20/93.08	c vivif2 --  cl tried    37602 cl shrink        0 lits rem          0 time: 0.06
368.82/93.43	c asymm  cl-useful: 0/2851/21250 lits-rem:0 time: 1.39
368.82/93.43	c calculated reachability. Time: 0.00
368.82/93.43	c  N dy  1210    357925       250     21250         0     37602    148750   1261093     57.82   no data  --
382.40/96.87	c  N dy  1284    380615       250     21250         0     34366    148750   1021218     57.79     62.42  --
394.35/99.81	c  N dy  1338    400805       250     21250         0     27733    148750    526294     57.74     61.46  --
404.73/102.45	c  N dy  1416    421103       250     21250         0     47563    148750   1837567     57.74     61.32  --
416.32/105.39	c  N dy  1493    441815       250     21250         0     40403    148750   1308689     57.74     60.91  --
429.90/108.79	c  N dy  1577    464771       250     21250         0     34513    148750    868546     57.74     61.95  --
442.28/111.82	c  N dy  1638    485529       250     21250         0     54831    148750   2206137     57.71     60.77  --
453.46/114.67	c  N dy  1718    505651       250     21250         0     45149    148750   1516523     57.73     61.33  --
466.24/117.88	c  N dy  1790    526016       250     21250         0     34778    148750    772786     57.74     61.12  --
473.03/119.57	c  S st  1838    536888       250     21250         0     45416    148750   1477605     57.75     59.42  --
473.83/119.72	c  S st  1838    537394       250     21250         0     45915    148750   1508828     57.75   no data  --
473.83/119.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
473.83/119.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
473.83/119.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
473.83/119.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
473.83/119.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
473.83/119.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
473.83/119.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
548.94/138.52	c lits-rem:      1014  cl-subs:      829  v-elim:      0  v-fix:    0  time: 74.70 s
548.94/138.52	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
548.94/138.54	c vivif2 --  cl tried    45086 cl shrink        0 lits rem          0 time: 0.06
549.34/138.69	c asymm  cl-useful: 0/1160/21250 lits-rem:0 time: 0.62
549.34/138.69	c calculated reachability. Time: 0.00
549.34/138.69	c  N dy  1838    537394       250     21250         0     45086    148750   1431038     57.75   no data  --
563.69/142.25	c  N dy  1906    559336       250     21250         0     35259    148750    752167     57.74     61.23  --
577.27/145.64	c  N dy  1984    579368       250     21250         0     54853    148750   2046486     57.75     61.14  --
591.64/149.22	c  N dy  2072    599693       250     21250         0     42470    148750   1170285     57.77     61.15  --
605.63/152.73	c  N dy  2153    619828       250     21250         0     62113    148750   2467000     57.78     60.92  --
618.41/155.92	c  N dy  2231    639985       250     21250         0     48609    148750   1524502     57.79     60.95  --
633.59/159.78	c  N dy  2303    660020       250     21250         0     68187    148750   2819086     57.79     61.20  --
646.76/163.09	c  N dy  2392    680109       250     21250         0     53629    148750   1807092     57.82     61.51  --
662.73/167.01	c  N dy  2445    700187       250     21250         0     38058    148750    710883     57.80     60.97  --
676.33/170.46	c  N dy  2524    720714       250     21250         0     58109    148750   2031651     57.79     61.43  --
692.67/174.51	c  N dy  2582    741069       250     21250         0     41838    148750    909142     57.78     61.71  --
707.07/178.17	c  N dy  2669    761088       250     21250         0     61408    148750   2205928     57.79     61.08  --
724.64/182.59	c  N dy  2748    781132       250     21250         0     43847    148750    982489     57.80     60.85  --
740.19/186.49	c  N dy  2830    801370       250     21250         0     63581    148750   2283561     57.80     60.85  --
744.19/187.46	c  S st  2837    806092       250     21250         0     68175    148750   2585532     57.79     54.34  --
744.99/187.67	c  S st  2837    806594       250     21250         0     68668    148750   2616587     57.79   no data  --
744.99/187.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
744.99/187.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
745.38/187.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
745.78/187.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
745.78/187.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
745.78/187.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
745.78/187.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1747.63/438.85	c lits-rem:      3629  cl-subs:     1910  v-elim:      0  v-fix:    0  time: 1001.31 s
1747.63/438.85	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
1747.63/438.88	c vivif2 --  cl tried    66758 cl shrink        0 lits rem          0 time: 0.11
1749.21/439.26	c asymm  cl-useful: 0/2509/21250 lits-rem:0 time: 1.55
1749.21/439.27	c calculated reachability. Time: 0.00
1749.21/439.27	c  N dy  2837    806594       250     21250         0     66758    148750   2441495     57.79   no data  --
1766.38/443.51	c  N dy  2909    828102       250     21250         0     49708    148750   1321623     57.78     60.83  --
1781.95/447.45	c  N dy  2972    848209       250     21250         0     69330    148750   2619798     57.77     61.17  --
1797.92/451.46	c  N dy  3039    868256       250     21250         0     49875    148750   1275824     57.76     61.57  --
1814.29/455.57	c  N dy  3114    888445       250     21250         0     69621    148750   2577045     57.76     60.93  --
1831.09/459.79	c  N dy  3188    908543       250     21250         0     49195    148750   1180144     57.76     64.61  --
1847.03/463.74	c  N dy  3251    928659       250     21250         0     68813    148750   2478825     57.77     60.98  --
1865.00/468.26	c  N dy  3331    948694       250     21250         0     47370    148750   1002535     57.77     63.13  --
1880.97/472.28	c  N dy  3430    968722       250     21250         0     66957    148750   2301803     57.79     61.96  --
1900.94/477.20	c  N dy  3512    988870       250     21250         0     44649    148750    763627     57.80     60.96  --
1917.72/481.48	c  N dy  3583   1009013       250     21250         0     64361    148750   2064443     57.80     60.98  --
1939.68/486.97	c  N dy  3664   1029228       250     21250         0     84102    148750   3368108     57.80     61.39  --
1956.46/491.14	c  N dy  3729   1049361       250     21250         0     60770    148750   1771369     57.80     60.87  --
1974.83/495.80	c  N dy  3768   1070357       250     21250         0     81290    148750   3135344     57.78     61.25  --
1976.82/496.25	c  F st  3777   1071876       250     21250         0     82776    148750   3235018     57.78     59.48  --
1992.40/500.15	c  N dy  3838   1090957       250     21250         0     57433    148750   1498871     57.78     60.86  --
2011.17/504.89	c  N dy  3929   1111244       250     21250         0     77283    148750   2812421     57.79     61.21  --
2029.90/509.57	c  N dy  3984   1131591       250     21250         0     52219    148750   1102449     57.78     60.93  --
2047.08/513.88	c  N dy  4063   1151717       250     21250         0     71903    148750   2408201     57.78     60.84  --
2069.45/519.47	c  N dy  4147   1171817       250     21250         0     91554    148750   3713143     57.79     61.44  --
2085.43/523.41	c  N dy  4204   1191983       250     21250         0     65304    148750   1912449     57.78     61.02  --
2103.42/527.99	c  S st  4278   1209891       250     21250         0     82807    148750   3069682     57.78     58.34  --
2104.60/528.24	c  S st  4278   1210394       250     21250         0     83305    148750   3101936     57.78   no data  --
2104.60/528.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2104.60/528.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2105.00/528.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
2105.40/528.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2105.40/528.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2105.40/528.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
2105.40/528.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3724.47/933.90	c lits-rem:      2675  cl-subs:     2055  v-elim:      0  v-fix:    0  time: 1618.97 s
3724.47/933.90	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
3724.87/933.93	c vivif2 --  cl tried    81250 cl shrink        0 lits rem          0 time: 0.13
3726.45/934.36	c asymm  cl-useful: 0/1851/21250 lits-rem:0 time: 1.70
3726.45/934.36	c calculated reachability. Time: 0.00
3726.45/934.36	c  N dy  4278   1210394       250     21250         0     81250    148750   2913750     57.78   no data  --
3746.01/939.27	c  N dy  4353   1230577       250     21250         0     54091    148750   1119228     57.79     60.93  --
3764.00/943.72	c  N dy  4434   1250856       250     21250         0     73875    148750   2425772     57.79     60.95  --
3785.55/949.15	c  N dy  4511   1270971       250     21250         0     93546    148750   3729447     57.80     61.33  --
3802.33/953.37	c  N dy  4581   1291410       250     21250         0     65645    148750   1825360     57.79     61.05  --
3821.89/958.23	c  N dy  4649   1311463       250     21250         0     85231    148750   3121718     57.79     63.91  --
3843.47/963.67	c  N dy  4754   1331896       250     21250         0     56346    148750   1155730     57.81     61.19  --
3861.42/968.10	c  N dy  4835   1351986       250     21250         0     75970    148750   2452701     57.81     64.67  --
3885.78/974.26	c  N dy  4921   1372130       250     21250         0     95648    148750   3758089     57.82     60.89  --
3906.95/979.57	c  N dy  4989   1392153       250     21250         0     65371    148750   1698312     57.82     60.87  --
3928.50/984.95	c  N dy  5063   1412559       250     21250         0     85319    148750   3021595     57.82     60.87  --
3952.07/990.83	c  N dy  5156   1432589       250     21250         0     54088    148750    892985     57.83     60.90  --
3970.04/995.32	c  N dy  5234   1453193       250     21250         0     74224    148750   2225688     57.84     60.95  --
3992.00/1000.83	c  N dy  5309   1473412       250     21250         0     93982    148750   3533234     57.84     61.77  --
4013.96/1006.40	c  N dy  5388   1494059       250     21250         0     62394    148750   1392590     57.85     61.53  --
4034.34/1011.40	c  N dy  5457   1514381       250     21250         0     82255    148750   2711918     57.85     61.05  --
4058.71/1017.52	c  N dy  5527   1534443       250     21250         0    101847    148750   4007198     57.85     61.26  --
4078.26/1022.46	c  N dy  5591   1554702       250     21250         0     68870    148750   1761246     57.84     61.02  --
4099.82/1027.86	c  N dy  5673   1574775       250     21250         0     88466    148750   3061677     57.85     60.99  --
4126.59/1034.54	c  N dy  5755   1594854       250     21250         0     54362    148750    746397     57.85     61.07  --
4145.76/1039.34	c  N dy  5843   1615632       250     21250         0     74642    148750   2091030     57.86     60.93  --
4168.90/1045.10	c  N dy  5917   1635789       250     21250         0     94308    148750   3397453     57.85     61.17  --
4194.48/1051.54	c  N dy  5995   1656759       250     21250         0     60117    148750   1076006     57.85     61.01  --
4213.63/1056.30	c  N dy  6053   1676876       250     21250         0     79733    148750   2376445     57.85     60.95  --
4236.40/1062.05	c  N dy  6107   1696888       250     21250         0     99289    148750   3671429     57.85     62.86  --
4254.76/1066.61	c  S st  6150   1710395       250     21250         0     56815    148750    801136     57.85     55.42  --
4255.16/1066.78	c  S st  6150   1710898       250     21250         0     57309    148750    833214     57.85   no data  --
4255.16/1066.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4255.16/1066.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4255.56/1066.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
4255.56/1066.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4255.56/1066.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4255.56/1066.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
4255.56/1066.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4284.32/1074.08	c lits-rem:       214  cl-subs:       75  v-elim:      0  v-fix:    0  time: 28.82 s
4284.32/1074.08	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
4284.32/1074.09	c vivif2 --  cl tried    57234 cl shrink        0 lits rem          0 time: 0.04
4285.91/1074.49	c asymm  cl-useful: 0/2282/21250 lits-rem:0 time: 1.58
4285.91/1074.49	c calculated reachability. Time: 0.00
4285.91/1074.49	c  N dy  6150   1710898       250     21250         0     57234    148750    826244     57.85   no data  --
4305.87/1079.41	c  N dy  6222   1731350       250     21250         0     77255    148750   2152893     57.85     61.27  --
4331.06/1085.78	c  N dy  6316   1752207       250     21250         0     97624    148750   3508289     57.86     60.95  --
4358.99/1092.72	c  N dy  6403   1772518       250     21250         0     60822    148750   1008488     57.86     61.14  --
4379.38/1097.84	c  N dy  6509   1792529       250     21250         0     80316    148750   2300438     57.87     61.25  --
4403.32/1103.89	c  N dy  6581   1812563       250     21250         0     99896    148750   3599420     57.88     63.12  --
4429.66/1110.47	c  N dy  6642   1833078       250     21250         0     62283    148750   1051426     57.87     60.94  --
4449.26/1115.34	c  N dy  6694   1853636       250     21250         0     82383    148750   2378941     57.86     61.63  --
4474.39/1121.63	c  N dy  6779   1873703       250     21250         0    101972    148750   3685577     57.87     61.60  --
4501.55/1128.49	c  N dy  6858   1894494       250     21250         0     63667    148750   1092587     57.87     61.34  --
4522.31/1133.63	c  N dy  6935   1914539       250     21250         0     83221    148750   2387886     57.87     61.42  --
4548.26/1140.18	c  N dy  7027   1934848       250     21250         0    103083    148750   3705952     57.88     60.94  --
4577.81/1147.58	c  N dy  7108   1955269       250     21250         0     63476    148750   1016787     57.89     60.97  --
4599.78/1153.01	c  N dy  7181   1975871       250     21250         0     83616    148750   2351530     57.89     61.13  --
4625.36/1159.45	c  N dy  7252   1995899       250     21250         0    103160    148750   3648079     57.89     61.10  --
4654.89/1166.85	c  N dy  7330   2016011       250     21250         0     62255    148750    884018     57.89     61.74  --
4674.86/1171.90	c  N dy  7410   2036033       250     21250         0     81828    148750   2183399     57.90     61.12  --
4700.41/1178.29	c  N dy  7512   2056127       250     21250         0    101481    148750   3489554     57.90     62.27  --
4728.77/1185.34	c  N dy  7572   2076156       250     21250         0    121069    148750   4794433     57.90     61.54  --
4750.73/1190.86	c  N dy  7655   2096366       250     21250         0     79256    148750   1952236     57.90     61.50  --
4775.48/1197.06	c  N dy  7741   2116490       250     21250         0     98916    148750   3251485     57.91     61.65  --

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-3175076-1304082188/watcher-3175076-1304082188 -o /tmp/evaluation-result-3175076-1304082188/solver-3175076-1304082188 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175076-1304082188.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.69 7.98 7.98 6/178 11497
/proc/meminfo: memFree=26566144/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 519817484 52465664 352 33554432000 4194304 4650419 140733220640496 18446744073709551615 242970606577 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11497/statm: 12809 352 303 112 0 7774 0
[pid=11497/tid=11498] ppid=11495 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519817485 52465664 352 33554432000 4194304 4650419 140733220640496 18446744073709551615 47019518384050 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519817485 52465664 352 33554432000 4194304 4650419 140733220640496 18446744073709551615 47019518384050 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519817485 52465664 352 33554432000 4194304 4650419 140733220640496 18446744073709551615 242982347830 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0909571 s]
/proc/loadavg: 7.69 7.98 7.98 6/178 11497
/proc/meminfo: memFree=26566144/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=283348 CPUtime=0.33 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 3115 0 0 0 33 0 0 0 18 0 4 0 519817484 290148352 3029 33554432000 4194304 4650419 140733220640496 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11497/statm: 70837 3029 367 112 0 65802 0
[pid=11497/tid=11498] ppid=11495 vsize=283348 CPUtime=0.08 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 672 0 0 0 8 0 0 0 18 0 4 0 519817485 290148352 3029 33554432000 4194304 4650419 140733220640496 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=283348 CPUtime=0.08 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 665 0 0 0 8 0 0 0 18 0 4 0 519817485 290148352 3029 33554432000 4194304 4650419 140733220640496 18446744073709551615 4370671 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=283348 CPUtime=0.08 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 738 0 0 0 8 0 0 0 25 0 4 0 519817485 290148352 3029 33554432000 4194304 4650419 140733220640496 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 283348

[startup+0.100955 s]
/proc/loadavg: 7.69 7.98 7.98 6/178 11497
/proc/meminfo: memFree=26566144/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=283348 CPUtime=0.37 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 3138 0 0 0 37 0 0 0 18 0 4 0 519817484 290148352 3052 33554432000 4194304 4650419 140733220640496 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11497/statm: 70837 3053 367 112 0 65802 0
[pid=11497/tid=11498] ppid=11495 vsize=283348 CPUtime=0.09 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 674 0 0 0 9 0 0 0 18 0 4 0 519817485 290148352 3053 33554432000 4194304 4650419 140733220640496 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=283348 CPUtime=0.09 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 670 0 0 0 9 0 0 0 18 0 4 0 519817485 290148352 3053 33554432000 4194304 4650419 140733220640496 18446744073709551615 242970211361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=283348 CPUtime=0.09 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 754 0 0 0 9 0 0 0 25 0 4 0 519817485 290148352 3053 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 283348

[startup+0.30092 s]
/proc/loadavg: 7.69 7.98 7.98 6/178 11497
/proc/meminfo: memFree=26566144/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=283636 CPUtime=1.07 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 3488 0 0 0 103 4 0 0 18 0 4 0 519817484 290443264 3402 33554432000 4194304 4650419 140733220640496 18446744073709551615 4371123 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11497/statm: 70909 3402 367 112 0 65874 0
[pid=11497/tid=11498] ppid=11495 vsize=283636 CPUtime=0.28 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 704 0 0 0 27 1 0 0 18 0 4 0 519817485 290443264 3402 33554432000 4194304 4650419 140733220640496 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=283636 CPUtime=0.27 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 688 0 0 0 27 0 0 0 18 0 4 0 519817485 290443264 3402 33554432000 4194304 4650419 140733220640496 18446744073709551615 4370658 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=283636 CPUtime=0.26 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 1038 0 0 0 25 1 0 0 25 0 4 0 519817485 290443264 3402 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 283636

[startup+0.700886 s]
/proc/loadavg: 7.69 7.98 7.98 6/178 11497
/proc/meminfo: memFree=26566144/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=290656 CPUtime=1.93 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 5771 0 0 0 156 37 0 0 18 0 4 0 519817484 297631744 4613 33554432000 4194304 4650419 140733220640496 18446744073709551615 4371088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11497/statm: 72664 4613 378 112 0 67629 0
[pid=11497/tid=11498] ppid=11495 vsize=290656 CPUtime=0.42 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) D 11495 11497 11258 0 -1 4202560 1630 0 0 0 38 4 0 0 17 0 4 0 519817485 297631744 4613 33554432000 4194304 4650419 140733220640496 18446744073709551615 242970247271 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=290656 CPUtime=0.65 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 1378 0 0 0 38 27 0 0 18 0 4 0 519817485 297631744 4613 33554432000 4194304 4650419 140733220640496 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=290656 CPUtime=0.42 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) S 11495 11497 11258 0 -1 4202560 1705 0 0 0 39 3 0 0 24 0 4 0 519817485 297631744 4613 33554432000 4194304 4650419 140733220640496 18446744073709551615 242970655214 0 0 4096 2 18446604453781080896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 290656

[startup+1.50071 s]
/proc/loadavg: 7.69 7.98 7.98 10/182 11501
/proc/meminfo: memFree=26516388/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=295068 CPUtime=4.22 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 10394 0 0 0 349 73 0 0 18 0 4 0 519817484 302149632 7269 33554432000 4194304 4650419 140733220640496 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11497/statm: 73767 7269 391 112 0 68732 0
[pid=11497/tid=11498] ppid=11495 vsize=295068 CPUtime=1.06 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 3403 0 0 0 94 12 0 0 18 0 4 0 519817485 302149632 7270 33554432000 4194304 4650419 140733220640496 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=295068 CPUtime=1.4 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 3261 0 0 0 89 51 0 0 18 0 4 0 519817485 302149632 7270 33554432000 4194304 4650419 140733220640496 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=295068 CPUtime=1.01 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 2673 0 0 0 97 4 0 0 18 0 4 0 519817485 302149632 7270 33554432000 4194304 4650419 140733220640496 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 295068

[startup+3.10044 s]
/proc/loadavg: 7.69 7.98 7.98 9/182 11501
/proc/meminfo: memFree=26499652/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=296436 CPUtime=9.53 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 19259 0 0 0 864 89 0 0 20 0 4 0 519817484 303550464 8049 33554432000 4194304 4650419 140733220640496 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11497/statm: 74109 8049 392 112 0 69074 0
[pid=11497/tid=11498] ppid=11495 vsize=296436 CPUtime=2.62 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 6524 0 0 0 246 16 0 0 19 0 4 0 519817485 303550464 8049 33554432000 4194304 4650419 140733220640496 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=296436 CPUtime=2.96 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 6259 0 0 0 241 55 0 0 20 0 4 0 519817485 303550464 8049 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=296436 CPUtime=2.56 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 5418 0 0 0 250 6 0 0 20 0 4 0 519817485 303550464 8049 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 296436

[startup+6.30089 s]
/proc/loadavg: 7.79 8.00 7.98 9/182 11501
/proc/meminfo: memFree=26380716/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=315652 CPUtime=21.03 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 39439 0 0 0 1963 140 0 0 21 0 4 0 519817484 323227648 22162 33554432000 4194304 4650419 140733220640496 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 78913 22162 393 112 0 73878 0
[pid=11497/tid=11498] ppid=11495 vsize=315652 CPUtime=5.81 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 9701 0 0 0 565 16 0 0 25 0 4 0 519817485 323227648 22162 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=315652 CPUtime=5.63 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 12330 0 0 0 502 61 0 0 25 0 4 0 519817485 323227648 22162 33554432000 4194304 4650419 140733220640496 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=315652 CPUtime=5.52 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 11210 0 0 0 544 8 0 0 25 0 4 0 519817485 323227648 22162 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.03
Current children cumulated vsize (KiB) 315652

[startup+12.7008 s]
/proc/loadavg: 7.81 8.00 7.98 9/182 11501
/proc/meminfo: memFree=26300388/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=332064 CPUtime=46.59 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 56486 0 0 0 4515 144 0 0 25 0 4 0 519817484 340033536 29479 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 83016 29479 393 112 0 77981 0
[pid=11497/tid=11498] ppid=11495 vsize=332064 CPUtime=12.21 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 16333 0 0 0 1204 17 0 0 25 0 4 0 519817485 340033536 29479 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=332064 CPUtime=12.02 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 12645 0 0 0 1141 61 0 0 25 0 4 0 519817485 340033536 29479 33554432000 4194304 4650419 140733220640496 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=332064 CPUtime=11.89 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 16720 0 0 0 1180 9 0 0 25 0 4 0 519817485 340033536 29479 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 46.59
Current children cumulated vsize (KiB) 332064

[startup+25.5006 s]
/proc/loadavg: 7.85 8.00 7.98 9/182 11501
/proc/meminfo: memFree=26158904/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=343792 CPUtime=97.67 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 85353 0 0 0 9610 157 0 0 25 0 4 0 519817484 352043008 45424 33554432000 4194304 4650419 140733220640496 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 85948 45424 393 112 0 80913 0
[pid=11497/tid=11498] ppid=11495 vsize=343792 CPUtime=25.01 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 24252 0 0 0 2482 19 0 0 25 0 4 0 519817485 352043008 45424 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=343792 CPUtime=24.76 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 19541 0 0 0 2409 67 0 0 25 0 4 0 519817485 352043008 45424 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=343792 CPUtime=24.62 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 23257 0 0 0 2450 12 0 0 25 0 4 0 519817485 352043008 45424 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 97.67
Current children cumulated vsize (KiB) 343792

[startup+51.1012 s]
/proc/loadavg: 7.97 8.01 7.99 9/182 11502
/proc/meminfo: memFree=26024896/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=371536 CPUtime=199.88 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 131381 0 0 0 19815 173 0 0 25 0 4 0 519817484 380452864 59508 33554432000 4194304 4650419 140733220640496 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 92884 59508 393 112 0 87849 0
[pid=11497/tid=11498] ppid=11495 vsize=371536 CPUtime=50.61 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 35041 0 0 0 5039 22 0 0 25 0 4 0 519817485 380452864 59508 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=371536 CPUtime=50.31 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 30748 0 0 0 4957 74 0 0 25 0 4 0 519817485 380452864 59508 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=371536 CPUtime=50.09 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 34478 0 0 0 4994 15 0 0 25 0 4 0 519817485 380452864 59508 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 199.88
Current children cumulated vsize (KiB) 371536

[startup+102.306 s]
/proc/loadavg: 8.12 8.04 8.00 9/182 11503
/proc/meminfo: memFree=25962744/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=368492 CPUtime=404.35 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 196307 0 0 0 40240 195 0 0 25 0 4 0 519817484 377335808 64178 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 92123 64178 393 112 0 87088 0
[pid=11497/tid=11498] ppid=11495 vsize=368492 CPUtime=101.81 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 50280 0 0 0 10155 26 0 0 25 0 4 0 519817485 377335808 64178 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=368492 CPUtime=101.45 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 51389 0 0 0 10064 81 0 0 25 0 4 0 519817485 377335808 64178 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=368492 CPUtime=101.02 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 54521 0 0 0 10079 23 0 0 25 0 4 0 519817485 377335808 64178 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 404.35
Current children cumulated vsize (KiB) 368492

[startup+162.301 s]

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

[pid=11497] ppid=11495 vsize=846264 CPUtime=2560.31 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 511301 0 0 0 255696 335 0 0 25 0 4 0 519817484 866574336 125569 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 211566 125569 393 112 0 206531 0
[pid=11497/tid=11498] ppid=11495 vsize=846264 CPUtime=641.3 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 113997 0 0 0 64065 65 0 0 25 0 4 0 519817485 866574336 125569 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=846264 CPUtime=640.81 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 166261 0 0 0 63940 141 0 0 25 0 4 0 519817485 866574336 125569 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=846264 CPUtime=638.13 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 116536 0 0 0 63771 42 0 0 25 0 4 0 519817485 866574336 125569 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2560.31
Current children cumulated vsize (KiB) 846264

[startup+702.301 s]
/proc/loadavg: 8.12 8.08 8.02 9/182 11522
/proc/meminfo: memFree=25435296/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=846980 CPUtime=2799.92 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 529765 0 0 0 279650 342 0 0 25 0 4 0 519817484 867307520 125820 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 211745 125820 393 112 0 206710 0
[pid=11497/tid=11498] ppid=11495 vsize=846980 CPUtime=701.27 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 120174 0 0 0 70056 71 0 0 25 0 4 0 519817485 867307520 125820 33554432000 4194304 4650419 140733220640496 18446744073709551615 4229297 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=846980 CPUtime=700.79 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 169828 0 0 0 69938 141 0 0 25 0 4 0 519817485 867307520 125820 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=846980 CPUtime=697.8 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 116536 0 0 0 69738 42 0 0 25 0 4 0 519817485 867307520 125820 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2799.92
Current children cumulated vsize (KiB) 846980

[startup+762.307 s]
/proc/loadavg: 8.17 8.10 8.02 9/182 11524
/proc/meminfo: memFree=25424976/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=792248 CPUtime=3039.54 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 547857 0 0 0 303606 348 0 0 25 0 4 0 519817484 811261952 125219 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 198062 125219 393 112 0 193027 0
[pid=11497/tid=11498] ppid=11495 vsize=792248 CPUtime=761.22 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 125518 0 0 0 76046 76 0 0 25 0 4 0 519817485 811261952 125219 33554432000 4194304 4650419 140733220640496 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=792248 CPUtime=760.8 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 173477 0 0 0 75938 142 0 0 25 0 4 0 519817485 811261952 125219 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=792248 CPUtime=757.48 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 116536 0 0 0 75706 42 0 0 25 0 4 0 519817485 811261952 125219 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.54
Current children cumulated vsize (KiB) 792248

[startup+822.3 s]
/proc/loadavg: 8.11 8.09 8.02 9/182 11526
/proc/meminfo: memFree=25411436/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=848320 CPUtime=3279.12 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 561359 0 0 0 327559 353 0 0 25 0 4 0 519817484 868679680 127098 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 212080 127098 393 112 0 207045 0
[pid=11497/tid=11498] ppid=11495 vsize=848320 CPUtime=821.15 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 127593 0 0 0 82037 78 0 0 25 0 4 0 519817485 868679680 127098 33554432000 4194304 4650419 140733220640496 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=848320 CPUtime=820.79 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 176615 0 0 0 81936 143 0 0 25 0 4 0 519817485 868679680 127098 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=848320 CPUtime=817.15 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 116536 0 0 0 81673 42 0 0 25 0 4 0 519817485 868679680 127098 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.12
Current children cumulated vsize (KiB) 848320

[startup+882.301 s]
/proc/loadavg: 8.04 8.07 8.02 9/182 11527
/proc/meminfo: memFree=25360828/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=817852 CPUtime=3518.76 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 594627 0 0 0 351512 364 0 0 25 0 4 0 519817484 837480448 130645 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 204463 130645 393 112 0 199428 0
[pid=11497/tid=11498] ppid=11495 vsize=817852 CPUtime=881.12 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 140665 0 0 0 88028 84 0 0 25 0 4 0 519817485 837480448 130645 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=817852 CPUtime=880.78 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 179724 0 0 0 87935 143 0 0 25 0 4 0 519817485 837480448 130645 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=817852 CPUtime=876.82 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 125451 0 0 0 87636 46 0 0 25 0 4 0 519817485 837480448 130645 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.76
Current children cumulated vsize (KiB) 817852

[startup+942.301 s]
/proc/loadavg: 8.06 8.07 8.02 9/182 11529
/proc/meminfo: memFree=25374076/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=630856 CPUtime=3758.4 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 624727 0 0 0 375464 376 0 0 25 0 4 0 519817484 645996544 119638 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 157714 119638 393 112 0 152679 0
[pid=11497/tid=11498] ppid=11495 vsize=630856 CPUtime=941.08 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 147554 0 0 0 94021 87 0 0 25 0 4 0 519817485 645996544 119638 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=630856 CPUtime=940.77 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 183653 0 0 0 93934 143 0 0 25 0 4 0 519817485 645996544 119638 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=630856 CPUtime=936.49 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 134207 0 0 0 93599 50 0 0 25 0 4 0 519817485 645996544 119638 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.4
Current children cumulated vsize (KiB) 630856

[startup+1002.3 s]
/proc/loadavg: 8.07 8.07 8.02 9/182 11530
/proc/meminfo: memFree=25352220/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=710748 CPUtime=3997.99 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 656811 0 0 0 399408 391 0 0 25 0 4 0 519817484 727805952 124526 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 177687 124526 393 112 0 172652 0
[pid=11497/tid=11498] ppid=11495 vsize=710748 CPUtime=1001.01 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 153401 0 0 0 100009 92 0 0 25 0 4 0 519817485 727805952 124526 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=710748 CPUtime=1000.77 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 188543 0 0 0 99933 144 0 0 25 0 4 0 519817485 727805952 124526 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=710748 CPUtime=996.16 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 139411 0 0 0 99564 52 0 0 25 0 4 0 519817485 727805952 124526 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.99
Current children cumulated vsize (KiB) 710748

[startup+1062.3 s]
/proc/loadavg: 8.07 8.07 8.02 9/182 11532
/proc/meminfo: memFree=25328992/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=826124 CPUtime=4237.6 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 694142 0 0 0 423348 412 0 0 25 0 4 0 519817484 845950976 126931 33554432000 4194304 4650419 140733220640496 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 206531 126931 393 112 0 201496 0
[pid=11497/tid=11498] ppid=11495 vsize=826124 CPUtime=1060.94 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 153401 0 0 0 106001 93 0 0 25 0 4 0 519817485 845950976 126931 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=826124 CPUtime=1060.76 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 191601 0 0 0 105932 144 0 0 25 0 4 0 519817485 845950976 126931 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=826124 CPUtime=1055.84 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 154763 0 0 0 105524 60 0 0 25 0 4 0 519817485 845950976 126931 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.6
Current children cumulated vsize (KiB) 826124

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/182 11534
/proc/meminfo: memFree=25305892/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=841136 CPUtime=4477.2 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 723526 0 0 0 447295 425 0 0 25 0 4 0 519817484 861323264 133838 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 210284 133838 393 112 0 205249 0
[pid=11497/tid=11498] ppid=11495 vsize=841136 CPUtime=1120.86 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 153401 0 0 0 111993 93 0 0 25 0 4 0 519817485 861323264 133838 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=841136 CPUtime=1120.76 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 196712 0 0 0 111931 145 0 0 25 0 4 0 519817485 861323264 133838 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=841136 CPUtime=1115.51 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 167361 0 0 0 111484 67 0 0 25 0 4 0 519817485 861323264 133838 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.2
Current children cumulated vsize (KiB) 841136

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 8.03 9/182 11535
/proc/meminfo: memFree=25236060/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=721624 CPUtime=4716.79 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 745397 0 0 0 471242 437 0 0 25 0 4 0 519817484 738942976 123968 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 180406 123968 393 112 0 175371 0
[pid=11497/tid=11498] ppid=11495 vsize=721624 CPUtime=1180.79 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 153401 0 0 0 117984 95 0 0 25 0 4 0 519817485 738942976 123968 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=721624 CPUtime=1180.76 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 201619 0 0 0 117930 146 0 0 25 0 4 0 519817485 738942976 123968 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=721624 CPUtime=1175.18 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 171475 0 0 0 117449 69 0 0 25 0 4 0 519817485 738942976 123968 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.79
Current children cumulated vsize (KiB) 721624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.17 8.11 8.03 5/174 11554
/proc/meminfo: memFree=26121032/32951132 swapFree=67111364/67111528
[pid=11497] ppid=11495 vsize=777560 CPUtime=4800.24 cores=0,2,4,6
/proc/11497/stat : 11497 (strangenight1-m) R 11495 11497 11258 0 -1 4202496 754293 0 0 0 479582 442 0 0 25 0 4 0 519817484 796221440 126313 33554432000 4194304 4650419 140733220640496 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11497/statm: 194390 126313 393 112 0 189355 0
[pid=11497/tid=11498] ppid=11495 vsize=777560 CPUtime=1201.64 cores=0,2,4,6
/proc/11497/task/11498/stat : 11498 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 153401 0 0 0 120069 95 0 0 25 0 4 0 519817485 796221440 126313 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11497/tid=11499] ppid=11495 vsize=777560 CPUtime=1201.66 cores=0,2,4,6
/proc/11497/task/11499/stat : 11499 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 202688 0 0 0 120020 146 0 0 25 0 4 0 519817485 796221440 126313 33554432000 4194304 4650419 140733220640496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11497/tid=11500] ppid=11495 vsize=777560 CPUtime=1195.97 cores=0,2,4,6
/proc/11497/task/11500/stat : 11500 (strangenight1-m) R 11495 11497 11258 0 -1 4202560 173789 0 0 0 119526 71 0 0 25 0 4 0 519817485 796221440 126313 33554432000 4194304 4650419 140733220640496 18446744073709551615 4339864 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 777560

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.23
CPU time (s): 4800.3
CPU user time (s): 4795.85
CPU system time (s): 4.44732
CPU usage (%): 398.949
Max. virtual memory (cumulated for all children) (KiB): 869956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.85
system time used= 4.44732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 754294
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= 1464
involuntary context switches= 23659

runsolver used 1.9777 second user time and 4.53031 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 15:03:08
IDJOB=3175076
IDBENCH=82694
IDSOLVER=1588
FILE ID=node128/3175076-1304082188
RUNJOBID= node128-1304079777-11276
PBS_JOBID= 13170532
Free space on /tmp= 66968 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175076-1304082188/watcher-3175076-1304082188 -o /tmp/evaluation-result-3175076-1304082188/solver-3175076-1304082188 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175076-1304082188.cnf

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

MD5SUM BENCH= cfa9ddae87a68697f7100e24d97d7728
RANDOM SEED=1121729944

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26566424 kB
Buffers:       1277816 kB
Cached:        4401896 kB
SwapCached:        160 kB
Active:         391168 kB
Inactive:      5407228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26566424 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           13652 kB
Writeback:           8 kB
AnonPages:      118120 kB
Mapped:          15800 kB
Slab:           524296 kB
PageTables:       4936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   318948 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66968 MiB
End job on node128 at 2011-04-29 15:23:14