Trace number 3262285

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

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
MD5SUM9f9afdb81b528e7852015fad23de6353
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark193.51
Satisfiable
(Un)Satisfiability was proved
Number of variables195
Number of clauses20607
Sum of the clauses size92222
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 265
Number of clauses of size 318744
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51798

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-3262285-1304133423.cnf'
0.00/0.00	c -- header says num vars:            195
0.00/0.00	c -- header says num clauses:       20607
0.00/0.03	c -- clauses added:            0 learnts,        20607 normals,            0 xors
0.00/0.03	c -- vars added        195
0.00/0.03	c Parsing time:  0.03 s
0.00/0.03	c  N st     0         0       195     20542        65         0     92222         0   no data   no data  --
0.00/0.24	c asymm  cl-useful: 0/13195/20542 lits-rem:0 time: 0.81
0.84/0.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.84/0.24	c Calc non-exist non-lernt bins v-fix:     0 done:    195 time:  0.00 s
0.84/0.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.84/0.24	c Subs w/ non-existent bins:      0 time:  0.00 s
0.84/0.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.84/0.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.84/0.25	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3.87/1.07	c lits-rem:         0  cl-subs:        0  v-elim:    130  v-fix:    0  time:  0.28 s
3.87/1.07	c learnt bin added due to v-elim: 0
3.87/1.07	c Finding binary XORs  T:     0.00 s  found:       0
3.87/1.07	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
3.87/1.07	c calculated reachability. Time: 0.00
3.87/1.07	c Calc default polars -  time:   0.00 s pos:     195 undec:       0 neg:       0
3.87/1.07	c =========================================================================================
3.87/1.07	c types(t): F = full restart, N = normal restart
3.87/1.07	c types(t): S = simplification begin/end, E = solution found
3.87/1.07	c restart types(rt): st = static, dy = dynamic
3.87/1.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.87/1.07	c  B st     0         0       195     20542        65         0     92222         0   no data   no data  --
3.87/1.07	c Decided on static restart strategy
3.87/1.07	c  N dy    20      4081       195     20542        65      3879     92222     76648     18.19     11.42  --
3.87/1.07	c  N dy    48      8086       195     20542        65      5279     92222     91077     18.03     10.95  --
5.07/1.37	c  N dy    77     12213       195     20542        65      5158     92222     82777     20.06     10.83  --
6.68/1.71	c  N dy   106     16326       195     20542        65      9006     92222    152647     18.02     10.81  --
7.87/2.07	c  N dy   135     20440       195     20542        65      7606     92222    116495     17.71     10.85  --
9.47/2.41	c  N dy   164     24546       195     20542        65     11510     92222    191609     18.74     10.88  --
10.67/2.77	c  N dy   192     28559       195     20542        65      8856     92222    131122     18.34     10.96  --
11.08/2.90	c  S st   203     30000       195     20542        65     10208     92222    155893     18.27     10.96  --
11.48/2.95	c  S st   203     30501       195     20542        65     10702     92222    166386     18.27     10.96  --
11.48/2.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.48/2.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.48/2.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  0.11
11.48/2.98	c Calc non-exist non-lernt bins v-fix:     0 done:    195 time:  0.00 s
11.48/2.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.48/2.98	c Subs w/ non-existent bins:      0 time:  0.01 s
11.48/2.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
11.48/2.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
11.48/2.99	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.06/4.33	c lits-rem:       195  cl-subs:     1896  v-elim:    195  v-fix:    0  time:  5.37 s
17.06/4.33	c learnt bin added due to v-elim: 0
17.06/4.34	c vivif2 --  cl tried    20542 cl shrink        0 lits rem          0 time: 0.01
17.06/4.34	c vivif2 --  cl tried     8806 cl shrink        0 lits rem          0 time: 0.00
17.46/4.48	c asymm  cl-useful: 0/7347/20542 lits-rem:0 time: 0.57
17.46/4.48	c calculated reachability. Time: 0.00
17.46/4.48	c  N dy   203     30501       195     20542        65      8806     92222    145052     18.27     10.96  --
17.46/4.48	c  F st   203     30501       195     20542        65      8806     92222    145052     18.27     10.96  --
18.26/4.66	c Decided on static restart strategy
19.06/4.83	c  N dy   223     34584       195     20542        65     12624     92222    215757     18.25     10.93  --
20.65/5.20	c  N dy   251     38619       195     20542        65      9021     92222    134599     18.06     10.90  --
21.85/5.55	c  N dy   280     42735       195     20542        65     12864     92222    204840     18.89     10.89  --
23.05/5.84	c  S st   302     45752       195     20542        65     15694     92222    258302     18.29     10.88  --
23.05/5.89	c  S st   302     46256       195     20542        65     16192     92222    268612     18.29     10.88  --
23.05/5.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
23.05/5.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.45/5.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.22
23.45/5.94	c Calc non-exist non-lernt bins v-fix:     0 done:    195 time:  0.00 s
23.45/5.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.45/5.95	c Subs w/ non-existent bins:      0 time:  0.01 s
23.45/5.96	c bin-w-bin subsume rem            0 bins  time:  0.01 s
23.45/5.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
23.45/5.96	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
30.65/7.72	c lits-rem:       344  cl-subs:     1813  v-elim:    195  v-fix:    0  time:  7.01 s
30.65/7.72	c learnt bin added due to v-elim: 0
30.65/7.72	c vivif2 --  cl tried    20542 cl shrink        0 lits rem          0 time: 0.00
30.65/7.72	c vivif2 --  cl tried    14379 cl shrink        0 lits rem          0 time: 0.01
31.45/7.90	c asymm  cl-useful: 0/4387/20542 lits-rem:0 time: 0.72
31.45/7.91	c calculated reachability. Time: 0.00
31.45/7.91	c  N dy   302     46256       195     20542        65     14379     92222    244403     18.29     10.88  --
32.64/8.28	c  N dy   331     50359       195     20542        65      9906     92222    148417     17.95     10.82  --
34.24/8.63	c  N dy   359     54366       195     20542        65     13688     92222    219432     19.14     10.84  --
35.84/9.02	c  N dy   388     58504       195     20542        65     17605     92222    290101     16.53     10.83  --
37.45/9.41	c  N dy   417     62625       195     20542        65     12107     92222    172751     17.75     10.79  --
38.63/9.78	c  N dy   446     66713       195     20542        65     15951     92222    240090     17.41     10.76  --
39.83/10.04	c  S st   465     69384       195     20542        65     18451     92222    286735     18.61     10.76  --
39.83/10.09	c  S st   465     69887       195     20542        65     18945     92222    296765     18.61     10.76  --
39.83/10.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.83/10.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.23/10.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.7M T:  0.30
40.23/10.17	c Calc non-exist non-lernt bins v-fix:     0 done:    195 time:  0.00 s
40.23/10.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.23/10.17	c Subs w/ non-existent bins:      0 time:  0.02 s
40.23/10.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
40.23/10.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
40.23/10.19	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
47.41/11.97	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
53.00/13.38	c Added 2 vars  tried: 58482 time: 5.62
53.00/13.38	c ORs :      2 avg-s:  0.0 cl-sh:  1472 l-rem:   1472 b-add:      4 v-rep:   0 cl-rem: 14 avg s: 3.0 T:    5.66
53.00/13.39	c lits-rem:       434  cl-subs:     2158  v-elim:    195  v-fix:    0  time: 12.77 s
53.00/13.39	c learnt bin added due to v-elim: 0
53.00/13.39	c vivif2 --  cl tried    20530 cl shrink        0 lits rem          0 time: 0.01
53.00/13.39	c vivif2 --  cl tried    16787 cl shrink        0 lits rem          0 time: 0.01
53.80/13.58	c asymm  cl-useful: 0/4029/20530 lits-rem:0 time: 0.75
53.80/13.58	c calculated reachability. Time: 0.00
53.80/13.58	c  N dy   465     69887       197     20530        69     16787     92060    267685     18.61     10.76  --
53.80/13.58	c  F st   465     69887       197     20530        69     16787     92060    267685     18.61     10.76  --
54.61/13.79	c Decided on static restart strategy
55.81/14.05	c  N dy   489     74483       197     20530        69     10870     92060    138616     17.91     10.73  --
57.41/14.47	c  N dy   523     79319       197     20530        69     15412     92060    223499     16.80     10.74  --
59.42/14.97	c  N dy   559     84501       197     20530        69     20276     92060    308863     18.20     10.71  --
61.80/15.51	c  N dy   598     90013       197     20530        69     14255     92060    192735     17.50     10.72  --
63.81/16.05	c  N dy   639     95850       197     20530        69     19772     92060    292557     18.15     10.69  --
66.19/16.69	c  N dy   682    101976       197     20530        69     13315     92060    168419     18.86     10.69  --
67.39/16.96	c  S st   703    104833       197     20530        69     16006     92060    218195     19.52     10.69  --
67.79/17.01	c  S st   703    105337       197     20530        69     16504     92060    228647     19.52     10.69  --
67.79/17.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.79/17.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
67.79/17.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.0M T:  0.29
67.79/17.08	c Calc non-exist non-lernt bins v-fix:     0 done:    197 time:  0.00 s
67.79/17.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
67.79/17.09	c Subs w/ non-existent bins:      0 time:  0.02 s
67.79/17.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
67.79/17.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
67.79/17.10	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
73.38/18.48	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
73.38/18.49	c lits-rem:       276  cl-subs:     1687  v-elim:    195  v-fix:    0  time:  5.53 s
73.38/18.49	c learnt bin added due to v-elim: 0
73.38/18.49	c vivif2 --  cl tried    20530 cl shrink        0 lits rem          0 time: 0.01
73.38/18.49	c vivif2 --  cl tried    14817 cl shrink        0 lits rem          0 time: 0.01
74.58/18.70	c asymm  cl-useful: 0/8786/20530 lits-rem:0 time: 0.83
74.58/18.70	c calculated reachability. Time: 0.00
74.58/18.70	c  N dy   703    105337       197     20530        69     14817     92060    210776     19.52     10.69  --
77.00/19.36	c  N dy   751    112152       197     20530        69     21242     92060    324909     17.82     10.68  --
80.18/20.12	c  N dy   802    119385       197     20530        69     14906     92060    194528     18.65     10.69  --
82.97/20.87	c  N dy   857    127114       197     20530        69     22188     92060    327194     17.89     10.70  --
86.56/21.74	c  N dy   915    135329       197     20530        69     15824     92060    208144     17.46     10.66  --
90.18/22.63	c  N dy   976    144020       197     20530        69     24006     92059    350998     17.32     10.64  --
94.15/23.66	c  N dy  1042    153338       197     20530        69     17735     92059    243065     18.11     10.65  --
96.15/24.14	c  S st  1076    158007       197     20530        69     22168     92059    325151     17.87     10.64  --
96.15/24.19	c  S st  1076    158508       197     20530        69     22663     92059    335328     17.87     10.64  --
96.15/24.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.15/24.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.95/24.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  0.48
96.95/24.32	c Calc non-exist non-lernt bins v-fix:     0 done:    197 time:  0.00 s
96.95/24.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.95/24.32	c Subs w/ non-existent bins:      0 time:  0.02 s
96.95/24.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
96.95/24.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
96.95/24.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
102.94/25.83	c ORs :      2 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
102.94/25.84	c lits-rem:       469  cl-subs:     1988  v-elim:    195  v-fix:    0  time:  5.99 s
102.94/25.84	c learnt bin added due to v-elim: 0
102.94/25.84	c vivif2 --  cl tried    20530 cl shrink        0 lits rem          0 time: 0.01
102.94/25.84	c vivif2 --  cl tried    20675 cl shrink        0 lits rem          0 time: 0.02
103.36/25.97	c asymm  cl-useful: 0/3328/20530 lits-rem:0 time: 0.51
103.36/25.98	c calculated reachability. Time: 0.00
103.36/25.98	c  N dy  1076    158508       197     20530        69     20675     92059    311080     17.87     10.64  --
108.15/27.10	c  N dy  1148    168676       208     20530        91     30341     92103    483471     17.09     10.62  --
112.55/28.25	c  N dy  1224    179503       208     20530        91     24522     92103    351321     18.29     10.63  --
117.72/29.59	c  N dy  1305    190967       208     20530        91     18347     92103    224332     17.46     10.62  --
122.91/30.86	c  N dy  1391    203176       208     20530        91     29854     92103    430713     17.32     10.61  --
128.51/32.30	c  N dy  1482    216160       208     20530        91     24143     92103    313833     17.41     10.60  --
134.89/33.88	c  N dy  1579    230017       208     20530        91     37194     92103    545585     16.60     10.59  --
138.51/34.72	c  S st  1634    237762       208     20530        91     25674     92103    331202     18.27     10.60  --
138.51/34.78	c  S st  1634    238269       208     20530        91     26173     92103    341206     18.27     10.60  --
138.51/34.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
138.51/34.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
139.29/34.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 10.8M T:  0.60
139.29/34.93	c Calc non-exist non-lernt bins v-fix:     0 done:    208 time:  0.00 s
139.29/34.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
139.29/34.94	c Subs w/ non-existent bins:      0 time:  0.02 s
139.29/34.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
139.29/34.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
139.29/34.96	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
145.69/36.59	c ORs :      2 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
145.69/36.59	c lits-rem:       603  cl-subs:     2359  v-elim:    195  v-fix:    0  time:  6.54 s
145.69/36.59	c learnt bin added due to v-elim: 0
145.69/36.59	c vivif2 --  cl tried    20530 cl shrink        0 lits rem          0 time: 0.00
146.09/36.60	c vivif2 --  cl tried    23814 cl shrink        0 lits rem          0 time: 0.02
146.49/36.77	c asymm  cl-useful: 0/2977/20530 lits-rem:0 time: 0.67
146.49/36.77	c calculated reachability. Time: 0.00
146.49/36.77	c  N dy  1634    238269       208     20530        91     23814     92103    314555     18.27     10.60  --
153.66/38.53	c  N dy  1741    253518       220     20530       115     38292     92151    575831     16.99     10.60  --
160.87/40.31	c  N dy  1855    269695       220     20530       115     33765     92151    472241     19.96     10.59  --
168.84/42.39	c  N dy  1977    287030       220     20530       115     29319     92151    373048     16.83     10.59  --
178.04/44.61	c  N dy  2108    305478       220     20530       115     25006     92151    286386     16.69     10.59  --
187.22/46.90	c  N dy  2244    325043       220     20530       115     43412     92151    619196     16.91     10.60  --
196.39/49.25	c  N dy  2386    345172       220     20530       115     39806     92151    541086     17.93     10.60  --
202.78/50.84	c  S st  2444    357404       232     20530       147     27892     92207    324736     19.36     10.61  --
203.18/50.90	c  S st  2444    357904       232     20530       147     28389     92207    334943     19.36     10.61  --
203.18/50.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
203.18/50.90	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
203.58/51.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.7M T:  0.65
203.58/51.06	c Calc non-exist non-lernt bins v-fix:     0 done:    232 time:  0.00 s
203.58/51.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
203.58/51.07	c Subs w/ non-existent bins:      0 time:  0.02 s
203.58/51.07	c Replacing        2 vars Replaced       59 lits Time:     0.01 s 
203.58/51.08	c bin-w-bin subsume rem            4 bins  time:  0.01 s
203.58/51.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
203.58/51.09	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
209.97/52.63	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 10.0 T:    0.01
214.36/53.70	c Added 3 vars  tried: 80000 time: 4.29
214.36/53.73	c ORs :      3 avg-s:  0.0 cl-sh:  3041 l-rem:   3041 b-add:     15 v-rep:   0 cl-rem: 0 avg s: nan T:    4.41
214.36/53.74	c lits-rem:       623  cl-subs:     2288  v-elim:    195  v-fix:    0  time: 10.60 s
214.36/53.74	c learnt bin added due to v-elim: 0
214.36/53.74	c vivif2 --  cl tried    20524 cl shrink        0 lits rem          0 time: 0.00
214.36/53.75	c vivif2 --  cl tried    26100 cl shrink        0 lits rem          0 time: 0.02
215.16/53.92	c asymm  cl-useful: 0/2311/20524 lits-rem:0 time: 0.69
215.16/53.92	c calculated reachability. Time: 0.00
215.16/53.92	c  N dy  2444    357904       233     20524       150     26100     92203    308617     19.36     10.61  --
312.25/78.27	c  N dy  2513    536856       233     20524       151     33417     92203    400918     20.40     11.39  --
312.25/78.29	c  S st  2513    536856       233     20524       151     33417     92203    400918     20.40     11.39  --
312.65/78.35	c  S st  2513    537357       242     20524       181     33962     92251    410661     20.40     11.39  --
312.65/78.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
312.65/78.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
313.45/78.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      1 BRemL:      1 BRemN:      0 CBin:       0 P: 14.0M T:  0.75
313.45/78.54	c Calc non-exist non-lernt bins v-fix:     0 done:    242 time:  0.00 s
313.45/78.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
313.45/78.55	c Subs w/ non-existent bins:      0 time:  0.03 s
313.45/78.55	c Replacing        3 vars Replaced      243 lits Time:     0.02 s 
313.45/78.56	c bin-w-bin subsume rem            6 bins  time:  0.01 s
313.45/78.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
313.45/78.57	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
319.45/80.06	c ORs :      5 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
319.45/80.07	c lits-rem:      1535  cl-subs:     2750  v-elim:    195  v-fix:    0  time:  5.99 s
319.45/80.07	c learnt bin added due to v-elim: 0
319.45/80.07	c vivif2 --  cl tried    20524 cl shrink        0 lits rem          0 time: 0.00
319.45/80.08	c vivif2 --  cl tried    31212 cl shrink        0 lits rem          0 time: 0.03
320.24/80.25	c asymm  cl-useful: 0/2788/20524 lits-rem:0 time: 0.70
320.24/80.26	c calculated reachability. Time: 0.00
320.24/80.26	c  N dy  2513    537357       239     20524       163     31212     92227    378828     20.40     11.39  --
320.24/80.26	c  F st  2513    537357       239     20524       163     31212     92227    378828     20.40     11.39  --
321.04/80.46	c Decided on static restart strategy
328.63/82.35	c  N dy  2645    557432       239     20524       163     50632     92227    867402     25.21     11.59  --
337.81/84.68	c  N dy  2784    577441       239     20524       163     39465     92227    540197     25.22     11.72  --
347.01/86.92	c  N dy  2924    597490       239     20524       163     58761     92227    990356     25.43     11.86  --
356.19/89.24	c  N dy  3065    617598       251     20524       195     46673     92283    707251     24.18     11.99  --
365.78/91.69	c  N dy  3206    637728       251     20524       195     33404     92283    371487     24.79     12.10  --
374.17/93.76	c  N dy  3346    657741       251     20524       195     52650     92283    821778     22.53     12.21  --
383.75/96.16	c  N dy  3487    677852       251     20524       195     38362     92283    471866     24.18     12.32  --
392.54/98.38	c  N dy  3628    698005       251     20524       195     57718     92283    918074     19.85     12.41  --
402.15/100.79	c  N dy  3769    718078       251     20524       195     42459     92283    560955     21.60     12.49  --
411.71/103.14	c  N dy  3910    738222       251     20524       195     61888     92283   1013572     23.71     12.58  --
421.31/105.59	c  N dy  4051    758366       251     20524       195     45655     92283    617954     21.69     12.66  --
448.47/112.36	c  N dy  4082    806035       263     20524       225     54872     92335    834943     25.88     12.85  --
448.87/112.40	c  S st  4082    806035       263     20524       225     54872     92335    834943     25.88     12.85  --
448.87/112.40	c Finding binary XORs  T:     0.00 s  found:       3
448.87/112.40	c Replacing        3 vars Replaced       71 lits Time:     0.02 s 
448.87/112.48	c  S st  4082    806537       260     20524       213     55373     92323    846347     25.88     12.85  --
448.87/112.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
448.87/112.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
450.48/112.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 25.1M T:  1.64
450.48/112.89	c Calc non-exist non-lernt bins v-fix:     0 done:    260 time:  0.00 s
450.48/112.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
450.89/112.91	c Subs w/ non-existent bins:      0 time:  0.05 s
450.89/112.91	c Replacing        1 vars Replaced       52 lits Time:     0.02 s 
450.89/112.93	c bin-w-bin subsume rem            8 bins  time:  0.01 s
450.89/112.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
450.89/112.95	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
461.65/115.63	c ORs :      5 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
470.44/117.86	c Added 3 vars  tried: 80000 time: 8.90
471.24/118.09	c ORs :      3 avg-s:  0.0 cl-sh: 15055 l-rem:  15055 b-add:      6 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    9.82
471.64/118.11	c lits-rem:       356  cl-subs:     4566  v-elim:    195  v-fix:    0  time: 20.61 s
471.64/118.11	c learnt bin added due to v-elim: 0
471.64/118.11	c vivif2 --  cl tried    20522 cl shrink        0 lits rem          0 time: 0.01
471.64/118.12	c vivif2 --  cl tried    50807 cl shrink       66 lits rem         66 time: 0.05
472.04/118.22	c asymm  cl-useful: 0/1422/20522 lits-rem:0 time: 0.40
472.04/118.22	c calculated reachability. Time: 0.00
472.04/118.22	c  N dy  4082    806537       262     20522       210     50807     92276    735616     25.88     12.85  --
764.46/191.49	c  N dy  4084   1209805       262     20522       210     66874     92276   1106793     29.03     14.18  --
764.86/191.53	c  S st  4084   1209805       262     20522       210     66874     92276   1106793     29.03     14.18  --
765.26/191.63	c  S st  4084   1210305       262     20522       210     67373     92276   1116926     29.03     14.18  --
765.26/191.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
765.26/191.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
767.27/192.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      6 BRemL:      0 BRemN:      0 CBin:       0 P: 30.8M T:  2.07
767.27/192.15	c Calc non-exist non-lernt bins v-fix:     0 done:    262 time:  0.01 s
767.27/192.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
767.27/192.17	c Subs w/ non-existent bins:      0 time:  0.07 s
767.27/192.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
767.65/192.22	c subs with bin:        0  lits-rem:        10  v-fix:    0  time:  0.11 s
767.65/192.22	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
778.04/194.87	c ORs :      8 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
778.04/194.89	c lits-rem:       529  cl-subs:     5535  v-elim:    195  v-fix:    0  time: 10.65 s
778.04/194.89	c learnt bin added due to v-elim: 0
778.04/194.89	c vivif2 --  cl tried    20522 cl shrink        0 lits rem          0 time: 0.00
778.44/194.91	c vivif2 --  cl tried    61838 cl shrink        8 lits rem          8 time: 0.07
778.84/195.01	c asymm  cl-useful: 0/1000/20522 lits-rem:0 time: 0.43
778.84/195.02	c calculated reachability. Time: 0.00
778.84/195.02	c  N dy  4084   1210305       262     20522       216     61838     92276    973712     29.03     14.18  --
1209.90/302.92	c  N dy  4143   1710305       262     20522       216     92816     92276   1624031     29.67     14.76  --
1209.90/302.99	c  S st  4143   1710305       262     20522       216     92816     92276   1624031     29.67     14.76  --
1210.30/303.10	c  S st  4143   1710806       274     20522       240     93353     92324   1635010     29.67     14.76  --
1210.72/303.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1210.72/303.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1213.89/303.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 41.4M T:  3.33
1213.89/303.94	c Calc non-exist non-lernt bins v-fix:     0 done:    274 time:  0.01 s
1213.89/303.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1213.89/303.97	c Subs w/ non-existent bins:      0 time:  0.10 s
1214.29/304.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1214.29/304.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.19 s
1214.29/304.05	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1235.46/309.39	c ORs :      8 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
1235.86/309.42	c lits-rem:       966  cl-subs:     8873  v-elim:    195  v-fix:    0  time: 21.43 s
1235.86/309.42	c learnt bin added due to v-elim: 0
1235.86/309.42	c vivif2 --  cl tried    20522 cl shrink        0 lits rem          0 time: 0.01
1235.86/309.44	c vivif2 --  cl tried    84480 cl shrink        0 lits rem          0 time: 0.10
1236.26/309.56	c asymm  cl-useful: 0/1184/20522 lits-rem:0 time: 0.48
1236.26/309.57	c calculated reachability. Time: 0.00
1236.26/309.57	c  N dy  4143   1710806       274     20522       240     84480     92324   1426475     29.67     14.76  --
1745.98/437.17	c  N dy  4161   2210806       274     20522       240    100415     92324   1789049     32.27     15.03  --
1746.38/437.24	c  S st  4161   2210806       274     20522       240    100415     92324   1789049     32.27     15.03  --
1746.80/437.36	c  S st  4161   2211309       277     20522       247    100921     92336   1800402     32.27     15.03  --
1746.80/437.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1746.80/437.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1750.38/438.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 46.2M T:  3.60
1750.38/438.27	c Calc non-exist non-lernt bins v-fix:     0 done:    277 time:  0.01 s
1750.38/438.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1750.78/438.30	c Subs w/ non-existent bins:      0 time:  0.11 s
1750.78/438.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1750.78/438.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.22 s
1750.78/438.39	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1775.55/444.50	c ORs :      8 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.07
1775.55/444.53	c lits-rem:       365  cl-subs:     7029  v-elim:    195  v-fix:    0  time: 24.51 s
1775.55/444.53	c learnt bin added due to v-elim: 0
1775.55/444.53	c vivif2 --  cl tried    20522 cl shrink        0 lits rem          0 time: 0.01
1775.55/444.56	c vivif2 --  cl tried    93892 cl shrink        2 lits rem          2 time: 0.12
1775.95/444.68	c asymm  cl-useful: 0/1010/20522 lits-rem:0 time: 0.49
1775.95/444.69	c calculated reachability. Time: 0.00
1775.95/444.69	c  N dy  4161   2211309       277     20522       247     93892     92336   1615068     32.27     15.03  --
2318.82/580.53	c  N dy  4162   2711309       277     20522       247    117684     92336   2114924     27.86     15.49  --
2319.22/580.62	c  S st  4162   2711309       277     20522       247    117684     92336   2114924     27.86     15.49  --
2319.62/580.75	c  S st  4162   2711811       279     20522       251    118187     92344   2126051     27.86     15.49  --
2319.62/580.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2319.62/580.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2324.41/581.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.94
2324.41/582.00	c Calc non-exist non-lernt bins v-fix:     0 done:    279 time:  0.02 s
2324.81/582.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2324.81/582.03	c Subs w/ non-existent bins:      0 time:  0.13 s
2324.81/582.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2325.21/582.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.29 s
2325.21/582.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2359.56/590.76	c ORs :      8 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.10
2378.33/595.49	c Added 3 vars  tried: 80000 time: 18.90
2384.34/596.91	c ORs :      3 avg-s:  0.0 cl-sh: 30957 l-rem:  30957 b-add:      9 v-rep:   0 cl-rem: 1 avg s: 11.0 T:   24.57
2384.34/596.95	c lits-rem:       702  cl-subs:     9159  v-elim:    195  v-fix:    0  time: 59.13 s
2384.34/596.95	c learnt bin added due to v-elim: 0
2384.34/596.95	c vivif2 --  cl tried    20522 cl shrink        0 lits rem          0 time: 0.01
2384.34/596.99	c vivif2 --  cl tried   109027 cl shrink        3 lits rem          3 time: 0.14
2385.12/597.11	c asymm  cl-useful: 0/692/20522 lits-rem:0 time: 0.50
2385.12/597.12	c calculated reachability. Time: 0.00
2385.12/597.12	c  N dy  4162   2711811       282     20522       260    109027     92362   1842938     27.86     15.49  --
2385.12/597.12	c  F st  4162   2711811       282     20522       260    109027     92362   1842938     27.86     15.49  --
2387.52/597.78	c Decided on static restart strategy
2978.34/745.63	c  N dy  4169   3211813       282     20522       260     86337     92362   1284749     50.66     16.15  --
2978.34/745.69	c  S st  4169   3211813       282     20522       260     86337     92362   1284749     50.66     16.15  --
2979.15/745.80	c  S st  4169   3212316       282     20522       260     86835     92362   1295250     50.66     16.15  --
2979.15/745.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2979.15/745.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2983.14/746.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 58.5M T:  4.00
2983.14/746.82	c Calc non-exist non-lernt bins v-fix:     0 done:    282 time:  0.01 s
2983.14/746.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2983.14/746.84	c Subs w/ non-existent bins:      0 time:  0.09 s
2983.14/746.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2983.54/746.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.18 s
2983.54/746.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3001.11/751.34	c ORs :     11 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.10
3001.11/751.37	c lits-rem:       200  cl-subs:     2429  v-elim:    195  v-fix:    0  time: 17.79 s
3001.11/751.37	c learnt bin added due to v-elim: 0
3001.11/751.37	c vivif2 --  cl tried    20522 cl shrink        0 lits rem          0 time: 0.01
3001.11/751.39	c vivif2 --  cl tried    84406 cl shrink        0 lits rem          0 time: 0.10
3001.91/751.51	c asymm  cl-useful: 0/882/20522 lits-rem:0 time: 0.46
3001.91/751.51	c calculated reachability. Time: 0.00
3001.91/751.51	c  N dy  4169   3212316       282     20522       260     84406     92362   1209378     50.66     16.15  --
3689.78/923.72	c  N dy  4171   3712316       282     20522       260     93722     92362   1337567     30.93     16.12  --
3689.78/923.78	c  S st  4171   3712316       282     20522       260     93722     92362   1337567     30.93     16.12  --
3689.78/923.78	c Finding binary XORs  T:     0.00 s  found:       0
3690.58/923.90	c  S st  4171   3712818       286     20522       269     94227     92378   1348315     30.93     16.12  --
3690.58/923.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3690.58/923.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3694.58/924.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 58.7M T:  4.09
3694.58/924.93	c Calc non-exist non-lernt bins v-fix:     0 done:    286 time:  0.01 s
3694.58/924.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3694.58/924.96	c Subs w/ non-existent bins:      0 time:  0.10 s
3694.58/924.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3694.98/925.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
3694.98/925.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3709.77/928.72	c ORs :     11 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.10
3709.77/928.75	c lits-rem:       226  cl-subs:     3108  v-elim:    195  v-fix:    0  time: 14.86 s
3709.77/928.75	c learnt bin added due to v-elim: 0
3709.77/928.75	c vivif2 --  cl tried    20522 cl shrink        0 lits rem          0 time: 0.01
3709.77/928.78	c vivif2 --  cl tried    91119 cl shrink        0 lits rem          0 time: 0.10
3710.17/928.89	c asymm  cl-useful: 0/885/20522 lits-rem:0 time: 0.44
3710.17/928.89	c calculated reachability. Time: 0.00
3710.17/928.89	c  N dy  4171   3712818       286     20522       269     91119     92378   1256359     30.93     16.12  --
4395.24/1100.30	c  N dy  4176   4212819       286     20522       269    154119     92378   2792544     26.73     15.96  --
4395.64/1100.41	c  S st  4176   4212819       286     20522       269    154119     92378   2792544     26.73     15.96  --
4396.45/1100.64	c  S st  4176   4213321       286     20522       269    154619     92378   2804472     26.73     15.96  --
4396.45/1100.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4396.45/1100.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4402.04/1102.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  5.56
4402.04/1102.05	c Calc non-exist non-lernt bins v-fix:     0 done:    286 time:  0.02 s
4402.04/1102.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4402.04/1102.09	c Subs w/ non-existent bins:      0 time:  0.18 s
4402.44/1102.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4402.83/1102.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.37 s
4402.83/1102.24	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4464.75/1117.76	c ORs :     11 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.22
4465.15/1117.81	c lits-rem:       686  cl-subs:    10743  v-elim:    195  v-fix:    0  time: 62.17 s
4465.15/1117.81	c learnt bin added due to v-elim: 0
4465.15/1117.81	c vivif2 --  cl tried    20522 cl shrink        0 lits rem          0 time: 0.01
4465.15/1117.86	c vivif2 --  cl tried   143876 cl shrink        0 lits rem          0 time: 0.19
4465.55/1117.99	c asymm  cl-useful: 0/721/20522 lits-rem:0 time: 0.51
4465.95/1118.00	c calculated reachability. Time: 0.00
4465.95/1118.00	c  N dy  4176   4213321       286     20522       269    143876     92378   2502500     26.73     15.96  --

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-3262285-1304133423/watcher-3262285-1304133423 -o /tmp/evaluation-result-3262285-1304133423/solver-3262285-1304133423 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262285-1304133423.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: 8.00 8.07 8.02 5/178 13498
/proc/meminfo: memFree=30726708/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=50276 CPUtime=0 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 744 0 0 0 0 0 0 0 21 0 1 0 524941956 51482624 676 33554432000 4194304 4797429 140734959791616 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13498/statm: 12569 676 347 148 0 7498 0

