Trace number 3259821

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

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-23-189-21-75.cnf
MD5SUM46a186d5aa9ba41a176adf24fb365342
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.203968
Satisfiable
(Un)Satisfiability was proved
Number of variables483
Number of clauses25396
Sum of the clauses size51233
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225375
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521

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-3259821-1304038626.cnf'
0.00/0.00	c -- header says num vars:            483
0.00/0.00	c -- header says num clauses:       25396
0.01/0.02	c -- clauses added:            0 learnts,        25396 normals,            0 xors
0.01/0.02	c -- vars added        483
0.01/0.02	c Parsing time:  0.02 s
0.01/0.02	c  N st     0         0       483        21     25375         0     51233         0   no data   no data  --
0.01/0.02	c asymm  cl-useful: 0/21/21 lits-rem:0 time: 0.00
0.01/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.2M T:  0.03
0.01/0.03	c Calc non-exist non-lernt bins v-fix:     0 done:    483 time:  0.01 s
0.01/0.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.01/0.03	c Subs w/ non-existent bins:      0 time:  0.00 s
0.01/0.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.01/0.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.01/0.04	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.01 s
0.01/0.05	c lits-rem:       238  cl-subs:        0  v-elim:    301  v-fix:    0  time:  0.02 s
0.01/0.05	c learnt bin added due to v-elim: 0
0.01/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.01/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.01/0.05	c calculated reachability. Time: 0.00
0.01/0.05	c Calc default polars -  time:   0.00 s pos:       0 undec:      21 neg:     462
0.01/0.05	c =========================================================================================
0.01/0.05	c types(t): F = full restart, N = normal restart
0.01/0.05	c types(t): S = simplification begin/end, E = solution found
0.01/0.05	c restart types(rt): st = static, dy = dynamic
0.01/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.01/0.05	c  B st     0         0       462       686     24227         0     68404         0   no data   no data  --
0.31/0.18	c Decided on static restart strategy
1.11/0.36	c  N dy    20      4007       462       686     24227      3774     68403    291485     78.00     16.35  --
2.71/0.79	c  N dy    48      8056       462       686     24231      5274     68399    372224     83.64     14.41  --
5.51/1.42	c  N dy    76     12148       462       686     24231      5110     68399    339846     86.78     15.32  --
7.90/2.01	c  N dy   104     16289       462       686     24232      9012     68396    685893     89.55     15.08  --
9.89/2.59	c  N dy   131     20334       462       686     24232      7500     68395    486279     83.61     14.73  --
12.71/3.21	c  N dy   158     24342       462       686     24234     11281     68394    757207     70.74     14.60  --
15.10/3.81	c  N dy   186     28492       462       686     24236      8749     68394    516654     64.77     14.34  --
15.89/4.06	c  S st   197     30001       462       686     24236     10179     68394    615112     64.93     14.40  --
16.29/4.10	c  S st   197     30504       462       686     24236     10675     68394    645593     64.93     14.40  --
16.29/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
16.29/4.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.09/4.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.7M T:  2.84
19.09/4.82	c Calc non-exist non-lernt bins v-fix:     0 done:    462 time:  0.01 s
19.09/4.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.09/4.83	c Subs w/ non-existent bins:      0 time:  0.03 s
19.09/4.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
24.28/6.17	c subs with bin:        0  lits-rem:       876  v-fix:    0  time:  5.32 s
24.28/6.18	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.01 s
31.87/8.00	c lits-rem:      2397  cl-subs:     1554  v-elim:    462  v-fix:    0  time:  7.30 s
31.87/8.00	c learnt bin added due to v-elim: 0
31.87/8.00	c vivif2 --  cl tried      686 cl shrink      274 lits rem       1653 time: 0.00
31.87/8.01	c vivif2 --  cl tried     9121 cl shrink       25 lits rem         30 time: 0.03
32.27/8.19	c asymm  cl-useful: 8/398/686 lits-rem:10 time: 0.73
32.27/8.20	c calculated reachability. Time: 0.00
32.27/8.20	c  N dy   197     30504       462       686     24236      9121     65165    560773     64.93     14.40  --
32.27/8.20	c  F st   197     30504       462       686     24236      9121     65165    560773     64.93     14.40  --
33.46/8.42	c Decided on static restart strategy
34.69/8.78	c  N dy   217     34621       462       686     24237     13018     65163    833123     60.76     14.47  --
37.86/9.52	c  N dy   244     38656       462       686     24243      9377     65163    536218     63.05     14.78  --
40.26/10.12	c  N dy   271     42659       462       686     24245     13143     65163    785846     60.60     14.71  --
43.06/10.83	c  S st   292     45756       462       686     24246     16043     65161    966820     55.65     14.64  --
43.06/10.90	c  S st   292     46256       462       686     24246     16538     65160   1000264     55.65     14.64  --
43.47/10.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
43.47/10.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.44/12.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 38.4M T:  6.36
49.84/12.50	c Calc non-exist non-lernt bins v-fix:     0 done:    462 time:  0.01 s
49.84/12.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.84/12.51	c Subs w/ non-existent bins:      0 time:  0.04 s
49.84/12.52	c bin-w-bin subsume rem            0 bins  time:  0.02 s
55.44/13.90	c subs with bin:        1  lits-rem:        22  v-fix:    0  time:  5.51 s
55.44/13.91	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.01 s
63.42/15.94	c lits-rem:      1599  cl-subs:     1601  v-elim:    461  v-fix:    0  time:  8.13 s
63.42/15.94	c learnt bin added due to v-elim: 0
63.42/15.94	c vivif2 --  cl tried      686 cl shrink        3 lits rem          3 time: 0.00
63.42/15.96	c vivif2 --  cl tried    14936 cl shrink      327 lits rem        366 time: 0.05
64.22/16.17	c asymm  cl-useful: 2/293/686 lits-rem:2 time: 0.84
64.22/16.17	c calculated reachability. Time: 0.00
64.22/16.17	c  N dy   292     46256       462       686     24246     14936     65147    915152     55.65     14.64  --
67.01/16.82	c  N dy   320     50371       462       686     24248     10483     65147    582701     61.17     14.53  --
69.41/17.44	c  N dy   347     54383       462       686     24250     14221     65147    791758     51.83     14.43  --
72.61/18.22	c  N dy   374     58404       462       686     24252     18001     65147   1020770     52.63     14.36  --
75.01/18.84	c  N dy   402     62532       462       686     24253     12546     65147    677974     74.15     14.42  --
77.81/19.59	c  N dy   430     66641       462       686     24256     16411     65145    913146     58.01     14.51  --
80.60/20.20	c  S st   449     69385       462       686     24257     18960     65145   1057256     51.33     14.40  --
81.00/20.31	c  S st   449     69885       462       686     24257     19457     65145   1088672     51.33     14.40  --
81.00/20.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
81.00/20.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
88.99/22.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 53.6M T:  8.26
88.99/22.38	c Calc non-exist non-lernt bins v-fix:     0 done:    462 time:  0.02 s
88.99/22.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
88.99/22.39	c Subs w/ non-existent bins:      0 time:  0.05 s
89.39/22.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
94.98/23.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.57 s
94.98/23.81	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.01 s
104.57/26.23	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
119.34/29.97	c Added 5 vars  tried: 80000 time: 14.92
119.74/30.05	c ORs :      5 avg-s:  0.0 cl-sh: 13027 l-rem:  13027 b-add:     10 v-rep:   0 cl-rem: 0 avg s: nan T:   15.27
119.74/30.06	c lits-rem:      2766  cl-subs:     2164  v-elim:    461  v-fix:    0  time: 24.99 s
119.74/30.06	c learnt bin added due to v-elim: 0
119.74/30.07	c vivif2 --  cl tried      691 cl shrink        3 lits rem          3 time: 0.00
119.74/30.08	c vivif2 --  cl tried    17293 cl shrink      320 lits rem        331 time: 0.06
120.54/30.27	c asymm  cl-useful: 1/304/691 lits-rem:1 time: 0.78
120.54/30.28	c calculated reachability. Time: 0.00
120.54/30.28	c  N dy   449     69885       467       691     24268     17292     65046    968299     51.33     14.40  --
120.54/30.28	c  F st   449     69885       467       691     24268     17292     65046    968299     51.33     14.40  --
122.15/30.66	c Decided on static restart strategy
123.75/31.09	c  N dy   471     74365       467       691     24269     11237     65045    511272     50.83     14.32  --
126.96/31.84	c  N dy   504     79192       467       691     24278     15759     65045    694104     37.80     14.22  --
130.14/32.62	c  N dy   538     84293       467       691     24283     20552     65045    974518     53.09     14.21  --
133.33/33.47	c  N dy   575     89776       466       691     24293     14426     65045    636746     65.35     14.07  --
137.32/34.44	c  N dy   614     95559       466       691     24298     19886     65043    969690     51.71     14.18  --
141.71/35.58	c  N dy   656    101716       466       691     24308     13495     65043    611901     67.76     14.15  --
143.71/36.07	c  S st   678    104827       466       691     24309     16443     65041    786234     64.53     14.24  --
144.12/36.13	c  S st   678    105331       466       691     24309     16944     65040    819505     64.53     14.24  --
144.12/36.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.12/36.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.30/37.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    278 BRemL:      1 BRemN:      0 CBin:       0 P: 51.9M T:  7.08
151.30/37.91	c Calc non-exist non-lernt bins v-fix:     0 done:    466 time:  0.02 s
151.30/37.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.30/37.92	c Subs w/ non-existent bins:      0 time:  0.04 s
151.30/37.95	c bin-w-bin subsume rem            1 bins  time:  0.02 s
156.90/39.35	c subs with bin:       45  lits-rem:       167  v-fix:    0  time:  5.60 s
156.90/39.35	c Removed useless bin:       0  fixed:     0  bprops:   0.07M  time:  0.01 s
166.50/41.74	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
166.50/41.75	c lits-rem:      1815  cl-subs:     2080  v-elim:    607  v-fix:    0  time:  9.58 s
166.50/41.75	c learnt bin added due to v-elim: 0
166.50/41.75	c vivif2 --  cl tried      860 cl shrink      135 lits rem        135 time: 0.00
166.50/41.76	c vivif2 --  cl tried    12917 cl shrink      741 lits rem        935 time: 0.05
167.28/41.95	c asymm  cl-useful: 10/319/729 lits-rem:11 time: 0.78
167.28/41.96	c calculated reachability. Time: 0.00
167.28/41.96	c  N dy   678    105331       464       729     24363     12909     64657    681147     64.53     14.24  --
172.47/43.29	c  N dy   723    112071       463       729     24371     19206     64657   1082365     79.83     14.28  --
180.47/45.28	c  N dy   771    119286       463       729     24372     26028     64656   1541907     59.42     14.37  --
186.45/46.74	c  N dy   823    126994       463       729     24372     20319     64656   1135464     65.38     14.46  --
196.05/49.15	c  N dy   878    135155       463       729     24374     28092     64656   1651394     61.55     14.54  --
202.83/50.86	c  N dy   937    143851       463       729     24375     22141     64656   1178111     53.88     14.71  --
212.83/53.31	c  N dy   999    153153       463       729     24377     15835     64656    718093     58.88     14.72  --
216.02/54.17	c  S st  1032    157996       463       729     24379     20396     64656   1006520     65.85     14.72  --
216.42/54.25	c  S st  1032    158499       463       729     24379     20894     64656   1039566     65.85     14.72  --
216.42/54.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
216.42/54.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
224.80/56.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:    129 CBin:       0 P: 60.0M T:  8.28
224.80/56.33	c Calc non-exist non-lernt bins v-fix:     0 done:    463 time:  0.01 s
224.80/56.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
224.80/56.34	c Subs w/ non-existent bins:      0 time:  0.06 s
224.80/56.37	c bin-w-bin subsume rem          137 bins  time:  0.02 s
230.40/57.78	c subs with bin:       98  lits-rem:       339  v-fix:    0  time:  5.63 s
230.40/57.78	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.01 s
236.81/59.36	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.03
236.81/59.37	c lits-rem:      1264  cl-subs:     1458  v-elim:    451  v-fix:    0  time:  6.35 s
236.81/59.37	c learnt bin added due to v-elim: 0
236.81/59.37	c vivif2 --  cl tried      729 cl shrink        3 lits rem          3 time: 0.00
236.81/59.38	c vivif2 --  cl tried    18036 cl shrink      207 lits rem        207 time: 0.06
237.59/59.58	c asymm  cl-useful: 0/280/729 lits-rem:0 time: 0.81
237.59/59.59	c calculated reachability. Time: 0.00
237.59/59.59	c  N dy  1032    158499       463       729     23925     18036     64050    951379     65.85     14.72  --
247.57/62.03	c  N dy  1099    168623       463       729     23929     27446     64050   1456182     57.22     14.60  --
257.56/64.55	c  N dy  1172    179389       462       729     23946     21781     64050   1176505     64.38     14.66  --
271.15/67.94	c  N dy  1250    190847       462       729     23949     32636     64050   1895230     68.48     14.83  --
282.33/70.78	c  N dy  1332    203045       462       729     23951     27271     64048   1499604     63.19     14.96  --
296.71/74.37	c  N dy  1421    216132       482       729     25459     22840     65367   1051745     47.25     15.06  --
311.51/78.03	c  N dy  1515    230032       482       729     25465     36011     65366   1877326     59.67     15.03  --
319.48/80.05	c  S st  1567    237750       482       729     25467     23822     65366   1057829     64.82     15.11  --
319.88/80.14	c  S st  1567    238251       482       729     25467     24320     65366   1088882     64.82     15.11  --
319.88/80.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
319.88/80.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
328.67/82.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    224 BRemL:     72 BRemN:     79 CBin:       0 P: 60.0M T:  8.83
328.67/82.36	c Calc non-exist non-lernt bins v-fix:     0 done:    482 time:  0.02 s
328.67/82.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
328.67/82.38	c Subs w/ non-existent bins:    561 time:  0.07 s
328.67/82.39	c Replacing        1 vars Replaced       16 lits Time:     0.04 s 
329.09/82.41	c bin-w-bin subsume rem          561 bins  time:  0.02 s
334.66/83.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.60 s
334.66/83.81	c Removed useless bin:     410  fixed:     0  bprops:   0.05M  time:  0.01 s
340.65/85.37	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.02
340.65/85.39	c lits-rem:      1019  cl-subs:     1401  v-elim:    449  v-fix:    0  time:  6.30 s
340.65/85.39	c learnt bin added due to v-elim: 0
340.65/85.39	c vivif2 --  cl tried      729 cl shrink        3 lits rem          3 time: 0.00
341.05/85.40	c vivif2 --  cl tried    20870 cl shrink      933 lits rem       1693 time: 0.08
341.85/85.60	c asymm  cl-useful: 0/248/729 lits-rem:0 time: 0.78
341.85/85.60	c calculated reachability. Time: 0.00
341.85/85.60	c  N dy  1567    238251       481       729     24375     20866     64006    995112     64.82     15.11  --
361.42/90.51	c  N dy  1669    253482       481       729     24380     35270     64006   1949063     57.97     15.13  --
379.40/95.05	c  N dy  1777    269772       481       729     24386     30814     64010   1458267     54.31     15.08  --
399.39/100.07	c  N dy  1893    287115       481       729     24388     26419     64008   1181107     62.96     15.08  --
423.73/106.15	c  N dy  2015    305565       481       729     24393     22103     64008    863913     63.90     15.10  --
444.91/111.41	c  N dy  2145    325213       481       729     24402     40616     64008   1923460     45.70     15.09  --
466.08/116.71	c  N dy  2279    345316       500       729     25525     37715     64774   1692905     61.49     15.09  --
482.06/120.79	c  S st  2360    357376       500       729     25529     25131     64774    923814     73.89     15.13  --
482.46/120.86	c  S st  2360    357876       500       729     25529     25628     64774    959926     73.89     15.13  --
482.46/120.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
482.46/120.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
490.45/122.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    216 BRemL:     38 BRemN:    679 CBin:       0 P: 60.0M T:  7.83
490.45/122.83	c Calc non-exist non-lernt bins v-fix:     0 done:    500 time:  0.02 s
490.45/122.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
490.45/122.85	c Subs w/ non-existent bins:    344 time:  0.08 s
490.45/122.86	c Replacing        1 vars Replaced      149 lits Time:     0.06 s 
490.45/122.88	c bin-w-bin subsume rem          330 bins  time:  0.01 s
496.06/124.27	c subs with bin:      176  lits-rem:       421  v-fix:    0  time:  5.56 s
496.06/124.27	c Removed useless bin:     116  fixed:     0  bprops:   0.04M  time:  0.01 s
506.82/126.90	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.02
506.82/126.91	c lits-rem:       945  cl-subs:     1105  v-elim:    443  v-fix:    0  time: 10.54 s
506.82/126.91	c learnt bin added due to v-elim: 0
506.82/126.91	c vivif2 --  cl tried      728 cl shrink        6 lits rem          6 time: 0.00
506.82/126.93	c vivif2 --  cl tried    20931 cl shrink      556 lits rem        583 time: 0.07
507.63/127.11	c asymm  cl-useful: 0/301/728 lits-rem:0 time: 0.74
507.63/127.11	c calculated reachability. Time: 0.00
507.63/127.11	c  N dy  2360    357876       499       728     24467     20895     62806    864234     73.89     15.13  --
528.40/132.37	c  N dy  2493    377901       499       728     24473     39751     62806   1943317     57.35     15.05  --
553.58/138.65	c  N dy  2626    398042       499       728     24482     34317     62806   1486165     50.86     14.99  --
578.33/144.87	c Finding binary XORs  T:     0.00 s  found:       0
579.55/145.12	c  N dy  2757    418146       498       728     24318     26540     62495   1046730     50.42     14.94  --
602.69/150.97	c  N dy  2890    438244       498       728     24322     45321     62495   2063606     56.87     14.93  --
627.88/157.25	c  N dy  3024    458331       497       728     24337     38031     62495   1630995     50.45     14.87  --
654.65/163.90	c  N dy  3159    478421       521       728     25533     30182     63247   1135627     62.26     14.95  --
677.40/169.62	c  N dy  3294    498495       521       728     25535     49090     63247   2223760     54.46     15.01  --
703.76/176.21	c  N dy  3429    518637       521       728     25539     39711     63247   1679036     45.98     15.08  --
732.52/183.45	c  S st  3551    536814       521       728     25540     56890     63247   2705360     62.74     15.16  --
733.33/183.65	c  S st  3551    537315       521       728     25540     57386     63247   2739377     62.74     15.16  --
733.33/183.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
733.33/183.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
749.30/187.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    312 BRemL:     57 BRemN:    543 CBin:       0 P: 60.1M T: 15.96
749.30/187.65	c Calc non-exist non-lernt bins v-fix:     0 done:    521 time:  0.02 s
749.30/187.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
749.70/187.70	c Subs w/ non-existent bins:    368 time:  0.18 s
749.70/187.72	c Replacing        2 vars Replaced      297 lits Time:     0.10 s 
749.70/187.78	c bin-w-bin subsume rem          386 bins  time:  0.02 s
756.49/189.46	c subs with bin:        6  lits-rem:         3  v-fix:    0  time:  6.72 s
756.49/189.46	c Removed useless bin:      59  fixed:     0  bprops:   0.04M  time:  0.01 s
797.23/199.64	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.04
841.97/210.86	c Added 6 vars  tried: 80000 time: 44.82
843.59/211.26	c ORs :      6 avg-s:  0.0 cl-sh: 32338 l-rem:  32338 b-add:     13 v-rep:   0 cl-rem: 4 avg s: 3.0 T:   46.41
843.59/211.29	c lits-rem:      2399  cl-subs:     6294  v-elim:    441  v-fix:    0  time: 87.19 s
843.59/211.29	c learnt bin added due to v-elim: 0
843.59/211.29	c vivif2 --  cl tried      734 cl shrink        5 lits rem          5 time: 0.00
843.96/211.34	c vivif2 --  cl tried    47824 cl shrink     1886 lits rem       2352 time: 0.19
844.76/211.57	c asymm  cl-useful: 0/105/734 lits-rem:0 time: 0.92
844.76/211.57	c calculated reachability. Time: 0.00
844.76/211.57	c  N dy  3551    537315       525       734     24725     47707     61533   2379531     62.74     15.16  --
844.76/211.57	c  F st  3551    537315       525       734     24725     47707     61533   2379531     62.74     15.16  --
847.58/212.23	c Decided on static restart strategy
873.95/218.87	c  N dy  3677    557418       525       734     24764     37702     61535   1567262     57.36     15.10  --
903.09/226.14	c  N dy  3810    577547       525       734     24784     56480     61535   2499863     47.46     15.02  --
927.45/232.23	c  N dy  3944    597620       524       734     24805     45428     61535   1883670     47.09     14.95  --
960.61/240.53	c  N dy  4079    617714       524       734     24816     33445     61535   1279900     63.93     14.99  --
987.37/247.26	c  N dy  4215    637809       524       734     24822     52431     61535   2288039     45.47     15.01  --
1019.72/255.39	c  N dy  4349    657916       523       734     24975     39418     61539   1582197     54.42     15.02  --
1050.48/263.03	c  N dy  4483    678011       547       734     26275     59487     62445   2621014     61.47     15.06  --
1080.46/270.54	c  N dy  4617    698036       547       734     26278     44844     62445   1855301     60.70     15.09  --
1117.20/279.70	c  N dy  4752    718112       547       734     26285     63736     62445   2895185     51.30     15.12  --
1148.35/287.54	c  N dy  4887    738239       547       734     26619     48729     62633   2048813     60.64     15.17  --
1187.09/297.21	c  N dy  5020    758280       546       734     26634     67582     62633   3039547     42.90     15.17  --
1215.86/304.48	c  N dy  5155    778368       546       734     26667     51427     62633   2101941     52.95     15.22  --
1253.01/313.77	c  N dy  5289    798455       569       734     27691     71341     63305   3117232     66.29     15.25  --
1261.02/315.76	c Finding binary XORs  T:     0.00 s  found:       8
1261.02/315.78	c Replacing        8 vars Replaced     5321 lits Time:     0.08 s 
1262.60/316.18	c  S st  5340    805972       561       734     26943     34668     62043   1240415     38.55     15.25  --
1263.00/316.29	c  S st  5340    806472       561       734     26943     35165     62043   1265090     38.55     15.25  --
1263.40/316.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1263.40/316.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1271.79/318.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    216 BRemL:    804 BRemN:    542 CBin:       0 P: 60.0M T:  8.58
1271.79/318.45	c Calc non-exist non-lernt bins v-fix:     0 done:    561 time:  0.02 s
1271.79/318.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1271.79/318.48	c Subs w/ non-existent bins:    786 time:  0.12 s
1272.19/318.50	c bin-w-bin subsume rem          796 bins  time:  0.02 s
1277.78/319.99	c subs with bin:      108  lits-rem:       214  v-fix:    0  time:  5.94 s
1277.78/319.99	c Removed useless bin:     184  fixed:     0  bprops:   0.03M  time:  0.00 s
1284.17/321.55	c ORs :     18 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.03
1284.17/321.56	c lits-rem:       311  cl-subs:     4876  v-elim:    601  v-fix:    0  time:  6.26 s
1284.17/321.56	c learnt bin added due to v-elim: 0
1284.17/321.56	c vivif2 --  cl tried      959 cl shrink       86 lits rem         86 time: 0.00
1284.17/321.59	c vivif2 --  cl tried    29393 cl shrink     1690 lits rem       2512 time: 0.11
1284.97/321.77	c asymm  cl-useful: 0/113/877 lits-rem:0 time: 0.72
1284.97/321.77	c calculated reachability. Time: 0.00
1284.97/321.77	c  N dy  5340    806472       557       877     24724     29344     60690   1073577     38.55     15.25  --
1310.14/328.06	c  N dy  5473    826598       557       877     24739     48059     60690   1949461     30.90     15.20  --
1351.28/338.35	c  N dy  5605    846642       556       877     24834     67199     60762   2960764     52.74     15.17  --
1385.23/346.81	c  N dy  5738    866701       555       877     24845     49825     60762   2017464     54.69     15.16  --
1422.79/356.25	c  N dy  5871    886742       579       877     25720     69267     61312   3018633     52.24     15.16  --
1453.96/364.05	c  N dy  6004    906817       579       877     25727     50395     61312   1935047     51.44     15.15  --
1490.29/373.12	c  N dy  6138    926954       579       877     25750     69350     61316   2949399     52.64     15.16  --
1523.44/381.41	c  N dy  6269    947013       579       877     26103     49880     61540   1841700     41.27     15.13  --
1558.20/390.18	c  N dy  6401    967028       579       877     26105     68696     61540   2827975     53.80     15.13  --
1595.35/399.42	c  N dy  6534    987060       579       877     26119     47963     61540   1648738     46.96     15.12  --
1626.10/407.18	c  N dy  6667   1007108       578       877     26132     66680     61540   2547281     49.29     15.09  --
1664.05/416.65	c  N dy  6801   1027245       577       877     26151     45120     61540   1528341     61.71     15.13  --
1694.82/424.31	c  N dy  6936   1047383       577       877     26155     64184     61540   2595114     56.71     15.17  --
1742.35/436.25	c  N dy  7068   1067386       577       877     26157     41550     61540   1312846     62.52     15.20  --
1769.51/443.03	c  N dy  7203   1087515       577       877     26187     60753     61544   2425365     52.30     15.24  --
1813.46/454.05	c  N dy  7336   1107556       576       877     26194     79674     61544   3506386     45.99     15.29  --
1846.20/462.27	c  N dy  7471   1127692       576       877     26199     56230     61544   2130289     46.90     15.34  --
1881.76/471.12	c  N dy  7604   1147703       576       877     26202     75126     61544   3219062     47.59     15.36  --
1922.11/481.27	c  N dy  7739   1167829       576       877     26210     50757     61548   1801947     55.56     15.41  --
1955.29/489.54	c  N dy  7873   1187849       576       877     26215     69700     61548   2848238     59.55     15.45  --
2002.41/501.36	c  N dy  8005   1207917       575       877     26226     88480     61548   3825270     51.78     15.46  --
2006.00/502.22	c  S st  8018   1209708       575       877     26226     45773     61548   1451398     66.34     15.46  --
2006.40/502.34	c  S st  8018   1210209       575       877     26226     46269     61548   1484119     66.34     15.46  --
2006.40/502.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2006.40/502.34	c Cache  BProp: 7 Set: 0 BXProp: 7 T: 0.00
2015.19/504.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     22 BRemL:    593 BRemN:   1120 CBin:       0 P: 60.0M T:  8.91
2015.19/504.58	c Calc non-exist non-lernt bins v-fix:     0 done:    575 time:  0.02 s
2015.19/504.58	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.00
2015.59/504.62	c Subs w/ non-existent bins:    482 time:  0.18 s
2015.59/504.70	c Replacing        8 vars Replaced    28512 lits Time:     0.30 s 
2015.99/504.72	c bin-w-bin subsume rem          563 bins  time:  0.02 s
2021.97/506.23	c subs with bin:       24  lits-rem:       125  v-fix:    0  time:  6.04 s
2021.97/506.23	c Removed useless bin:     238  fixed:     0  bprops:   0.03M  time:  0.00 s
2026.76/507.46	c ORs :     18 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.04
2040.35/510.81	c Added 6 vars  tried: 80000 time: 13.39
2040.75/510.92	c ORs :      6 avg-s:  0.0 cl-sh: 16550 l-rem:  16550 b-add:     13 v-rep:   0 cl-rem: 10 avg s: 3.0 T:   13.83
2040.75/510.94	c lits-rem:       548  cl-subs:     1586  v-elim:    422  v-fix:    0  time: 18.78 s
2040.75/510.94	c learnt bin added due to v-elim: 0
2040.75/510.94	c vivif2 --  cl tried      853 cl shrink        3 lits rem          3 time: 0.00
2040.75/510.97	c vivif2 --  cl tried    34775 cl shrink     1699 lits rem       2457 time: 0.12
2041.55/511.14	c asymm  cl-useful: 0/123/853 lits-rem:0 time: 0.71
2041.55/511.15	c calculated reachability. Time: 0.00
2041.55/511.15	c  N dy  8018   1210209       573       853     22860     34708     57049   1263603     66.34     15.46  --
2066.31/517.33	c  N dy  8152   1230311       573       853     22878     53967     57049   2617845     72.65     15.51  --
2100.29/525.87	c  N dy  8285   1250414       573       853     22893     73308     57049   3972008     63.23     15.53  --
2145.41/537.15	c  N dy  8416   1270548       573       853     23023     47408     57049   1905407     61.03     15.55  --
2172.97/544.01	c  N dy  8548   1290586       573       853     23024     66703     57049   3242567     73.40     15.58  --
2217.31/555.17	c  N dy  8676   1310719       591       853     23641     86425     57395   4648846     62.26     15.61  --
2261.26/566.12	c  N dy  8806   1330741       591       853     23641     58782     57395   2549193     69.86     15.63  --
2298.80/575.55	c  N dy  8936   1350755       591       853     24077     78496     57779   3815312     66.94     15.66  --
2339.54/585.76	c  N dy  9067   1370838       615       853     24821     50042     58303   1913157     79.05     15.66  --
2372.32/593.94	c  N dy  9199   1390885       615       853     24821     69399     58303   3377005     77.94     15.71  --
2412.64/604.05	c  N dy  9330   1410909       615       853     24827     88776     58303   4855536     61.26     15.75  --
2452.59/614.08	c  N dy  9446   1431006       615       853     24993     58902     58417   2494355     85.76     15.78  --
2490.54/623.55	c  N dy  9576   1451136       643       853     25803     78842     58797   3885783     75.72     15.82  --
2540.08/635.93	c  N dy  9707   1471242       643       853     25803     98390     58797   5459065     66.39     15.83  --
2575.62/644.84	c  N dy  9837   1491307       643       853     26081     67225     58887   2855756     56.22     15.87  --
2617.97/655.43	c  N dy  9968   1511408       643       853     26101     86621     58887   4243464     64.17     15.90  --
2922.77/731.79	c  N dy 10074   1609695       643       853     26115     78170     58887   4100476     85.00     16.11  --
2928.76/733.28	c Finding binary XORs  T:     0.00 s  found:       5
2963.11/741.87	c  N dy 10205   1629751       643       853     26116     97565     58887   5841823     78.52     16.11  --
3005.07/752.31	c  N dy 10337   1649770       643       853     26116     63642     58887   2654729     84.26     16.14  --
3140.47/786.29	c  N dy 10412   1710210       643       853     26116     67573     58887   2863480     72.33     16.12  --
3141.29/786.45	c  S st 10412   1710210       643       853     26116     67573     58887   2863480     72.33     16.12  --
3142.07/786.65	c  S st 10412   1710713       643       853     26116     68076     58887   2899826     72.33     16.12  --
3142.07/786.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3142.07/786.66	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.00
3154.47/789.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      7 BRemL:    555 BRemN:    645 CBin:       0 P: 60.1M T: 12.19
3154.47/789.72	c Calc non-exist non-lernt bins v-fix:     0 done:    643 time:  0.02 s
3154.47/789.72	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.00
3154.47/789.78	c Subs w/ non-existent bins:    884 time:  0.27 s
3154.87/789.81	c Replacing        5 vars Replaced     2445 lits Time:     0.08 s 
3154.87/789.86	c bin-w-bin subsume rem          688 bins  time:  0.02 s
3162.04/791.68	c subs with bin:       27  lits-rem:        78  v-fix:    0  time:  7.30 s
3162.04/791.69	c Removed useless bin:     195  fixed:     0  bprops:   0.03M  time:  0.01 s
3192.01/799.19	c ORs :     31 avg-s:  2.0 cl-sh:   667 l-rem:    667 b-add:     36 v-rep:   0 cl-rem: 7 avg s: 3.4 T:    0.10
3215.18/804.93	c Added 7 vars  tried: 80000 time: 22.95
3217.17/805.43	c ORs :      7 avg-s:  0.0 cl-sh: 34542 l-rem:  34542 b-add:     14 v-rep:   0 cl-rem: 3 avg s: 3.0 T:   24.93
3217.17/805.46	c lits-rem:       892  cl-subs:     8704  v-elim:    522  v-fix:    0  time: 55.01 s
3217.17/805.46	c learnt bin added due to v-elim: 0
3217.17/805.46	c vivif2 --  cl tried     1000 cl shrink      102 lits rem        102 time: 0.00
3217.57/805.53	c vivif2 --  cl tried    58417 cl shrink     3265 lits rem       5491 time: 0.30
3218.37/805.74	c asymm  cl-useful: 0/94/898 lits-rem:0 time: 0.84
3218.37/805.75	c calculated reachability. Time: 0.00
3218.37/805.75	c  N dy 10412   1710713       642       898     24043     58406     57082   2443753     72.33     16.12  --
3384.55/847.31	c  N dy 10495   1791494       642       898     24099     82177     57082   4303939     85.21     16.24  --
4501.04/1126.88	c  N dy 10501   2184328       670       898     24867    111548     57462   5902921     86.08     17.08  --
4566.95/1143.37	c  N dy 10515   2210715       684       898     25462     75287     57706   3095058     61.22     17.14  --
4567.75/1143.53	c  S st 10515   2210715       684       898     25462     75287     57706   3095058     61.22     17.14  --
4568.55/1143.74	c  S st 10515   2211216       697       898     25703     75919     57764   3128836     61.22     17.14  --
4568.55/1143.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4568.55/1143.75	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.00
4579.74/1146.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bin:     99 BRemL:    554 BRemN:   1079 CBin:       0 P: 60.0M T: 11.19
4579.74/1146.56	c Calc non-exist non-lernt bins v-fix:     0 done:    697 time:  0.02 s
4579.74/1146.56	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.00
4580.13/1146.64	c Subs w/ non-existent bins:    227 time:  0.32 s
4580.53/1146.72	c Replacing        7 vars Replaced    16120 lits Time:     0.35 s 
4580.53/1146.78	c bin-w-bin subsume rem          343 bins  time:  0.02 s
4588.12/1148.68	c subs with bin:      142  lits-rem:        30  v-fix:    0  time:  7.58 s
4588.12/1148.68	c Removed useless bin:      26  fixed:     0  bprops:   0.03M  time:  0.01 s
4627.67/1158.51	c ORs :     46 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      1 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.13
4650.04/1164.14	c Added 7 vars  tried: 80000 time: 22.47
4651.24/1164.44	c ORs :      7 avg-s:  0.0 cl-sh: 24954 l-rem:  24954 b-add:     16 v-rep:   0 cl-rem: 13 avg s: 3.3 T:   23.67
4651.24/1164.47	c lits-rem:       449  cl-subs:    12058  v-elim:    552  v-fix:    0  time: 63.09 s
4651.24/1164.47	c learnt bin added due to v-elim: 0
4651.24/1164.47	c vivif2 --  cl tried     1144 cl shrink      103 lits rem        103 time: 0.00
4651.64/1164.53	c vivif2 --  cl tried    63476 cl shrink      849 lits rem       1921 time: 0.23
4652.44/1164.72	c asymm  cl-useful: 0/83/1041 lits-rem:0 time: 0.75
4652.44/1164.72	c calculated reachability. Time: 0.00
4652.44/1164.72	c  N dy 10515   2211216       694      1041     23650     63470     55518   2501167     61.22     17.14  --

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

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

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


