Trace number 3262329

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

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
MD5SUM91ac0151536835225f21cbe5a3574a2d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.435933
Satisfiable
(Un)Satisfiability was proved
Number of variables222
Number of clauses26201
Sum of the clauses size115467
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2294
Number of clauses of size 323935
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51972

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-3262329-1304133455.cnf'
0.00/0.00	c -- header says num vars:            222
0.00/0.00	c -- header says num clauses:       26201
0.00/0.04	c -- clauses added:            0 learnts,        26201 normals,            0 xors
0.00/0.04	c -- vars added        222
0.00/0.04	c Parsing time:  0.04 s
0.00/0.04	c  N st     0         0       222     25907       294         0    115467         0   no data   no data  --
0.65/0.26	c asymm  cl-useful: 4/11691/25907 lits-rem:8 time: 0.85
0.65/0.26	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.02
0.65/0.26	c Calc non-exist non-lernt bins v-fix:     0 done:    221 time:  0.00 s
0.65/0.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.65/0.26	c Subs w/ non-existent bins:      0 time:  0.00 s
0.65/0.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.65/0.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.65/0.27	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1.05/0.37	c lits-rem:         0  cl-subs:        9  v-elim:    146  v-fix:    0  time:  0.38 s
1.05/0.37	c learnt bin added due to v-elim: 0
1.05/0.37	c Finding binary XORs  T:     0.00 s  found:       0
1.45/0.40	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
1.45/0.40	c calculated reachability. Time: 0.00
1.45/0.40	c Calc default polars -  time:   0.00 s pos:     221 undec:       1 neg:       0
1.45/0.40	c =========================================================================================
1.45/0.40	c types(t): F = full restart, N = normal restart
1.45/0.40	c types(t): S = simplification begin/end, E = solution found
1.45/0.40	c restart types(rt): st = static, dy = dynamic
1.45/0.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.45/0.40	c  B st     0         0       221     25898        73         0    114807         0   no data   no data  --
2.24/0.61	c Decided on static restart strategy
3.05/0.81	c  N dy    20      4060       221     25898        73      3871    114807     79830     19.74     11.63  --
4.26/1.19	c  N dy    49      8158       221     25898        73      5404    114807    100428     20.99     11.48  --
5.85/1.58	c  N dy    78     12242       221     25898        73      5237    114807     86385     20.86     11.42  --
7.45/1.96	c  N dy   107     16328       221     25898        73      9131    114807    167294     19.11     11.39  --
9.07/2.36	c  N dy   136     20412       221     25898        73      7661    114807    127394     19.84     11.35  --
10.64/2.75	c  N dy   165     24432       221     25898        73     11505    114807    205631     19.84     11.32  --
12.24/3.16	c  N dy   193     28467       221     25898        73      8819    114807    138889     20.07     11.28  --
13.05/3.32	c  S st   204     30000       221     25898        73     10274    114807    168223     20.00     11.28  --
13.05/3.37	c  S st   204     30502       221     25898        73     10769    114807    179371     20.00     11.28  --
13.05/3.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.05/3.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.05/3.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  0.12
13.05/3.40	c Calc non-exist non-lernt bins v-fix:     0 done:    221 time:  0.00 s
13.05/3.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.05/3.40	c Subs w/ non-existent bins:      0 time:  0.01 s
13.45/3.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
13.45/3.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
13.45/3.42	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.62/4.75	c lits-rem:       107  cl-subs:     1490  v-elim:    221  v-fix:    0  time:  5.32 s
18.62/4.75	c learnt bin added due to v-elim: 0
18.62/4.75	c vivif2 --  cl tried    25898 cl shrink        0 lits rem          0 time: 0.01
18.62/4.75	c vivif2 --  cl tried     9279 cl shrink        0 lits rem          0 time: 0.01
19.42/4.98	c asymm  cl-useful: 0/11393/25898 lits-rem:0 time: 0.93
19.42/4.99	c calculated reachability. Time: 0.00
19.42/4.99	c  N dy   204     30502       221     25898        73      9279    114807    160930     20.00     11.28  --
19.42/4.99	c  F st   204     30502       221     25898        73      9279    114807    160930     20.00     11.28  --
20.62/5.20	c Decided on static restart strategy
21.43/5.40	c  N dy   225     34629       221     25898        73     13225    114807    245176     19.95     11.30  --
23.02/5.82	c  N dy   253     38638       221     25898        73      9541    114807    149988     21.31     11.29  --
24.62/6.22	c  N dy   282     42702       221     25898        73     13428    114807    228421     19.42     11.31  --
25.82/6.55	c  S st   304     45753       221     25898        73     16346    114807    288509     20.37     11.33  --
25.82/6.60	c  S st   304     46256       221     25898        73     16842    114807    298909     20.37     11.33  --
26.24/6.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
26.24/6.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.24/6.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.24
26.24/6.66	c Calc non-exist non-lernt bins v-fix:     0 done:    221 time:  0.00 s
26.24/6.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.24/6.67	c Subs w/ non-existent bins:      0 time:  0.02 s
26.24/6.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
26.24/6.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
26.24/6.69	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
32.61/8.21	c lits-rem:       260  cl-subs:     1697  v-elim:    221  v-fix:    0  time:  6.08 s
32.61/8.21	c learnt bin added due to v-elim: 0
32.61/8.21	c vivif2 --  cl tried    25898 cl shrink        0 lits rem          0 time: 0.01
32.61/8.21	c vivif2 --  cl tried    15145 cl shrink        0 lits rem          0 time: 0.02
32.61/8.29	c asymm  cl-useful: 0/2814/25898 lits-rem:0 time: 0.30
32.61/8.29	c calculated reachability. Time: 0.00
32.61/8.29	c  N dy   304     46256       221     25898        73     15145    114807    272520     20.37     11.33  --
34.61/8.72	c  N dy   333     50381       221     25898        73     10603    114807    163883     21.35     11.34  --
36.20/9.13	c  N dy   362     54514       221     25898        73     14546    114807    243125     20.05     11.32  --
37.80/9.58	c  N dy   391     58586       221     25898        73     18432    114807    322541     21.10     11.35  --
39.82/10.01	c  N dy   420     62698       221     25898        73     12879    114807    205743     20.61     11.34  --
41.39/10.43	c  N dy   449     66754       221     25898        73     16768    114807    284424     19.63     11.33  --
42.60/10.73	c  S st   468     69384       221     25898        73     19300    114807    335956     20.33     11.32  --
42.60/10.79	c  S st   468     69888       221     25898        73     19797    114807    346096     20.33     11.32  --
42.60/10.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.60/10.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.00/10.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.9M T:  0.36
43.00/10.88	c Calc non-exist non-lernt bins v-fix:     0 done:    221 time:  0.00 s
43.00/10.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.00/10.88	c Subs w/ non-existent bins:      0 time:  0.02 s
43.00/10.89	c bin-w-bin subsume rem            0 bins  time:  0.01 s
43.40/10.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
43.40/10.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.79/12.59	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.00
56.99/14.31	c Added 3 vars  tried: 80000 time: 6.86
56.99/14.32	c ORs :      3 avg-s:  0.0 cl-sh:  2114 l-rem:   2114 b-add:      6 v-rep:   0 cl-rem: 25 avg s: 3.2 T:    6.91
56.99/14.33	c lits-rem:       283  cl-subs:     1894  v-elim:    221  v-fix:    0  time: 13.68 s
56.99/14.33	c learnt bin added due to v-elim: 0
56.99/14.33	c vivif2 --  cl tried    25877 cl shrink        0 lits rem          0 time: 0.00
56.99/14.34	c vivif2 --  cl tried    17902 cl shrink        0 lits rem          0 time: 0.02
57.77/14.52	c asymm  cl-useful: 0/3766/25877 lits-rem:0 time: 0.74
57.77/14.53	c calculated reachability. Time: 0.00
57.77/14.53	c  N dy   468     69888       224     25877        79     17902    114550    315630     20.33     11.32  --
57.77/14.53	c  F st   468     69888       224     25877        79     17902    114550    315630     20.33     11.32  --
58.57/14.76	c Decided on static restart strategy
59.77/15.04	c  N dy   492     74470       224     25877        79     11799    114550    172045     19.56     11.30  --
61.79/15.56	c  N dy   526     79295       224     25877        79     16361    114550    258608     19.74     11.24  --
64.17/16.13	c  N dy   563     84481       224     25877        79     21343    114550    356228     18.33     11.23  --
66.56/16.73	c  N dy   601     89983       224     25877        79     15161    114550    223695     20.32     11.25  --
68.96/17.33	c  N dy   642     95834       224     25877        79     20724    114550    333116     18.73     11.23  --
71.75/18.05	c  N dy   686    102073       224     25877        79     14256    114550    187197     19.24     11.20  --
72.95/18.35	c  S st   706    104833       224     25877        79     16882    114550    240118     20.14     11.21  --
73.35/18.40	c  S st   706    105336       224     25877        79     17380    114550    250039     20.14     11.21  --
73.35/18.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
73.35/18.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.35/18.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.3M T:  0.32
73.35/18.49	c Calc non-exist non-lernt bins v-fix:     0 done:    224 time:  0.00 s
73.35/18.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.35/18.49	c Subs w/ non-existent bins:      0 time:  0.02 s
73.76/18.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
73.76/18.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
73.76/18.51	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.55/19.79	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
78.55/19.80	c lits-rem:       186  cl-subs:     1454  v-elim:    221  v-fix:    0  time:  5.16 s
78.55/19.80	c learnt bin added due to v-elim: 0
78.55/19.80	c vivif2 --  cl tried    25877 cl shrink        0 lits rem          0 time: 0.01
78.96/19.80	c vivif2 --  cl tried    15926 cl shrink        0 lits rem          0 time: 0.01
79.37/20.00	c asymm  cl-useful: 0/4139/25877 lits-rem:0 time: 0.76
79.74/20.00	c calculated reachability. Time: 0.00
79.74/20.00	c  N dy   706    105336       224     25877        79     15926    114550    231910     20.14     11.21  --
82.54/20.74	c  N dy   754    112138       224     25877        79     22405    114550    357630     20.70     11.20  --
85.73/21.56	c  N dy   805    119343       224     25877        79     15957    114550    212303     18.43     11.19  --
89.33/22.40	c  N dy   859    127017       224     25877        79     23293    114549    355990     19.45     11.16  --
92.92/23.37	c  N dy   917    135202       224     25877        79     16815    114549    223524     19.83     11.16  --
96.93/24.34	c  N dy   979    143973       224     25877        79     25132    114549    391107     18.74     11.17  --
101.34/25.42	c  N dy  1044    153224       224     25877        79     18751    114549    257960     19.49     11.16  --
103.31/25.98	c  S st  1079    158004       224     25877        79     23344    114549    348910     18.62     11.16  --
103.71/26.04	c  S st  1079    158506       224     25877        79     23837    114549    359153     18.62     11.16  --
103.71/26.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
103.71/26.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.11/26.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.6M T:  0.52
104.11/26.18	c Calc non-exist non-lernt bins v-fix:     0 done:    224 time:  0.00 s
104.11/26.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.11/26.18	c Subs w/ non-existent bins:      0 time:  0.02 s
104.11/26.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.51/26.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
104.51/26.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
111.30/27.93	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
111.30/27.94	c lits-rem:       305  cl-subs:     2227  v-elim:    221  v-fix:    0  time:  6.93 s
111.30/27.94	c learnt bin added due to v-elim: 0
111.30/27.94	c vivif2 --  cl tried    25877 cl shrink        0 lits rem          0 time: 0.01
111.30/27.94	c vivif2 --  cl tried    21610 cl shrink        0 lits rem          0 time: 0.02
112.10/28.15	c asymm  cl-useful: 0/4632/25877 lits-rem:0 time: 0.81
112.10/28.15	c calculated reachability. Time: 0.00
112.10/28.15	c  N dy  1079    158506       224     25877        79     21610    114549    330170     18.62     11.16  --
116.89/29.38	c  N dy  1151    168665       224     25877        79     31297    114548    521713     20.18     11.15  --
122.09/30.66	c  N dy  1228    179548       236     25877       103     25567    114596    383401     18.08     11.13  --
128.07/32.10	c  N dy  1309    191033       236     25877       103     19315    114596    255168     18.41     11.12  --
133.66/33.55	c  N dy  1395    203269       236     25877       103     30930    114595    483984     19.74     11.12  --
140.06/35.18	c  N dy  1488    216343       236     25877       103     25300    114595    373910     20.82     11.12  --
147.24/36.98	c  N dy  1586    230196       236     25877       103     19454    114595    248693     19.93     11.12  --
150.84/37.87	c  S st  1640    237759       236     25877       103     26615    114595    388087     20.66     11.11  --
151.24/37.94	c  S st  1640    238261       236     25877       103     27107    114595    397502     20.66     11.11  --
151.24/37.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
151.24/37.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
152.04/38.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.6M T:  0.69
152.04/38.11	c Calc non-exist non-lernt bins v-fix:     0 done:    236 time:  0.01 s
152.04/38.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
152.04/38.12	c Subs w/ non-existent bins:      0 time:  0.02 s
152.04/38.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
152.04/38.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
152.04/38.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
158.83/39.82	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
158.83/39.83	c lits-rem:       348  cl-subs:     1986  v-elim:    221  v-fix:    0  time:  6.75 s
158.83/39.83	c learnt bin added due to v-elim: 0
158.83/39.83	c vivif2 --  cl tried    25875 cl shrink        0 lits rem          0 time: 0.01
158.83/39.84	c vivif2 --  cl tried    25123 cl shrink        0 lits rem          0 time: 0.02
159.63/40.04	c asymm  cl-useful: 0/5280/25875 lits-rem:0 time: 0.81
159.63/40.04	c calculated reachability. Time: 0.00
159.63/40.04	c  N dy  1640    238261       236     25875       103     25123    114552    372065     20.66     11.11  --
167.62/42.00	c  N dy  1748    253589       236     25875       103     39688    114552    658338     19.02     11.10  --
175.63/44.01	c  N dy  1862    269782       236     25875       103     35194    114552    545192     17.97     11.09  --
184.41/46.23	c  N dy  1984    287058       248     25875       131     30753    114604    435262     19.60     11.08  --
193.99/48.68	c  N dy  2114    305436       248     25875       131     26351    114604    334149     19.37     11.08  --
204.77/51.31	c  N dy  2253    325035       248     25875       131     45005    114604    692188     17.80     11.07  --
215.17/53.90	c  N dy  2393    345044       248     25875       131     41207    114604    612991     18.37     11.07  --
221.95/55.61	c  S st  2481    357391       248     25875       131     29166    114604    360260     19.94     11.07  --
221.95/55.68	c  S st  2481    357895       248     25875       131     29664    114604    370697     19.94     11.07  --
221.95/55.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
221.95/55.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
222.75/55.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 14.2M T:  0.75
222.75/55.87	c Calc non-exist non-lernt bins v-fix:     0 done:    248 time:  0.00 s
222.75/55.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
222.75/55.87	c Subs w/ non-existent bins:      0 time:  0.03 s
222.75/55.88	c Replacing        1 vars Replaced       34 lits Time:     0.01 s 
222.75/55.89	c bin-w-bin subsume rem            2 bins  time:  0.01 s
223.15/55.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
223.15/55.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
229.54/57.57	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
229.54/57.58	c lits-rem:       380  cl-subs:     1788  v-elim:    221  v-fix:    0  time:  6.73 s
229.54/57.58	c learnt bin added due to v-elim: 0
229.54/57.58	c vivif2 --  cl tried    25875 cl shrink        0 lits rem          0 time: 0.01
229.54/57.59	c vivif2 --  cl tried    27876 cl shrink        0 lits rem          0 time: 0.02
230.33/57.78	c asymm  cl-useful: 0/3953/25875 lits-rem:0 time: 0.75
230.33/57.78	c calculated reachability. Time: 0.00
230.33/57.78	c  N dy  2481    357895       247     25875       125     27876    114596    349464     19.94     11.07  --
241.12/60.47	c  N dy  2622    378008       259     25875       161     47070    114656    723782     19.82     11.07  --
339.38/85.01	c  N dy  2660    536843       259     25875       161     35964    114655    452019     20.66     11.25  --
339.38/85.02	c  S st  2660    536843       259     25875       161     35964    114655    452019     20.66     11.25  --
339.78/85.10	c  S st  2660    537343       259     25875       161     36458    114655    461592     20.66     11.25  --
339.78/85.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
339.78/85.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
340.58/85.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.7M T:  0.91
340.58/85.33	c Calc non-exist non-lernt bins v-fix:     0 done:    259 time:  0.01 s
340.58/85.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
340.58/85.34	c Subs w/ non-existent bins:      0 time:  0.03 s
340.58/85.34	c Replacing        3 vars Replaced       96 lits Time:     0.01 s 
340.58/85.35	c bin-w-bin subsume rem            6 bins  time:  0.01 s
340.58/85.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
340.58/85.37	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
348.56/87.36	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
351.39/88.07	c Added 3 vars  tried: 80000 time: 2.82
351.39/88.08	c ORs :      3 avg-s:  0.0 cl-sh:  1901 l-rem:   1901 b-add:      9 v-rep:   0 cl-rem: 12 avg s: 3.6 T:    2.87
351.39/88.09	c lits-rem:       655  cl-subs:     1770  v-elim:    221  v-fix:    0  time: 10.89 s
351.39/88.09	c learnt bin added due to v-elim: 0
351.39/88.10	c vivif2 --  cl tried    25866 cl shrink        0 lits rem          0 time: 0.01
351.79/88.10	c vivif2 --  cl tried    34685 cl shrink        0 lits rem          0 time: 0.03
351.79/88.19	c asymm  cl-useful: 0/1641/25866 lits-rem:0 time: 0.36
352.16/88.20	c calculated reachability. Time: 0.00
352.16/88.20	c  N dy  2660    537343       259     25866       152     34685    114549    435102     20.66     11.25  --
352.16/88.20	c  F st  2660    537343       259     25866       152     34685    114549    435102     20.66     11.25  --
353.36/88.50	c Decided on static restart strategy
363.35/91.09	c  N dy  2793    557420       259     25866       152     53868    114549    817607     18.50     11.25  --
375.33/94.01	c  N dy  2935    577459       259     25866       152     42235    114549    561727     19.25     11.25  --
387.31/97.05	c  N dy  3077    597546       259     25866       152     61397    114549    936486     19.55     11.24  --
522.75/130.94	c  N dy  3174    806015       259     25866       152     57148    114549    761773     16.91     11.05  --
522.75/130.97	c  S st  3174    806015       259     25866       152     57148    114549    761773     16.91     11.05  --
522.75/130.97	c Finding binary XORs  T:     0.00 s  found:       2
523.15/131.06	c  S st  3174    806516       271     25866       182     57726    114603    772400     16.91     11.05  --
523.15/131.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
523.15/131.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
524.73/131.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 27.6M T:  1.62
524.73/131.47	c Calc non-exist non-lernt bins v-fix:     0 done:    271 time:  0.01 s
524.73/131.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
524.73/131.48	c Subs w/ non-existent bins:      0 time:  0.05 s
525.13/131.51	c Replacing        2 vars Replaced     1141 lits Time:     0.08 s 
525.13/131.52	c bin-w-bin subsume rem            4 bins  time:  0.01 s
525.13/131.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
525.13/131.54	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
535.52/134.10	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 6.0 T:    0.04
535.52/134.12	c lits-rem:       703  cl-subs:    11234  v-elim:    221  v-fix:    0  time: 10.28 s
535.52/134.12	c learnt bin added due to v-elim: 0
535.52/134.12	c vivif2 --  cl tried    25866 cl shrink        0 lits rem          0 time: 0.01
535.52/134.13	c vivif2 --  cl tried    46490 cl shrink        0 lits rem          0 time: 0.04
535.93/134.24	c asymm  cl-useful: 0/2416/25866 lits-rem:0 time: 0.43
535.93/134.24	c calculated reachability. Time: 0.00
535.93/134.24	c  N dy  3174    806516       269     25866       171     46490    114589    643195     16.91     11.05  --
548.70/137.47	c  N dy  3316    826654       269     25866       171     65670    114589   1014798     17.30     11.05  --
827.90/207.32	c  N dy  3358   1209775       278     25866       189     62792    114625    869385     21.66     10.93  --
827.90/207.36	c  S st  3358   1209775       278     25866       189     62792    114625    869385     21.66     10.93  --
828.30/207.46	c  S st  3358   1210280       290     25866       225     63367    114685    879225     21.66     10.93  --
828.30/207.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
828.30/207.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
830.72/208.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 34.2M T:  2.23
830.72/208.02	c Calc non-exist non-lernt bins v-fix:     0 done:    290 time:  0.01 s
830.72/208.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
830.72/208.04	c Subs w/ non-existent bins:      0 time:  0.06 s
830.72/208.04	c Replacing        3 vars Replaced      112 lits Time:     0.02 s 
830.72/208.06	c bin-w-bin subsume rem            6 bins  time:  0.01 s
830.72/208.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
830.72/208.09	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
842.69/211.09	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 7.0 T:    0.04
847.08/212.19	c Added 3 vars  tried: 80000 time: 4.37
847.48/212.20	c ORs :      3 avg-s:  0.0 cl-sh:  1846 l-rem:   1846 b-add:      8 v-rep:   0 cl-rem: 19 avg s: 3.0 T:    4.41
847.48/212.22	c lits-rem:      1600  cl-subs:     8182  v-elim:    221  v-fix:    0  time: 16.50 s
847.48/212.22	c learnt bin added due to v-elim: 0
847.48/212.22	c vivif2 --  cl tried    25850 cl shrink        0 lits rem          0 time: 0.01
847.48/212.23	c vivif2 --  cl tried    55182 cl shrink        0 lits rem          0 time: 0.06
847.89/212.33	c asymm  cl-useful: 0/1120/25850 lits-rem:0 time: 0.38
847.89/212.33	c calculated reachability. Time: 0.00
847.89/212.33	c  N dy  3358   1210280       290     25850       215     55182    114431    786099     21.66     10.93  --
1322.45/331.17	c  N dy  3360   1710280       290     25850       215     86201    114431   1318175     20.83     11.18  --
1322.85/331.23	c  S st  3360   1710280       290     25850       215     86201    114431   1318175     20.83     11.18  --
1323.23/331.36	c  S st  3360   1710784       290     25850       215     86703    114431   1327669     20.83     11.18  --
1323.23/331.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1323.23/331.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1326.43/332.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      2 BRemL:      0 BRemN:      0 CBin:       0 P: 48.0M T:  3.26
1326.43/332.18	c Calc non-exist non-lernt bins v-fix:     0 done:    290 time:  0.01 s
1326.43/332.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1326.84/332.20	c Subs w/ non-existent bins:      0 time:  0.07 s
1326.84/332.21	c Replacing        2 vars Replaced      226 lits Time:     0.04 s 
1326.84/332.24	c bin-w-bin subsume rem            4 bins  time:  0.01 s
1326.84/332.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
1326.84/332.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1344.42/336.63	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.05
1344.42/336.65	c lits-rem:      1757  cl-subs:     6294  v-elim:    221  v-fix:    0  time: 17.47 s
1344.42/336.65	c learnt bin added due to v-elim: 0
1344.42/336.66	c vivif2 --  cl tried    25850 cl shrink        0 lits rem          0 time: 0.01
1344.42/336.68	c vivif2 --  cl tried    80409 cl shrink        0 lits rem          0 time: 0.09
1344.82/336.79	c asymm  cl-useful: 1/683/25850 lits-rem:1 time: 0.43
1344.82/336.79	c calculated reachability. Time: 0.00
1344.82/336.79	c  N dy  3360   1710784       288     25850       209     80409    114422   1218684     20.83     11.18  --
1826.54/457.36	c  N dy  3366   2210785       288     25850       210     95238    114422   1428968     20.61     11.26  --
1826.94/457.42	c  S st  3366   2210785       288     25850       210     95238    114422   1428968     20.61     11.26  --
1827.34/457.56	c  S st  3366   2211287       290     25850       214     95752    114430   1439826     20.61     11.26  --
1827.34/457.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1827.34/457.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1830.93/458.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 51.0M T:  3.49
1830.93/458.44	c Calc non-exist non-lernt bins v-fix:     0 done:    290 time:  0.01 s
1830.93/458.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1830.93/458.47	c Subs w/ non-existent bins:      0 time:  0.09 s
1831.33/458.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1833.32/459.08	c subs with bin:     4535  lits-rem:      1135  v-fix:    0  time:  2.34 s
1833.32/459.09	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
1853.70/464.19	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.05
1854.12/464.22	c lits-rem:       460  cl-subs:     8978  v-elim:    221  v-fix:    0  time: 20.50 s
1854.12/464.22	c learnt bin added due to v-elim: 0
1854.12/464.22	c vivif2 --  cl tried    25843 cl shrink        0 lits rem          0 time: 0.01
1854.12/464.25	c vivif2 --  cl tried    82246 cl shrink        0 lits rem          0 time: 0.09
1854.52/464.36	c asymm  cl-useful: 0/375/25843 lits-rem:0 time: 0.45
1854.52/464.36	c calculated reachability. Time: 0.00
1854.52/464.36	c  N dy  3366   2211287       290     25843       214     82246    114393   1239855     20.61     11.26  --
2395.35/599.70	c  N dy  3377   2711287       290     25843       218    104230    114393   1399841     19.54     11.18  --
2395.35/599.76	c  S st  3377   2711287       290     25843       218    104230    114393   1399841     19.54     11.18  --
2395.35/599.76	c Finding binary XORs  T:     0.00 s  found:       1
2396.15/599.90	c  S st  3377   2711792       293     25843       225    104748    114407   1409269     19.54     11.18  --
2396.15/599.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2396.15/599.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2399.37/600.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      1 CBin:       0 P: 50.5M T:  3.37
2399.37/600.75	c Calc non-exist non-lernt bins v-fix:     0 done:    293 time:  0.01 s
2399.37/600.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2399.37/600.78	c Subs w/ non-existent bins:      1 time:  0.10 s
2399.37/600.79	c Replacing        1 vars Replaced       16 lits Time:     0.04 s 
2399.75/600.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2405.34/602.28	c subs with bin:    11758  lits-rem:      4787  v-fix:    0  time:  5.84 s
2405.34/602.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2428.91/608.18	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 4.0 T:    0.05
2429.31/608.20	c lits-rem:       121  cl-subs:    25540  v-elim:    221  v-fix:    0  time: 23.64 s
2429.31/608.20	c learnt bin added due to v-elim: 0
2429.31/608.20	c vivif2 --  cl tried    25827 cl shrink        0 lits rem          0 time: 0.01
2429.31/608.22	c vivif2 --  cl tried    67464 cl shrink      579 lits rem        579 time: 0.08
2429.73/608.33	c asymm  cl-useful: 0/395/25827 lits-rem:0 time: 0.43
2429.73/608.34	c calculated reachability. Time: 0.00
2429.73/608.34	c  N dy  3377   2711792       292     25827       224     67464    114359    925942     19.54     11.18  --
2429.73/608.34	c  F st  3377   2711792       292     25827       224     67464    114359    925942     19.54     11.18  --
2431.71/608.84	c Decided on static restart strategy
3063.64/767.03	c  N dy  3389   3211794       292     25827       224    121179    114359   1651567     16.36     11.15  --
3064.04/767.10	c  S st  3389   3211794       292     25827       224    121179    114359   1651567     16.36     11.15  --
3064.44/767.27	c  S st  3389   3212295       296     25827       233    121692    114375   1662088     16.36     11.15  --
3064.44/767.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3064.44/767.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3068.83/768.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.2M T:  4.20
3068.83/768.34	c Calc non-exist non-lernt bins v-fix:     0 done:    296 time:  0.02 s
3068.83/768.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3068.83/768.36	c Subs w/ non-existent bins:      0 time:  0.11 s
3069.23/768.40	c bin-w-bin subsume rem            2 bins  time:  0.01 s
3069.63/768.54	c subs with bin:      614  lits-rem:         0  v-fix:    0  time:  0.55 s
3069.63/768.54	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3106.80/777.88	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.08
3110.79/778.89	c Added 3 vars  tried: 80000 time: 4.06
3111.19/778.91	c ORs :      3 avg-s:  0.0 cl-sh:  1736 l-rem:   1736 b-add:      7 v-rep:   0 cl-rem: 14 avg s: 3.0 T:    4.11
3111.19/778.94	c lits-rem:       823  cl-subs:    25416  v-elim:    221  v-fix:    0  time: 41.54 s
3111.19/778.94	c learnt bin added due to v-elim: 0
3111.19/778.94	c vivif2 --  cl tried    25810 cl shrink        0 lits rem          0 time: 0.01
3111.19/778.97	c vivif2 --  cl tried    95667 cl shrink        0 lits rem          0 time: 0.11
3111.57/779.08	c asymm  cl-useful: 0/172/25810 lits-rem:0 time: 0.45
3111.57/779.09	c calculated reachability. Time: 0.00
3111.57/779.09	c  N dy  3389   3212295       299     25810       238     95667    114173   1311010     16.36     11.15  --
3771.06/944.11	c  N dy  3393   3712295       299     25810       239    113083    114173   1656733     21.64     11.39  --
3771.06/944.18	c  S st  3393   3712295       299     25810       239    113083    114173   1656733     21.64     11.39  --
3771.86/944.34	c  S st  3393   3712796       299     25810       239    113581    114173   1666339     21.64     11.39  --
3771.86/944.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3771.86/944.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3776.26/945.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.54
3776.26/945.48	c Calc non-exist non-lernt bins v-fix:     0 done:    299 time:  0.02 s
3776.26/945.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3776.66/945.51	c Subs w/ non-existent bins:      0 time:  0.11 s
3776.66/945.52	c Replacing        1 vars Replaced       28 lits Time:     0.04 s 
3776.66/945.56	c bin-w-bin subsume rem            2 bins  time:  0.01 s
3777.86/945.86	c subs with bin:     2225  lits-rem:       110  v-fix:    0  time:  1.21 s
3777.86/945.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3806.63/953.01	c ORs :     12 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.11
3806.63/953.05	c lits-rem:       289  cl-subs:     6357  v-elim:    221  v-fix:    0  time: 28.68 s
3806.63/953.05	c learnt bin added due to v-elim: 0
3806.63/953.05	c vivif2 --  cl tried    25810 cl shrink        0 lits rem          0 time: 0.01
3806.63/953.09	c vivif2 --  cl tried   104999 cl shrink      874 lits rem        874 time: 0.15
3807.43/953.20	c asymm  cl-useful: 0/172/25810 lits-rem:0 time: 0.46
3807.43/953.21	c calculated reachability. Time: 0.00
3807.43/953.21	c  N dy  3393   3712796       298     25810       236    104999    114169   1528324     21.64     11.39  --
4459.32/1116.41	c  N dy  3404   4212798       298     25810       236     86997    114169   1051569     19.89     11.49  --
4459.32/1116.46	c  S st  3404   4212798       298     25810       236     86997    114169   1051569     19.89     11.49  --
4459.74/1116.58	c  S st  3404   4213299       298     25810       236     87499    114169   1061098     19.89     11.49  --
4459.74/1116.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4459.74/1116.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4463.72/1117.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  3.78
4463.72/1117.53	c Calc non-exist non-lernt bins v-fix:     0 done:    298 time:  0.01 s
4463.72/1117.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4463.72/1117.56	c Subs w/ non-existent bins:      0 time:  0.09 s
4463.72/1117.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4464.13/1117.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
4464.13/1117.61	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4476.90/1120.87	c ORs :     12 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.08
4476.90/1120.90	c lits-rem:       152  cl-subs:     2910  v-elim:    221  v-fix:    0  time: 13.13 s
4476.90/1120.90	c learnt bin added due to v-elim: 0
4476.90/1120.90	c vivif2 --  cl tried    25810 cl shrink        0 lits rem          0 time: 0.01
4477.31/1120.92	c vivif2 --  cl tried    84589 cl shrink        0 lits rem          0 time: 0.09
4477.72/1121.03	c asymm  cl-useful: 0/257/25810 lits-rem:0 time: 0.41
4477.72/1121.03	c calculated reachability. Time: 0.00
4477.72/1121.03	c  N dy  3404   4213299       298     25810       236     84589    114169   1034225     19.89     11.49  --

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-3262329-1304133455/watcher-3262329-1304133455 -o /tmp/evaluation-result-3262329-1304133455/solver-3262329-1304133455 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262329-1304133455.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: 5.00 5.09 5.83 5/180 5865
/proc/meminfo: memFree=29881900/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=50284 CPUtime=0 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 771 0 0 0 0 0 0 0 25 0 1 0 524944260 51490816 703 33554432000 4194304 4797429 140734315087312 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5865/statm: 12571 703 347 148 0 7500 0