[startup+0.241797 s]
/proc/loadavg: 8.00 8.07 8.02 5/178 13498
/proc/meminfo: memFree=30726708/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=470048 CPUtime=0.84 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 2558 0 0 0 84 0 0 0 18 0 4 0 524941956 481329152 2352 33554432000 4194304 4797429 140734959791616 18446744073709551615 210647189687 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 144072 2555 377 148 0 139001 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 470048

[startup+0.847337 s]
/proc/loadavg: 8.00 8.07 8.02 5/178 13498
/proc/meminfo: memFree=30726708/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=682836 CPUtime=3.26 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 6097 0 0 0 325 1 0 0 19 0 4 0 524941956 699224064 4944 33554432000 4194304 4797429 140734959791616 18446744073709551615 4351609 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 170709 4944 410 148 0 165638 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 682836

[startup+0.900329 s]
/proc/loadavg: 8.00 8.07 8.02 5/178 13498
/proc/meminfo: memFree=30726708/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=682968 CPUtime=3.47 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 6180 0 0 0 346 1 0 0 19 0 4 0 524941956 699359232 5024 33554432000 4194304 4797429 140734959791616 18446744073709551615 4351848 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 170742 5024 411 148 0 165671 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 682968

[startup+1.00031 s]
/proc/loadavg: 8.00 8.07 8.02 5/178 13498
/proc/meminfo: memFree=30726708/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=683232 CPUtime=3.87 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 6336 0 0 0 386 1 0 0 19 0 4 0 524941956 699629568 5174 33554432000 4194304 4797429 140734959791616 18446744073709551615 4425023 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 170808 5174 411 148 0 165737 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 683232

