Trace number 3262681

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 TechDemo-Alpha-mt? (TO) 4800.16 1201.92

General information on the benchmark

NameSAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
MD5SUM05a191325d89de504821b55dea51ca7f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.758
Satisfiable
(Un)Satisfiability was proved
Number of variables4979
Number of clauses43754
Sum of the clauses size97507
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 241316
Number of clauses of size 3117
Number of clauses of size 4287
Number of clauses of size 5525
Number of clauses of size over 51509

Solver Data 

0.00/0.00	c Outputting solution to console
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 Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3262681-1304136122.cnf'
0.00/0.00	c -- header says num vars:           4979
0.00/0.00	c -- header says num clauses:       43754
0.00/0.06	c -- clauses added:            0 learnts,        43754 normals,            0 xors
0.00/0.06	c -- vars added       4979
0.00/0.06	c Parsing time:  0.06 s
0.00/0.06	c  N st     0         0      4979      2438     41316         0     97507         0   no data   no data  --
0.00/0.07	c asymm  cl-useful: 2/2438/2438 lits-rem:2 time: 0.02
0.00/0.12	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:   33 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.2M T:  0.18
0.00/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:   4976 time:  0.03 s
0.00/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.12	c Subs w/ non-existent bins:      2 time:  0.00 s
0.00/0.13	c Replacing       33 vars Replaced      872 lits Time:     0.01 s 
0.32/0.14	c bin-w-bin subsume rem            6 bins  time:  0.02 s
0.32/0.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.32/0.15	c Removed useless bin:      89  fixed:     0  bprops:   0.20M  time:  0.02 s
0.32/0.16	c lits-rem:         0  cl-subs:        2  v-elim:     21  v-fix:    0  time:  0.06 s
0.32/0.16	c learnt bin added due to v-elim: 0
0.32/0.16	c Finding binary XORs  T:     0.01 s  found:       0
0.32/0.17	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.32/0.17	c calculated reachability. Time: 0.00
0.32/0.17	c Calc default polars -  time:   0.00 s pos:    2472 undec:      41 neg:    2466
0.32/0.17	c =========================================================================================
0.32/0.17	c types(t): F = full restart, N = normal restart
0.32/0.17	c types(t): S = simplification begin/end, E = solution found
0.32/0.17	c restart types(rt): st = static, dy = dynamic
0.32/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.32/0.17	c  B st     0         0      4941      2446     41111         0     97122         0   no data   no data  --
1.39/0.42	c Decided on static restart strategy
2.19/0.67	c  N dy    13      4073      4941      2446     41113      4058     97122    374411     89.10     35.62  --
4.59/1.28	c  N dy    26      8414      4941      2446     41116      5896     97122    377190    111.11     36.86  --
7.38/1.95	c  N dy    34     12648      4941      2446     41116      5878     97122    201830     84.64     38.10  --
9.77/2.53	c  N dy    43     16717      4941      2446     41116      9943     97122    538988     72.11     37.21  --
12.59/3.22	c  N dy    52     20953      4941      2446     41117      8553     97122    436897    128.64     38.52  --
15.37/3.95	c  N dy    61     25131      4941      2446     41120     12715     97122    949103    105.28     38.94  --
18.16/4.61	c  N dy    70     29560      4941      2446     41122     10334     97122    395268    104.68     38.60  --
18.56/4.71	c  S st    73     30000      4941      2446     41122     10774     97122    427174     96.86     38.52  --
18.96/4.80	c  S st    73     30500      4941      2446     41123     11270     97122    456628     96.86     38.52  --
18.96/4.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
18.96/4.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.56/5.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     26 BRemL:      0 BRemN:      0 CBin:       0 P:  5.8M T:  1.59
20.56/5.21	c Calc non-exist non-lernt bins v-fix:     0 done:   4941 time:  0.04 s
20.56/5.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.56/5.21	c Subs w/ non-existent bins:      0 time:  0.02 s
20.56/5.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
25.77/6.59	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  5.40 s
25.77/6.60	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.02 s
30.57/7.71	c lits-rem:       127  cl-subs:     1369  v-elim:     19  v-fix:    0  time:  4.42 s
30.57/7.71	c learnt bin added due to v-elim: 0
30.57/7.71	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
30.57/7.71	c vivif2 --  cl tried     9901 cl shrink        0 lits rem          0 time: 0.02
30.57/7.78	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.26
30.57/7.78	c calculated reachability. Time: 0.01
30.57/7.78	c  N dy    73     30500      4941      2446     41149      9901     97122    419631     96.86     38.52  --
30.57/7.78	c  F st    73     30500      4941      2446     41149      9901     97122    419631     96.86     38.52  --
32.14/8.17	c Decided on static restart strategy
33.74/8.52	c  N dy    85     34504      4941      2446     41156     13890     97122    952951    104.30     39.40  --
36.53/9.25	c  N dy    96     38753      4941      2446     41156     10258     97122    349299    114.25     39.52  --
39.36/9.96	c  N dy   106     42828      4941      2446     41156     14326     97122    823211    143.00     39.77  --
42.14/10.62	c  S st   112     45750      4941      2446     41156     17243     97122   1230683    209.77     40.10  --
42.54/10.74	c  S st   112     46254      4941      2446     41156     17747     97122   1262590    209.77     40.10  --
42.54/10.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
42.54/10.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.53/11.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 10.3M T:  3.99
46.53/11.75	c Calc non-exist non-lernt bins v-fix:     0 done:   4941 time:  0.03 s
46.53/11.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.53/11.76	c Subs w/ non-existent bins:      0 time:  0.04 s
46.92/11.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
52.14/13.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.57 s
52.54/13.21	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.02 s
59.70/15.08	c lits-rem:       272  cl-subs:     1139  v-elim:     19  v-fix:    0  time:  7.50 s
59.70/15.08	c learnt bin added due to v-elim: 0
59.70/15.08	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
60.10/15.10	c vivif2 --  cl tried    16608 cl shrink        0 lits rem          0 time: 0.06
60.50/15.27	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.70
60.50/15.27	c calculated reachability. Time: 0.01
60.50/15.27	c  N dy   112     46254      4941      2446     41156     16608     97122   1153221    209.77     40.10  --
63.70/16.02	c  N dy   123     50421      4941      2446     41156     11841     97122    415400    133.87     40.10  --
66.50/16.73	c  N dy   135     54560      4941      2446     41156     15964     97122    843085    117.55     40.08  --
69.71/17.55	c  N dy   146     58752      4941      2446     41156     10193     97122    109625    108.37     40.11  --
73.69/18.51	c  N dy   153     63413      4941      2446     41156     14835     97122    851894    275.35     40.75  --
76.88/19.30	c  N dy   166     67571      4941      2446     41156     18975     97122   1316062    137.29     40.75  --
78.49/19.78	c  S st   174     69381      4941      2446     41156     20777     97122   1476094     82.10     40.63  --
79.27/19.90	c  S st   174     69883      4941      2446     41156     21278     97122   1508705     82.10     40.63  --
79.27/19.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
79.27/19.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.07/21.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.7M T:  4.92
84.07/21.15	c Calc non-exist non-lernt bins v-fix:     0 done:   4941 time:  0.04 s
84.07/21.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.07/21.16	c Subs w/ non-existent bins:      0 time:  0.05 s
84.47/21.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
90.07/22.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.76 s
90.07/22.65	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.02 s
100.86/25.33	c ORs :  14836 avg-s:  5.5 cl-sh: 10807 l-rem:  26207 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 7.0 T:    2.66
108.04/27.16	c Added 50 vars  tried: 80000 time: 7.32
108.44/27.20	c ORs :     50 avg-s:  0.0 cl-sh:  4629 l-rem:   4629 b-add:    100 v-rep:   0 cl-rem: 1 avg s: 5.0 T:    7.47
108.44/27.23	c lits-rem:       461  cl-subs:     1483  v-elim:     19  v-fix:    0  time: 18.25 s
108.44/27.23	c learnt bin added due to v-elim: 0
108.44/27.23	c vivif2 --  cl tried     2496 cl shrink        0 lits rem          0 time: 0.00
108.44/27.29	c vivif2 --  cl tried    19791 cl shrink     1906 lits rem      17235 time: 0.27
109.26/27.42	c asymm  cl-useful: 0/2496/2496 lits-rem:0 time: 0.49
109.26/27.42	c calculated reachability. Time: 0.00
109.26/27.42	c  N dy   174     69883      4991      2496     41256     19791     97470   1300805     82.10     40.63  --
109.26/27.42	c  F st   174     69883      4991      2496     41256     19791     97470   1300805     82.10     40.63  --
111.23/27.96	c Decided on static restart strategy
113.65/28.52	c  N dy   185     74356      4991      2496     41256     13299     97470    368415    116.02     40.66  --
118.04/29.64	c  N dy   201     79184      4991      2496     41256     18116     97470    839665     93.04     40.45  --
123.21/30.95	c  N dy   215     84274      4991      2496     41256     23191     97470   1395042    104.48     40.46  --
128.41/32.24	c  N dy   231     89694      4991      2496     41256     16640     97470    580351     92.94     40.46  --
134.00/33.63	c  N dy   247     95448      4991      2496     41256     22382     97470   1152668     87.06     40.43  --
140.41/35.20	c  N dy   264    101643      4991      2496     41256     15601     97470    386197    100.06     40.47  --
143.58/36.08	c  S st   272    104824      4991      2496     41256     18778     97470    765993    104.32     40.40  --
144.40/36.20	c  S st   272    105327      4991      2496     41257     19279     97470    799699    104.32     40.40  --
144.40/36.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.40/36.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.18/36.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     11 BRemL:      0 BRemN:      0 CBin:       0 P: 14.1M T:  2.95
147.18/36.95	c Calc non-exist non-lernt bins v-fix:     0 done:   4991 time:  0.04 s
147.18/36.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.18/36.96	c Subs w/ non-existent bins:      0 time:  0.04 s
147.18/36.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
152.77/38.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.51 s
152.77/38.37	c Removed useless bin:       0  fixed:     0  bprops:   0.20M  time:  0.02 s
166.77/41.89	c ORs :  14876 avg-s:  5.5 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 7.0 T:    1.17
167.14/41.90	c lits-rem:       371  cl-subs:     1263  v-elim:     22  v-fix:    0  time: 14.10 s
167.14/41.90	c learnt bin added due to v-elim: 0
167.14/41.90	c vivif2 --  cl tried     2496 cl shrink        0 lits rem          0 time: 0.00
167.14/41.91	c vivif2 --  cl tried    18014 cl shrink        0 lits rem          0 time: 0.04
167.54/42.02	c asymm  cl-useful: 0/2496/2496 lits-rem:0 time: 0.42
167.54/42.02	c calculated reachability. Time: 0.01
167.54/42.02	c  N dy   272    105327      4991      2496     41268     18014     97470    732601    104.32     40.40  --
174.74/43.86	c  N dy   286    112530      4991      2496     41268     25198     97470   1492958    105.39     40.32  --
183.53/46.04	c  N dy   306    120316      4991      2496     41268     18994     97470    722542    119.94     40.66  --
193.14/48.41	c  N dy   319    128395      4991      2496     41268     27039     97470   1794609    106.29     40.82  --
202.30/50.72	c  N dy   343    136855      4991      2496     41268     20533     97470    693542    115.17     40.96  --
212.29/53.25	c  N dy   374    145970      4991      2496     41268     29625     97470   1679031     98.76     41.04  --
222.27/55.77	c  N dy   397    155327      4991      2496     41268     23001     97470    944306    120.48     41.10  --
225.87/56.63	c  S st   406    157992      4991      2496     41268     25661     97470   1255375    137.87     41.12  --
226.27/56.78	c  S st   406    158496      4991      2496     41268     26162     97470   1293904    137.87     41.12  --
226.27/56.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
226.27/56.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
231.86/58.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 23.5M T:  5.31
231.86/58.12	c Calc non-exist non-lernt bins v-fix:     0 done:   4991 time:  0.03 s
231.86/58.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
231.86/58.13	c Subs w/ non-existent bins:      0 time:  0.06 s
231.86/58.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
237.45/59.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.61 s
237.45/59.58	c Removed useless bin:       0  fixed:     0  bprops:   0.20M  time:  0.02 s
247.44/62.04	c ORs :  14876 avg-s:  5.5 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    2.07
247.44/62.06	c lits-rem:       145  cl-subs:     1737  v-elim:     22  v-fix:    0  time:  9.89 s
247.44/62.06	c learnt bin added due to v-elim: 0
247.44/62.06	c vivif2 --  cl tried     2496 cl shrink        0 lits rem          0 time: 0.00
247.44/62.08	c vivif2 --  cl tried    24425 cl shrink        0 lits rem          0 time: 0.07
248.24/62.22	c asymm  cl-useful: 0/2496/2496 lits-rem:0 time: 0.59
248.24/62.23	c calculated reachability. Time: 0.00
248.24/62.23	c  N dy   406    158496      4991      2496     41268     24425     97470   1175641    137.87     41.12  --
260.62/65.37	c  N dy   427    168767      4991      2496     41268     17722     97470    223113    114.70     41.44  --
272.61/68.33	c  N dy   455    179609      4991      2496     41268     28537     97470   1437109    121.90     41.49  --
285.79/71.63	c  N dy   483    191104      4991      2496     41268     22046     97470    641898    104.32     41.60  --
300.17/75.28	c  N dy   518    203560      4991      2496     41268     34466     97470   2148520    127.72     41.78  --
314.95/78.99	c  N dy   553    216685      4991      2496     41268     28611     97470   1204567    104.38     41.72  --
333.34/83.54	c  N dy   584    230857      4991      2496     41268     22793     97470    615132    140.87     41.95  --
341.71/85.70	c  S st   601    237744      4991      2496     41268     29660     97470   1444133     89.40     42.04  --
342.53/85.87	c  S st   601    238244      4991      2496     41268     30157     97470   1485415     89.40     42.04  --
342.53/85.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
342.53/85.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
349.30/87.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 32.5M T:  6.80
349.30/87.58	c Calc non-exist non-lernt bins v-fix:     0 done:   4991 time:  0.04 s
349.30/87.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
349.70/87.60	c Subs w/ non-existent bins:      0 time:  0.07 s
349.70/87.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
355.31/89.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.60 s
355.31/89.06	c Removed useless bin:       0  fixed:     0  bprops:   0.20M  time:  0.02 s
366.48/91.84	c ORs :  14876 avg-s:  5.5 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    2.14
366.48/91.86	c lits-rem:       257  cl-subs:     1928  v-elim:     22  v-fix:    0  time: 11.21 s
366.48/91.86	c learnt bin added due to v-elim: 0
366.48/91.86	c vivif2 --  cl tried     2496 cl shrink        0 lits rem          0 time: 0.00
366.48/91.88	c vivif2 --  cl tried    28229 cl shrink        0 lits rem          0 time: 0.08
367.28/92.05	c asymm  cl-useful: 0/2496/2496 lits-rem:0 time: 0.66
367.28/92.05	c calculated reachability. Time: 0.00
367.28/92.05	c  N dy   601    238244      4991      2496     41268     28229     97470   1336772     89.40     42.04  --
387.25/97.04	c  N dy   637    253600      4991      2496     41268     22604     97470    431172    139.73     42.24  --
408.04/102.22	c  N dy   680    270086      4991      2496     41268     39034     97470   2448749    103.37     42.34  --
430.01/107.76	c  N dy   716    287340      4991      2496     41268     34304     97470   1712918    111.95     42.47  --
454.36/113.86	c  N dy   754    305787      4991      2496     41268     29778     97470   1026378    129.12     42.59  --
482.32/120.82	c  N dy   792    326360      4991      2496     41268     26363     97470    464996    136.59     42.68  --
508.29/127.38	c  N dy   829    346437      4991      2496     41268     46366     97470   3037265    160.07     42.85  --
522.69/130.96	c  S st   857    357366      4991      2496     41268     32340     97470   1092709    103.78     42.82  --
523.46/131.12	c  S st   857    357868      4991      2496     41268     32841     97470   1129900    103.78     42.82  --
523.46/131.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
523.46/131.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
529.45/132.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 42.2M T:  6.17
529.45/132.67	c Calc non-exist non-lernt bins v-fix:     0 done:   4991 time:  0.04 s
529.45/132.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
529.45/132.69	c Subs w/ non-existent bins:      0 time:  0.06 s
529.85/132.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
535.04/134.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.50 s
535.46/134.10	c Removed useless bin:       0  fixed:     0  bprops:   0.20M  time:  0.02 s
544.26/136.37	c ORs :  14876 avg-s:  5.5 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.55
549.43/137.65	c Added 29 vars  tried: 80000 time: 5.11
549.43/137.67	c ORs :     29 avg-s:  0.0 cl-sh:  1933 l-rem:   1933 b-add:     58 v-rep:   0 cl-rem: 1 avg s: 6.0 T:    5.17
549.43/137.69	c lits-rem:       142  cl-subs:     1881  v-elim:     22  v-fix:    0  time: 14.31 s
549.43/137.69	c learnt bin added due to v-elim: 0
549.43/137.69	c vivif2 --  cl tried     2525 cl shrink        0 lits rem          0 time: 0.00
549.83/137.70	c vivif2 --  cl tried    30959 cl shrink        0 lits rem          0 time: 0.06
550.23/137.80	c asymm  cl-useful: 0/2525/2525 lits-rem:0 time: 0.39
550.23/137.81	c calculated reachability. Time: 0.01
550.23/137.81	c  N dy   857    357868      5020      2525     41326     30959     97670   1032245    103.78     42.82  --
578.59/144.99	c  N dy   909    378731      5020      2525     41326     51767     97670   3624391    182.33     42.89  --
607.59/152.26	c  N dy   952    399423      5020      2525     41326     46473     97670   2962087    131.56     43.11  --
636.02/159.44	c  N dy  1003    420246      5020      2525     41326     40314     97670   1779852    164.06     43.26  --
663.67/166.44	c  N dy  1046    440464      5020      2525     41326     32557     97670    782679    129.50     43.39  --
691.62/173.44	c  N dy  1097    460828      5020      2525     41341     52869     97670   3313781    124.23     43.45  --
720.38/180.60	c  N dy  1140    481086      5020      2525     41341     44146     97670   2282980    183.16     43.59  --
749.97/188.05	c  N dy  1183    501221      5020      2525     41341     34310     97670    832579    146.63     43.74  --
778.71/195.23	c  N dy  1240    521269      5020      2525     41341     54305     97670   3265886    114.10     43.80  --
801.88/201.00	c  S st  1280    536805      5020      2525     41341     38890     97670   1125459    111.51     43.80  --
802.28/201.18	c  S st  1280    537307      5020      2525     41341     39392     97670   1162626    111.51     43.80  --
802.28/201.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
802.28/201.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
810.67/203.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 59.5M T:  8.16
810.67/203.24	c Calc non-exist non-lernt bins v-fix:     0 done:   5020 time:  0.04 s
810.67/203.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
810.67/203.26	c Subs w/ non-existent bins:      0 time:  0.06 s
810.67/203.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
816.66/204.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.70 s
816.66/204.73	c Removed useless bin:       0  fixed:     0  bprops:   0.20M  time:  0.02 s
825.84/207.04	c ORs :  14894 avg-s:  5.5 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.55
825.84/207.06	c lits-rem:       152  cl-subs:     2062  v-elim:     22  v-fix:    0  time:  9.30 s
825.84/207.06	c learnt bin added due to v-elim: 0
825.84/207.06	c vivif2 --  cl tried     2525 cl shrink        0 lits rem          0 time: 0.00
825.84/207.08	c vivif2 --  cl tried    37330 cl shrink        0 lits rem          0 time: 0.08
826.64/207.29	c asymm  cl-useful: 0/2525/2525 lits-rem:0 time: 0.87
827.04/207.30	c calculated reachability. Time: 0.00
827.04/207.30	c  N dy  1280    537307      5020      2525     41341     37330     97670   1084203    111.51     43.80  --
827.04/207.30	c  F st  1280    537307      5020      2525     41341     37330     97670   1084203    111.51     43.80  --
829.46/207.98	c Decided on static restart strategy
855.82/214.51	c  N dy  1331    557778      5020      2525     41341     57757     97670   3629944    112.09     43.86  --
886.18/222.12	c  N dy  1372    578468      5020      2525     41341     46466     97670   2230597    173.80     43.94  --
917.72/230.02	c  N dy  1413    598851      5020      2525     41341     33880     97670    363745    120.41     44.02  --
945.28/236.98	c  N dy  1459    618859      5020      2525     41341     53838     97670   2724093    110.02     44.04  --
978.46/245.22	c  N dy  1498    638993      5020      2525     41341     40009     97670   1057608    116.55     44.15  --
1010.80/253.30	c  N dy  1548    660204      5020      2525     41341     61152     97670   3676662    130.15     44.19  --
1041.55/261.08	c  N dy  1594    680453      5020      2525     41341     46440     97670   1844870    124.57     44.26  --
1072.71/268.80	c  N dy  1639    700667      5020      2525     41341     66593     97670   4442701    119.04     44.32  --
1103.88/276.65	c  N dy  1678    721201      5020      2525     41341     51168     97670   2346282    149.05     44.42  --
1136.22/284.77	c  N dy  1720    741205      5020      2525     41341     71097     97670   5000299    148.64     44.50  --
1167.41/292.57	c  N dy  1757    761361      5020      2525     41341     54306     97670   2706294    115.86     44.60  --
1202.55/301.34	c  N dy  1806    781814      5020      2525     41341     74708     97670   5321221    152.26     44.66  --
1233.72/309.11	c  N dy  1854    802173      5020      2525     41341     57127     97670   2794593    126.38     44.71  --
1240.49/310.89	c  S st  1861    805961      5020      2525     41341     60907     97670   3265320    138.65     44.72  --
1241.69/311.13	c  S st  1861    806462      5020      2525     41341     61408     97670   3300916    138.65     44.72  --
1241.69/311.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1241.69/311.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1255.68/314.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 14.16
1256.06/314.70	c Calc non-exist non-lernt bins v-fix:     0 done:   5020 time:  0.04 s
1256.06/314.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1256.06/314.74	c Subs w/ non-existent bins:      0 time:  0.16 s
1256.47/314.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1262.05/316.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.73 s
1262.05/316.28	c Removed useless bin:       0  fixed:     0  bprops:   0.20M  time:  0.02 s
1294.83/324.41	c ORs :  14894 avg-s:  5.5 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 4.0 T:    6.62
1312.41/328.83	c Added 51 vars  tried: 80000 time: 17.64
1312.41/328.88	c ORs :     51 avg-s:  0.0 cl-sh:  6653 l-rem:   6653 b-add:    102 v-rep:   0 cl-rem: 5 avg s: 6.8 T:   17.86
1312.81/328.93	c lits-rem:        42  cl-subs:     4053  v-elim:     22  v-fix:    0  time: 50.52 s
1312.81/328.93	c learnt bin added due to v-elim: 0
1312.81/328.93	c vivif2 --  cl tried     2576 cl shrink        0 lits rem          0 time: 0.00
1312.81/328.98	c vivif2 --  cl tried    57349 cl shrink        0 lits rem          0 time: 0.19
1313.99/329.29	c asymm  cl-useful: 0/1672/2576 lits-rem:0 time: 1.26
1314.39/329.30	c calculated reachability. Time: 0.00
1314.39/329.30	c  N dy  1861    806462      5071      2576     41443     57349     98016   2993958    138.65     44.72  --
1349.54/338.14	c  N dy  1896    826931      5071      2576     41444     77757     98016   5762828    161.29     44.79  --
1379.90/345.73	c  N dy  1949    847071      5071      2576     41444     58955     98016   2695247    115.92     44.80  --
1415.85/354.77	c  N dy  1989    867208      5071      2576     41445     79038     98016   5363022    137.57     44.87  --
1448.21/362.87	c  N dy  2029    887345      5071      2576     41445     59242     98016   2846184    123.55     44.95  --
1484.95/372.00	c  N dy  2076    907493      5071      2576     41445     79338     98016   5486091    127.10     45.01  --
1520.91/381.05	c  N dy  2128    929734      5071      2576     41445     60626     98016   2805229    166.76     45.05  --
1555.26/389.60	c  N dy  2171    950190      5071      2576     41495     81020     98016   5419542    161.41     45.09  --
1586.02/397.40	c  N dy  2222    970211      5071      2576     41495     59098     98016   2456922    111.83     45.12  --
1621.98/406.30	c  N dy  2260    990264      5071      2576     41495     79081     98016   5101495    132.71     45.16  --
1654.33/414.44	c  N dy  2302   1010372      5071      2576     41495     56257     98016   1973657    131.18     45.18  --
1689.09/423.15	c  N dy  2344   1030625      5071      2576     41495     76444     98016   4634777    130.55     45.22  --
1726.63/432.55	c  N dy  2391   1051743      5071      2576     41495     53635     98016   1573402    159.01     45.24  --
1768.18/442.90	c  N dy  2447   1074713      5071      2576     41495     76531     98016   4725817    192.19     45.29  --
1805.32/452.27	c  N dy  2494   1094803      5071      2576     41495     51710     98016   1212405    138.73     45.32  --
1838.48/460.56	c  N dy  2539   1114936      5074      2576     41512     71801     98028   3716259    118.88     45.32  --
1876.03/469.93	c  N dy  2577   1134950      5074      2576     41512     45887     98028    342489    135.65     45.39  --
1907.19/477.71	c  N dy  2628   1154985      5074      2576     41512     65859     98028   2796739    107.23     45.39  --
1943.15/486.71	c  N dy  2674   1175062      5074      2576     41512     85877     98028   5301001    118.89     45.41  --
1978.69/495.60	c  N dy  2721   1195139      5074      2576     41512     59022     98028   1902499    139.54     45.45  --
2004.26/502.06	c  S st  2757   1209694      5074      2576     41512     73539     98028   3762911    119.71     45.48  --
2005.46/502.34	c  S st  2757   1210196      5074      2576     41512     74039     98028   3810017    119.71     45.48  --
2005.46/502.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2005.46/502.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2019.85/505.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 14.44
2019.85/505.97	c Calc non-exist non-lernt bins v-fix:     0 done:   5074 time:  0.04 s
2019.85/505.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2020.25/506.02	c Subs w/ non-existent bins:      0 time:  0.19 s
2020.63/506.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2026.63/507.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.05 s
2026.63/507.65	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.02 s
2157.25/540.33	c ORs :  14904 avg-s:  5.5 cl-sh:    13 l-rem:     13 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 6.5 T:    7.80
2177.63/545.45	c Added 51 vars  tried: 80000 time: 20.44
2177.63/545.50	c ORs :     51 avg-s:  0.0 cl-sh:  6310 l-rem:   6310 b-add:    102 v-rep:   0 cl-rem: 4 avg s: 6.5 T:   20.65
2178.04/545.56	c lits-rem:        17  cl-subs:     4765  v-elim:     22  v-fix:    0  time: 151.40 s
2178.04/545.56	c learnt bin added due to v-elim: 0
2178.04/545.56	c vivif2 --  cl tried     2627 cl shrink        0 lits rem          0 time: 0.00
2178.44/545.62	c vivif2 --  cl tried    69268 cl shrink       25 lits rem         63 time: 0.23
2179.22/545.81	c asymm  cl-useful: 0/955/2627 lits-rem:0 time: 0.76
2179.22/545.81	c calculated reachability. Time: 0.00
2179.22/545.81	c  N dy  2757   1210196      5125      2627     41614     69268     98379   3489245    119.71     45.48  --
2217.17/555.35	c  N dy  2790   1230282      5125      2627     41615     89286     98379   6352411    101.06     45.55  --
2251.92/564.01	c  N dy  2833   1250291      5125      2627     41615     61391     98379   2113089    112.23     45.58  --
2288.30/573.16	c  N dy  2873   1270556      5125      2627     41615     81606     98379   4683796    114.61     45.62  --
2330.62/583.73	c  N dy  2917   1291891      5125      2627     41615     54028     98379   1090178    154.27     45.67  --
2366.99/592.85	c  N dy  2958   1312136      5126      2627     41649     74211     98383   3885349    125.25     45.75  --
2407.32/602.95	c  N dy  2989   1332278      5126      2627     41649     94285     98383   6658932    129.28     45.79  --
2444.07/612.16	c  N dy  3028   1352476      5126      2627     41649     64565     98383   2300113    122.34     45.79  --
2464.44/617.22	c Finding binary XORs  T:     0.01 s  found:       0
2482.02/621.67	c  N dy  3067   1372786      5126      2627     41650     84826     98383   5023964    137.19     45.83  --
2522.36/631.79	c  N dy  3104   1393039      5126      2627     41650     54172     98383    853571    179.00     45.87  --
2557.12/640.44	c  N dy  3140   1413433      5127      2627     41654     74519     98387   3600874    139.85     45.90  --
2596.26/650.24	c  N dy  3193   1433679      5127      2627     41654     94714     98387   6253139    126.74     45.91  --
2633.81/659.60	c  N dy  3231   1453763      5127      2627     41654     62867     98387   1842509     98.89     45.94  --
2669.77/668.66	c  N dy  3268   1473844      5127      2627     41654     82888     98387   4396617    133.32     45.95  --
2712.51/679.36	c  N dy  3306   1494049      5127      2627     41654    103028     98387   7165410    116.13     45.99  --
2749.28/688.53	c  N dy  3348   1514314      5127      2627     41654     70409     98387   2618848    118.36     46.01  --
2788.01/698.22	c  N dy  3391   1534663      5127      2627     41654     90704     98387   5111394    126.18     46.02  --
2831.15/709.06	c  N dy  3428   1555072      5127      2627     41654     57197     98387    823343    121.11     46.06  --
2866.70/717.99	c  N dy  3460   1575187      5127      2627     41654     77253     98387   3567360    127.23     46.10  --
2906.25/727.82	c  N dy  3502   1595197      5127      2627     41654     97203     98387   6264843    117.96     46.13  --
2945.40/737.67	c  N dy  3541   1615223      5127      2627     41654     62335     98387   1440939    156.37     46.15  --
2982.56/746.95	c  N dy  3584   1635683      5127      2627     41654     82733     98387   4076778    165.36     46.16  --
3024.49/757.42	c  N dy  3621   1655891      5127      2627     41654    102887     98387   6780518    159.48     46.17  --
3064.83/767.50	c  N dy  3667   1675916      5127      2627     41654     67006     98387   1906333    121.06     46.21  --
3103.99/777.32	c  N dy  3704   1696187      5127      2627     41654     87233     98387   4644481    176.80     46.22  --
3135.15/785.14	c  S st  3738   1710200      5127      2627     41654    101207     98387   6423524    129.18     46.23  --
3136.36/785.47	c  S st  3738   1710702      5127      2627     41654    101709     98387   6474050    129.18     46.23  --
3136.36/785.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3136.36/785.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3154.72/790.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 18.34
3154.72/790.08	c Calc non-exist non-lernt bins v-fix:     0 done:   5127 time:  0.04 s
3154.72/790.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3155.12/790.17	c Subs w/ non-existent bins:      0 time:  0.34 s
3155.91/790.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3161.90/791.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.11 s
3161.90/791.90	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.02 s
3584.16/897.51	c ORs :  14930 avg-s:  5.5 cl-sh:     5 l-rem:      5 b-add:      0 v-rep:   0 cl-rem: 5 avg s: 7.0 T:   14.25
3620.89/906.73	c Added 51 vars  tried: 80000 time: 36.82
3621.29/906.83	c ORs :     51 avg-s:  0.0 cl-sh: 11176 l-rem:  11176 b-add:    102 v-rep:   0 cl-rem: 4 avg s: 5.8 T:   37.24
3621.69/906.93	c lits-rem:         8  cl-subs:     6918  v-elim:     24  v-fix:    0  time: 459.44 s
3621.69/906.93	c learnt bin added due to v-elim: 0
3621.69/906.93	c vivif2 --  cl tried     2678 cl shrink        0 lits rem          0 time: 0.00
3622.09/907.03	c vivif2 --  cl tried    94782 cl shrink        7 lits rem         15 time: 0.40
3623.29/907.39	c asymm  cl-useful: 0/1752/2678 lits-rem:0 time: 1.43
3623.29/907.39	c calculated reachability. Time: 0.00
3623.29/907.39	c  N dy  3738   1710702      5178      2678     41756     94782     98733   5880194    129.18     46.23  --
3666.83/918.23	c  N dy  3777   1730780      5178      2678     41759     57963     98733    556330    112.43     46.25  --
3703.97/927.57	c  N dy  3810   1751183      5178      2678     41759     78314     98733   3492068    150.28     46.30  --
3745.92/938.03	c  N dy  3843   1771245      5178      2678     41760     98303     98733   6248589    138.72     46.33  --
3790.26/949.18	c  N dy  3877   1791937      5178      2678     41812     61103     98733    858566    137.02     46.36  --
3827.80/958.57	c  N dy  3907   1811958      5178      2678     41812     81062     98733   3648559    172.12     46.38  --
3871.35/969.44	c  N dy  3936   1832120      5178      2678     41812    101158     98733   6572910    134.69     46.43  --
3916.48/980.71	c  N dy  3973   1852310      5178      2678     41812     62469     98733    921769    112.24     46.46  --
3955.23/990.44	c  N dy  4007   1872364      5178      2678     41812     82479     98733   3656864    174.70     46.49  --
3998.78/1001.33	c  N dy  4035   1892679      5178      2678     41812    102730     98733   6462051    143.66     46.53  --
4045.53/1013.07	c  N dy  4069   1913605      5180      2678     41819     63774     98741   1032712    167.38     46.56  --
4084.27/1022.72	c  N dy  4107   1934432      5180      2678     41819     84547     98741   3817330    123.02     46.59  --
4133.00/1034.90	c  N dy  4149   1957397      5180      2678     41819    107457     98741   6917988    161.18     46.63  --
4179.73/1046.66	c  N dy  4175   1977814      5180      2678     41819     66977     98741   1310626    123.15     46.67  --
4218.48/1056.39	c  N dy  4207   1997873      5180      2678     41819     86994     98741   4042786    132.42     46.69  --
4264.42/1067.82	c  N dy  4239   2018667      5180      2678     41819    107695     98741   7004582    144.00     46.73  --
4311.15/1079.55	c  N dy  4285   2038730      5180      2678     41819     65882     98741   1000760    148.48     46.74  --
4350.71/1089.40	c  N dy  4331   2059073      5180      2678     41819     86180     98741   3604737    119.88     46.75  --
4395.44/1100.60	c  N dy  4372   2079346      5180      2678     41819    106401     98741   6229804    117.77     46.76  --
4444.98/1113.10	c  N dy  4407   2099745      5180      2678     41819     63913     98741    602032    120.45     46.79  --
4484.53/1122.90	c  N dy  4439   2120000      5180      2678     41819     84110     98741   3398167    125.61     46.83  --
4527.66/1133.72	c  N dy  4464   2140263      5180      2678     41819    104304     98741   6327146    139.56     46.85  --
4583.18/1147.63	c  N dy  4482   2161645      5180      2678     41819    125596     98741   9956986    215.18     46.96  --
4624.34/1157.91	c  N dy  4522   2182580      5180      2678     41819     82666     98741   3102799    136.88     46.98  --
4666.68/1168.56	c  N dy  4560   2202628      5180      2678     41819    102659     98741   5820896    138.94     46.99  --
4687.07/1173.64	c  S st  4581   2210704      5180      2678     41819    110713     98741   6851449    145.75     47.00  --
4688.64/1174.00	c  S st  4581   2211205      5180      2678     41819    111214     98741   6891886    145.75     47.00  --
4688.64/1174.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4688.64/1174.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4707.42/1178.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 18.98
4707.42/1178.78	c Calc non-exist non-lernt bins v-fix:     0 done:   5180 time:  0.04 s
4707.42/1178.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4707.82/1178.87	c Subs w/ non-existent bins:      0 time:  0.36 s
4708.62/1179.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4715.01/1180.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.16 s
4715.01/1180.62	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.02 s

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

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

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