[startup+0 s]
/proc/loadavg: 4.32 6.72 7.67 3/174 27193
/proc/meminfo: memFree=13734008/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=50576 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 778 0 0 0 0 0 0 0 21 0 1 0 515461390 51789824 713 33554432000 4194304 4797429 140734897499088 18446744073709551615 235594527429 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27193/statm: 12644 713 350 148 0 7573 0

[startup+0.0155191 s]
/proc/loadavg: 4.32 6.72 7.67 3/174 27193
/proc/meminfo: memFree=13734008/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=51764 CPUtime=0.01 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 1044 0 0 0 1 0 0 0 21 0 1 0 515461390 53006336 979 33554432000 4194304 4797429 140734897499088 18446744073709551615 235594527429 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27193/statm: 12941 979 350 148 0 7870 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 51764

[startup+0.100507 s]
/proc/loadavg: 4.32 6.72 7.67 3/174 27193
/proc/meminfo: memFree=13734008/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=674344 CPUtime=0.31 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 2365 0 0 0 30 1 0 0 23 0 4 0 515461390 690528256 2275 33554432000 4194304 4797429 140734897499088 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 168586 2275 409 148 0 163515 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 674344

[startup+0.300473 s]
/proc/loadavg: 4.32 6.72 7.67 3/174 27193
/proc/meminfo: memFree=13734008/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=674880 CPUtime=1.11 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 3522 0 0 0 110 1 0 0 24 0 4 0 515461390 691077120 3429 33554432000 4194304 4797429 140734897499088 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 168720 3430 411 148 0 163649 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 674880