[startup+1.50023 s]
/proc/loadavg: 8.00 8.07 8.02 5/178 13498
/proc/meminfo: memFree=30726708/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=686032 CPUtime=5.87 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 7885 0 0 0 586 1 0 0 20 0 4 0 524941956 702496768 6368 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424768 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 171508 6368 415 148 0 166437 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 686032

[startup+3.10096 s]
/proc/loadavg: 8.00 8.07 8.02 9/182 13502
/proc/meminfo: memFree=30698976/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=687476 CPUtime=12.26 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 9439 0 0 0 1225 1 0 0 25 0 4 0 524941956 703975424 7199 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568003 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 171869 7199 417 148 0 166798 0
[pid=13498/tid=13500] ppid=13496 vsize=687476 CPUtime=3.05 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 1456 0 0 0 305 0 0 0 24 0 4 0 524941959 703975424 7199 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=687476 CPUtime=3.05 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 1423 0 0 0 305 0 0 0 24 0 4 0 524941959 703975424 7199 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=687476 CPUtime=3.04 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 1454 0 0 0 304 0 0 0 25 0 4 0 524941959 703975424 7199 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524149 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 687476

[startup+6.30044 s]
/proc/loadavg: 8.32 8.14 8.05 12/182 13502
/proc/meminfo: memFree=30693896/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=690272 CPUtime=25.05 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 11461 0 0 0 2502 3 0 0 25 0 4 0 524941956 706838528 7606 33554432000 4194304 4797429 140734959791616 18446744073709551615 4567984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 172568 7606 419 148 0 167497 0
[pid=13498/tid=13500] ppid=13496 vsize=690272 CPUtime=6.25 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 1847 0 0 0 625 0 0 0 25 0 4 0 524941959 706838528 7606 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=690272 CPUtime=6.25 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 1835 0 0 0 625 0 0 0 25 0 4 0 524941959 706838528 7606 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=690272 CPUtime=6.22 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 1857 0 0 0 622 0 0 0 25 0 4 0 524941959 706838528 7606 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 690272