[startup+0 s]
/proc/loadavg: 7.50 7.98 7.54 3/178 11935
/proc/meminfo: memFree=29661852/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=26228 CPUtime=0 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 1666 0 0 0 0 0 0 0 25 0 1 0 525210074 26857472 1540 33554432000 4194304 4797429 140734628201584 18446744073709551615 4367649 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11935/statm: 6557 1545 346 148 0 1486 0

[startup+0.00813792 s]
/proc/loadavg: 7.50 7.98 7.54 3/178 11935
/proc/meminfo: memFree=29661852/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=26708 CPUtime=0 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 1857 0 0 0 0 0 0 0 25 0 1 0 525210074 27348992 1731 33554432000 4194304 4797429 140734628201584 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11935/statm: 6677 1734 346 148 0 1606 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26708

[startup+0.133144 s]
/proc/loadavg: 7.50 7.98 7.54 3/178 11935
/proc/meminfo: memFree=29661852/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=685208 CPUtime=0.32 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 4896 0 0 0 31 1 0 0 18 0 4 0 525210074 701652992 4260 33554432000 4194304 4797429 140734628201584 18446744073709551615 255377406495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 171302 4260 390 148 0 166231 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 685208

[startup+0.301047 s]
/proc/loadavg: 7.50 7.98 7.54 3/178 11935
/proc/meminfo: memFree=29661852/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=686336 CPUtime=0.99 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 5736 0 0 0 97 2 0 0 18 0 4 0 525210074 702808064 5098 33554432000 4194304 4797429 140734628201584 18446744073709551615 4331602 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 171584 5098 412 148 0 166513 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 686336