[startup+0.161294 s]
/proc/loadavg: 5.00 5.09 5.83 5/180 5865
/proc/meminfo: memFree=29881900/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=151500 CPUtime=0.49 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 2743 0 0 0 49 0 0 0 25 0 4 0 524944260 155136000 2571 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428637 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 37875 2571 375 148 0 32804 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 151500

[startup+0.200287 s]
/proc/loadavg: 5.00 5.09 5.83 5/180 5865
/proc/meminfo: memFree=29881900/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=151632 CPUtime=0.65 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 2749 0 0 0 65 0 0 0 25 0 4 0 524944260 155271168 2577 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428504 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 37908 2577 375 148 0 32837 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 151632

[startup+0.300275 s]
/proc/loadavg: 5.00 5.09 5.83 5/180 5865
/proc/meminfo: memFree=29881900/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=683068 CPUtime=1.05 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 5764 0 0 0 104 1 0 0 25 0 4 0 524944260 699461632 4516 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 170767 4516 398 148 0 165696 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 683068

[startup+0.7002 s]
/proc/loadavg: 5.00 5.09 5.83 5/180 5865
/proc/meminfo: memFree=29881900/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=684464 CPUtime=2.64 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 6895 0 0 0 263 1 0 0 25 0 4 0 524944260 700891136 5572 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 171116 5572 411 148 0 166045 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 684464