[startup+0.700403 s]
/proc/loadavg: 4.32 6.72 7.67 3/174 27193
/proc/meminfo: memFree=13734008/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=678964 CPUtime=2.71 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 5822 0 0 0 270 1 0 0 25 0 4 0 515461390 695259136 4113 33554432000 4194304 4797429 140734897499088 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 169741 4113 412 148 0 164670 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 678964

[startup+1.50026 s]
/proc/loadavg: 4.32 6.72 7.67 6/181 27203
/proc/meminfo: memFree=13560840/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=682608 CPUtime=5.9 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 8665 0 0 0 588 2 0 0 25 0 4 0 515461390 698990592 6303 33554432000 4194304 4797429 140734897499088 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 170652 6303 415 148 0 165581 0
[pid=27193/tid=27195] ppid=27191 vsize=682608 CPUtime=1.46 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 1758 0 0 0 146 0 0 0 25 0 4 0 515461392 698990592 6303 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=682608 CPUtime=1.46 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 1681 0 0 0 146 0 0 0 25 0 4 0 515461392 698990592 6303 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=682608 CPUtime=1.46 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 1849 0 0 0 146 0 0 0 25 0 4 0 515461392 698990592 6303 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 682608

[startup+3.10099 s]
/proc/loadavg: 4.32 6.72 7.67 9/184 27206
/proc/meminfo: memFree=13492244/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=683440 CPUtime=12.29 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 11907 0 0 0 1227 2 0 0 25 0 4 0 515461390 699842560 8679 33554432000 4194304 4797429 140734897499088 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 170860 8679 416 148 0 165789 0
[pid=27193/tid=27195] ppid=27191 vsize=683440 CPUtime=3.05 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 1949 0 0 0 305 0 0 0 25 0 4 0 515461392 699842560 8679 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=683440 CPUtime=3.06 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 2448 0 0 0 306 0 0 0 25 0 4 0 515461392 699842560 8679 33554432000 4194304 4797429 140734897499088 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=683440 CPUtime=3.06 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 2773 0 0 0 306 0 0 0 25 0 4 0 515461392 699842560 8679 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 683440