[startup+0.700974 s]
/proc/loadavg: 7.50 7.98 7.54 3/178 11935
/proc/meminfo: memFree=29661852/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=687580 CPUtime=2.59 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 7337 0 0 0 257 2 0 0 18 0 4 0 525210074 704081920 6685 33554432000 4194304 4797429 140734628201584 18446744073709551615 4352317 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 171895 6685 413 148 0 166824 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 687580

[startup+1.50083 s]
/proc/loadavg: 7.50 7.98 7.54 6/185 11945
/proc/meminfo: memFree=29532580/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=690564 CPUtime=5.78 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 10439 0 0 0 575 3 0 0 19 0 4 0 525210074 707137536 7672 33554432000 4194304 4797429 140734628201584 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 172641 7672 414 148 0 167570 0
[pid=11935/tid=11937] ppid=11933 vsize=690564 CPUtime=1.42 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 1504 0 0 0 142 0 0 0 20 0 4 0 525210080 707137536 7672 33554432000 4194304 4797429 140734628201584 18446744073709551615 4423557 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=690564 CPUtime=1.42 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 1565 0 0 0 142 0 0 0 20 0 4 0 525210080 707137536 7672 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=690564 CPUtime=1.42 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 1714 0 0 0 142 0 0 0 20 0 4 0 525210080 707137536 7672 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 690564