[startup+1.50106 s]
/proc/loadavg: 5.24 5.14 5.84 10/184 5869
/proc/meminfo: memFree=29857564/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=688624 CPUtime=5.85 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 9144 0 0 0 582 3 0 0 25 0 4 0 524944260 705150976 7403 33554432000 4194304 4797429 140734315087312 18446744073709551615 4358614 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 172156 7403 415 148 0 167085 0
[pid=5865/tid=5867] ppid=5863 vsize=688624 CPUtime=1.44 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 1543 0 0 0 144 0 0 0 25 0 4 0 524944264 705150976 7403 33554432000 4194304 4797429 140734315087312 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=688624 CPUtime=1.44 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 1521 0 0 0 144 0 0 0 25 0 4 0 524944264 705150976 7403 33554432000 4194304 4797429 140734315087312 18446744073709551615 4506535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=688624 CPUtime=1.44 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 1625 0 0 0 144 0 0 0 25 0 4 0 524944264 705150976 7403 33554432000 4194304 4797429 140734315087312 18446744073709551615 4506576 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 688624

[startup+3.10078 s]
/proc/loadavg: 5.24 5.14 5.84 9/184 5869
/proc/meminfo: memFree=29851244/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=689528 CPUtime=12.24 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 10324 0 0 0 1221 3 0 0 25 0 4 0 524944260 706076672 7666 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 172382 7666 415 148 0 167311 0
[pid=5865/tid=5867] ppid=5863 vsize=689528 CPUtime=3.04 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 1543 0 0 0 304 0 0 0 25 0 4 0 524944264 706076672 7666 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428547 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=689528 CPUtime=3.03 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 1521 0 0 0 303 0 0 0 25 0 4 0 524944264 706076672 7666 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428656 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=689528 CPUtime=3.04 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 1626 0 0 0 304 0 0 0 25 0 4 0 524944264 706076672 7666 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 689528