[startup+6.30042 s]
/proc/loadavg: 4.61 6.74 7.67 9/184 27206
/proc/meminfo: memFree=13311460/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=685068 CPUtime=25.08 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 14960 0 0 0 2505 3 0 0 25 0 4 0 515461390 701509632 10320 33554432000 4194304 4797429 140734897499088 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 171267 10320 416 148 0 166196 0
[pid=27193/tid=27195] ppid=27191 vsize=685068 CPUtime=6.23 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 2420 0 0 0 623 0 0 0 25 0 4 0 515461392 701509632 10320 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=685068 CPUtime=6.26 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 2689 0 0 0 626 0 0 0 25 0 4 0 515461392 701509632 10320 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=685068 CPUtime=6.26 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 3126 0 0 0 626 0 0 0 25 0 4 0 515461392 701509632 10320 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 685068

[startup+12.7003 s]
/proc/loadavg: 4.88 6.76 7.68 9/184 27206
/proc/meminfo: memFree=13290528/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=687488 CPUtime=50.64 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 18930 0 0 0 5060 4 0 0 25 0 4 0 515461390 703987712 11740 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 171872 11740 418 148 0 166801 0
[pid=27193/tid=27195] ppid=27191 vsize=687488 CPUtime=12.6 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 2779 0 0 0 1260 0 0 0 25 0 4 0 515461392 703987712 11740 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=687488 CPUtime=12.66 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 3199 0 0 0 1266 0 0 0 25 0 4 0 515461392 703987712 11740 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=687488 CPUtime=12.66 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 3693 0 0 0 1266 0 0 0 25 0 4 0 515461392 703987712 11740 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 687488