[startup+12.7003 s]
/proc/loadavg: 8.38 8.15 8.05 9/182 13502
/proc/meminfo: memFree=30696360/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=693532 CPUtime=50.63 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 14568 0 0 0 5060 3 0 0 25 0 4 0 524941956 710176768 8579 33554432000 4194304 4797429 140734959791616 18446744073709551615 4495475 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 173383 8579 419 148 0 168312 0
[pid=13498/tid=13500] ppid=13496 vsize=693532 CPUtime=12.65 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 2413 0 0 0 1265 0 0 0 25 0 4 0 524941959 710176768 8579 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=693532 CPUtime=12.65 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 2333 0 0 0 1265 0 0 0 25 0 4 0 524941959 710176768 8579 33554432000 4194304 4797429 140734959791616 18446744073709551615 4351624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=693532 CPUtime=12.6 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 2494 0 0 0 1259 1 0 0 25 0 4 0 524941959 710176768 8579 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 693532

[startup+25.5002 s]
/proc/loadavg: 8.29 8.14 8.05 9/182 13502
/proc/meminfo: memFree=30685460/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=697492 CPUtime=101.74 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 21208 0 0 0 10169 5 0 0 25 0 4 0 524941956 714231808 10049 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 174373 10049 420 148 0 169302 0
[pid=13498/tid=13500] ppid=13496 vsize=697492 CPUtime=25.44 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 3078 0 0 0 2544 0 0 0 25 0 4 0 524941959 714231808 10049 33554432000 4194304 4797429 140734959791616 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=697492 CPUtime=25.45 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 3079 0 0 0 2545 0 0 0 25 0 4 0 524941959 714231808 10049 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=697492 CPUtime=25.34 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 3133 0 0 0 2533 1 0 0 25 0 4 0 524941959 714231808 10049 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 697492