[startup+6.30021 s]
/proc/loadavg: 5.24 5.14 5.84 9/184 5869
/proc/meminfo: memFree=29846712/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=692820 CPUtime=25.02 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 12888 0 0 0 2498 4 0 0 25 0 4 0 524944260 709447680 8436 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424437 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 173205 8436 416 148 0 168134 0
[pid=5865/tid=5867] ppid=5863 vsize=692820 CPUtime=6.24 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 2079 0 0 0 624 0 0 0 25 0 4 0 524944264 709447680 8436 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=692820 CPUtime=6.21 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 1941 0 0 0 621 0 0 0 25 0 4 0 524944264 709447680 8436 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=692820 CPUtime=6.24 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 2036 0 0 0 624 0 0 0 25 0 4 0 524944264 709447680 8436 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524411 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 692820

[startup+12.7011 s]
/proc/loadavg: 5.66 5.23 5.86 9/184 5869
/proc/meminfo: memFree=29840080/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=695524 CPUtime=50.59 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 15767 0 0 0 5054 5 0 0 25 0 4 0 524944260 712216576 10133 33554432000 4194304 4797429 140734315087312 18446744073709551615 4495507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 173881 10133 419 148 0 168810 0
[pid=5865/tid=5867] ppid=5863 vsize=695524 CPUtime=12.64 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 2315 0 0 0 1264 0 0 0 25 0 4 0 524944264 712216576 10133 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524442 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=695524 CPUtime=12.58 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 2189 0 0 0 1258 0 0 0 25 0 4 0 524944264 712216576 10133 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=695524 CPUtime=12.65 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 2408 0 0 0 1264 1 0 0 25 0 4 0 524944264 712216576 10133 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 695524

