Trace number 3289010

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.12 1202.28

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top22.cnf
MD5SUMe822739302a2d834ec9ddfe9fbd0caa2
Bench CategoryAPPLICATION (applications 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 variables55875
Number of clauses177646
Sum of the clauses size434144
Maximum clause length2255
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2108197
Number of clauses of size 368250
Number of clauses of size 4252
Number of clauses of size 520
Number of clauses of size over 5926

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-3289010-1304128189.cnf'
0.00/0.00	c -- header says num vars:          55875
0.00/0.00	c -- header says num clauses:      177646
0.29/0.32	c -- clauses added:            0 learnts,       177646 normals,            0 xors
0.29/0.32	c -- vars added      55875
0.29/0.32	c Parsing time:  0.28 s
0.29/0.32	c  N st     0         0     55875     67709     99184         0    407954         0   no data   no data  --
3.02/1.06	c asymm  cl-useful: 169/14089/67709 lits-rem:432 time: 2.95
41.73/10.71	c Flit:   877 Blit:  12759 bXBeca:    0 bXProp: 15139 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 37.94
41.73/10.72	c Cleaning up after failed var search:     0.06 s 
46.53/11.98	c Calc non-exist non-lernt bins v-fix:     0 done:  22894 time:  5.02 s
46.53/11.99	c Cache  BProp: 136 Set: 0 BXProp: 0 T: 0.03
46.94/12.03	c Subs w/ non-existent bins:    430 time:  0.15 s
46.94/12.05	c Replacing    15139 vars Replaced   267381 lits Time:     0.09 s 
46.94/12.07	c bin-w-bin subsume rem         1731 bins  time:  0.02 s
46.94/12.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
46.94/12.10	c Removed useless bin:      39  fixed:     0  bprops:   1.72M  time:  0.10 s
47.71/12.23	c lits-rem:         8  cl-subs:     1559  v-elim:   6456  v-fix:    0  time:  0.51 s
47.71/12.23	c learnt bin added due to v-elim: 0
49.71/12.77	c Finding binary XORs  T:     2.15 s  found:      23
49.71/12.78	c Replacing       23 vars Replaced      249 lits Time:     0.02 s 
50.11/12.80	c Finding non-binary XORs:     0.06 s (found:    2148, avg size: 3.4)
50.11/12.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    450 locsubst:     0 time:   0.02
50.11/12.82	c calculated reachability. Time: 0.06
50.11/12.82	c Calc default polars -  time:   0.01 s pos:    2227 undec:   44476 neg:    9172
50.11/12.82	c =========================================================================================
50.11/12.82	c types(t): F = full restart, N = normal restart
50.11/12.82	c types(t): S = simplification begin/end, E = solution found
50.11/12.82	c restart types(rt): st = static, dy = dynamic
50.11/12.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
50.11/12.82	c  B st     0         0     12433     20715     22604         0    153705         0   no data   no data  --
50.91/13.04	c Decided on dynamic restart strategy
51.73/13.27	c  N dy    22      4111     12428     20715     23114      3547    153705     71567     18.65      7.96  --
54.50/13.95	c  N dy    49      8116     12391     20715     23865     11733    153703    157474     17.80      7.58  --
57.30/14.68	c  N dy    74     12198     12383     20715     24315     15695    153703    245908     22.36      7.83  --
60.51/15.43	c  N dy   102     16283     12372     20715     24390     19671    153703    323051     19.71      7.80  --
63.69/16.24	c  N dy   131     20362     12365     20715     24435     12015    153703     87304     21.13      7.93  --
66.49/16.92	c  N dy   155     24447     12360     20715     24481     16009    153703    162678     22.09      7.91  --
69.68/17.70	c  N dy   181     28486     12357     20715     24514     19967    153703    245587     17.68      8.01  --
70.88/18.02	c  S st   190     30000     12357     20715     24526     21458    153703    275203     20.57      8.03  --
71.28/18.19	c  S st   190     30500     12356     20715     24575     21904    153701    281723     20.57      8.03  --
71.28/18.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    212 locsubst:     0 time:   0.04
71.68/18.20	c Cache  BProp: 44 Set: 17 BXProp: 31 T: 0.02
80.86/20.55	c Flit:   121 Blit:     17 bXBeca:    0 bXProp:  675 Bin:  23284 BRemL:   8800 BRemN:    178 CBin:       0 P: 24.8M T:  9.38
80.86/20.56	c Cleaning up after failed var search:     0.02 s 
81.26/20.62	c Calc non-exist non-lernt bins v-fix:     0 done:  11490 time:  0.23 s
81.26/20.62	c Cache  BProp: 57 Set: 0 BXProp: 0 T: 0.03
81.66/20.75	c Subs w/ non-existent bins:    406 time:  0.50 s
81.66/20.76	c Replacing      811 vars Replaced    47473 lits Time:     0.06 s 
81.66/20.78	c bin-w-bin subsume rem          864 bins  time:  0.02 s
82.08/20.81	c subs with bin:      373  lits-rem:      1753  v-fix:    0  time:  0.09 s
82.08/20.82	c Removed useless bin:      65  fixed:     0  bprops:   0.46M  time:  0.04 s
83.26/21.10	c lits-rem:      4433  cl-subs:    11618  v-elim:   5091  v-fix:    0  time:  1.13 s
83.26/21.10	c learnt bin added due to v-elim: 0
83.26/21.12	c vivif2 --  cl tried    18148 cl shrink      187 lits rem        251 time: 0.09
83.26/21.13	c vivif2 --  cl tried     6234 cl shrink      226 lits rem        511 time: 0.04
83.26/21.18	c asymm  cl-useful: 17/4024/18113 lits-rem:51 time: 0.18
83.26/21.19	c calculated reachability. Time: 0.04
83.26/21.19	c  N dy   190     30500      6539     18096     13924      6217    119410     35997     20.57      8.03  --
83.26/21.19	c  F st   190     30500      6539     18096     13924      6217    119410     35997     20.57      8.03  --
84.46/21.47	c Decided on static restart strategy
93.24/23.62	c  N dy   197     45750      6537     18096     13949     20905    119410    707317     63.87     10.50  --
93.24/23.65	c  S st   197     45750      6537     18096     13949     20905    119410    707317     63.87     10.50  --
94.04/23.80	c  S st   197     46251      6537     18096     20112     21923    120932    729184     63.87     10.50  --
94.04/23.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    103 locsubst:     0 time:   0.06
94.04/23.82	c Cache  BProp: 51 Set: 0 BXProp: 0 T: 0.02
96.04/24.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bin:    853 BRemL:   2742 BRemN:   1114 CBin:       0 P:  9.1M T:  1.95
96.04/24.33	c Calc non-exist non-lernt bins v-fix:     0 done:   6433 time:  0.08 s
96.04/24.33	c Cache  BProp: 51 Set: 0 BXProp: 0 T: 0.02
96.44/24.41	c Subs w/ non-existent bins:    283 time:  0.32 s
96.44/24.42	c Replacing        9 vars Replaced      165 lits Time:     0.03 s 
96.44/24.43	c bin-w-bin subsume rem          729 bins  time:  0.01 s
96.44/24.48	c subs with bin:       88  lits-rem:        82  v-fix:    0  time:  0.17 s
96.44/24.48	c Removed useless bin:      45  fixed:     0  bprops:   0.18M  time:  0.02 s
97.23/24.67	c lits-rem:       267  cl-subs:     1001  v-elim:    515  v-fix:    0  time:  0.74 s
97.23/24.67	c learnt bin added due to v-elim: 0
97.23/24.69	c vivif2 --  cl tried    17826 cl shrink       17 lits rem         27 time: 0.08
97.63/24.73	c vivif2 --  cl tried    11419 cl shrink       58 lits rem         75 time: 0.16
98.43/24.96	c asymm  cl-useful: 234/8900/17825 lits-rem:341 time: 0.93
98.43/24.97	c calculated reachability. Time: 0.04
98.43/24.97	c  N dy   197     46251      6379     17824     15813     11417    116375    143229     63.87     10.50  --
103.23/26.16	c  N dy   198     55199      6379     17824     15816     10713    116375    113077     34.15     10.89  --
112.02/28.35	c  N dy   201     69377      6377     17824     16738     24664    116389    693956     60.75     11.67  --
112.02/28.39	c  S st   201     69377      6377     17824     16738     24664    116389    693956     60.75     11.67  --
114.01/28.82	c Finding binary XORs  T:     1.72 s  found:       2
114.41/28.97	c  S st   201     69879      6372     17821     16402     25141    116157    706279     60.75     11.67  --
114.41/28.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     39 locsubst:     0 time:   0.03
114.41/28.98	c Cache  BProp: 51 Set: 0 BXProp: 0 T: 0.01
118.00/29.88	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    3 Bin:    407 BRemL:    700 BRemN:      8 CBin:       0 P: 21.7M T:  3.62
118.40/29.91	c Calc non-exist non-lernt bins v-fix:     0 done:   6331 time:  0.08 s
118.40/29.91	c Cache  BProp: 51 Set: 0 BXProp: 0 T: 0.01
119.20/30.10	c Subs w/ non-existent bins:    112 time:  0.78 s
119.20/30.12	c Replacing        5 vars Replaced      428 lits Time:     0.05 s 
119.20/30.14	c bin-w-bin subsume rem           19 bins  time:  0.01 s
120.00/30.35	c subs with bin:       54  lits-rem:      3540  v-fix:    0  time:  0.82 s
120.00/30.35	c Removed useless bin:       0  fixed:     0  bprops:   0.17M  time:  0.02 s
131.99/33.30	c ORs :   4021 avg-s:  2.7 cl-sh:  3276 l-rem:   5205 b-add:    135 v-rep:   0 cl-rem: 17 avg s: 5.5 T:    1.39
140.38/35.47	c Added 26 vars  tried: 80000 time: 8.67
140.38/35.49	c ORs :     26 avg-s:  0.0 cl-sh:  3489 l-rem:   3489 b-add:     53 v-rep:   0 cl-rem: 2 avg s: 4.5 T:    8.73
140.78/35.51	c lits-rem:      1952  cl-subs:     2914  v-elim:    498  v-fix:    0  time: 20.58 s
140.78/35.51	c learnt bin added due to v-elim: 0
140.78/35.52	c vivif2 --  cl tried    17588 cl shrink       31 lits rem         31 time: 0.07
141.18/35.67	c vivif2 --  cl tried    21886 cl shrink      958 lits rem       2408 time: 0.57
141.98/35.80	c asymm  cl-useful: 3/4890/17585 lits-rem:9 time: 0.54
141.98/35.81	c calculated reachability. Time: 0.03
141.98/35.81	c  N dy   201     69879      6336     17582     16065     21884    114562    579250     60.75     11.67  --
141.98/35.81	c  F st   201     69879      6336     17582     16065     21884    114562    579250     60.75     11.67  --
143.18/36.14	c Decided on static restart strategy
165.15/41.60	c  N dy   208    104819      6336     17582     16068     21456    114562    280888     28.05     12.01  --
165.15/41.62	c  S st   208    104819      6336     17582     16068     21456    114562    280888     28.05     12.01  --
165.56/41.77	c  S st   208    105322      6336     17582     16768     22119    114594    294090     28.05     12.01  --
165.56/41.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
165.56/41.78	c Cache  BProp: 51 Set: 0 BXProp: 0 T: 0.01
168.74/42.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:    370 BRemL:    704 BRemN:     13 CBin:       0 P: 20.2M T:  2.92
168.74/42.53	c Calc non-exist non-lernt bins v-fix:     0 done:   6333 time:  0.08 s
168.74/42.53	c Cache  BProp: 51 Set: 0 BXProp: 0 T: 0.01
169.14/42.66	c Subs w/ non-existent bins:    155 time:  0.51 s
169.14/42.67	c Replacing        5 vars Replaced      233 lits Time:     0.04 s 
169.14/42.68	c bin-w-bin subsume rem          146 bins  time:  0.01 s
169.54/42.73	c subs with bin:       41  lits-rem:       162  v-fix:    0  time:  0.20 s
169.54/42.74	c Removed useless bin:       4  fixed:     0  bprops:   0.17M  time:  0.02 s
174.75/44.01	c ORs :   4029 avg-s:  2.7 cl-sh:   133 l-rem:    392 b-add:      8 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    1.27
174.75/44.02	c lits-rem:      1414  cl-subs:     1948  v-elim:    473  v-fix:    0  time:  5.10 s
174.75/44.02	c learnt bin added due to v-elim: 0
174.75/44.03	c vivif2 --  cl tried    17369 cl shrink        6 lits rem          7 time: 0.07
175.13/44.12	c vivif2 --  cl tried    20151 cl shrink      166 lits rem        260 time: 0.33
175.13/44.18	c asymm  cl-useful: 1/3578/17368 lits-rem:3 time: 0.26
175.13/44.19	c calculated reachability. Time: 0.03
175.13/44.19	c  N dy   208    105322      6303     17367     16152     20147    112738    262717     28.05     12.01  --
215.47/54.28	c  N dy   209    157984      6303     17367     16154     27200    112738    377471     31.17     12.90  --
215.47/54.29	c  S st   209    157984      6303     17367     16154     27200    112738    377471     31.17     12.90  --
216.27/54.42	c  S st   209    158484      6303     17367     16615     27825    112820    390929     31.17     12.90  --
216.27/54.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
216.27/54.43	c Cache  BProp: 51 Set: 0 BXProp: 0 T: 0.01
219.46/55.20	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:    5 Bin:     65 BRemL:    342 BRemN:     25 CBin:       0 P: 27.6M T:  3.08
219.46/55.22	c Calc non-exist non-lernt bins v-fix:     0 done:   6299 time:  0.07 s
219.46/55.22	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
219.86/55.39	c Subs w/ non-existent bins:     61 time:  0.67 s
220.27/55.40	c Replacing        5 vars Replaced       96 lits Time:     0.04 s 
220.27/55.42	c bin-w-bin subsume rem           16 bins  time:  0.02 s
220.27/55.47	c subs with bin:       34  lits-rem:       262  v-fix:    0  time:  0.21 s
220.27/55.48	c Removed useless bin:      10  fixed:     0  bprops:   0.17M  time:  0.02 s
227.85/57.33	c ORs :   4029 avg-s:  2.7 cl-sh:    36 l-rem:     36 b-add:      5 v-rep:   0 cl-rem: 0 avg s: nan T:    1.26
227.85/57.35	c lits-rem:      2891  cl-subs:     1519  v-elim:    452  v-fix:    0  time:  7.46 s
227.85/57.35	c learnt bin added due to v-elim: 0
227.85/57.36	c vivif2 --  cl tried    17278 cl shrink        3 lits rem          3 time: 0.08
228.25/57.48	c vivif2 --  cl tried    26277 cl shrink       25 lits rem         34 time: 0.47
229.06/57.70	c asymm  cl-useful: 150/4770/17277 lits-rem:174 time: 0.86
229.46/57.71	c calculated reachability. Time: 0.03
229.46/57.71	c  N dy   209    158484      6289     17277     16163     26276    112099    360080     31.17     12.90  --
237.45/59.73	c Finding binary XORs  T:     1.52 s  found:       1
296.16/74.46	c  N dy   212    237727      6289     17277     16383     28064    112111    333628     51.37     13.62  --
296.16/74.47	c  S st   212    237727      6289     17277     16383     28064    112111    333628     51.37     13.62  --
296.96/74.62	c  S st   212    238228      6289     17277     16542     28605    112115    349195     51.37     13.62  --
296.96/74.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
296.96/74.63	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
300.57/75.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    138 BRemL:    300 BRemN:     11 CBin:       0 P: 34.3M T:  3.58
300.57/75.55	c Calc non-exist non-lernt bins v-fix:     0 done:   6289 time:  0.08 s
300.57/75.55	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
301.37/75.72	c Subs w/ non-existent bins:     65 time:  0.66 s
301.37/75.73	c Replacing        1 vars Replaced        7 lits Time:     0.02 s 
301.37/75.74	c bin-w-bin subsume rem           18 bins  time:  0.01 s
301.78/75.80	c subs with bin:       38  lits-rem:       100  v-fix:    0  time:  0.23 s
301.78/75.81	c Removed useless bin:       1  fixed:     0  bprops:   0.16M  time:  0.02 s
308.95/77.66	c ORs :   4021 avg-s:  2.7 cl-sh:    17 l-rem:     21 b-add:      5 v-rep:   0 cl-rem: 5 avg s: 7.2 T:    1.28
308.95/77.67	c lits-rem:       938  cl-subs:     2053  v-elim:    471  v-fix:    0  time:  7.43 s
308.95/77.67	c learnt bin added due to v-elim: 0
308.95/77.68	c vivif2 --  cl tried    17189 cl shrink       12 lits rem         13 time: 0.07
309.75/77.80	c vivif2 --  cl tried    26513 cl shrink       89 lits rem        110 time: 0.46
310.57/78.01	c asymm  cl-useful: 15/7874/17186 lits-rem:22 time: 0.85
310.57/78.02	c calculated reachability. Time: 0.03
310.57/78.03	c  N dy   212    238228      6261     17183     16318     26511    111527    316951     51.37     13.62  --
413.21/103.71	c  N dy   214    357342      6261     17183     16326     57664    111527   1555671     52.07     14.73  --
413.21/103.77	c  S st   214    357342      6261     17183     16326     57664    111527   1555671     52.07     14.73  --
414.41/104.06	c  S st   214    357842      6259     17183     16736     58204    111591   1568265     52.07     14.73  --
414.41/104.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
414.41/104.07	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
421.59/105.82	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    6 Bin:     73 BRemL:    245 BRemN:     22 CBin:       0 P: 60.0M T:  7.02
421.59/105.84	c Calc non-exist non-lernt bins v-fix:     0 done:   6258 time:  0.08 s
421.59/105.85	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
423.60/106.33	c Subs w/ non-existent bins:     26 time:  1.94 s
423.60/106.35	c Replacing        6 vars Replaced      159 lits Time:     0.08 s 
423.60/106.39	c bin-w-bin subsume rem           17 bins  time:  0.01 s
424.81/106.62	c subs with bin:       36  lits-rem:        48  v-fix:    0  time:  0.89 s
424.81/106.62	c Removed useless bin:       9  fixed:     0  bprops:   0.16M  time:  0.02 s
445.17/111.78	c ORs :   4015 avg-s:  2.7 cl-sh:    26 l-rem:     36 b-add:      2 v-rep:   0 cl-rem: 7 avg s: 9.6 T:    1.38
445.57/111.80	c lits-rem:       327  cl-subs:     4328  v-elim:    447  v-fix:    0  time: 20.71 s
445.57/111.80	c learnt bin added due to v-elim: 0
445.57/111.82	c vivif2 --  cl tried    17132 cl shrink        3 lits rem          3 time: 0.07
446.78/112.20	c vivif2 --  cl tried    53819 cl shrink       62 lits rem         90 time: 1.50
447.56/112.34	c asymm  cl-useful: 0/3274/17132 lits-rem:0 time: 0.58
447.56/112.35	c calculated reachability. Time: 0.02
447.56/112.36	c  N dy   214    357842      6248     17132     16225     53818    111280   1434487     52.07     14.73  --
612.95/153.70	c  N dy   215    536765      6248     17132     16229     67135    111280   1658116     46.39     14.37  --
612.95/153.76	c  S st   215    536765      6248     17132     16229     67135    111280   1658116     46.39     14.37  --
614.16/154.05	c  S st   215    537270      6248     17132     16470     67712    111304   1672334     46.39     14.37  --
614.16/154.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
614.16/154.06	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
621.73/155.94	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    2 Bin:     33 BRemL:    174 BRemN:      8 CBin:       0 P: 60.1M T:  7.52
621.73/155.96	c Calc non-exist non-lernt bins v-fix:     0 done:   6247 time:  0.08 s
621.73/155.96	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
624.13/156.52	c Subs w/ non-existent bins:     17 time:  2.22 s
624.13/156.54	c Replacing        2 vars Replaced       52 lits Time:     0.09 s 
624.13/156.59	c bin-w-bin subsume rem           12 bins  time:  0.01 s
625.32/156.85	c subs with bin:       40  lits-rem:        32  v-fix:    0  time:  1.04 s
625.32/156.85	c Removed useless bin:       4  fixed:     0  bprops:   0.16M  time:  0.02 s
653.70/163.97	c ORs :   4017 avg-s:  2.7 cl-sh:     1 l-rem:      1 b-add:      1 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    1.41
658.10/165.03	c Added 51 vars  tried: 80000 time: 4.22
658.48/165.18	c ORs :     51 avg-s:  0.0 cl-sh: 14621 l-rem:  14621 b-add:    102 v-rep:   0 cl-rem: 0 avg s: nan T:    4.81
658.88/165.21	c lits-rem:       211  cl-subs:     4632  v-elim:    444  v-fix:    0  time: 33.38 s
658.88/165.21	c learnt bin added due to v-elim: 0
658.88/165.23	c vivif2 --  cl tried    17159 cl shrink        2 lits rem          2 time: 0.07
660.48/165.67	c vivif2 --  cl tried    63043 cl shrink       23 lits rem         23 time: 1.79
660.88/165.72	c asymm  cl-useful: 0/1240/17158 lits-rem:0 time: 0.20
660.88/165.74	c calculated reachability. Time: 0.03
660.88/165.74	c  N dy   215    537270      6294     17158     16257     63043    111523   1522890     46.39     14.37  --
660.88/165.74	c  F st   215    537270      6294     17158     16257     63043    111523   1522890     46.39     14.37  --
663.27/166.30	c Decided on static restart strategy
936.11/234.68	c  N dy   224    805905      6294     17158     16338     59863    111523   1686641     76.26     14.14  --
936.51/234.73	c  S st   224    805905      6294     17158     16338     59863    111523   1686641     76.26     14.14  --
938.11/235.12	c Finding binary XORs  T:     1.52 s  found:       0
938.92/235.31	c  S st   224    806406      6298     17158     17011     60462    111539   1698826     76.26     14.14  --
938.92/235.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
938.92/235.32	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
946.09/237.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     64 BRemL:    578 BRemN:      2 CBin:       0 P: 60.1M T:  7.37
946.09/237.19	c Calc non-exist non-lernt bins v-fix:     0 done:   6298 time:  0.08 s
946.09/237.19	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
948.49/237.70	c Subs w/ non-existent bins:      0 time:  2.05 s
948.49/237.74	c bin-w-bin subsume rem            9 bins  time:  0.01 s
949.29/237.98	c subs with bin:       23  lits-rem:       533  v-fix:    0  time:  0.95 s
949.29/237.99	c Removed useless bin:       1  fixed:     0  bprops:   0.16M  time:  0.02 s
979.25/245.45	c ORs :   4076 avg-s:  2.7 cl-sh:     4 l-rem:      8 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 7.2 T:    1.96
979.25/245.48	c lits-rem:       496  cl-subs:     4447  v-elim:    442  v-fix:    0  time: 29.93 s
979.25/245.48	c learnt bin added due to v-elim: 0
979.65/245.50	c vivif2 --  cl tried    17154 cl shrink        0 lits rem          0 time: 0.08
981.25/245.90	c vivif2 --  cl tried    55992 cl shrink      367 lits rem        878 time: 1.62
981.65/246.04	c asymm  cl-useful: 11/1411/17154 lits-rem:11 time: 0.55
981.65/246.05	c calculated reachability. Time: 0.03
981.65/246.05	c  N dy   224    806406      6298     17154     16486     55992    111478   1540635     76.26     14.14  --
1444.65/361.93	c  N dy   226   1209610      6298     17154     16520     85474    111478   2194804     70.31     14.88  --
1445.02/362.00	c  S st   226   1209610      6298     17154     16520     85474    111478   2194804     70.31     14.88  --
1446.22/362.31	c  S st   226   1210115      6299     17154     16937     86095    111562   2207612     70.31     14.88  --
1446.22/362.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1446.22/362.32	c Cache  BProp: 53 Set: 0 BXProp: 0 T: 0.01
1454.61/364.48	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:    6 Bin:     23 BRemL:    215 BRemN:     19 CBin:       0 P: 60.1M T:  8.63
1455.01/364.51	c Calc non-exist non-lernt bins v-fix:     0 done:   6297 time:  0.08 s
1455.01/364.51	c Cache  BProp: 55 Set: 0 BXProp: 0 T: 0.01
1458.21/365.30	c Subs w/ non-existent bins:     37 time:  3.18 s
1458.21/365.33	c Replacing        6 vars Replaced      155 lits Time:     0.11 s 
1458.21/365.38	c bin-w-bin subsume rem            6 bins  time:  0.01 s
1459.81/365.78	c subs with bin:       42  lits-rem:        26  v-fix:    0  time:  1.57 s
1459.81/365.78	c Removed useless bin:       7  fixed:     0  bprops:   0.16M  time:  0.02 s
1507.34/377.63	c ORs :   4072 avg-s:  2.7 cl-sh:     9 l-rem:      9 b-add:      5 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    1.83
1507.34/377.67	c lits-rem:       480  cl-subs:     7584  v-elim:    450  v-fix:    0  time: 47.47 s
1507.34/377.67	c learnt bin added due to v-elim: 0
1507.34/377.69	c vivif2 --  cl tried    17105 cl shrink        4 lits rem          4 time: 0.07
1509.74/378.29	c vivif2 --  cl tried    78459 cl shrink       68 lits rem        118 time: 2.42
1510.55/378.43	c asymm  cl-useful: 19/641/17105 lits-rem:19 time: 0.56
1510.55/378.44	c calculated reachability. Time: 0.03
1510.55/378.45	c  N dy   226   1210115      6288     17105     16566     78459    111329   1962195     70.31     14.88  --
2200.43/551.12	c  N dy   228   1694356      6288     17105     16566     68335    111329    904907     42.14     14.57  --
2202.00/551.51	c Finding binary XORs  T:     1.53 s  found:       2
2218.38/555.63	c  S st   233   1710117      6288     17105     16885     83653    111329   1300344     50.87     14.55  --
2219.58/555.96	c  S st   233   1710620      6288     17105     16886     84155    111329   1315061     50.87     14.55  --
2219.58/555.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2219.58/555.98	c Cache  BProp: 55 Set: 0 BXProp: 0 T: 0.01
2225.97/557.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     45 BRemL:    328 BRemN:      9 CBin:       0 P: 60.1M T:  6.44
2226.39/557.61	c Calc non-exist non-lernt bins v-fix:     0 done:   6288 time:  0.08 s
2226.39/557.61	c Cache  BProp: 55 Set: 0 BXProp: 0 T: 0.01
2228.37/558.19	c Subs w/ non-existent bins:     19 time:  2.29 s
2228.77/558.20	c Replacing        2 vars Replaced       33 lits Time:     0.04 s 
2228.77/558.23	c bin-w-bin subsume rem           16 bins  time:  0.02 s
2229.56/558.42	c subs with bin:       43  lits-rem:        49  v-fix:    0  time:  0.75 s
2229.56/558.43	c Removed useless bin:       3  fixed:     0  bprops:   0.16M  time:  0.02 s
2257.14/565.39	c ORs :   4075 avg-s:  2.7 cl-sh:   116 l-rem:    226 b-add:     14 v-rep:   0 cl-rem: 11 avg s: 12.9 T:    1.43
2266.34/567.68	c Added 21 vars  tried: 80000 time: 9.16
2266.71/567.76	c ORs :     21 avg-s:  0.0 cl-sh:  5882 l-rem:   5882 b-add:     43 v-rep:   0 cl-rem: 2 avg s: 4.5 T:    9.47
2266.71/567.79	c lits-rem:      3161  cl-subs:     6904  v-elim:    450  v-fix:    0  time: 37.40 s
2266.71/567.79	c learnt bin added due to v-elim: 0
2267.11/567.81	c vivif2 --  cl tried    17086 cl shrink        1 lits rem          1 time: 0.08
2268.71/568.25	c vivif2 --  cl tried    77199 cl shrink      288 lits rem       1484 time: 1.75
2269.11/568.37	c asymm  cl-useful: 53/977/17086 lits-rem:57 time: 0.49
2269.11/568.38	c calculated reachability. Time: 0.03
2269.11/568.38	c  N dy   233   1710620      6305     17086     16636     77198    111214   1171745     50.87     14.55  --
2835.95/710.22	c  N dy   234   2133199      6305     17086     16638    122365    111214   3129278     63.18     14.39  --
2952.07/739.50	c  N dy   236   2210621      6305     17086     16844     69343    111214    764856     52.40     14.41  --
2952.07/739.54	c  S st   236   2210621      6305     17086     16844     69343    111214    764856     52.40     14.41  --
2952.87/739.78	c  S st   236   2211123      6305     17086     16930     69850    111214    781134     52.40     14.41  --
2952.87/739.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2952.87/739.79	c Cache  BProp: 55 Set: 0 BXProp: 0 T: 0.01
2958.43/741.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     67 BRemL:    222 BRemN:      0 CBin:       0 P: 60.0M T:  5.35
2958.43/741.16	c Calc non-exist non-lernt bins v-fix:     0 done:   6305 time:  0.08 s
2958.43/741.16	c Cache  BProp: 55 Set: 0 BXProp: 0 T: 0.01
2960.03/741.58	c Subs w/ non-existent bins:      1 time:  1.65 s
2960.43/741.60	c bin-w-bin subsume rem           17 bins  time:  0.01 s
2960.82/741.71	c subs with bin:       19  lits-rem:        20  v-fix:    0  time:  0.42 s
2960.82/741.72	c Removed useless bin:       0  fixed:     0  bprops:   0.16M  time:  0.02 s
2973.59/744.97	c ORs :   4098 avg-s:  2.7 cl-sh:     2 l-rem:      2 b-add:      2 v-rep:   0 cl-rem: 3 avg s: 6.0 T:    1.40
2973.59/744.99	c lits-rem:       791  cl-subs:     3740  v-elim:    444  v-fix:    0  time: 13.04 s
2973.59/744.99	c learnt bin added due to v-elim: 0
2973.99/745.01	c vivif2 --  cl tried    17081 cl shrink        1 lits rem          1 time: 0.07
2975.18/745.34	c vivif2 --  cl tried    66094 cl shrink       83 lits rem        138 time: 1.32
2975.58/745.45	c asymm  cl-useful: 16/718/17081 lits-rem:16 time: 0.46
2975.58/745.46	c calculated reachability. Time: 0.03
2975.58/745.46	c  N dy   236   2211123      6304     17081     16687     66093    111143    721555     52.40     14.41  --
3000.35/751.65	c  N dy   241   2236070      6303     17081     16713     89997    111143   1569976     44.84     14.41  --
3468.12/868.72	c  N dy   242   2531625      6303     17081     16714    107849    111143   2574359     35.36     14.48  --
3469.71/869.13	c Finding binary XORs  T:     1.53 s  found:       2
3538.82/886.46	c  N dy   245   2569832      6302     17072     16755     75150    111102    727073     37.57     14.46  --
3611.92/904.72	c  N dy   248   2622841      6303     17072     16827    126190    111106   2878946     90.41     14.44  --
3657.06/916.04	c  N dy   250   2659192      6303     17072     16845     90190    111106   1089235     37.44     14.42  --
3720.17/931.86	c  N dy   255   2701892      6300     17072     16877    131911    111106   2415399     30.99     14.43  --
3739.35/936.60	c  S st   256   2711123      6300     17072     16888    140897    111106   2824627     75.26     14.43  --
3740.55/936.98	c  S st   256   2711627      6300     17072     16894    141403    111106   2836695     75.26     14.43  --
3740.55/936.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.05
3740.55/936.99	c Cache  BProp: 55 Set: 0 BXProp: 0 T: 0.01
3751.33/939.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    139 BRemL:    327 BRemN:      3 CBin:       0 P: 60.0M T: 10.52
3751.33/939.65	c Calc non-exist non-lernt bins v-fix:     0 done:   6297 time:  0.08 s
3751.33/939.66	c Cache  BProp: 55 Set: 0 BXProp: 0 T: 0.01
3756.13/940.81	c Subs w/ non-existent bins:    154 time:  4.63 s
3756.13/940.85	c Replacing        4 vars Replaced      151 lits Time:     0.14 s 
3756.52/940.93	c bin-w-bin subsume rem            4 bins  time:  0.01 s
3758.94/941.59	c subs with bin:       55  lits-rem:        65  v-fix:    0  time:  2.63 s
3758.94/941.59	c Removed useless bin:       2  fixed:     0  bprops:   0.16M  time:  0.02 s
3823.23/957.66	c ORs :   4087 avg-s:  2.7 cl-sh:     4 l-rem:      4 b-add:      2 v-rep:   0 cl-rem: 6 avg s: 4.7 T:    2.00
3827.22/958.67	c Added 51 vars  tried: 80000 time: 4.02
3827.62/958.74	c ORs :     51 avg-s:  0.0 cl-sh: 13411 l-rem:  13411 b-add:    102 v-rep:   0 cl-rem: 0 avg s: nan T:    4.30
3827.62/958.79	c lits-rem:       896  cl-subs:    11810  v-elim:    451  v-fix:    0  time: 68.72 s
3827.62/958.79	c learnt bin added due to v-elim: 0
3828.02/958.81	c vivif2 --  cl tried    17098 cl shrink        2 lits rem          2 time: 0.08
3831.62/959.73	c vivif2 --  cl tried   129188 cl shrink      173 lits rem        381 time: 3.65
3832.02/959.88	c asymm  cl-useful: 5/475/17098 lits-rem:5 time: 0.60
3832.02/959.89	c calculated reachability. Time: 0.03
3832.02/959.89	c  N dy   256   2711627      6342     17098     16498    129187    111208   2537898     75.26     14.43  --
3832.02/959.89	c  F st   256   2711627      6342     17098     16498    129187    111208   2537898     75.26     14.43  --
3836.01/960.87	c Decided on static restart strategy
4684.54/1173.38	c  N dy   264   3211630      6342     17098     16502     92940    111208   1345984     57.36     14.22  --
4684.94/1173.42	c  S st   264   3211630      6342     17098     16502     92940    111208   1345984     57.36     14.22  --
4686.53/1173.81	c Finding binary XORs  T:     1.52 s  found:       2
4687.73/1174.10	c  S st   264   3212132      6342     17098     16883     93726    111240   1359042     57.36     14.22  --
4687.73/1174.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4687.73/1174.12	c Cache  BProp: 55 Set: 0 BXProp: 0 T: 0.01
4694.95/1175.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    213 BRemL:    290 BRemN:     10 CBin:       0 P: 60.0M T:  7.32
4694.95/1175.97	c Calc non-exist non-lernt bins v-fix:     0 done:   6342 time:  0.08 s
4694.95/1175.97	c Cache  BProp: 55 Set: 0 BXProp: 0 T: 0.01
4697.72/1176.61	c Subs w/ non-existent bins:     24 time:  2.53 s
4697.72/1176.62	c Replacing        2 vars Replaced       29 lits Time:     0.05 s 
4697.72/1176.66	c bin-w-bin subsume rem           12 bins  time:  0.01 s
4698.52/1176.83	c subs with bin:       53  lits-rem:        52  v-fix:    0  time:  0.70 s
4698.52/1176.84	c Removed useless bin:       1  fixed:     0  bprops:   0.16M  time:  0.02 s
4718.49/1181.83	c ORs :   4144 avg-s:  2.7 cl-sh:     7 l-rem:      7 b-add:      6 v-rep:   0 cl-rem: 20 avg s: 6.3 T:    1.55
4718.49/1181.86	c lits-rem:       250  cl-subs:     3869  v-elim:    451  v-fix:    0  time: 20.05 s
4718.49/1181.86	c learnt bin added due to v-elim: 0
4718.49/1181.88	c vivif2 --  cl tried    17072 cl shrink        0 lits rem          0 time: 0.07
4720.49/1182.39	c vivif2 --  cl tried    89784 cl shrink      102 lits rem        201 time: 2.05
4721.31/1182.51	c asymm  cl-useful: 9/1032/17072 lits-rem:9 time: 0.48
4721.31/1182.53	c calculated reachability. Time: 0.03
4721.31/1182.53	c  N dy   264   3212132      6339     17072     16729     89781    111119   1278197     57.36     14.22  --
4775.22/1196.04	c  N dy   265   3247594      6339     17072     16731    124543    111119   2984046     45.10     14.23  --

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-3289010-1304128189/watcher-3289010-1304128189 -o /tmp/evaluation-result-3289010-1304128189/solver-3289010-1304128189 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3289010-1304128189.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: 6.36 7.71 7.76 2/177 28490
/proc/meminfo: memFree=24345924/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=24712 CPUtime=0 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 1429 0 0 0 0 0 0 0 21 0 1 0 603049573 25305088 1369 33554432000 4194304 4797429 140734915230560 18446744073709551615 216734875403 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/28490/statm: 6178 1380 341 148 0 1107 0

[startup+0.0859071 s]
/proc/loadavg: 6.36 7.71 7.76 2/177 28490
/proc/meminfo: memFree=24345924/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=93212 CPUtime=0.08 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 21103 0 0 0 6 2 0 0 21 0 1 0 603049573 95449088 14250 33554432000 4194304 4797429 140734915230560 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/28490/statm: 23303 14250 342 148 0 18232 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 93212

[startup+0.100897 s]
/proc/loadavg: 6.36 7.71 7.76 2/177 28490
/proc/meminfo: memFree=24345924/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=105692 CPUtime=0.09 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 23976 0 0 0 7 2 0 0 21 0 1 0 603049573 108228608 17120 33554432000 4194304 4797429 140734915230560 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/28490/statm: 26423 17132 342 148 0 21352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 105692

[startup+0.300864 s]
/proc/loadavg: 6.36 7.71 7.76 2/177 28490
/proc/meminfo: memFree=24345924/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=152044 CPUtime=0.29 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 32131 0 0 0 25 4 0 0 22 0 1 0 603049573 155693056 25043 33554432000 4194304 4797429 140734915230560 18446744073709551615 216734839493 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/28490/statm: 38011 25045 350 148 0 32940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 152044

[startup+0.700762 s]
/proc/loadavg: 6.36 7.71 7.76 2/177 28490
/proc/meminfo: memFree=24345924/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=253460 CPUtime=1.81 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 33296 0 0 0 177 4 0 0 25 0 4 0 603049573 259543040 26174 33554432000 4194304 4797429 140734915230560 18446744073709551615 4428637 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 63365 26174 376 148 0 58294 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 253460

[startup+1.50062 s]
/proc/loadavg: 6.36 7.71 7.76 9/184 28497
/proc/meminfo: memFree=24154064/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=813164 CPUtime=5 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 49256 0 0 0 492 8 0 0 25 0 4 0 603049573 832679936 40778 33554432000 4194304 4797429 140734915230560 18446744073709551615 4427384 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 203291 40778 384 148 0 198220 0
[pid=28490/tid=28495] ppid=28488 vsize=813164 CPUtime=1.16 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 4121 0 0 0 116 0 0 0 18 0 4 0 603049605 832679936 40778 33554432000 4194304 4797429 140734915230560 18446744073709551615 4240961 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=813164 CPUtime=1.16 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 3304 0 0 0 115 1 0 0 18 0 4 0 603049605 832679936 40778 33554432000 4194304 4797429 140734915230560 18446744073709551615 4428201 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=813164 CPUtime=1.16 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 3964 0 0 0 116 0 0 0 18 0 4 0 603049605 832679936 40778 33554432000 4194304 4797429 140734915230560 18446744073709551615 4430810 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 813164

[startup+3.10034 s]
/proc/loadavg: 6.49 7.72 7.76 9/184 28497
/proc/meminfo: memFree=23893540/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=962808 CPUtime=11.39 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 98689 0 0 0 1121 18 0 0 25 0 4 0 603049573 985915392 90208 33554432000 4194304 4797429 140734915230560 18446744073709551615 4428201 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 240702 90208 384 148 0 235631 0
[pid=28490/tid=28495] ppid=28488 vsize=962808 CPUtime=2.76 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 16739 0 0 0 273 3 0 0 21 0 4 0 603049605 985915392 90208 33554432000 4194304 4797429 140734915230560 18446744073709551615 4226125 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=962808 CPUtime=2.75 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 15731 0 0 0 272 3 0 0 21 0 4 0 603049605 985915392 90208 33554432000 4194304 4797429 140734915230560 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=962808 CPUtime=2.76 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 16252 0 0 0 273 3 0 0 20 0 4 0 603049605 985915392 90208 33554432000 4194304 4797429 140734915230560 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (KiB) 962808

[startup+6.30078 s]
/proc/loadavg: 6.49 7.72 7.76 10/184 28497
/proc/meminfo: memFree=23312984/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=1425968 CPUtime=24.16 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 200231 0 0 0 2377 39 0 0 21 0 4 0 603049573 1460191232 191750 33554432000 4194304 4797429 140734915230560 18446744073709551615 4430179 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 356492 191751 385 148 0 351421 0
[pid=28490/tid=28495] ppid=28488 vsize=1425968 CPUtime=5.96 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 42148 0 0 0 588 8 0 0 25 0 4 0 603049605 1460191232 191752 33554432000 4194304 4797429 140734915230560 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=1425968 CPUtime=5.93 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 41096 0 0 0 585 8 0 0 21 0 4 0 603049605 1460191232 191752 33554432000 4194304 4797429 140734915230560 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=1425968 CPUtime=5.96 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 41511 0 0 0 588 8 0 0 18 0 4 0 603049605 1460191232 191753 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429710 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.16
Current children cumulated vsize (KiB) 1425968

[startup+12.7007 s]
/proc/loadavg: 6.72 7.73 7.76 10/184 28497
/proc/meminfo: memFree=22687052/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=1901944 CPUtime=49.71 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 313448 0 0 0 4910 61 0 0 18 0 4 0 603049573 1947590656 304512 33554432000 4194304 4797429 140734915230560 18446744073709551615 4637497 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 475486 304512 430 148 0 470415 0
[pid=28490/tid=28495] ppid=28488 vsize=1901944 CPUtime=12.35 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 70313 0 0 0 1221 14 0 0 25 0 4 0 603049605 1947590656 304512 33554432000 4194304 4797429 140734915230560 18446744073709551615 4638469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=1901944 CPUtime=12.3 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 69138 0 0 0 1216 14 0 0 25 0 4 0 603049605 1947590656 304512 33554432000 4194304 4797429 140734915230560 18446744073709551615 4423077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=1901944 CPUtime=12.36 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 70156 0 0 0 1223 13 0 0 25 0 4 0 603049605 1947590656 304512 33554432000 4194304 4797429 140734915230560 18446744073709551615 4637497 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (KiB) 1901944

[startup+25.5004 s]
/proc/loadavg: 6.92 7.73 7.77 10/184 28497
/proc/meminfo: memFree=22507844/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=1924372 CPUtime=100.83 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 329847 0 0 0 10015 68 0 0 25 0 4 0 603049573 1970556928 318689 33554432000 4194304 4797429 140734915230560 18446744073709551615 4351520 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 481093 318689 426 148 0 476022 0
[pid=28490/tid=28495] ppid=28488 vsize=1924372 CPUtime=25.15 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 74101 0 0 0 2500 15 0 0 25 0 4 0 603049605 1970556928 318689 33554432000 4194304 4797429 140734915230560 18446744073709551615 4428984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=1924372 CPUtime=25.07 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 74898 0 0 0 2491 16 0 0 25 0 4 0 603049605 1970556928 318689 33554432000 4194304 4797429 140734915230560 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=1924372 CPUtime=25.1 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 73667 0 0 0 2495 15 0 0 25 0 4 0 603049605 1970556928 318689 33554432000 4194304 4797429 140734915230560 18446744073709551615 4423166 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.83
Current children cumulated vsize (KiB) 1924372

[startup+51.101 s]
/proc/loadavg: 7.43 7.79 7.78 10/184 28498
/proc/meminfo: memFree=22492908/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=1933220 CPUtime=203.1 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 339089 0 0 0 20237 73 0 0 25 0 4 0 603049573 1979617280 318386 33554432000 4194304 4797429 140734915230560 18446744073709551615 4423077 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 483305 318386 427 148 0 478234 0
[pid=28490/tid=28495] ppid=28488 vsize=1933220 CPUtime=50.75 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 75257 0 0 0 5059 16 0 0 25 0 4 0 603049605 1979617280 318386 33554432000 4194304 4797429 140734915230560 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=1933220 CPUtime=50.67 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 76146 0 0 0 5051 16 0 0 25 0 4 0 603049605 1979617280 318386 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=1933220 CPUtime=50.57 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 74829 0 0 0 5041 16 0 0 25 0 4 0 603049605 1979617280 318386 33554432000 4194304 4797429 140734915230560 18446744073709551615 4245685 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.1
Current children cumulated vsize (KiB) 1933220

[startup+102.307 s]
/proc/loadavg: 7.85 7.84 7.80 10/184 28499
/proc/meminfo: memFree=22484816/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=1935196 CPUtime=407.64 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 354371 0 0 0 40684 80 0 0 25 0 4 0 603049573 1981640704 319870 33554432000 4194304 4797429 140734915230560 18446744073709551615 4629040 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 483799 319870 427 148 0 478728 0
[pid=28490/tid=28495] ppid=28488 vsize=1935196 CPUtime=101.95 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 76393 0 0 0 10178 17 0 0 25 0 4 0 603049605 1981640704 319870 33554432000 4194304 4797429 140734915230560 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=1935196 CPUtime=101.87 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 77262 0 0 0 10170 17 0 0 25 0 4 0 603049605 1981640704 319870 33554432000 4194304 4797429 140734915230560 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=1935196 CPUtime=101.49 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 75847 0 0 0 10133 16 0 0 25 0 4 0 603049605 1981640704 319870 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429003 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.64
Current children cumulated vsize (KiB) 1935196

[startup+162.301 s]
/proc/loadavg: 8.09 7.90 7.82 10/184 28501
/proc/meminfo: memFree=22465584/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=1939032 CPUtime=647.29 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 367541 0 0 0 64642 87 0 0 25 0 4 0 603049573 1985568768 322058 33554432000 4194304 4797429 140734915230560 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 484758 322058 427 148 0 479687 0
[pid=28490/tid=28495] ppid=28488 vsize=1939032 CPUtime=161.94 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 77431 0 0 0 16177 17 0 0 25 0 4 0 603049605 1985568768 322058 33554432000 4194304 4797429 140734915230560 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=1939032 CPUtime=161.87 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 78548 0 0 0 16169 18 0 0 25 0 4 0 603049605 1985568768 322058 33554432000 4194304 4797429 140734915230560 18446744073709551615 4346296 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=1939032 CPUtime=161.16 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 76444 0 0 0 16100 16 0 0 25 0 4 0 603049605 1985568768 322058 33554432000 4194304 4797429 140734915230560 18446744073709551615 4424967 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.29
Current children cumulated vsize (KiB) 1939032

[startup+222.301 s]
/proc/loadavg: 8.17 7.95 7.84 10/184 28503
/proc/meminfo: memFree=22457868/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=1943512 CPUtime=886.97 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 383579 0 0 0 88602 95 0 0 25 0 4 0 603049573 1990156288 323768 33554432000 4194304 4797429 140734915230560 18446744073709551615 4425049 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 485878 323768 423 148 0 480807 0
[pid=28490/tid=28495] ppid=28488 vsize=1943512 CPUtime=221.95 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 78066 0 0 0 22177 18 0 0 25 0 4 0 603049605 1990156288 323768 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=1943512 CPUtime=221.87 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 79362 0 0 0 22169 18 0 0 25 0 4 0 603049605 1990156288 323768 33554432000 4194304 4797429 140734915230560 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=1943512 CPUtime=220.84 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 77585 0 0 0 22067 17 0 0 25 0 4 0 603049605 1990156288 323768 33554432000 4194304 4797429 140734915230560 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 886.97
Current children cumulated vsize (KiB) 1943512

[startup+282.301 s]

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

[pid=28490] ppid=28488 vsize=1977720 CPUtime=2564.74 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 471950 0 0 0 256332 142 0 0 25 0 4 0 603049573 2025185280 332675 33554432000 4194304 4797429 140734915230560 18446744073709551615 216734875292 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 494430 332675 429 148 0 489359 0
[pid=28490/tid=28495] ppid=28488 vsize=1977720 CPUtime=641.96 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 85014 0 0 0 64175 21 0 0 25 0 4 0 603049605 2025185280 332675 33554432000 4194304 4797429 140734915230560 18446744073709551615 4509088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=1977720 CPUtime=641.88 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 86411 0 0 0 64166 22 0 0 25 0 4 0 603049605 2025185280 332675 33554432000 4194304 4797429 140734915230560 18446744073709551615 4237256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=1977720 CPUtime=638.56 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 83972 0 0 0 63837 19 0 0 25 0 4 0 603049605 2025185280 332675 33554432000 4194304 4797429 140734915230560 18446744073709551615 4642192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.74
Current children cumulated vsize (KiB) 1977720

[startup+702.3 s]
/proc/loadavg: 8.06 8.06 7.93 10/184 28524
/proc/meminfo: memFree=22385148/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=1977836 CPUtime=2804.39 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 483850 0 0 0 280291 148 0 0 25 0 4 0 603049573 2025304064 332199 33554432000 4194304 4797429 140734915230560 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 494459 332199 429 148 0 489388 0
[pid=28490/tid=28495] ppid=28488 vsize=1977836 CPUtime=701.96 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 85942 0 0 0 70174 22 0 0 25 0 4 0 603049605 2025304064 332199 33554432000 4194304 4797429 140734915230560 18446744073709551615 4243692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=1977836 CPUtime=701.87 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 86859 0 0 0 70164 23 0 0 25 0 4 0 603049605 2025304064 332199 33554432000 4194304 4797429 140734915230560 18446744073709551615 4642182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=1977836 CPUtime=698.23 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 84771 0 0 0 69803 20 0 0 25 0 4 0 603049605 2025304064 332199 33554432000 4194304 4797429 140734915230560 18446744073709551615 4255929 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) 1977836