[startup+51.1009 s]
/proc/loadavg: 8.25 8.15 8.05 9/182 13503
/proc/meminfo: memFree=30673540/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=702140 CPUtime=203.98 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 33980 0 0 0 20386 12 0 0 25 0 4 0 524941956 718991360 11914 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 175535 11914 422 148 0 170464 0
[pid=13498/tid=13500] ppid=13496 vsize=702140 CPUtime=51.04 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 4298 0 0 0 5104 0 0 0 25 0 4 0 524941959 718991360 11914 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=702140 CPUtime=51.02 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 4248 0 0 0 5102 0 0 0 25 0 4 0 524941959 718991360 11914 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=702140 CPUtime=50.81 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 4470 0 0 0 5080 1 0 0 25 0 4 0 524941959 718991360 11914 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524944 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 702140

[startup+102.3 s]
/proc/loadavg: 8.27 8.17 8.06 9/182 13504
/proc/meminfo: memFree=30663004/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=711748 CPUtime=408.52 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 56940 0 0 0 40832 20 0 0 25 0 4 0 524941956 728829952 15188 33554432000 4194304 4797429 140734959791616 18446744073709551615 4425633 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 177937 15188 422 148 0 172866 0
[pid=13498/tid=13500] ppid=13496 vsize=711748 CPUtime=102.23 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 6228 0 0 0 10222 1 0 0 25 0 4 0 524941959 728829952 15188 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424965 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=711748 CPUtime=102.22 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 6352 0 0 0 10221 1 0 0 25 0 4 0 524941959 728829952 15188 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=711748 CPUtime=101.76 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 6879 0 0 0 10174 2 0 0 25 0 4 0 524941959 728829952 15188 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.52
Current children cumulated vsize (KiB) 711748