[startup+25.5008 s]
/proc/loadavg: 6.02 5.32 5.89 9/184 5901
/proc/meminfo: memFree=30869104/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=698892 CPUtime=101.71 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 23418 0 0 0 10164 7 0 0 25 0 4 0 524944260 715665408 10844 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 174723 10844 420 148 0 169652 0
[pid=5865/tid=5867] ppid=5863 vsize=698892 CPUtime=25.44 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 3206 0 0 0 2543 1 0 0 25 0 4 0 524944264 715665408 10844 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524394 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=698892 CPUtime=25.3 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 3109 0 0 0 2530 0 0 0 25 0 4 0 524944264 715665408 10844 33554432000 4194304 4797429 140734315087312 18446744073709551615 4523990 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=698892 CPUtime=25.44 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 3478 0 0 0 2543 1 0 0 25 0 4 0 524944264 715665408 10844 33554432000 4194304 4797429 140734315087312 18446744073709551615 4414392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 698892

[startup+51.1012 s]
/proc/loadavg: 6.70 5.54 5.94 9/184 5901
/proc/meminfo: memFree=30834528/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=704992 CPUtime=203.97 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 34566 0 0 0 20388 9 0 0 25 0 4 0 524944260 721911808 13447 33554432000 4194304 4797429 140734315087312 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 176248 13447 422 148 0 171177 0
[pid=5865/tid=5867] ppid=5863 vsize=704992 CPUtime=51.04 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 4103 0 0 0 5103 1 0 0 25 0 4 0 524944264 721911808 13447 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524171 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=704992 CPUtime=50.77 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 4078 0 0 0 5077 0 0 0 25 0 4 0 524944264 721911808 13447 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=704992 CPUtime=51.04 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 4942 0 0 0 5102 2 0 0 25 0 4 0 524944264 721911808 13447 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 704992