[startup+762.307 s]
/proc/loadavg: 8.42 8.14 7.96 11/189 28940
/proc/meminfo: memFree=22358708/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=2053768 CPUtime=3043.11 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 495964 0 0 0 304156 155 0 0 25 0 4 0 603049573 2103058432 335603 33554432000 4194304 4797429 140734915230560 18446744073709551615 4424333 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 513442 335603 429 148 0 508371 0
[pid=28490/tid=28495] ppid=28488 vsize=2053768 CPUtime=761.87 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 86825 0 0 0 76164 23 0 0 25 0 4 0 603049605 2103058432 335603 33554432000 4194304 4797429 140734915230560 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=2053768 CPUtime=761.84 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 88355 0 0 0 76161 23 0 0 25 0 4 0 603049605 2103058432 335603 33554432000 4194304 4797429 140734915230560 18446744073709551615 4654904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=2053768 CPUtime=757.89 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 85380 0 0 0 75769 20 0 0 25 0 4 0 603049605 2103058432 335603 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3043.11
Current children cumulated vsize (KiB) 2053768

[startup+822.301 s]
/proc/loadavg: 8.82 8.31 8.03 11/189 28942
/proc/meminfo: memFree=22347100/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=2053916 CPUtime=3282.77 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 510786 0 0 0 328113 164 0 0 25 0 4 0 603049573 2103209984 337709 33554432000 4194304 4797429 140734915230560 18446744073709551615 4424649 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 513479 337709 429 148 0 508408 0
[pid=28490/tid=28495] ppid=28488 vsize=2053916 CPUtime=821.86 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 87683 0 0 0 82163 23 0 0 25 0 4 0 603049605 2103209984 337709 33554432000 4194304 4797429 140734915230560 18446744073709551615 4647995 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=2053916 CPUtime=821.84 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 89211 0 0 0 82160 24 0 0 25 0 4 0 603049605 2103209984 337709 33554432000 4194304 4797429 140734915230560 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=2053916 CPUtime=817.56 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 86140 0 0 0 81736 20 0 0 25 0 4 0 603049605 2103209984 337709 33554432000 4194304 4797429 140734915230560 18446744073709551615 4427656 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3282.77
Current children cumulated vsize (KiB) 2053916