[startup+25.501 s]
/proc/loadavg: 5.64 6.83 7.68 9/184 27207
/proc/meminfo: memFree=13263092/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=690052 CPUtime=101.77 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 23665 0 0 0 10172 5 0 0 25 0 4 0 515461390 706613248 14204 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524484 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 172513 14204 418 148 0 167442 0
[pid=27193/tid=27195] ppid=27191 vsize=690052 CPUtime=25.33 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 3397 0 0 0 2533 0 0 0 25 0 4 0 515461392 706613248 14204 33554432000 4194304 4797429 140734897499088 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=690052 CPUtime=25.47 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 3807 0 0 0 2546 1 0 0 25 0 4 0 515461392 706613248 14204 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=690052 CPUtime=25.46 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 4322 0 0 0 2546 0 0 0 25 0 4 0 515461392 706613248 14204 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 690052

[startup+51.1006 s]
/proc/loadavg: 6.44 6.93 7.69 9/184 27208
/proc/meminfo: memFree=13248776/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=693576 CPUtime=204.03 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 34620 0 0 0 20395 8 0 0 25 0 4 0 515461390 710221824 15797 33554432000 4194304 4797429 140734897499088 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 173394 15797 419 148 0 168323 0
[pid=27193/tid=27195] ppid=27191 vsize=693576 CPUtime=50.79 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 4447 0 0 0 5079 0 0 0 25 0 4 0 515461392 710221824 15797 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=693576 CPUtime=51.07 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 4802 0 0 0 5106 1 0 0 25 0 4 0 515461392 710221824 15797 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=693576 CPUtime=51.07 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 5259 0 0 0 5106 1 0 0 25 0 4 0 515461392 710221824 15797 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 693576