[startup+3.10053 s]
/proc/loadavg: 7.50 7.98 7.54 9/188 11948
/proc/meminfo: memFree=29393912/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=694396 CPUtime=12.18 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 14445 0 0 0 1214 4 0 0 25 0 4 0 525210074 711061504 10174 33554432000 4194304 4797429 140734628201584 18446744073709551615 255376998155 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 173599 10174 417 148 0 168528 0
[pid=11935/tid=11937] ppid=11933 vsize=694396 CPUtime=3.02 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 2171 0 0 0 302 0 0 0 25 0 4 0 525210080 711061504 10174 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520000 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=694396 CPUtime=3.02 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 2424 0 0 0 302 0 0 0 25 0 4 0 525210080 711061504 10174 33554432000 4194304 4797429 140734628201584 18446744073709551615 4519915 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=694396 CPUtime=3.01 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 2589 0 0 0 301 0 0 0 25 0 4 0 525210080 711061504 10174 33554432000 4194304 4797429 140734628201584 18446744073709551615 4519915 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 694396

[startup+6.30094 s]
/proc/loadavg: 7.54 7.98 7.54 9/188 11948
/proc/meminfo: memFree=29233388/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=697500 CPUtime=24.96 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 19504 0 0 0 2491 5 0 0 25 0 4 0 525210074 714240000 12313 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520280 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 174375 12313 420 148 0 169304 0
[pid=11935/tid=11937] ppid=11933 vsize=697500 CPUtime=6.22 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 3069 0 0 0 622 0 0 0 25 0 4 0 525210080 714240000 12313 33554432000 4194304 4797429 140734628201584 18446744073709551615 4503612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=697500 CPUtime=6.23 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 3546 0 0 0 622 1 0 0 25 0 4 0 525210080 714240000 12313 33554432000 4194304 4797429 140734628201584 18446744073709551615 4519816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=697500 CPUtime=6.2 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 3724 0 0 0 619 1 0 0 25 0 4 0 525210080 714240000 12313 33554432000 4194304 4797429 140734628201584 18446744073709551615 4429007 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 697500