[startup+162.3 s]
/proc/loadavg: 8.10 8.14 8.06 9/182 13506
/proc/meminfo: memFree=30644740/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=720712 CPUtime=648.22 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 80398 0 0 0 64793 29 0 0 25 0 4 0 524941956 738009088 18293 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 180178 18293 422 148 0 175107 0
[pid=13498/tid=13500] ppid=13496 vsize=720712 CPUtime=162.24 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 8696 0 0 0 16221 3 0 0 25 0 4 0 524941959 738009088 18293 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=720712 CPUtime=162.22 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 8610 0 0 0 16220 2 0 0 25 0 4 0 524941959 738009088 18293 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=720712 CPUtime=161.46 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 8895 0 0 0 16143 3 0 0 25 0 4 0 524941959 738009088 18293 33554432000 4194304 4797429 140734959791616 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.22
Current children cumulated vsize (KiB) 720712

[startup+222.301 s]
/proc/loadavg: 8.14 8.14 8.06 9/182 13508
/proc/meminfo: memFree=30624748/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=725676 CPUtime=887.91 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 101712 0 0 0 88753 38 0 0 25 0 4 0 524941956 743092224 20265 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 181419 20265 422 148 0 176348 0
[pid=13498/tid=13500] ppid=13496 vsize=725676 CPUtime=222.24 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 10503 0 0 0 22220 4 0 0 25 0 4 0 524941959 743092224 20265 33554432000 4194304 4797429 140734959791616 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=725676 CPUtime=222.21 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 10402 0 0 0 22218 3 0 0 25 0 4 0 524941959 743092224 20265 33554432000 4194304 4797429 140734959791616 18446744073709551615 4428704 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=725676 CPUtime=221.15 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 11013 0 0 0 22112 3 0 0 25 0 4 0 524941959 743092224 20265 33554432000 4194304 4797429 140734959791616 18446744073709551615 4351344 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.91
Current children cumulated vsize (KiB) 725676