[startup+102.301 s]
/proc/loadavg: 7.48 5.95 6.06 9/184 5903
/proc/meminfo: memFree=30809852/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=711232 CPUtime=408.51 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 54181 0 0 0 40834 17 0 0 25 0 4 0 524944260 728301568 15992 33554432000 4194304 4797429 140734315087312 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 177808 15992 422 148 0 172737 0
[pid=5865/tid=5867] ppid=5863 vsize=711232 CPUtime=102.24 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 5948 0 0 0 10222 2 0 0 25 0 4 0 524944264 728301568 15992 33554432000 4194304 4797429 140734315087312 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=711232 CPUtime=101.7 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 6215 0 0 0 10169 1 0 0 25 0 4 0 524944264 728301568 15992 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=711232 CPUtime=102.23 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 6965 0 0 0 10221 2 0 0 25 0 4 0 524944264 728301568 15992 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424408 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.51
Current children cumulated vsize (KiB) 711232

[startup+162.3 s]
/proc/loadavg: 7.92 6.35 6.19 9/184 5904
/proc/meminfo: memFree=30788600/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=719040 CPUtime=648.16 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 75606 0 0 0 64792 24 0 0 25 0 4 0 524944260 736296960 17612 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 179760 17612 422 148 0 174689 0
[pid=5865/tid=5867] ppid=5863 vsize=719040 CPUtime=162.23 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 8088 0 0 0 16221 2 0 0 25 0 4 0 524944264 736296960 17612 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=719040 CPUtime=161.38 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 8392 0 0 0 16136 2 0 0 25 0 4 0 524944264 736296960 17612 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=719040 CPUtime=162.22 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 8995 0 0 0 16219 3 0 0 25 0 4 0 524944264 736296960 17612 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 648.16
Current children cumulated vsize (KiB) 719040