[startup+102.307 s]
/proc/loadavg: 7.37 7.10 7.71 9/184 27209
/proc/meminfo: memFree=13222940/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=697880 CPUtime=408.58 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 56317 0 0 0 40843 15 0 0 25 0 4 0 515461390 714629120 18037 33554432000 4194304 4797429 140734897499088 18446744073709551615 4358596 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 174470 18037 421 148 0 169399 0
[pid=27193/tid=27195] ppid=27191 vsize=697880 CPUtime=101.72 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 5680 0 0 0 10171 1 0 0 25 0 4 0 515461392 714629120 18037 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=697880 CPUtime=102.26 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 6783 0 0 0 10225 1 0 0 25 0 4 0 515461392 714629120 18037 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=697880 CPUtime=102.27 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 7220 0 0 0 10226 1 0 0 25 0 4 0 515461392 714629120 18037 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (KiB) 697880

[startup+162.301 s]
/proc/loadavg: 7.81 7.28 7.73 9/184 27210
/proc/meminfo: memFree=13201316/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=701236 CPUtime=648.24 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 77485 0 0 0 64803 21 0 0 25 0 4 0 515461390 718065664 20593 33554432000 4194304 4797429 140734897499088 18446744073709551615 4255543 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 175309 20593 421 148 0 170238 0
[pid=27193/tid=27195] ppid=27191 vsize=701236 CPUtime=161.38 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 7556 0 0 0 16137 1 0 0 25 0 4 0 515461392 718065664 20593 33554432000 4194304 4797429 140734897499088 18446744073709551615 4255081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=701236 CPUtime=162.26 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 8136 0 0 0 16225 1 0 0 25 0 4 0 515461392 718065664 20593 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=701236 CPUtime=162.27 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 8780 0 0 0 16226 1 0 0 25 0 4 0 515461392 718065664 20593 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (KiB) 701236