[startup+12.7008 s]
/proc/loadavg: 7.58 7.98 7.54 9/188 11948
/proc/meminfo: memFree=29202772/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=702264 CPUtime=50.52 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 25219 0 0 0 5045 7 0 0 19 0 4 0 525210074 719118336 15055 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 175566 15055 420 148 0 170495 0
[pid=11935/tid=11937] ppid=11933 vsize=702264 CPUtime=12.62 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 4082 0 0 0 1261 1 0 0 25 0 4 0 525210080 719118336 15055 33554432000 4194304 4797429 140734628201584 18446744073709551615 4519915 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=702264 CPUtime=12.63 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 4403 0 0 0 1262 1 0 0 25 0 4 0 525210080 719118336 15055 33554432000 4194304 4797429 140734628201584 18446744073709551615 4270282 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=702264 CPUtime=12.56 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 4420 0 0 0 1255 1 0 0 25 0 4 0 525210080 719118336 15055 33554432000 4194304 4797429 140734628201584 18446744073709551615 4423697 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 702264

[startup+25.5004 s]
/proc/loadavg: 7.67 7.98 7.55 9/188 11948
/proc/meminfo: memFree=29194232/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=707428 CPUtime=101.64 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 32665 0 0 0 10155 9 0 0 25 0 4 0 525210074 724406272 17800 33554432000 4194304 4797429 140734628201584 18446744073709551615 4509104 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 176857 17800 421 148 0 171786 0
[pid=11935/tid=11937] ppid=11933 vsize=707428 CPUtime=25.42 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 5114 0 0 0 2541 1 0 0 25 0 4 0 525210080 724406272 17800 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=707428 CPUtime=25.42 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 5494 0 0 0 2541 1 0 0 25 0 4 0 525210080 724406272 17800 33554432000 4194304 4797429 140734628201584 18446744073709551615 4341354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=707428 CPUtime=25.29 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 5294 0 0 0 2527 2 0 0 25 0 4 0 525210080 724406272 17800 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 707428