[startup+222.307 s]
/proc/loadavg: 8.15 6.69 6.31 9/184 5906
/proc/meminfo: memFree=30770944/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=726640 CPUtime=887.85 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 93831 0 0 0 88754 31 0 0 25 0 4 0 524944260 744079360 20239 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 181660 20239 422 148 0 176589 0
[pid=5865/tid=5867] ppid=5863 vsize=726640 CPUtime=222.24 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 10243 0 0 0 22221 3 0 0 25 0 4 0 524944264 744079360 20239 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=726640 CPUtime=221.06 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 10136 0 0 0 22103 3 0 0 25 0 4 0 524944264 744079360 20239 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=726640 CPUtime=222.23 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 10952 0 0 0 22219 4 0 0 25 0 4 0 524944264 744079360 20239 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.85
Current children cumulated vsize (KiB) 726640

[startup+282.301 s]

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

[pid=5865] ppid=5863 vsize=746388 CPUtime=2565.53 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 186840 0 0 0 256482 71 0 0 25 0 4 0 524944260 764301312 29541 33554432000 4194304 4797429 140734315087312 18446744073709551615 4425927 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 186597 29541 423 148 0 181526 0
[pid=5865/tid=5867] ppid=5863 vsize=746388 CPUtime=642.23 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 19951 0 0 0 64215 8 0 0 25 0 4 0 524944264 764301312 29541 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=746388 CPUtime=638.78 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 19789 0 0 0 63869 9 0 0 25 0 4 0 524944264 764301312 29541 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568023 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=746388 CPUtime=642.19 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 20396 0 0 0 64211 8 0 0 25 0 4 0 524944264 764301312 29541 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.53
Current children cumulated vsize (KiB) 746388

[startup+702.3 s]
/proc/loadavg: 8.15 7.84 7.03 9/184 5919
/proc/meminfo: memFree=30681920/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=750160 CPUtime=2805.19 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 198930 0 0 0 280443 76 0 0 25 0 4 0 524944260 768163840 30335 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 187540 30335 423 148 0 182469 0
[pid=5865/tid=5867] ppid=5863 vsize=750160 CPUtime=702.23 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 21075 0 0 0 70215 8 0 0 25 0 4 0 524944264 768163840 30335 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=750160 CPUtime=698.44 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 20928 0 0 0 69835 9 0 0 25 0 4 0 524944264 768163840 30335 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=750160 CPUtime=702.18 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 21627 0 0 0 70209 9 0 0 25 0 4 0 524944264 768163840 30335 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.19
Current children cumulated vsize (KiB) 750160

[startup+762.301 s]
/proc/loadavg: 8.14 7.89 7.10 9/184 5920
/proc/meminfo: memFree=30666864/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=751440 CPUtime=3044.88 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 208722 0 0 0 304408 80 0 0 25 0 4 0 524944260 769474560 31449 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 187860 31449 423 148 0 182789 0
[pid=5865/tid=5867] ppid=5863 vsize=751440 CPUtime=762.24 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 22154 0 0 0 76215 9 0 0 25 0 4 0 524944264 769474560 31449 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=751440 CPUtime=758.12 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 22252 0 0 0 75803 9 0 0 25 0 4 0 524944264 769474560 31449 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=751440 CPUtime=762.18 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 22763 0 0 0 76208 10 0 0 25 0 4 0 524944264 769474560 31449 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.88
Current children cumulated vsize (KiB) 751440

[startup+822.301 s]
/proc/loadavg: 8.13 7.94 7.16 9/184 5922
/proc/meminfo: memFree=30661104/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=752960 CPUtime=3284.54 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 218934 0 0 0 328369 85 0 0 25 0 4 0 524944260 771031040 31857 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 188240 31857 423 148 0 183169 0
[pid=5865/tid=5867] ppid=5863 vsize=752960 CPUtime=822.22 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 23767 0 0 0 82213 9 0 0 25 0 4 0 524944264 771031040 31857 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=752960 CPUtime=817.79 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 23555 0 0 0 81769 10 0 0 25 0 4 0 524944264 771031040 31857 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424967 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=752960 CPUtime=822.18 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 24004 0 0 0 82207 11 0 0 25 0 4 0 524944264 771031040 31857 33554432000 4194304 4797429 140734315087312 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.54
Current children cumulated vsize (KiB) 752960

[startup+882.306 s]
/proc/loadavg: 8.08 7.96 7.21 9/184 5923
/proc/meminfo: memFree=30660708/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=753284 CPUtime=3524.22 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 229681 0 0 0 352331 91 0 0 25 0 4 0 524944260 771362816 32240 33554432000 4194304 4797429 140734315087312 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 188321 32240 423 148 0 183250 0
[pid=5865/tid=5867] ppid=5863 vsize=753284 CPUtime=882.23 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 24846 0 0 0 88213 10 0 0 25 0 4 0 524944264 771362816 32240 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=753284 CPUtime=877.47 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 24695 0 0 0 87736 11 0 0 25 0 4 0 524944264 771362816 32240 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=753284 CPUtime=882.17 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 25243 0 0 0 88206 11 0 0 25 0 4 0 524944264 771362816 32240 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.22
Current children cumulated vsize (KiB) 753284

[startup+942.301 s]
/proc/loadavg: 8.18 8.01 7.28 9/184 5925
/proc/meminfo: memFree=30653708/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=754148 CPUtime=3763.88 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 239872 0 0 0 376292 96 0 0 25 0 4 0 524944260 772247552 33260 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 188537 33260 423 148 0 183466 0
[pid=5865/tid=5867] ppid=5863 vsize=754148 CPUtime=942.22 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 25499 0 0 0 94212 10 0 0 25 0 4 0 524944264 772247552 33260 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=754148 CPUtime=937.14 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 25789 0 0 0 93703 11 0 0 25 0 4 0 524944264 772247552 33260 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=754148 CPUtime=942.16 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 26516 0 0 0 94204 12 0 0 25 0 4 0 524944264 772247552 33260 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.88
Current children cumulated vsize (KiB) 754148