[startup+282.306 s]
/proc/loadavg: 8.08 8.13 8.06 9/182 13510
/proc/meminfo: memFree=30622992/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=731840 CPUtime=1127.63 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 119873 0 0 0 112717 46 0 0 25 0 4 0 524941956 749404160 22304 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 182960 22304 422 148 0 177889 0
[pid=13498/tid=13500] ppid=13496 vsize=731840 CPUtime=282.24 cores=1,3,5,7

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

[pid=13498] ppid=13496 vsize=758800 CPUtime=2565.69 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 211108 0 0 0 256483 86 0 0 25 0 4 0 524941956 777011200 33873 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424853 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 189700 33873 424 148 0 184629 0
[pid=13498/tid=13500] ppid=13496 vsize=758800 CPUtime=642.23 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 21408 0 0 0 64214 9 0 0 25 0 4 0 524941959 777011200 33873 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=758800 CPUtime=642.17 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 21417 0 0 0 64210 7 0 0 25 0 4 0 524941959 777011200 33873 33554432000 4194304 4797429 140734959791616 18446744073709551615 4527113 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=758800 CPUtime=638.97 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 22172 0 0 0 63888 9 0 0 25 0 4 0 524941959 777011200 33873 33554432000 4194304 4797429 140734959791616 18446744073709551615 4428777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.69
Current children cumulated vsize (KiB) 758800

[startup+702.3 s]
/proc/loadavg: 8.04 8.09 8.07 9/182 13551
/proc/meminfo: memFree=30666208/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=760856 CPUtime=2805.38 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 226748 0 0 0 280445 93 0 0 25 0 4 0 524941956 779116544 34755 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 190214 34755 424 148 0 185143 0
[pid=13498/tid=13500] ppid=13496 vsize=760856 CPUtime=702.23 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 22630 0 0 0 70213 10 0 0 25 0 4 0 524941959 779116544 34755 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=760856 CPUtime=702.16 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 22896 0 0 0 70208 8 0 0 25 0 4 0 524941959 779116544 34755 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=760856 CPUtime=698.67 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 23553 0 0 0 69857 10 0 0 25 0 4 0 524941959 779116544 34755 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 760856

[startup+762.3 s]
/proc/loadavg: 8.10 8.10 8.08 9/182 13553
/proc/meminfo: memFree=30653400/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=761392 CPUtime=3045.06 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 240665 0 0 0 304407 99 0 0 25 0 4 0 524941956 779665408 35868 33554432000 4194304 4797429 140734959791616 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 190348 35868 424 148 0 185277 0
[pid=13498/tid=13500] ppid=13496 vsize=761392 CPUtime=762.22 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 23795 0 0 0 76212 10 0 0 25 0 4 0 524941959 779665408 35868 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=761392 CPUtime=762.17 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 24380 0 0 0 76208 9 0 0 25 0 4 0 524941959 779665408 35868 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=761392 CPUtime=758.35 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 25232 0 0 0 75824 11 0 0 25 0 4 0 524941959 779665408 35868 33554432000 4194304 4797429 140734959791616 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 761392

[startup+822.3 s]
/proc/loadavg: 8.16 8.11 8.08 9/182 13555
/proc/meminfo: memFree=30637388/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=761476 CPUtime=3284.75 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 252270 0 0 0 328370 105 0 0 25 0 4 0 524941956 779751424 36700 33554432000 4194304 4797429 140734959791616 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 190369 36700 422 148 0 185298 0
[pid=13498/tid=13500] ppid=13496 vsize=761476 CPUtime=822.23 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 24978 0 0 0 82212 11 0 0 25 0 4 0 524941959 779751424 36700 33554432000 4194304 4797429 140734959791616 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=761476 CPUtime=822.16 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 25644 0 0 0 82207 9 0 0 25 0 4 0 524941959 779751424 36700 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=761476 CPUtime=818.04 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 26431 0 0 0 81792 12 0 0 25 0 4 0 524941959 779751424 36700 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 761476

[startup+882.3 s]
/proc/loadavg: 8.10 8.11 8.08 9/182 13557
/proc/meminfo: memFree=30629432/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=763372 CPUtime=3524.41 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 264594 0 0 0 352330 111 0 0 25 0 4 0 524941956 781692928 37883 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 190843 37883 422 148 0 185772 0
[pid=13498/tid=13500] ppid=13496 vsize=763372 CPUtime=882.22 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 26316 0 0 0 88211 11 0 0 25 0 4 0 524941959 781692928 37883 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=763372 CPUtime=882.15 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 27064 0 0 0 88205 10 0 0 25 0 4 0 524941959 781692928 37883 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=763372 CPUtime=877.71 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 27215 0 0 0 87759 12 0 0 25 0 4 0 524941959 781692928 37883 33554432000 4194304 4797429 140734959791616 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 763372

[startup+942.306 s]
/proc/loadavg: 8.14 8.11 8.09 9/182 13558
/proc/meminfo: memFree=30615140/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=765200 CPUtime=3764.11 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 276942 0 0 0 376294 117 0 0 25 0 4 0 524941956 783564800 38140 33554432000 4194304 4797429 140734959791616 18446744073709551615 4422918 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 191300 38140 422 148 0 186229 0
[pid=13498/tid=13500] ppid=13496 vsize=765200 CPUtime=942.23 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 27626 0 0 0 94211 12 0 0 25 0 4 0 524941959 783564800 38140 33554432000 4194304 4797429 140734959791616 18446744073709551615 4572344 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=765200 CPUtime=942.16 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 28553 0 0 0 94205 11 0 0 25 0 4 0 524941959 783564800 38140 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=765200 CPUtime=937.4 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 28497 0 0 0 93727 13 0 0 25 0 4 0 524941959 783564800 38140 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 765200