[startup+51.1006 s]
/proc/loadavg: 7.84 8.00 7.56 9/188 11949
/proc/meminfo: memFree=29187072/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=710552 CPUtime=203.9 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 46535 0 0 0 20376 14 0 0 25 0 4 0 525210074 727605248 19628 33554432000 4194304 4797429 140734628201584 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 177638 19628 421 148 0 172567 0
[pid=11935/tid=11937] ppid=11933 vsize=710552 CPUtime=51.02 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 6455 0 0 0 5101 1 0 0 25 0 4 0 525210080 727605248 19628 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=710552 CPUtime=51.02 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 6784 0 0 0 5100 2 0 0 25 0 4 0 525210080 727605248 19628 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=710552 CPUtime=50.74 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 6700 0 0 0 5072 2 0 0 25 0 4 0 525210080 727605248 19628 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 710552

[startup+102.307 s]
/proc/loadavg: 8.01 8.02 7.60 9/188 11950
/proc/meminfo: memFree=29168700/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=717112 CPUtime=408.44 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 71459 0 0 0 40819 25 0 0 25 0 4 0 525210074 734322688 23765 33554432000 4194304 4797429 140734628201584 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 179278 23765 421 148 0 174207 0
[pid=11935/tid=11937] ppid=11933 vsize=717112 CPUtime=102.23 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 8681 0 0 0 10220 3 0 0 25 0 4 0 525210080 734322688 23765 33554432000 4194304 4797429 140734628201584 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=717112 CPUtime=102.22 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 9424 0 0 0 10220 2 0 0 25 0 4 0 525210080 734322688 23765 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=717112 CPUtime=101.67 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 8688 0 0 0 10164 3 0 0 25 0 4 0 525210080 734322688 23765 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 717112