[startup+882.301 s]
/proc/loadavg: 9.04 8.46 8.09 11/189 28943
/proc/meminfo: memFree=22344476/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=2054024 CPUtime=3522.44 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 523509 0 0 0 352073 171 0 0 25 0 4 0 603049573 2103320576 336870 33554432000 4194304 4797429 140734915230560 18446744073709551615 4425015 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 513506 336870 429 148 0 508435 0
[pid=28490/tid=28495] ppid=28488 vsize=2054024 CPUtime=881.86 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 88220 0 0 0 88163 23 0 0 25 0 4 0 603049605 2103320576 336870 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=2054024 CPUtime=881.84 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 89764 0 0 0 88160 24 0 0 25 0 4 0 603049605 2103320576 336870 33554432000 4194304 4797429 140734915230560 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=2054024 CPUtime=877.24 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 86653 0 0 0 87703 21 0 0 25 0 4 0 603049605 2103320576 336870 33554432000 4194304 4797429 140734915230560 18446744073709551615 4346586 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3522.44
Current children cumulated vsize (KiB) 2054024

[startup+942.301 s]
/proc/loadavg: 9.09 8.58 8.15 11/189 28945
/proc/meminfo: memFree=22340192/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=2059288 CPUtime=3762.12 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 534972 0 0 0 376035 177 0 0 25 0 4 0 603049573 2108710912 336668 33554432000 4194304 4797429 140734915230560 18446744073709551615 4524449 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 514822 336668 436 148 0 509751 0
[pid=28490/tid=28495] ppid=28488 vsize=2059288 CPUtime=941.86 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 89301 0 0 0 94162 24 0 0 25 0 4 0 603049605 2108710912 336668 33554432000 4194304 4797429 140734915230560 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=2059288 CPUtime=941.84 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 90596 0 0 0 94159 25 0 0 25 0 4 0 603049605 2108710912 336668 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=2059288 CPUtime=936.91 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 87533 0 0 0 93670 21 0 0 25 0 4 0 603049605 2108710912 336668 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3762.12
Current children cumulated vsize (KiB) 2059288