[startup+1002.3 s]
/proc/loadavg: 8.06 8.01 7.32 9/184 5927
/proc/meminfo: memFree=30642884/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=755120 CPUtime=4003.55 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 250196 0 0 0 400255 100 0 0 25 0 4 0 524944260 773242880 33534 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424408 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 188780 33534 422 148 0 183709 0
[pid=5865/tid=5867] ppid=5863 vsize=755120 CPUtime=1002.23 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 26670 0 0 0 100212 11 0 0 25 0 4 0 524944264 773242880 33534 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=755120 CPUtime=996.82 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 26634 0 0 0 99670 12 0 0 25 0 4 0 524944264 773242880 33534 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=755120 CPUtime=1002.16 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 27808 0 0 0 100204 12 0 0 25 0 4 0 524944264 773242880 33534 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.55
Current children cumulated vsize (KiB) 755120

[startup+1062.3 s]
/proc/loadavg: 8.06 8.02 7.36 9/184 5928
/proc/meminfo: memFree=30630936/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=757468 CPUtime=4243.22 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 260795 0 0 0 424218 104 0 0 25 0 4 0 524944260 775647232 34969 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424673 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 189367 34969 422 148 0 184296 0
[pid=5865/tid=5867] ppid=5863 vsize=757468 CPUtime=1062.23 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 27891 0 0 0 106212 11 0 0 25 0 4 0 524944264 775647232 34969 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=757468 CPUtime=1056.5 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 27799 0 0 0 105637 13 0 0 25 0 4 0 524944264 775647232 34969 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=757468 CPUtime=1062.15 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 28548 0 0 0 106202 13 0 0 25 0 4 0 524944264 775647232 34969 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.22
Current children cumulated vsize (KiB) 757468

[startup+1122.3 s]
/proc/loadavg: 8.05 8.03 7.41 9/184 5930
/proc/meminfo: memFree=30628528/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=760896 CPUtime=4482.88 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 272089 0 0 0 448179 109 0 0 25 0 4 0 524944260 779157504 34876 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 190224 34876 423 148 0 185153 0
[pid=5865/tid=5867] ppid=5863 vsize=760896 CPUtime=1122.22 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 29264 0 0 0 112210 12 0 0 25 0 4 0 524944264 779157504 34876 33554432000 4194304 4797429 140734315087312 18446744073709551615 4520385 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=760896 CPUtime=1116.16 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 28996 0 0 0 111603 13 0 0 25 0 4 0 524944264 779157504 34876 33554432000 4194304 4797429 140734315087312 18446744073709551615 4509353 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=760896 CPUtime=1122.15 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 30382 0 0 0 112202 13 0 0 25 0 4 0 524944264 779157504 34876 33554432000 4194304 4797429 140734315087312 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.88
Current children cumulated vsize (KiB) 760896

[startup+1182.3 s]
/proc/loadavg: 8.09 8.04 7.45 9/184 5931
/proc/meminfo: memFree=30618576/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=761136 CPUtime=4722.56 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 280541 0 0 0 472142 114 0 0 25 0 4 0 524944260 779403264 37142 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 190284 37142 423 148 0 185213 0
[pid=5865/tid=5867] ppid=5863 vsize=761136 CPUtime=1182.22 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 29820 0 0 0 118209 13 0 0 25 0 4 0 524944264 779403264 37142 33554432000 4194304 4797429 140734315087312 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=761136 CPUtime=1175.84 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 30280 0 0 0 117570 14 0 0 25 0 4 0 524944264 779403264 37142 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=761136 CPUtime=1182.15 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 31713 0 0 0 118201 14 0 0 25 0 4 0 524944264 779403264 37142 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.56
Current children cumulated vsize (KiB) 761136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.03 7.46 9/184 5932
/proc/meminfo: memFree=30615324/32950928 swapFree=67111464/67111528
[pid=5865] ppid=5863 vsize=763660 CPUtime=4800.07 cores=1,3,5,7
/proc/5865/stat : 5865 (techdemo) R 5863 5865 4899 0 -1 4202496 284800 0 0 0 479891 116 0 0 25 0 4 0 524944260 781987840 36195 33554432000 4194304 4797429 140734315087312 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5865/statm: 190915 36195 423 148 0 185844 0
[pid=5865/tid=5867] ppid=5863 vsize=763660 CPUtime=1201.62 cores=1,3,5,7
/proc/5865/task/5867/stat : 5867 (techdemo) R 5863 5865 4899 0 -1 4202560 30714 0 0 0 120149 13 0 0 25 0 4 0 524944264 781987840 36195 33554432000 4194304 4797429 140734315087312 18446744073709551615 4428567 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5865/tid=5868] ppid=5863 vsize=763660 CPUtime=1195.13 cores=1,3,5,7
/proc/5865/task/5868/stat : 5868 (techdemo) R 5863 5865 4899 0 -1 4202560 30486 0 0 0 119499 14 0 0 25 0 4 0 524944264 781987840 36195 33554432000 4194304 4797429 140734315087312 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5865/tid=5869] ppid=5863 vsize=763660 CPUtime=1201.55 cores=1,3,5,7
/proc/5865/task/5869/stat : 5869 (techdemo) R 5863 5865 4899 0 -1 4202560 31919 0 0 0 120141 14 0 0 25 0 4 0 524944264 781987840 36195 33554432000 4194304 4797429 140734315087312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 763660

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): 1201.72
CPU time (s): 4800.11
CPU user time (s): 4798.94
CPU system time (s): 1.16882
CPU usage (%): 399.436
Max. virtual memory (cumulated for all children) (KiB): 863736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.94
system time used= 1.16882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284800
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= 1070
involuntary context switches= 23968

runsolver used 1.92871 second user time and 4.63729 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-30 05:17:35
IDJOB=3262329
IDBENCH=83293
IDSOLVER=1584
FILE ID=node122/3262329-1304133455
RUNJOBID= node122-1304132273-5769
PBS_JOBID= 13170781
Free space on /tmp= 73316 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_443.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262329-1304133455/watcher-3262329-1304133455 -o /tmp/evaluation-result-3262329-1304133455/solver-3262329-1304133455 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3262329-1304133455.cnf

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

MD5SUM BENCH= 91ac0151536835225f21cbe5a3574a2d
RANDOM SEED=1192430374

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29882056 kB
Buffers:        310780 kB
Cached:        1324976 kB
SwapCached:         64 kB
Active:        1201904 kB
Inactive:      1521912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29882056 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            8152 kB
Writeback:           0 kB
AnonPages:     1087324 kB
Mapped:          15920 kB
Slab:           278908 kB
PageTables:       6576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2180860 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= 73332 MiB
End job on node122 at 2011-04-30 05:37:38