[startup+162.301 s]
/proc/loadavg: 8.40 8.13 7.66 10/189 11955
/proc/meminfo: memFree=29133936/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=722984 CPUtime=647.46 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 99891 0 0 0 64708 38 0 0 25 0 4 0 525210074 740335616 25092 33554432000 4194304 4797429 140734628201584 18446744073709551615 4341077 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 180746 25092 421 148 0 175675 0
[pid=11935/tid=11937] ppid=11933 vsize=722984 CPUtime=161.59 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 10565 0 0 0 16155 4 0 0 25 0 4 0 525210080 740335616 25092 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524363 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=722984 CPUtime=162.21 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 11332 0 0 0 16218 3 0 0 25 0 4 0 525210080 740335616 25092 33554432000 4194304 4797429 140734628201584 18446744073709551615 4517672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=722984 CPUtime=161.34 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 10753 0 0 0 16130 4 0 0 25 0 4 0 525210080 740335616 25092 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520016 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.46
Current children cumulated vsize (KiB) 722984

[startup+222.301 s]
/proc/loadavg: 8.53 8.21 7.71 9/188 11957
/proc/meminfo: memFree=29067388/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=730768 CPUtime=886.96 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 127970 0 0 0 88645 51 0 0 25 0 4 0 525210074 748306432 28129 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 182692 28129 421 148 0 177621 0
[pid=11935/tid=11937] ppid=11933 vsize=730768 CPUtime=221.41 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 12688 0 0 0 22137 4 0 0 25 0 4 0 525210080 748306432 28129 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=730768 CPUtime=222.22 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 13501 0 0 0 22218 4 0 0 25 0 4 0 525210080 748306432 28129 33554432000 4194304 4797429 140734628201584 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=730768 CPUtime=221.01 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 12530 0 0 0 22096 5 0 0 25 0 4 0 525210080 748306432 28129 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568164 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 886.96
Current children cumulated vsize (KiB) 730768

[startup+282.301 s]

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

[pid=11935] ppid=11933 vsize=763036 CPUtime=2804.39 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 304626 0 0 0 280291 148 0 0 25 0 4 0 525210074 781348864 44358 33554432000 4194304 4797429 140734628201584 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 190759 44358 421 148 0 185688 0
[pid=11935/tid=11937] ppid=11933 vsize=763036 CPUtime=701.43 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 24638 0 0 0 70132 11 0 0 25 0 4 0 525210080 781348864 44358 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=763036 CPUtime=702.21 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 25678 0 0 0 70212 9 0 0 25 0 4 0 525210080 781348864 44358 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=763036 CPUtime=698.41 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 24593 0 0 0 69830 11 0 0 25 0 4 0 525210080 781348864 44358 33554432000 4194304 4797429 140734628201584 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.39
Current children cumulated vsize (KiB) 763036

[startup+762.307 s]
/proc/loadavg: 4.81 7.01 7.49 5/179 11988
/proc/meminfo: memFree=29484476/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=767312 CPUtime=3044.09 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 326302 0 0 0 304251 158 0 0 25 0 4 0 525210074 785727488 46754 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 191828 46754 421 148 0 186757 0
[pid=11935/tid=11937] ppid=11933 vsize=767312 CPUtime=761.44 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 25522 0 0 0 76132 12 0 0 25 0 4 0 525210080 785727488 46754 33554432000 4194304 4797429 140734628201584 18446744073709551615 4656680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=767312 CPUtime=762.21 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 27537 0 0 0 76212 9 0 0 25 0 4 0 525210080 785727488 46754 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=767312 CPUtime=758.09 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 25910 0 0 0 75798 11 0 0 25 0 4 0 525210080 785727488 46754 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.09
Current children cumulated vsize (KiB) 767312

[startup+822.301 s]
/proc/loadavg: 4.45 6.55 7.30 5/179 11990
/proc/meminfo: memFree=29481584/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=775244 CPUtime=3283.74 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 340154 0 0 0 328209 165 0 0 25 0 4 0 525210074 793849856 47430 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568062 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 193811 47430 421 148 0 188740 0
[pid=11935/tid=11937] ppid=11933 vsize=775244 CPUtime=821.43 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 26868 0 0 0 82131 12 0 0 25 0 4 0 525210080 793849856 47430 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=775244 CPUtime=822.21 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 29082 0 0 0 82211 10 0 0 25 0 4 0 525210080 793849856 47430 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=775244 CPUtime=817.76 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 27533 0 0 0 81764 12 0 0 25 0 4 0 525210080 793849856 47430 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.74
Current children cumulated vsize (KiB) 775244

[startup+882.301 s]
/proc/loadavg: 4.19 6.06 7.08 5/179 11991
/proc/meminfo: memFree=29470404/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=775944 CPUtime=3523.42 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 343022 0 0 0 352174 168 0 0 25 0 4 0 525210074 794566656 50266 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 193986 50266 421 148 0 188915 0
[pid=11935/tid=11937] ppid=11933 vsize=775944 CPUtime=881.43 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 27880 0 0 0 88130 13 0 0 25 0 4 0 525210080 794566656 50266 33554432000 4194304 4797429 140734628201584 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=775944 CPUtime=882.21 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 30072 0 0 0 88210 11 0 0 25 0 4 0 525210080 794566656 50266 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=775944 CPUtime=877.42 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 28399 0 0 0 87730 12 0 0 25 0 4 0 525210080 794566656 50266 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.42
Current children cumulated vsize (KiB) 775944

[startup+942.3 s]
/proc/loadavg: 4.07 5.71 6.90 5/179 11993
/proc/meminfo: memFree=29470488/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=779188 CPUtime=3763.1 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 357996 0 0 0 376133 177 0 0 25 0 4 0 525210074 797888512 50599 33554432000 4194304 4797429 140734628201584 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 194797 50599 421 148 0 189726 0
[pid=11935/tid=11937] ppid=11933 vsize=779188 CPUtime=941.43 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 29297 0 0 0 94129 14 0 0 25 0 4 0 525210080 797888512 50599 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=779188 CPUtime=942.21 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 31533 0 0 0 94209 12 0 0 25 0 4 0 525210080 797888512 50599 33554432000 4194304 4797429 140734628201584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=779188 CPUtime=937.11 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 29972 0 0 0 93698 13 0 0 25 0 4 0 525210080 797888512 50599 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.1
Current children cumulated vsize (KiB) 779188