[startup+222.3 s]
/proc/loadavg: 7.97 7.42 7.75 9/184 27212
/proc/meminfo: memFree=13177608/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=705812 CPUtime=887.91 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 94956 0 0 0 88765 26 0 0 25 0 4 0 515461390 722751488 25294 33554432000 4194304 4797429 140734897499088 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 176453 25294 421 148 0 171382 0
[pid=27193/tid=27195] ppid=27191 vsize=705812 CPUtime=221.06 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 9216 0 0 0 22104 2 0 0 25 0 4 0 515461392 722751488 25294 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=705812 CPUtime=222.26 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 9479 0 0 0 22224 2 0 0 25 0 4 0 515461392 722751488 25294 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=705812 CPUtime=222.27 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 10435 0 0 0 22225 2 0 0 25 0 4 0 515461392 722751488 25294 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.91
Current children cumulated vsize (KiB) 705812

[startup+282.301 s]

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

[pid=27193] ppid=27191 vsize=724048 CPUtime=2805.32 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 226042 0 0 0 280455 77 0 0 25 0 4 0 515461390 741425152 37326 33554432000 4194304 4797429 140734897499088 18446744073709551615 4425978 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 181012 37326 421 148 0 175941 0
[pid=27193/tid=27195] ppid=27191 vsize=724048 CPUtime=698.45 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 19664 0 0 0 69839 6 0 0 25 0 4 0 515461392 741425152 37326 33554432000 4194304 4797429 140734897499088 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=724048 CPUtime=702.26 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 20870 0 0 0 70221 5 0 0 25 0 4 0 515461392 741425152 37326 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=724048 CPUtime=702.28 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 21829 0 0 0 70221 7 0 0 25 0 4 0 515461392 741425152 37326 33554432000 4194304 4797429 140734897499088 18446744073709551615 4430056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 724048

[startup+762.307 s]
/proc/loadavg: 8.14 8.04 7.92 9/184 27238
/proc/meminfo: memFree=13092644/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=724608 CPUtime=3045.02 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 242991 0 0 0 304418 84 0 0 25 0 4 0 515461390 741998592 36549 33554432000 4194304 4797429 140734897499088 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 181152 36549 421 148 0 176081 0
[pid=27193/tid=27195] ppid=27191 vsize=724608 CPUtime=758.12 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 20990 0 0 0 75806 6 0 0 25 0 4 0 515461392 741998592 36549 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=724608 CPUtime=762.26 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 22379 0 0 0 76221 5 0 0 25 0 4 0 515461392 741998592 36549 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=724608 CPUtime=762.28 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 23149 0 0 0 76221 7 0 0 25 0 4 0 515461392 741998592 36549 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 724608

[startup+822.301 s]
/proc/loadavg: 8.16 8.06 7.93 9/184 27240
/proc/meminfo: memFree=13063244/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=725124 CPUtime=3284.68 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 257175 0 0 0 328378 90 0 0 25 0 4 0 515461390 742526976 40397 33554432000 4194304 4797429 140734897499088 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 181281 40397 421 148 0 176210 0
[pid=27193/tid=27195] ppid=27191 vsize=725124 CPUtime=817.8 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 22666 0 0 0 81773 7 0 0 25 0 4 0 515461392 742526976 40397 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429057 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=725124 CPUtime=822.27 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 23856 0 0 0 82221 6 0 0 25 0 4 0 515461392 742526976 40397 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=725124 CPUtime=822.28 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 24414 0 0 0 82220 8 0 0 25 0 4 0 515461392 742526976 40397 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 725124

[startup+882.3 s]
/proc/loadavg: 8.13 8.06 7.94 9/184 27242
/proc/meminfo: memFree=13068936/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=725852 CPUtime=3524.35 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 272775 0 0 0 352337 98 0 0 25 0 4 0 515461390 743272448 40334 33554432000 4194304 4797429 140734897499088 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 181463 40334 421 148 0 176392 0
[pid=27193/tid=27195] ppid=27191 vsize=725852 CPUtime=877.46 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 23411 0 0 0 87739 7 0 0 25 0 4 0 515461392 743272448 40334 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=725852 CPUtime=882.26 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 24640 0 0 0 88220 6 0 0 25 0 4 0 515461392 743272448 40334 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=725852 CPUtime=882.28 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 26026 0 0 0 88220 8 0 0 25 0 4 0 515461392 743272448 40334 33554432000 4194304 4797429 140734897499088 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 725852

[startup+942.301 s]
/proc/loadavg: 8.11 8.07 7.94 9/184 27243
/proc/meminfo: memFree=13045856/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=726904 CPUtime=3764.04 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 285415 0 0 0 376299 105 0 0 25 0 4 0 515461390 744349696 43007 33554432000 4194304 4797429 140734897499088 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 181726 43007 421 148 0 176655 0
[pid=27193/tid=27195] ppid=27191 vsize=726904 CPUtime=937.14 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 24845 0 0 0 93706 8 0 0 25 0 4 0 515461392 744349696 43007 33554432000 4194304 4797429 140734897499088 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=726904 CPUtime=942.26 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 26003 0 0 0 94219 7 0 0 25 0 4 0 515461392 744349696 43007 33554432000 4194304 4797429 140734897499088 18446744073709551615 4520341 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=726904 CPUtime=942.29 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 26836 0 0 0 94220 9 0 0 25 0 4 0 515461392 744349696 43007 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524489 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 726904