[startup+1002.3 s]
/proc/loadavg: 8.77 8.59 8.18 10/184 28998
/proc/meminfo: memFree=22909220/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=2064836 CPUtime=4001.46 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 544841 0 0 0 399963 183 0 0 25 0 4 0 603049573 2114392064 338167 33554432000 4194304 4797429 140734915230560 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 516209 338167 430 148 0 511138 0
[pid=28490/tid=28495] ppid=28488 vsize=2064836 CPUtime=1001.86 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 89955 0 0 0 100162 24 0 0 25 0 4 0 603049605 2114392064 338167 33554432000 4194304 4797429 140734915230560 18446744073709551615 4430154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=2064836 CPUtime=1001.84 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 91477 0 0 0 100159 25 0 0 25 0 4 0 603049605 2114392064 338167 33554432000 4194304 4797429 140734915230560 18446744073709551615 4568144 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=2064836 CPUtime=996.58 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 88035 0 0 0 99637 21 0 0 25 0 4 0 603049605 2114392064 338167 33554432000 4194304 4797429 140734915230560 18446744073709551615 4243642 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4001.46
Current children cumulated vsize (KiB) 2064836

[startup+1062.3 s]
/proc/loadavg: 8.41 8.51 8.18 9/184 29000
/proc/meminfo: memFree=22904340/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=2066328 CPUtime=4241.14 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 557629 0 0 0 423924 190 0 0 25 0 4 0 603049573 2115919872 336596 33554432000 4194304 4797429 140734915230560 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 516582 336596 430 148 0 511511 0
[pid=28490/tid=28495] ppid=28488 vsize=2066328 CPUtime=1061.87 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 90898 0 0 0 106162 25 0 0 25 0 4 0 603049605 2115919872 336596 33554432000 4194304 4797429 140734915230560 18446744073709551615 4524105 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=2066328 CPUtime=1061.83 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 92426 0 0 0 106158 25 0 0 25 0 4 0 603049605 2115919872 336596 33554432000 4194304 4797429 140734915230560 18446744073709551615 216734837159 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=2066328 CPUtime=1056.26 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 88783 0 0 0 105605 21 0 0 25 0 4 0 603049605 2115919872 336596 33554432000 4194304 4797429 140734915230560 18446744073709551615 4427299 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4241.14
Current children cumulated vsize (KiB) 2066328