[startup+1002.3 s]
/proc/loadavg: 4.02 5.37 6.70 5/179 11994
/proc/meminfo: memFree=29464740/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=779260 CPUtime=4002.77 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 378908 0 0 0 400086 191 0 0 25 0 4 0 525210074 797962240 51755 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 194815 51755 421 148 0 189744 0
[pid=11935/tid=11937] ppid=11933 vsize=779260 CPUtime=1001.44 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 31031 0 0 0 100129 15 0 0 25 0 4 0 525210080 797962240 51755 33554432000 4194304 4797429 140734628201584 18446744073709551615 4528077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=779260 CPUtime=1002.2 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 32486 0 0 0 100208 12 0 0 25 0 4 0 525210080 797962240 51755 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=779260 CPUtime=996.77 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 30796 0 0 0 99664 13 0 0 25 0 4 0 525210080 797962240 51755 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.77
Current children cumulated vsize (KiB) 779260

[startup+1062.3 s]
/proc/loadavg: 4.01 5.14 6.54 5/179 11996
/proc/meminfo: memFree=29469164/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=781428 CPUtime=4242.45 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 400030 0 0 0 424040 205 0 0 25 0 4 0 525210074 800182272 50780 33554432000 4194304 4797429 140734628201584 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 195357 50780 421 148 0 190286 0
[pid=11935/tid=11937] ppid=11933 vsize=781428 CPUtime=1061.44 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 31938 0 0 0 106128 16 0 0 25 0 4 0 525210080 800182272 50780 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=781428 CPUtime=1062.21 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 33903 0 0 0 106208 13 0 0 25 0 4 0 525210080 800182272 50780 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=781428 CPUtime=1056.45 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 32206 0 0 0 105631 14 0 0 25 0 4 0 525210080 800182272 50780 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.45
Current children cumulated vsize (KiB) 781428

[startup+1122.3 s]
/proc/loadavg: 4.00 4.93 6.38 5/179 11998
/proc/meminfo: memFree=29461300/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=806148 CPUtime=4482.12 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 422390 0 0 0 447994 218 0 0 25 0 4 0 525210074 825495552 52714 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 201537 52714 421 148 0 196466 0
[pid=11935/tid=11937] ppid=11933 vsize=806148 CPUtime=1121.45 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 34248 0 0 0 112128 17 0 0 25 0 4 0 525210080 825495552 52714 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424194 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=806148 CPUtime=1122 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 35765 0 0 0 112186 14 0 0 25 0 4 0 525210080 825495552 52714 33554432000 4194304 4797429 140734628201584 18446744073709551615 4352572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=806148 CPUtime=1116.34 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 34030 0 0 0 111619 15 0 0 25 0 4 0 525210080 825495552 52714 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424626 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.12
Current children cumulated vsize (KiB) 806148

[startup+1182.3 s]
/proc/loadavg: 4.00 4.76 6.23 5/179 11999
/proc/meminfo: memFree=29442640/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=806288 CPUtime=4721.8 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 441230 0 0 0 471949 231 0 0 25 0 4 0 525210074 825638912 57355 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524184 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 201572 57355 421 148 0 196501 0
[pid=11935/tid=11937] ppid=11933 vsize=806288 CPUtime=1181.45 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 35135 0 0 0 118127 18 0 0 25 0 4 0 525210080 825638912 57355 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=806288 CPUtime=1181.68 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 37208 0 0 0 118152 16 0 0 25 0 4 0 525210080 825638912 57355 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=806288 CPUtime=1176.33 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 35434 0 0 0 117617 16 0 0 25 0 4 0 525210080 825638912 57355 33554432000 4194304 4797429 140734628201584 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.8
Current children cumulated vsize (KiB) 806288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 4.00 4.71 6.18 5/179 12000
/proc/meminfo: memFree=29438656/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=806288 CPUtime=4800.12 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 442148 0 0 0 479780 232 0 0 25 0 4 0 525210074 825638912 58235 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 201572 58235 421 148 0 196501 0
[pid=11935/tid=11937] ppid=11933 vsize=806288 CPUtime=1201.05 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 35410 0 0 0 120087 18 0 0 25 0 4 0 525210080 825638912 58235 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=806288 CPUtime=1201.17 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 37602 0 0 0 120101 16 0 0 25 0 4 0 525210080 825638912 58235 33554432000 4194304 4797429 140734628201584 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=806288 CPUtime=1195.94 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 35683 0 0 0 119578 16 0 0 25 0 4 0 525210080 825638912 58235 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 806288

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: 4.00 4.71 6.18 5/179 12000
/proc/meminfo: memFree=29438656/32951124 swapFree=67111352/67111528
[pid=11935] ppid=11933 vsize=806288 CPUtime=4800.12 cores=1,3,5,7
/proc/11935/stat : 11935 (techdemo) R 11933 11935 10653 0 -1 4202496 442148 0 0 0 479780 232 0 0 25 0 4 0 525210074 825638912 58235 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11935/statm: 201572 58235 421 148 0 196501 0
[pid=11935/tid=11937] ppid=11933 vsize=806288 CPUtime=1201.05 cores=1,3,5,7
/proc/11935/task/11937/stat : 11937 (techdemo) R 11933 11935 10653 0 -1 4202560 35410 0 0 0 120087 18 0 0 25 0 4 0 525210080 825638912 58235 33554432000 4194304 4797429 140734628201584 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11935/tid=11938] ppid=11933 vsize=806288 CPUtime=1201.17 cores=1,3,5,7
/proc/11935/task/11938/stat : 11938 (techdemo) R 11933 11935 10653 0 -1 4202560 37602 0 0 0 120101 16 0 0 25 0 4 0 525210080 825638912 58235 33554432000 4194304 4797429 140734628201584 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11935/tid=11939] ppid=11933 vsize=806288 CPUtime=1195.94 cores=1,3,5,7
/proc/11935/task/11939/stat : 11939 (techdemo) R 11933 11935 10653 0 -1 4202560 35683 0 0 0 119578 16 0 0 25 0 4 0 525210080 825638912 58235 33554432000 4194304 4797429 140734628201584 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 806288

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.92
CPU time (s): 4800.16
CPU user time (s): 4797.82
CPU system time (s): 2.33365
CPU usage (%): 399.372
Max. virtual memory (cumulated for all children) (KiB): 906300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.82
system time used= 2.33364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442148
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= 2010
involuntary context switches= 33344

runsolver used 1.86372 second user time and 4.71728 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-30 06:02:02
IDJOB=3262681
IDBENCH=83796
IDSOLVER=1584
FILE ID=node135/3262681-1304136122
RUNJOBID= node135-1304136122-11862
PBS_JOBID= 13170784
Free space on /tmp= 72096 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT03/handmade/gomes/bqwh/bqwh.50.825.shuffled-as.sat03-1648.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262681-1304136122/watcher-3262681-1304136122 -o /tmp/evaluation-result-3262681-1304136122/solver-3262681-1304136122 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3262681-1304136122.cnf

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

MD5SUM BENCH= 05a191325d89de504821b55dea51ca7f
RANDOM SEED=2102335404

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29662256 kB
Buffers:        938464 kB
Cached:        1763328 kB
SwapCached:        172 kB
Active:         169468 kB
Inactive:      2602264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29662256 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           13360 kB
Writeback:           0 kB
AnonPages:       68704 kB
Mapped:          14156 kB
Slab:           454884 kB
PageTables:       4268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190436 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72092 MiB
End job on node135 at 2011-04-30 06:22:06