[startup+1002.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/182 13559
/proc/meminfo: memFree=30611896/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=765420 CPUtime=4003.76 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 288837 0 0 0 400254 122 0 0 25 0 4 0 524941956 783790080 38574 33554432000 4194304 4797429 140734959791616 18446744073709551615 4425824 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 191355 38574 422 148 0 186284 0
[pid=13498/tid=13500] ppid=13496 vsize=765420 CPUtime=1002.23 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 28481 0 0 0 100210 13 0 0 25 0 4 0 524941959 783790080 38574 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=765420 CPUtime=1002.14 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 29829 0 0 0 100203 11 0 0 25 0 4 0 524941959 783790080 38574 33554432000 4194304 4797429 140734959791616 18446744073709551615 4425927 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=765420 CPUtime=997.08 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 29740 0 0 0 99694 14 0 0 25 0 4 0 524941959 783790080 38574 33554432000 4194304 4797429 140734959791616 18446744073709551615 4528077 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 765420

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/182 13561
/proc/meminfo: memFree=30596252/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=768384 CPUtime=4243.45 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 301478 0 0 0 424217 128 0 0 25 0 4 0 524941956 786825216 39497 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 192096 39497 422 148 0 187025 0
[pid=13498/tid=13500] ppid=13496 vsize=768384 CPUtime=1062.22 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 29843 0 0 0 106209 13 0 0 25 0 4 0 524941959 786825216 39497 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=768384 CPUtime=1062.14 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 31116 0 0 0 106202 12 0 0 25 0 4 0 524941959 786825216 39497 33554432000 4194304 4797429 140734959791616 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=768384 CPUtime=1056.76 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 31063 0 0 0 105661 15 0 0 25 0 4 0 524941959 786825216 39497 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 768384

[startup+1122.3 s]
/proc/loadavg: 8.05 8.10 8.08 9/182 13563
/proc/meminfo: memFree=30579360/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=769232 CPUtime=4483.12 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 310795 0 0 0 448178 134 0 0 25 0 4 0 524941956 787693568 41961 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 192308 41961 422 148 0 187237 0
[pid=13498/tid=13500] ppid=13496 vsize=769232 CPUtime=1122.23 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 31371 0 0 0 112209 14 0 0 25 0 4 0 524941959 787693568 41961 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=769232 CPUtime=1122.14 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 31833 0 0 0 112201 13 0 0 25 0 4 0 524941959 787693568 41961 33554432000 4194304 4797429 140734959791616 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=769232 CPUtime=1116.44 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 32446 0 0 0 111628 16 0 0 25 0 4 0 524941959 787693568 41961 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 769232

[startup+1182.3 s]
/proc/loadavg: 8.08 8.09 8.08 9/182 13565
/proc/meminfo: memFree=30566316/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=773960 CPUtime=4722.8 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 324072 0 0 0 472139 141 0 0 25 0 4 0 524941956 792535040 44213 33554432000 4194304 4797429 140734959791616 18446744073709551615 4424965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 193490 44213 422 148 0 188419 0
[pid=13498/tid=13500] ppid=13496 vsize=773960 CPUtime=1182.23 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 32800 0 0 0 118208 15 0 0 25 0 4 0 524941959 792535040 44213 33554432000 4194304 4797429 140734959791616 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=773960 CPUtime=1182.12 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 33228 0 0 0 118199 13 0 0 25 0 4 0 524941959 792535040 44213 33554432000 4194304 4797429 140734959791616 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=773960 CPUtime=1176.11 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 33031 0 0 0 117595 16 0 0 25 0 4 0 524941959 792535040 44213 33554432000 4194304 4797429 140734959791616 18446744073709551615 4355877 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 773960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.09 8.08 9/182 13565
/proc/meminfo: memFree=30563088/32951132 swapFree=67080200/67111528
[pid=13498] ppid=13496 vsize=775128 CPUtime=4800.32 cores=1,3,5,7
/proc/13498/stat : 13498 (techdemo) R 13496 13498 13214 0 -1 4202496 328994 0 0 0 479889 143 0 0 25 0 4 0 524941956 793731072 43675 33554432000 4194304 4797429 140734959791616 18446744073709551615 4425001 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13498/statm: 193782 43675 422 148 0 188711 0
[pid=13498/tid=13500] ppid=13496 vsize=775128 CPUtime=1201.63 cores=1,3,5,7
/proc/13498/task/13500/stat : 13500 (techdemo) R 13496 13498 13214 0 -1 4202560 33006 0 0 0 120148 15 0 0 25 0 4 0 524941959 793731072 43676 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13498/tid=13501] ppid=13496 vsize=775128 CPUtime=1201.54 cores=1,3,5,7
/proc/13498/task/13501/stat : 13501 (techdemo) R 13496 13498 13214 0 -1 4202560 33413 0 0 0 120140 14 0 0 25 0 4 0 524941959 793731072 43676 33554432000 4194304 4797429 140734959791616 18446744073709551615 4355911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13498/tid=13502] ppid=13496 vsize=775128 CPUtime=1195.42 cores=1,3,5,7
/proc/13498/task/13502/stat : 13502 (techdemo) R 13496 13498 13214 0 -1 4202560 33841 0 0 0 119525 17 0 0 25 0 4 0 524941959 793731072 43676 33554432000 4194304 4797429 140734959791616 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 775128

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.35
CPU user time (s): 4798.91
CPU system time (s): 1.43878
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 883740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.91
system time used= 1.43878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328995
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= 1144
involuntary context switches= 34624

runsolver used 1.75673 second user time and 4.46332 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-30 05:17:03
IDJOB=3262285
IDBENCH=83292
IDSOLVER=1584
FILE ID=node129/3262285-1304133423
RUNJOBID= node129-1304131594-13233
PBS_JOBID= 13170799
Free space on /tmp= 67244 MiB

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

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

MD5SUM BENCH= 9f9afdb81b528e7852015fad23de6353
RANDOM SEED=863350081

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30726988 kB
Buffers:        259204 kB
Cached:        1444340 kB
SwapCached:       4932 kB
Active:         267032 kB
Inactive:      1618488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30726988 kB
SwapTotal:    67111528 kB
SwapFree:     67080200 kB
Dirty:            8188 kB
Writeback:           0 kB
AnonPages:      179592 kB
Mapped:          13460 kB
Slab:           276012 kB
PageTables:       5484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   805932 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 67236 MiB
End job on node129 at 2011-04-30 05:37:07