[startup+1122.3 s]
/proc/loadavg: 8.26 8.44 8.18 10/184 29002
/proc/meminfo: memFree=22885340/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=2067284 CPUtime=4480.81 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 569609 0 0 0 447884 197 0 0 25 0 4 0 603049573 2116898816 342436 33554432000 4194304 4797429 140734915230560 18446744073709551615 4425633 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 516821 342436 430 148 0 511750 0
[pid=28490/tid=28495] ppid=28488 vsize=2067284 CPUtime=1121.86 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 91416 0 0 0 112161 25 0 0 25 0 4 0 603049605 2116898816 342436 33554432000 4194304 4797429 140734915230560 18446744073709551615 4642192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=2067284 CPUtime=1121.84 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 93024 0 0 0 112158 26 0 0 25 0 4 0 603049605 2116898816 342436 33554432000 4194304 4797429 140734915230560 18446744073709551615 4424921 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=2067284 CPUtime=1115.93 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 89294 0 0 0 111571 22 0 0 25 0 4 0 603049605 2116898816 342436 33554432000 4194304 4797429 140734915230560 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4480.81
Current children cumulated vsize (KiB) 2067284

[startup+1182.3 s]
/proc/loadavg: 8.09 8.36 8.17 10/184 29003
/proc/meminfo: memFree=22870296/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=2068384 CPUtime=4720.49 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 582840 0 0 0 471845 204 0 0 25 0 4 0 603049573 2118025216 338574 33554432000 4194304 4797429 140734915230560 18446744073709551615 4647984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 517096 338574 430 148 0 512025 0
[pid=28490/tid=28495] ppid=28488 vsize=2068384 CPUtime=1181.87 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 92381 0 0 0 118161 26 0 0 25 0 4 0 603049605 2118025216 338574 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=2068384 CPUtime=1181.84 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 93517 0 0 0 118158 26 0 0 25 0 4 0 603049605 2118025216 338574 33554432000 4194304 4797429 140734915230560 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=2068384 CPUtime=1175.61 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 90290 0 0 0 117538 23 0 0 25 0 4 0 603049605 2118025216 338574 33554432000 4194304 4797429 140734915230560 18446744073709551615 4245638 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4720.49
Current children cumulated vsize (KiB) 2068384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.07 8.34 8.16 5/179 29005
/proc/meminfo: memFree=23554560/32951124 swapFree=67102140/67111528
[pid=28490] ppid=28488 vsize=2068412 CPUtime=4800.02 cores=1,3,5,7
/proc/28490/stat : 28490 (techdemo) R 28488 28490 28452 0 -1 4202496 586097 0 0 0 479796 206 0 0 25 0 4 0 603049573 2118053888 340007 33554432000 4194304 4797429 140734915230560 18446744073709551615 4423347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28490/statm: 517103 340007 430 148 0 512032 0
[pid=28490/tid=28495] ppid=28488 vsize=2068412 CPUtime=1201.78 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (techdemo) R 28488 28490 28452 0 -1 4202560 92512 0 0 0 120152 26 0 0 25 0 4 0 603049605 2118053888 340007 33554432000 4194304 4797429 140734915230560 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=2068412 CPUtime=1201.75 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (techdemo) R 28488 28490 28452 0 -1 4202560 94122 0 0 0 120148 27 0 0 25 0 4 0 603049605 2118053888 340007 33554432000 4194304 4797429 140734915230560 18446744073709551615 4241148 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=2068412 CPUtime=1195.41 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (techdemo) R 28488 28490 28452 0 -1 4202560 90589 0 0 0 119518 23 0 0 25 0 4 0 603049605 2118053888 340007 33554432000 4194304 4797429 140734915230560 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 2068412

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): 1202.28
CPU time (s): 4800.12
CPU user time (s): 4797.98
CPU system time (s): 2.13068
CPU usage (%): 399.25
Max. virtual memory (cumulated for all children) (KiB): 2177052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.98
system time used= 2.13068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586098
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= 9156
involuntary context switches= 37230

runsolver used 2.03969 second user time and 4.53231 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-30 03:49:49
IDJOB=3289010
IDBENCH=83113
IDSOLVER=1584
FILE ID=node119/3289010-1304128189
RUNJOBID= node119-1304128189-28471
PBS_JOBID= 13170775
Free space on /tmp= 71804 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289010-1304128189/watcher-3289010-1304128189 -o /tmp/evaluation-result-3289010-1304128189/solver-3289010-1304128189 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3289010-1304128189.cnf

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

MD5SUM BENCH= e822739302a2d834ec9ddfe9fbd0caa2
RANDOM SEED=410697574

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24347816 kB
Buffers:       1918348 kB
Cached:        6052356 kB
SwapCached:       3688 kB
Active:         212964 kB
Inactive:      7826116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24347816 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           21400 kB
Writeback:           0 kB
AnonPages:       67408 kB
Mapped:          14560 kB
Slab:           499232 kB
PageTables:       5044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   219160 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73000 MiB
End job on node119 at 2011-04-30 04:09:53