[startup+1002.3 s]
/proc/loadavg: 8.10 8.07 7.95 9/184 27245
/proc/meminfo: memFree=13041980/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=728532 CPUtime=4003.71 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 298608 0 0 0 400259 112 0 0 25 0 4 0 515461390 746016768 44431 33554432000 4194304 4797429 140734897499088 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 182133 44431 421 148 0 177062 0
[pid=27193/tid=27195] ppid=27191 vsize=728532 CPUtime=996.81 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 26233 0 0 0 99673 8 0 0 25 0 4 0 515461392 746016768 44431 33554432000 4194304 4797429 140734897499088 18446744073709551615 4568160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=728532 CPUtime=1002.27 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 27529 0 0 0 100219 8 0 0 25 0 4 0 515461392 746016768 44431 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=728532 CPUtime=1002.29 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 28295 0 0 0 100219 10 0 0 25 0 4 0 515461392 746016768 44431 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 728532

[startup+1062.3 s]
/proc/loadavg: 8.09 8.07 7.95 9/184 27246
/proc/meminfo: memFree=13040596/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=731000 CPUtime=4243.39 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 313768 0 0 0 424220 119 0 0 25 0 4 0 515461390 748544000 42057 33554432000 4194304 4797429 140734897499088 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 182750 42057 421 148 0 177679 0
[pid=27193/tid=27195] ppid=27191 vsize=731000 CPUtime=1056.5 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 27551 0 0 0 105641 9 0 0 25 0 4 0 515461392 748544000 42057 33554432000 4194304 4797429 140734897499088 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=731000 CPUtime=1062.27 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 28329 0 0 0 106219 8 0 0 25 0 4 0 515461392 748544000 42057 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=731000 CPUtime=1062.29 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 29644 0 0 0 106218 11 0 0 25 0 4 0 515461392 748544000 42057 33554432000 4194304 4797429 140734897499088 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 731000

[startup+1122.3 s]
/proc/loadavg: 8.13 8.08 7.96 9/184 27248
/proc/meminfo: memFree=13031772/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=731252 CPUtime=4483.07 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 324569 0 0 0 448183 124 0 0 25 0 4 0 515461390 748802048 44730 33554432000 4194304 4797429 140734897499088 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 182813 44730 421 148 0 177742 0
[pid=27193/tid=27195] ppid=27191 vsize=731252 CPUtime=1116.16 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 28349 0 0 0 111607 9 0 0 25 0 4 0 515461392 748802048 44730 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=731252 CPUtime=1122.27 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 29609 0 0 0 112218 9 0 0 25 0 4 0 515461392 748802048 44730 33554432000 4194304 4797429 140734897499088 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=731252 CPUtime=1122.29 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 30509 0 0 0 112218 11 0 0 25 0 4 0 515461392 748802048 44730 33554432000 4194304 4797429 140734897499088 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 731252

[startup+1182.3 s]
/proc/loadavg: 8.13 8.09 7.97 9/184 27250
/proc/meminfo: memFree=13024312/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=731596 CPUtime=4722.75 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 336848 0 0 0 472145 130 0 0 25 0 4 0 515461390 749154304 44955 33554432000 4194304 4797429 140734897499088 18446744073709551615 4351810 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 182899 44955 421 148 0 177828 0
[pid=27193/tid=27195] ppid=27191 vsize=731596 CPUtime=1175.84 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 29607 0 0 0 117574 10 0 0 25 0 4 0 515461392 749154304 44955 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=731596 CPUtime=1182.27 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 31005 0 0 0 118217 10 0 0 25 0 4 0 515461392 749154304 44955 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=731596 CPUtime=1182.29 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 31892 0 0 0 118218 11 0 0 25 0 4 0 515461392 749154304 44955 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.75
Current children cumulated vsize (KiB) 731596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.16 8.10 7.98 9/184 27250
/proc/meminfo: memFree=13009556/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=731596 CPUtime=4800.26 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 339030 0 0 0 479895 131 0 0 25 0 4 0 515461390 749154304 47104 33554432000 4194304 4797429 140734897499088 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 182899 47104 421 148 0 177828 0
[pid=27193/tid=27195] ppid=27191 vsize=731596 CPUtime=1195.13 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 29832 0 0 0 119503 10 0 0 25 0 4 0 515461392 749154304 47104 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=731596 CPUtime=1201.68 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 31228 0 0 0 120158 10 0 0 25 0 4 0 515461392 749154304 47104 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=731596 CPUtime=1201.7 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 32179 0 0 0 120159 11 0 0 25 0 4 0 515461392 749154304 47104 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 731596

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

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

[startup+1201.7 s]
/proc/loadavg: 8.16 8.10 7.98 9/184 27250
/proc/meminfo: memFree=13009556/32950928 swapFree=67111528/67111528
[pid=27193] ppid=27191 vsize=731596 CPUtime=4800.26 cores=1,3,5,7
/proc/27193/stat : 27193 (techdemo) R 27191 27193 26049 0 -1 4202496 339030 0 0 0 479895 131 0 0 25 0 4 0 515461390 749154304 47104 33554432000 4194304 4797429 140734897499088 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27193/statm: 182899 47104 421 148 0 177828 0
[pid=27193/tid=27195] ppid=27191 vsize=731596 CPUtime=1195.13 cores=1,3,5,7
/proc/27193/task/27195/stat : 27195 (techdemo) R 27191 27193 26049 0 -1 4202560 29832 0 0 0 119503 10 0 0 25 0 4 0 515461392 749154304 47104 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27193/tid=27196] ppid=27191 vsize=731596 CPUtime=1201.68 cores=1,3,5,7
/proc/27193/task/27196/stat : 27196 (techdemo) R 27191 27193 26049 0 -1 4202560 31228 0 0 0 120158 10 0 0 25 0 4 0 515461392 749154304 47104 33554432000 4194304 4797429 140734897499088 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27193/tid=27197] ppid=27191 vsize=731596 CPUtime=1201.7 cores=1,3,5,7
/proc/27193/task/27197/stat : 27197 (techdemo) R 27191 27193 26049 0 -1 4202560 32179 0 0 0 120159 11 0 0 25 0 4 0 515461392 749154304 47104 33554432000 4194304 4797429 140734897499088 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 731596

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.3
CPU user time (s): 4798.98
CPU system time (s): 1.3218
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 845400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.98
system time used= 1.3218
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339030
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= 293
involuntary context switches= 32832

runsolver used 1.93871 second user time and 4.64529 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 02:57:06
IDJOB=3259821
IDBENCH=71805
IDSOLVER=1584
FILE ID=node120/3259821-1304038626
RUNJOBID= node120-1304038626-27180
PBS_JOBID= 13170332
Free space on /tmp= 72072 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-23-189-21-75.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259821-1304038626/watcher-3259821-1304038626 -o /tmp/evaluation-result-3259821-1304038626/solver-3259821-1304038626 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3259821-1304038626.cnf

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

MD5SUM BENCH= 46a186d5aa9ba41a176adf24fb365342
RANDOM SEED=285586980

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13734040 kB
Buffers:       2481180 kB
Cached:       16095768 kB
SwapCached:          0 kB
Active:       10844564 kB
Inactive:      7800248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13734040 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10900 kB
Writeback:           0 kB
AnonPages:       67336 kB
Mapped:          14696 kB
Slab:           507420 kB
PageTables:       4704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   190476 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= 72048 MiB
End job on node120 at 2011-04-29 03:17:10