Trace number 3262373

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.28 1201.52

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
MD5SUM906590ef62b3db2841b2d529fd1636f7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark698.76
Satisfiable
(Un)Satisfiability was proved
Number of variables203
Number of clauses22241
Sum of the clauses size99837
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268
Number of clauses of size 320324
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51849

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-3262373-1304133480.cnf'
0.00/0.00	c -- header says num vars:            203
0.00/0.00	c -- header says num clauses:       22241
0.02/0.03	c -- clauses added:            0 learnts,        22241 normals,            0 xors
0.02/0.03	c -- vars added        203
0.02/0.03	c Parsing time:  0.04 s
0.02/0.04	c  N st     0         0       203     22173        68         0     99837         0   no data   no data  --
0.67/0.25	c asymm  cl-useful: 1/11549/22173 lits-rem:1 time: 0.84
0.67/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.67/0.25	c Calc non-exist non-lernt bins v-fix:     0 done:    203 time:  0.00 s
0.67/0.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.67/0.25	c Subs w/ non-existent bins:      0 time:  0.00 s
0.67/0.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.67/0.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.67/0.26	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1.07/0.34	c lits-rem:         0  cl-subs:        0  v-elim:    134  v-fix:    0  time:  0.29 s
1.07/0.34	c learnt bin added due to v-elim: 0
1.07/0.34	c Finding binary XORs  T:     0.00 s  found:       0
1.07/0.37	c Finding non-binary XORs:     0.11 s (found:       0, avg size: nan)
1.07/0.37	c calculated reachability. Time: 0.00
1.07/0.37	c Calc default polars -  time:   0.00 s pos:     203 undec:       0 neg:       0
1.07/0.37	c =========================================================================================
1.07/0.37	c types(t): F = full restart, N = normal restart
1.07/0.37	c types(t): S = simplification begin/end, E = solution found
1.07/0.37	c restart types(rt): st = static, dy = dynamic
1.07/0.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.07/0.37	c  B st     0         0       203     22173        68         0     99836         0   no data   no data  --
1.87/0.55	c Decided on static restart strategy
2.66/0.73	c  N dy    20      4097       203     22173        68      3870     99836     79882     20.33     12.10  --
3.88/1.07	c  N dy    49      8193       203     22173        68      5422     99836    101710     19.90     11.58  --
5.46/1.43	c  N dy    78     12285       203     22173        68      5250     99836     89145     20.93     11.65  --
6.66/1.78	c  N dy   106     16299       203     22173        68      9061     99836    166172     20.69     11.77  --
8.27/2.15	c  N dy   135     20394       203     22173        68      7626     99836    128477     22.50     11.74  --
9.85/2.52	c  N dy   164     24529       203     22173        68     11584     99836    209840     19.50     11.75  --
11.45/2.90	c  N dy   193     28652       203     22173        68      9012     99836    149928     20.35     11.72  --
11.85/3.04	c  S st   203     30001       203     22173        68     10309     99836    176720     21.20     11.74  --
11.85/3.08	c  S st   203     30504       203     22173        68     10803     99836    187422     21.20     11.74  --
11.85/3.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.85/3.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.25/3.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.5M T:  0.13
12.25/3.12	c Calc non-exist non-lernt bins v-fix:     0 done:    203 time:  0.00 s
12.25/3.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.25/3.12	c Subs w/ non-existent bins:      0 time:  0.01 s
12.25/3.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
12.25/3.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
12.25/3.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.07/4.36	c lits-rem:       147  cl-subs:     1698  v-elim:    203  v-fix:    0  time:  4.90 s
17.07/4.36	c learnt bin added due to v-elim: 0
17.07/4.36	c vivif2 --  cl tried    22173 cl shrink        0 lits rem          0 time: 0.00
17.07/4.36	c vivif2 --  cl tried     9105 cl shrink        0 lits rem          0 time: 0.01
17.85/4.59	c asymm  cl-useful: 0/10315/22173 lits-rem:0 time: 0.90
17.85/4.59	c calculated reachability. Time: 0.00
17.85/4.59	c  N dy   203     30504       203     22173        68      9105     99836    166528     21.20     11.74  --
17.85/4.59	c  F st   203     30504       203     22173        68      9105     99836    166528     21.20     11.74  --
18.65/4.78	c Decided on static restart strategy
19.45/4.95	c  N dy   223     34562       203     22173        68     12893     99836    241991     21.19     11.67  --
21.05/5.33	c  N dy   252     38649       203     22173        68      9310     99836    150998     20.42     11.64  --
22.64/5.70	c  N dy   281     42796       203     22173        68     13229     99836    230394     18.78     11.63  --
23.84/6.00	c  S st   302     45756       203     22173        68     16015     99836    284619     19.80     11.63  --
23.84/6.05	c  S st   302     46259       203     22173        68     16516     99836    295719     19.80     11.63  --
23.84/6.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.84/6.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.24/6.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.2M T:  0.24
24.24/6.11	c Calc non-exist non-lernt bins v-fix:     0 done:    203 time:  0.00 s
24.24/6.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.24/6.11	c Subs w/ non-existent bins:      0 time:  0.02 s
24.24/6.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
24.24/6.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
24.24/6.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
30.25/7.62	c lits-rem:       288  cl-subs:     1862  v-elim:    203  v-fix:    0  time:  5.97 s
30.25/7.62	c learnt bin added due to v-elim: 0
30.25/7.63	c vivif2 --  cl tried    22173 cl shrink        0 lits rem          0 time: 0.00
30.25/7.63	c vivif2 --  cl tried    14654 cl shrink        0 lits rem          0 time: 0.01
31.03/7.82	c asymm  cl-useful: 3/3218/22173 lits-rem:3 time: 0.75
31.03/7.82	c calculated reachability. Time: 0.00
31.03/7.82	c  N dy   302     46259       203     22173        68     14654     99833    268787     19.80     11.63  --
32.63/8.21	c  N dy   331     50333       203     22173        68     10088     99833    156742     20.62     11.59  --
33.83/8.58	c  N dy   360     54438       203     22173        68     13967     99833    238258     20.50     11.60  --
35.43/8.98	c  N dy   389     58574       203     22173        68     17831     99833    315141     19.96     11.57  --
37.02/9.38	c  N dy   418     62680       203     22173        68     12350     99833    197631     20.33     11.58  --
38.62/9.76	c  N dy   447     66799       203     22173        68     16280     99833    279961     19.13     11.59  --
39.82/10.03	c  S st   466     69388       203     22173        68     18699     99833    326231     17.73     11.54  --
39.82/10.09	c  S st   466     69891       203     22173        68     19196     99832    337065     17.73     11.54  --
39.82/10.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.82/10.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.22/10.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.9M T:  0.34
40.22/10.18	c Calc non-exist non-lernt bins v-fix:     0 done:    203 time:  0.00 s
40.22/10.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.22/10.18	c Subs w/ non-existent bins:      0 time:  0.02 s
40.22/10.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
40.22/10.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
40.61/10.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
47.41/12.00	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
55.00/13.88	c Added 3 vars  tried: 67712 time: 7.53
55.40/13.90	c ORs :      3 avg-s:  0.0 cl-sh:  2470 l-rem:   2470 b-add:      6 v-rep:   0 cl-rem: 16 avg s: 3.0 T:    7.58
55.40/13.90	c lits-rem:       317  cl-subs:     2066  v-elim:    203  v-fix:    0  time: 14.80 s
55.40/13.90	c learnt bin added due to v-elim: 0
55.40/13.90	c vivif2 --  cl tried    22158 cl shrink        0 lits rem          0 time: 0.01
55.40/13.91	c vivif2 --  cl tried    17132 cl shrink        0 lits rem          0 time: 0.01
56.20/14.10	c asymm  cl-useful: 0/3226/22158 lits-rem:0 time: 0.78
56.20/14.10	c calculated reachability. Time: 0.00
56.20/14.10	c  N dy   466     69891       206     22158        74     17132     99525    305095     17.73     11.54  --
56.20/14.10	c  F st   466     69891       206     22158        74     17132     99525    305095     17.73     11.54  --
57.02/14.31	c Decided on static restart strategy
57.80/14.58	c  N dy   489     74445       206     22158        74     11100     99525    169775     20.83     11.51  --
59.80/15.03	c  N dy   523     79340       206     22158        74     15731     99525    266708     21.93     11.55  --
61.79/15.54	c  N dy   559     84482       206     22158        74     20590     99525    361028     19.11     11.55  --
64.19/16.10	c  N dy   597     89949       206     22158        74     14440     99525    233403     18.34     11.53  --
66.18/16.67	c  N dy   638     95828       206     22158        74     20004     99525    344997     19.42     11.51  --
68.98/17.34	c  N dy   682    102097       206     22158        74     13666     99525    197162     18.92     11.47  --
70.21/17.61	c  S st   702    104838       206     22158        74     16264     99525    248439     18.92     11.46  --
70.21/17.66	c  S st   702    105339       206     22158        74     16758     99525    259015     18.92     11.46  --
70.21/17.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
70.21/17.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.58/17.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.3M T:  0.33
70.58/17.74	c Calc non-exist non-lernt bins v-fix:     0 done:    206 time:  0.00 s
70.58/17.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.58/17.75	c Subs w/ non-existent bins:      0 time:  0.01 s
70.58/17.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
70.58/17.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
70.58/17.76	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
75.38/18.90	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
75.38/18.91	c lits-rem:       149  cl-subs:     1353  v-elim:    203  v-fix:    0  time:  4.57 s
75.38/18.91	c learnt bin added due to v-elim: 0
75.38/18.91	c vivif2 --  cl tried    22158 cl shrink        0 lits rem          0 time: 0.01
75.38/18.91	c vivif2 --  cl tried    15405 cl shrink        0 lits rem          0 time: 0.01
76.18/19.12	c asymm  cl-useful: 0/7369/22158 lits-rem:0 time: 0.86
76.18/19.13	c calculated reachability. Time: 0.00
76.18/19.13	c  N dy   702    105339       206     22158        74     15405     99525    241980     18.92     11.46  --
78.99/19.83	c  N dy   750    112167       206     22158        74     21861     99525    369198     18.77     11.48  --
82.17/20.60	c  N dy   801    119432       206     22158        74     15546     99525    228057     20.31     11.48  --
84.97/21.37	c  N dy   855    127098       206     22158        74     22819     99525    373935     18.55     11.48  --
88.56/22.28	c  N dy   912    135296       206     22158        74     16369     99525    228314     17.34     11.49  --
92.17/23.16	c  N dy   973    143967       206     22158        74     24540     99525    386786     19.07     11.47  --
96.17/24.18	c  N dy  1038    153210       206     22158        74     18148     99525    251255     18.85     11.46  --
98.15/24.68	c  S st  1072    158008       206     22158        74     22646     99525    339980     19.20     11.46  --
98.55/24.74	c  S st  1072    158511       206     22158        74     23142     99525    350433     19.20     11.46  --
98.55/24.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.55/24.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.95/24.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.3M T:  0.50
98.95/24.86	c Calc non-exist non-lernt bins v-fix:     0 done:    206 time:  0.00 s
98.95/24.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.95/24.87	c Subs w/ non-existent bins:      0 time:  0.02 s
98.95/24.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
98.95/24.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
98.95/24.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
104.55/26.24	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
104.55/26.24	c lits-rem:       410  cl-subs:     2128  v-elim:    203  v-fix:    0  time:  5.43 s
104.55/26.24	c learnt bin added due to v-elim: 0
104.55/26.25	c vivif2 --  cl tried    22158 cl shrink        0 lits rem          0 time: 0.00
104.55/26.25	c vivif2 --  cl tried    21014 cl shrink        0 lits rem          0 time: 0.02
105.36/26.46	c asymm  cl-useful: 0/5520/22158 lits-rem:0 time: 0.83
105.36/26.46	c calculated reachability. Time: 0.00
105.36/26.46	c  N dy  1072    158511       206     22158        74     21014     99525    322787     19.20     11.46  --
109.76/27.59	c  N dy  1144    168728       206     22158        74     30628     99525    513188     18.63     11.46  --
114.53/28.75	c  N dy  1220    179546       218     22158        98     24967     99573    375483     18.06     11.44  --
119.72/30.10	c  N dy  1301    191131       218     22158        98     18903     99573    248150     19.61     11.43  --
125.32/31.41	c  N dy  1387    203408       218     22158        98     30537     99573    479053     18.99     11.43  --
131.34/32.91	c  N dy  1479    216485       218     22158        98     24920     99573    359857     19.50     11.43  --
137.71/34.59	c  N dy  1577    230435       218     22158        98     19250     99573    238443     20.05     11.44  --
140.90/35.36	c  S st  1629    237768       218     22158        98     26163     99573    372623     19.71     11.43  --
141.30/35.42	c  S st  1629    238269       218     22158        98     26658     99573    384028     19.71     11.43  --
141.30/35.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
141.30/35.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.70/35.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 10.8M T:  0.63
141.70/35.58	c Calc non-exist non-lernt bins v-fix:     0 done:    218 time:  0.00 s
141.70/35.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.70/35.58	c Subs w/ non-existent bins:      0 time:  0.02 s
141.70/35.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
142.10/35.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
142.10/35.60	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
147.30/36.95	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.00
147.30/36.96	c lits-rem:       513  cl-subs:     2584  v-elim:    203  v-fix:    0  time:  5.42 s
147.30/36.96	c learnt bin added due to v-elim: 0
147.30/36.96	c vivif2 --  cl tried    22158 cl shrink        0 lits rem          0 time: 0.00
147.30/36.96	c vivif2 --  cl tried    24074 cl shrink        0 lits rem          0 time: 0.02
147.69/37.07	c asymm  cl-useful: 0/2825/22158 lits-rem:0 time: 0.42
147.69/37.07	c calculated reachability. Time: 0.00
147.69/37.07	c  N dy  1629    238269       218     22158        98     24074     99573    352820     19.71     11.43  --
154.88/38.88	c  N dy  1736    253569       227     22158       116     38572     99609    630599     19.32     11.42  --
162.50/40.75	c  N dy  1850    269879       227     22158       116     34134     99609    524898     18.81     11.41  --
170.89/42.89	c  N dy  1972    287250       227     22158       116     29798     99609    435532     18.74     11.43  --
180.08/45.19	c  N dy  2101    305664       227     22158       116     25445     99609    348738     19.14     11.43  --
190.04/47.61	c  N dy  2238    325193       227     22158       116     43875     99609    708356     18.21     11.42  --
207.63/52.05	c  N dy  2246    357403       227     22158       116     28155     99609    400013     18.71     11.37  --
207.63/52.07	c  S st  2246    357403       227     22158       116     28155     99609    400013     18.71     11.37  --
208.03/52.13	c  S st  2246    357908       227     22158       116     28657     99609    411028     18.71     11.37  --
208.03/52.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
208.03/52.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
208.83/52.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.9M T:  0.75
208.83/52.32	c Calc non-exist non-lernt bins v-fix:     0 done:    227 time:  0.01 s
208.83/52.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
208.83/52.33	c Subs w/ non-existent bins:      0 time:  0.02 s
208.83/52.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
208.83/52.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
208.83/52.35	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
214.84/53.83	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
214.84/53.84	c lits-rem:      1044  cl-subs:     3315  v-elim:    203  v-fix:    0  time:  5.95 s
214.84/53.84	c learnt bin added due to v-elim: 0
214.84/53.84	c vivif2 --  cl tried    22158 cl shrink        0 lits rem          0 time: 0.01
214.84/53.84	c vivif2 --  cl tried    25342 cl shrink        0 lits rem          0 time: 0.02
215.62/54.02	c asymm  cl-useful: 1/2493/22158 lits-rem:1 time: 0.72
215.62/54.03	c calculated reachability. Time: 0.00
215.62/54.03	c  N dy  2246    357908       227     22158       116     25342     99608    371220     18.71     11.37  --
225.61/56.54	c  N dy  2387    378030       239     22158       148     44441     99664    749525     19.68     11.38  --
235.99/59.16	c  N dy  2528    398038       239     22158       148     38816     99664    602809     19.12     11.38  --
318.70/79.80	c  N dy  2541    536862       239     22158       148     33351     99664    475763     20.63     11.46  --
318.70/79.83	c  S st  2541    536862       239     22158       148     33351     99664    475763     20.63     11.46  --
319.10/79.90	c  S st  2541    537366       239     22158       148     33853     99664    486483     20.63     11.46  --
319.10/79.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
319.10/79.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
319.90/80.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.4M T:  0.94
319.90/80.14	c Calc non-exist non-lernt bins v-fix:     0 done:    239 time:  0.01 s
319.90/80.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
319.90/80.14	c Subs w/ non-existent bins:      0 time:  0.03 s
319.90/80.15	c Replacing        2 vars Replaced       50 lits Time:     0.01 s 
319.90/80.16	c bin-w-bin subsume rem            4 bins  time:  0.01 s
319.90/80.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
319.90/80.17	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
325.49/81.53	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
330.29/82.73	c Added 3 vars  tried: 80000 time: 4.78
330.29/82.75	c ORs :      3 avg-s:  0.0 cl-sh:  2898 l-rem:   2898 b-add:      7 v-rep:   0 cl-rem: 20 avg s: 3.1 T:    4.87
330.29/82.76	c lits-rem:       454  cl-subs:     1280  v-elim:    203  v-fix:    0  time: 10.34 s
330.29/82.76	c learnt bin added due to v-elim: 0
330.29/82.76	c vivif2 --  cl tried    22142 cl shrink        0 lits rem          0 time: 0.01
330.29/82.77	c vivif2 --  cl tried    32571 cl shrink        0 lits rem          0 time: 0.03
330.69/82.86	c asymm  cl-useful: 0/704/22142 lits-rem:0 time: 0.36
330.69/82.86	c calculated reachability. Time: 0.00
330.69/82.86	c  N dy  2541    537366       240     22142       143     32571     99458    465448     20.63     11.46  --
330.69/82.86	c  F st  2541    537366       240     22142       143     32571     99458    465448     20.63     11.46  --
331.88/83.13	c Decided on static restart strategy
504.90/126.45	c  N dy  2589    806050       240     22142       144     55133     99458    852778     21.61     11.68  --
504.90/126.49	c  S st  2589    806050       240     22142       144     55133     99458    852778     21.61     11.68  --
504.90/126.49	c Finding binary XORs  T:     0.00 s  found:       1
505.30/126.58	c  S st  2589    806554       252     22142       168     55695     99506    863528     21.61     11.68  --
505.30/126.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
505.30/126.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
506.88/126.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 24.1M T:  1.55
506.88/126.97	c Calc non-exist non-lernt bins v-fix:     0 done:    252 time:  0.01 s
506.88/126.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
506.88/126.98	c Subs w/ non-existent bins:      0 time:  0.05 s
507.28/127.06	c Replacing        1 vars Replaced     3314 lits Time:     0.29 s 
507.28/127.08	c bin-w-bin subsume rem            2 bins  time:  0.01 s
507.28/127.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
507.68/127.10	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
516.87/129.45	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
516.87/129.46	c lits-rem:       544  cl-subs:     5369  v-elim:    203  v-fix:    0  time:  9.46 s
516.87/129.46	c learnt bin added due to v-elim: 0
516.87/129.47	c vivif2 --  cl tried    22142 cl shrink        0 lits rem          0 time: 0.01
516.87/129.48	c vivif2 --  cl tried    50326 cl shrink        0 lits rem          0 time: 0.05
517.27/129.58	c asymm  cl-useful: 0/628/22142 lits-rem:0 time: 0.40
517.27/129.58	c calculated reachability. Time: 0.00
517.27/129.58	c  N dy  2589    806554       251     22142       164     50326     99502    781499     21.61     11.68  --
797.76/199.79	c  N dy  2632   1209831       251     22142       164     65130     99502    878310     19.43     11.46  --
798.16/199.83	c  S st  2632   1209831       251     22142       164     65130     99502    878310     19.43     11.46  --
798.56/199.92	c  S st  2632   1210340       263     22142       188     65693     99550    889295     19.43     11.46  --
798.56/199.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
798.56/199.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
800.55/200.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 32.4M T:  1.97
800.55/200.42	c Calc non-exist non-lernt bins v-fix:     0 done:    263 time:  0.01 s
800.55/200.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
800.55/200.43	c Subs w/ non-existent bins:      0 time:  0.05 s
800.55/200.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
800.55/200.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
800.55/200.48	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
813.33/203.65	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
813.33/203.66	c lits-rem:       479  cl-subs:    18809  v-elim:    203  v-fix:    0  time: 12.74 s
813.33/203.66	c learnt bin added due to v-elim: 0
813.33/203.67	c vivif2 --  cl tried    22142 cl shrink        0 lits rem          0 time: 0.01
813.33/203.68	c vivif2 --  cl tried    46884 cl shrink        0 lits rem          0 time: 0.04
813.73/203.78	c asymm  cl-useful: 0/875/22142 lits-rem:0 time: 0.39
813.73/203.78	c calculated reachability. Time: 0.00
813.73/203.78	c  N dy  2632   1210340       263     22142       188     46884     99550    690553     19.43     11.46  --
1227.27/307.20	c  N dy  2643   1710340       263     22142       188     79305     99550   1177640     18.46     11.66  --
1227.27/307.25	c  S st  2643   1710340       263     22142       188     79305     99550   1177640     18.46     11.66  --
1227.67/307.38	c  S st  2643   1710845       271     22142       205     79828     99582   1187618     18.46     11.66  --
1227.67/307.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1227.67/307.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1230.49/308.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 42.3M T:  2.77
1230.49/308.08	c Calc non-exist non-lernt bins v-fix:     0 done:    271 time:  0.01 s
1230.49/308.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1230.87/308.10	c Subs w/ non-existent bins:      0 time:  0.07 s
1230.87/308.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1230.87/308.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
1230.87/308.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1246.05/311.95	c ORs :      6 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
1252.83/313.65	c Added 3 vars  tried: 80000 time: 6.77
1253.23/313.70	c ORs :      3 avg-s:  0.0 cl-sh:  3830 l-rem:   3830 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    6.96
1253.23/313.72	c lits-rem:        57  cl-subs:     8447  v-elim:    203  v-fix:    0  time: 22.26 s
1253.23/313.72	c learnt bin added due to v-elim: 0
1253.23/313.72	c vivif2 --  cl tried    22145 cl shrink        0 lits rem          0 time: 0.01
1253.23/313.74	c vivif2 --  cl tried    71381 cl shrink        0 lits rem          0 time: 0.08
1253.63/313.86	c asymm  cl-useful: 0/478/22145 lits-rem:0 time: 0.45
1253.63/313.86	c calculated reachability. Time: 0.00
1253.63/313.86	c  N dy  2643   1710845       274     22145       211     71381     99579   1058229     18.46     11.66  --
1712.70/428.77	c  N dy  2644   2210846       274     22145       211     87950     99579   1282861     21.24     11.57  --
1713.10/428.83	c  S st  2644   2210846       274     22145       211     87950     99579   1282861     21.24     11.57  --
1713.52/428.96	c  S st  2644   2211350       274     22145       211     88445     99579   1293865     21.24     11.57  --
1713.52/428.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1713.52/428.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1717.10/429.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 52.0M T:  3.55
1717.10/429.85	c Calc non-exist non-lernt bins v-fix:     0 done:    274 time:  0.01 s
1717.10/429.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1717.10/429.87	c Subs w/ non-existent bins:      0 time:  0.08 s
1717.50/429.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1717.50/429.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.12 s
1717.50/429.94	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1735.08/434.36	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.07
1735.08/434.38	c lits-rem:       133  cl-subs:    10675  v-elim:    203  v-fix:    0  time: 17.77 s
1735.08/434.38	c learnt bin added due to v-elim: 0
1735.08/434.39	c vivif2 --  cl tried    22145 cl shrink        0 lits rem          0 time: 0.01
1735.49/434.41	c vivif2 --  cl tried    77770 cl shrink        0 lits rem          0 time: 0.08
1735.90/434.52	c asymm  cl-useful: 0/321/22145 lits-rem:0 time: 0.44
1735.90/434.52	c calculated reachability. Time: 0.00
1735.90/434.52	c  N dy  2644   2211350       274     22145       211     77770     99579   1172973     21.24     11.57  --
2232.10/558.76	c  N dy  2647   2711350       274     22145       212    100264     99579   1385383     16.06     11.50  --
2232.51/558.82	c  S st  2647   2711350       274     22145       212    100264     99579   1385383     16.06     11.50  --
2232.51/558.83	c Finding binary XORs  T:     0.00 s  found:       0
2232.88/558.96	c  S st  2647   2711854       286     22145       238    100782     99627   1395837     16.06     11.50  --
2232.88/558.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2232.88/558.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2236.90/559.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.09
2236.90/559.99	c Calc non-exist non-lernt bins v-fix:     0 done:    286 time:  0.01 s
2236.90/559.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2237.28/560.01	c Subs w/ non-existent bins:      0 time:  0.10 s
2237.28/560.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2240.08/560.75	c subs with bin:     5722  lits-rem:      1055  v-fix:    0  time:  2.82 s
2240.08/560.75	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2262.06/566.29	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.07
2262.46/566.31	c lits-rem:       366  cl-subs:    17631  v-elim:    203  v-fix:    0  time: 22.21 s
2262.46/566.31	c learnt bin added due to v-elim: 0
2262.46/566.31	c vivif2 --  cl tried    22141 cl shrink        0 lits rem          0 time: 0.01
2262.46/566.33	c vivif2 --  cl tried    77433 cl shrink        1 lits rem          1 time: 0.08
2262.87/566.44	c asymm  cl-useful: 0/263/22141 lits-rem:0 time: 0.42
2262.87/566.45	c calculated reachability. Time: 0.00
2262.87/566.45	c  N dy  2647   2711854       286     22141       238     77433     99617   1119166     16.06     11.50  --
2262.87/566.45	c  F st  2647   2711854       286     22141       238     77433     99617   1119166     16.06     11.50  --
2264.45/566.88	c Decided on static restart strategy
2782.64/696.54	c  N dy  2657   3211855       286     22141       238    130098     99617   2016365     18.05     11.44  --
2783.04/696.63	c  S st  2657   3211855       286     22141       238    130098     99617   2016365     18.05     11.44  --
2783.84/696.82	c  S st  2657   3212361       290     22141       246    130609     99633   2026903     18.05     11.44  --
2783.84/696.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2783.84/696.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2788.24/697.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  4.65
2788.64/698.00	c Calc non-exist non-lernt bins v-fix:     0 done:    290 time:  0.02 s
2788.64/698.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2788.64/698.03	c Subs w/ non-existent bins:      0 time:  0.12 s
2788.64/698.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2789.04/698.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.20 s
2789.04/698.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2832.58/709.01	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.11
2832.58/709.05	c lits-rem:       188  cl-subs:    19076  v-elim:    203  v-fix:    0  time: 43.64 s
2832.58/709.05	c learnt bin added due to v-elim: 0
2832.58/709.05	c vivif2 --  cl tried    22141 cl shrink        0 lits rem          0 time: 0.01
2832.58/709.09	c vivif2 --  cl tried   111532 cl shrink        1 lits rem          2 time: 0.13
2833.38/709.21	c asymm  cl-useful: 0/249/22141 lits-rem:0 time: 0.49
2833.38/709.22	c calculated reachability. Time: 0.00
2833.38/709.22	c  N dy  2657   3212361       290     22141       246    111532     99633   1752653     18.05     11.44  --
3442.24/861.69	c  N dy  2658   3712361       290     22141       247    127822     99633   1847057     18.60     11.34  --
3442.64/861.77	c  S st  2658   3712361       290     22141       247    127822     99633   1847057     18.60     11.34  --
3443.44/861.93	c  S st  2658   3712865       292     22141       251    128321     99641   1857701     18.60     11.34  --
3443.44/861.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3443.44/861.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3447.85/863.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  4.44
3447.85/863.05	c Calc non-exist non-lernt bins v-fix:     0 done:    292 time:  0.01 s
3447.85/863.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3447.85/863.08	c Subs w/ non-existent bins:      0 time:  0.12 s
3448.25/863.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3468.22/868.14	c subs with bin:    27687  lits-rem:      1491  v-fix:    0  time: 20.03 s
3468.22/868.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3488.60/873.20	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
3494.99/874.89	c Added 3 vars  tried: 80000 time: 6.77
3495.39/874.93	c ORs :      3 avg-s:  0.0 cl-sh:  3439 l-rem:   3439 b-add:      6 v-rep:   0 cl-rem: 11 avg s: 3.0 T:    6.93
3495.39/874.97	c lits-rem:       537  cl-subs:    10075  v-elim:    203  v-fix:    0  time: 27.28 s
3495.39/874.97	c learnt bin added due to v-elim: 0
3495.39/874.97	c vivif2 --  cl tried    22130 cl shrink        0 lits rem          0 time: 0.01
3495.39/874.99	c vivif2 --  cl tried    90562 cl shrink        0 lits rem          0 time: 0.10
3496.19/875.11	c asymm  cl-useful: 0/231/22130 lits-rem:0 time: 0.48
3496.19/875.12	c calculated reachability. Time: 0.00
3496.19/875.12	c  N dy  2658   3712865       295     22130       257     90562     99416   1369063     18.60     11.34  --
4153.39/1039.64	c  N dy  2659   4212865       295     22130       258    159683     99416   2454708     16.69     11.26  --
4153.79/1039.74	c  S st  2659   4212865       295     22130       258    159683     99416   2454708     16.69     11.26  --
4154.59/1039.96	c  S st  2659   4213367       295     22130       258    160183     99416   2464475     16.69     11.26  --
4154.59/1039.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4154.59/1039.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4159.78/1041.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.91
4159.78/1041.20	c Calc non-exist non-lernt bins v-fix:     0 done:    295 time:  0.02 s
4159.78/1041.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4159.78/1041.24	c Subs w/ non-existent bins:      0 time:  0.15 s
4160.19/1041.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4167.38/1043.14	c subs with bin:     9114  lits-rem:      1204  v-fix:    0  time:  7.35 s
4167.38/1043.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4233.69/1059.76	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.12
4234.09/1059.81	c lits-rem:       751  cl-subs:    28802  v-elim:    203  v-fix:    0  time: 66.57 s
4234.09/1059.81	c learnt bin added due to v-elim: 0
4234.09/1059.81	c vivif2 --  cl tried    22125 cl shrink        0 lits rem          0 time: 0.01
4234.09/1059.84	c vivif2 --  cl tried   122272 cl shrink        2 lits rem          3 time: 0.14
4234.49/1059.96	c asymm  cl-useful: 0/249/22125 lits-rem:0 time: 0.48
4234.49/1059.97	c calculated reachability. Time: 0.00
4234.49/1059.97	c  N dy  2659   4213367       295     22125       258    122272     99403   1945922     16.69     11.26  --

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 6.02 5.32 5.89 5/180 5897
/proc/meminfo: memFree=30885132/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=50412 CPUtime=0 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 784 0 0 0 0 0 0 0 25 0 1 0 524946753 51621888 712 33554432000 4194304 4797429 140734382766160 18446744073709551615 268272349893 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5897/statm: 12603 713 347 148 0 7532 0

[startup+0.0306451 s]
/proc/loadavg: 6.02 5.32 5.89 5/180 5897
/proc/meminfo: memFree=30885132/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=54664 CPUtime=0.02 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 2183 0 0 0 2 0 0 0 25 0 1 0 524946753 55975936 2039 33554432000 4194304 4797429 140734382766160 18446744073709551615 268272356283 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5897/statm: 13666 2043 349 148 0 8595 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 54664

[startup+0.175619 s]
/proc/loadavg: 6.02 5.32 5.89 5/180 5897
/proc/meminfo: memFree=30885132/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=151060 CPUtime=0.57 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 2456 0 0 0 57 0 0 0 25 0 4 0 524946753 154685440 2294 33554432000 4194304 4797429 140734382766160 18446744073709551615 4430123 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 37765 2294 374 148 0 32694 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 151060

[startup+0.300599 s]
/proc/loadavg: 6.02 5.32 5.89 5/180 5897
/proc/meminfo: memFree=30885132/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=681472 CPUtime=1.07 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 5197 0 0 0 106 1 0 0 25 0 4 0 524946753 697827328 4034 33554432000 4194304 4797429 140734382766160 18446744073709551615 4524456 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 170368 4034 397 148 0 165297 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 681472

[startup+0.700526 s]
/proc/loadavg: 6.02 5.32 5.89 5/180 5897
/proc/meminfo: memFree=30885132/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=683364 CPUtime=2.66 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 6313 0 0 0 265 1 0 0 25 0 4 0 524946753 699764736 4991 33554432000 4194304 4797429 140734382766160 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 170841 4991 410 148 0 165770 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 683364

[startup+1.50039 s]
/proc/loadavg: 6.18 5.37 5.90 9/184 5901
/proc/meminfo: memFree=30865388/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=687304 CPUtime=5.86 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 8574 0 0 0 585 1 0 0 25 0 4 0 524946753 703799296 6858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 171826 6858 416 148 0 166755 0
[pid=5897/tid=5899] ppid=5895 vsize=687304 CPUtime=1.44 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 1545 0 0 0 144 0 0 0 25 0 4 0 524946757 703799296 6858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=687304 CPUtime=1.45 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 1517 0 0 0 145 0 0 0 25 0 4 0 524946757 703799296 6858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=687304 CPUtime=1.45 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 1552 0 0 0 145 0 0 0 25 0 4 0 524946757 703799296 6858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 687304

[startup+3.1011 s]
/proc/loadavg: 6.18 5.37 5.90 9/184 5901
/proc/meminfo: memFree=30858072/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=689332 CPUtime=12.25 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 10181 0 0 0 1224 1 0 0 25 0 4 0 524946753 705875968 7280 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429065 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 172333 7280 417 148 0 167262 0
[pid=5897/tid=5899] ppid=5895 vsize=689332 CPUtime=3.04 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 1614 0 0 0 304 0 0 0 25 0 4 0 524946757 705875968 7280 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=689332 CPUtime=3.05 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 1833 0 0 0 305 0 0 0 25 0 4 0 524946757 705875968 7280 33554432000 4194304 4797429 140734382766160 18446744073709551615 4524563 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=689332 CPUtime=3.05 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 1658 0 0 0 305 0 0 0 25 0 4 0 524946757 705875968 7280 33554432000 4194304 4797429 140734382766160 18446744073709551615 4501744 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 689332

[startup+6.30053 s]
/proc/loadavg: 6.18 5.37 5.90 9/184 5901
/proc/meminfo: memFree=30853356/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=691676 CPUtime=25.04 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 12199 0 0 0 2502 2 0 0 25 0 4 0 524946753 708276224 7987 33554432000 4194304 4797429 140734382766160 18446744073709551615 4524088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 172919 7987 419 148 0 167848 0
[pid=5897/tid=5899] ppid=5895 vsize=691676 CPUtime=6.22 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 2017 0 0 0 622 0 0 0 25 0 4 0 524946757 708276224 7987 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=691676 CPUtime=6.25 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 1907 0 0 0 625 0 0 0 25 0 4 0 524946757 708276224 7987 33554432000 4194304 4797429 140734382766160 18446744073709551615 4528126 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=691676 CPUtime=6.25 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 2002 0 0 0 625 0 0 0 25 0 4 0 524946757 708276224 7987 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 691676

[startup+12.7004 s]
/proc/loadavg: 6.46 5.45 5.92 9/184 5901
/proc/meminfo: memFree=30840904/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=694444 CPUtime=50.61 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 15000 0 0 0 5058 3 0 0 25 0 4 0 524946753 711110656 9335 33554432000 4194304 4797429 140734382766160 18446744073709551615 4495525 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 173611 9335 420 148 0 168540 0
[pid=5897/tid=5899] ppid=5895 vsize=694444 CPUtime=12.59 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 2323 0 0 0 1259 0 0 0 25 0 4 0 524946757 711110656 9335 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=694444 CPUtime=12.64 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 2413 0 0 0 1264 0 0 0 25 0 4 0 524946757 711110656 9335 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=694444 CPUtime=12.65 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 2218 0 0 0 1265 0 0 0 25 0 4 0 524946757 711110656 9335 33554432000 4194304 4797429 140734382766160 18446744073709551615 4524142 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 694444

[startup+25.5011 s]
/proc/loadavg: 6.70 5.54 5.94 9/184 5901
/proc/meminfo: memFree=30834900/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=699456 CPUtime=101.75 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 22913 0 0 0 10170 5 0 0 25 0 4 0 524946753 716242944 10669 33554432000 4194304 4797429 140734382766160 18446744073709551615 4524081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 174864 10669 420 148 0 169793 0
[pid=5897/tid=5899] ppid=5895 vsize=699456 CPUtime=25.33 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 3419 0 0 0 2533 0 0 0 25 0 4 0 524946757 716242944 10669 33554432000 4194304 4797429 140734382766160 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=699456 CPUtime=25.44 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 3121 0 0 0 2544 0 0 0 25 0 4 0 524946757 716242944 10669 33554432000 4194304 4797429 140734382766160 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=699456 CPUtime=25.45 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 3141 0 0 0 2545 0 0 0 25 0 4 0 524946757 716242944 10669 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429249 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 699456

[startup+51.1006 s]
/proc/loadavg: 7.14 5.73 6.00 9/184 5902
/proc/meminfo: memFree=30825656/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=704012 CPUtime=204.03 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 35362 0 0 0 20395 8 0 0 25 0 4 0 524946753 720908288 12504 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 176003 12504 422 148 0 170932 0
[pid=5897/tid=5899] ppid=5895 vsize=704012 CPUtime=50.82 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 4573 0 0 0 5081 1 0 0 25 0 4 0 524946757 720908288 12504 33554432000 4194304 4797429 140734382766160 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=704012 CPUtime=51.04 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 4496 0 0 0 5103 1 0 0 25 0 4 0 524946757 720908288 12504 33554432000 4194304 4797429 140734382766160 18446744073709551615 4567975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=704012 CPUtime=51.05 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 4415 0 0 0 5104 1 0 0 25 0 4 0 524946757 720908288 12504 33554432000 4194304 4797429 140734382766160 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 704012

[startup+102.306 s]
/proc/loadavg: 7.72 6.13 6.11 9/184 5903
/proc/meminfo: memFree=30800904/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=712060 CPUtime=408.62 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 56615 0 0 0 40847 15 0 0 25 0 4 0 524946753 729149440 15512 33554432000 4194304 4797429 140734382766160 18446744073709551615 4351812 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 178015 15512 422 148 0 172944 0
[pid=5897/tid=5899] ppid=5895 vsize=712060 CPUtime=101.79 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 6809 0 0 0 10177 2 0 0 25 0 4 0 524946757 729149440 15512 33554432000 4194304 4797429 140734382766160 18446744073709551615 4509395 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=712060 CPUtime=102.24 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 7123 0 0 0 10223 1 0 0 25 0 4 0 524946757 729149440 15512 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=712060 CPUtime=102.26 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 6608 0 0 0 10224 2 0 0 25 0 4 0 524946757 729149440 15512 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 712060

[startup+162.301 s]
/proc/loadavg: 8.00 6.49 6.24 9/184 5905
/proc/meminfo: memFree=30778528/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=721588 CPUtime=648.33 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 78750 0 0 0 64812 21 0 0 25 0 4 0 524946753 738906112 18663 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424887 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 180397 18663 422 148 0 175326 0
[pid=5897/tid=5899] ppid=5895 vsize=721588 CPUtime=161.51 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 8628 0 0 0 16149 2 0 0 25 0 4 0 524946757 738906112 18663 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=721588 CPUtime=162.25 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 9067 0 0 0 16223 2 0 0 25 0 4 0 524946757 738906112 18663 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=721588 CPUtime=162.25 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 8506 0 0 0 16223 2 0 0 25 0 4 0 524946757 738906112 18663 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.33
Current children cumulated vsize (KiB) 721588

[startup+222.301 s]
/proc/loadavg: 8.10 6.80 6.36 9/184 5907
/proc/meminfo: memFree=30755544/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=727988 CPUtime=888.06 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 97113 0 0 0 88780 26 0 0 25 0 4 0 524946753 745459712 21029 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424967 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 181997 21029 422 148 0 176926 0
[pid=5897/tid=5899] ppid=5895 vsize=727988 CPUtime=221.23 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 10507 0 0 0 22120 3 0 0 25 0 4 0 524946757 745459712 21029 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=727988 CPUtime=222.25 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 11281 0 0 0 22222 3 0 0 25 0 4 0 524946757 745459712 21029 33554432000 4194304 4797429 140734382766160 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=727988 CPUtime=222.26 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 10202 0 0 0 22223 3 0 0 25 0 4 0 524946757 745459712 21029 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 888.06
Current children cumulated vsize (KiB) 727988

[startup+282.3 s]

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

[pid=5897] ppid=5895 vsize=756036 CPUtime=2805.81 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 215654 0 0 0 280511 70 0 0 25 0 4 0 524946753 774180864 34093 33554432000 4194304 4797429 140734382766160 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 189009 34093 422 148 0 183938 0
[pid=5897/tid=5899] ppid=5895 vsize=756036 CPUtime=698.95 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 23278 0 0 0 69887 8 0 0 25 0 4 0 524946757 774180864 34093 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=756036 CPUtime=702.25 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 24356 0 0 0 70217 8 0 0 25 0 4 0 524946757 774180864 34093 33554432000 4194304 4797429 140734382766160 18446744073709551615 4523749 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=756036 CPUtime=702.27 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 23099 0 0 0 70218 9 0 0 25 0 4 0 524946757 774180864 34093 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.81
Current children cumulated vsize (KiB) 756036

[startup+762.306 s]
/proc/loadavg: 8.23 7.93 7.13 9/184 5921
/proc/meminfo: memFree=30656904/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=761456 CPUtime=3045.54 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 227329 0 0 0 304481 73 0 0 25 0 4 0 524946753 779730944 35979 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424887 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 190364 35979 422 148 0 185293 0
[pid=5897/tid=5899] ppid=5895 vsize=761456 CPUtime=758.66 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 24850 0 0 0 75858 8 0 0 25 0 4 0 524946757 779730944 35979 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=761456 CPUtime=762.26 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 25997 0 0 0 76218 8 0 0 25 0 4 0 524946757 779730944 35979 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=761456 CPUtime=762.27 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 24868 0 0 0 76218 9 0 0 25 0 4 0 524946757 779730944 35979 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.54
Current children cumulated vsize (KiB) 761456

[startup+822.3 s]
/proc/loadavg: 8.15 7.96 7.19 9/184 5923
/proc/meminfo: memFree=30648064/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=761620 CPUtime=3285.23 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 238500 0 0 0 328446 77 0 0 25 0 4 0 524946753 779898880 36528 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 190405 36528 422 148 0 185334 0
[pid=5897/tid=5899] ppid=5895 vsize=761620 CPUtime=818.37 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 26108 0 0 0 81828 9 0 0 25 0 4 0 524946757 779898880 36528 33554432000 4194304 4797429 140734382766160 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=761620 CPUtime=822.26 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 27279 0 0 0 82217 9 0 0 25 0 4 0 524946757 779898880 36528 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=761620 CPUtime=822.27 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 26161 0 0 0 82217 10 0 0 25 0 4 0 524946757 779898880 36528 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3285.23
Current children cumulated vsize (KiB) 761620

[startup+882.301 s]
/proc/loadavg: 8.18 8.00 7.24 9/184 5924
/proc/meminfo: memFree=30651872/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=763088 CPUtime=3524.95 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 249124 0 0 0 352413 82 0 0 25 0 4 0 524946753 781402112 36733 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 190772 36733 422 148 0 185701 0
[pid=5897/tid=5899] ppid=5895 vsize=763088 CPUtime=878.07 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 27613 0 0 0 87798 9 0 0 25 0 4 0 524946757 781402112 36733 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=763088 CPUtime=882.25 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 28646 0 0 0 88216 9 0 0 25 0 4 0 524946757 781402112 36733 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=763088 CPUtime=882.28 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 27456 0 0 0 88216 12 0 0 25 0 4 0 524946757 781402112 36733 33554432000 4194304 4797429 140734382766160 18446744073709551615 4428848 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.95
Current children cumulated vsize (KiB) 763088

[startup+942.301 s]
/proc/loadavg: 8.12 8.01 7.29 9/184 5926
/proc/meminfo: memFree=30645124/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=767368 CPUtime=3764.67 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 260229 0 0 0 376381 86 0 0 25 0 4 0 524946753 785784832 37115 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424812 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 191842 37115 422 148 0 186771 0
[pid=5897/tid=5899] ppid=5895 vsize=767368 CPUtime=937.79 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 28976 0 0 0 93769 10 0 0 25 0 4 0 524946757 785784832 37115 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429027 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=767368 CPUtime=942.26 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 29983 0 0 0 94216 10 0 0 25 0 4 0 524946757 785784832 37115 33554432000 4194304 4797429 140734382766160 18446744073709551615 4428951 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=767368 CPUtime=942.27 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 28863 0 0 0 94215 12 0 0 25 0 4 0 524946757 785784832 37115 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.67
Current children cumulated vsize (KiB) 767368

[startup+1002.3 s]
/proc/loadavg: 8.10 8.02 7.34 9/184 5927
/proc/meminfo: memFree=30636032/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=769360 CPUtime=4004.37 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 271733 0 0 0 400347 90 0 0 25 0 4 0 524946753 787824640 38428 33554432000 4194304 4797429 140734382766160 18446744073709551615 4380544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 192340 38428 422 148 0 187269 0
[pid=5897/tid=5899] ppid=5895 vsize=769360 CPUtime=997.49 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 30299 0 0 0 99738 11 0 0 25 0 4 0 524946757 787824640 38428 33554432000 4194304 4797429 140734382766160 18446744073709551615 4428969 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=769360 CPUtime=1002.26 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 31389 0 0 0 100215 11 0 0 25 0 4 0 524946757 787824640 38428 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=769360 CPUtime=1002.27 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 30163 0 0 0 100215 12 0 0 25 0 4 0 524946757 787824640 38428 33554432000 4194304 4797429 140734382766160 18446744073709551615 4332786 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4004.37
Current children cumulated vsize (KiB) 769360

[startup+1062.3 s]
/proc/loadavg: 8.09 8.03 7.38 9/184 5929
/proc/meminfo: memFree=30631648/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=770132 CPUtime=4244.08 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 280650 0 0 0 424316 92 0 0 25 0 4 0 524946753 788615168 39957 33554432000 4194304 4797429 140734382766160 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 192533 39957 422 148 0 187462 0
[pid=5897/tid=5899] ppid=5895 vsize=770132 CPUtime=1057.19 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 31589 0 0 0 105708 11 0 0 25 0 4 0 524946757 788615168 39957 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=770132 CPUtime=1062.26 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 32791 0 0 0 106214 12 0 0 25 0 4 0 524946757 788615168 39957 33554432000 4194304 4797429 140734382766160 18446744073709551615 4524155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=770132 CPUtime=1062.28 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 31404 0 0 0 106215 13 0 0 25 0 4 0 524946757 788615168 39957 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4244.08
Current children cumulated vsize (KiB) 770132

[startup+1122.3 s]
/proc/loadavg: 8.03 8.02 7.42 9/184 5931
/proc/meminfo: memFree=30617588/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=771512 CPUtime=4483.79 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 289722 0 0 0 448283 96 0 0 25 0 4 0 524946753 790028288 41088 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 192878 41088 422 148 0 187807 0
[pid=5897/tid=5899] ppid=5895 vsize=771512 CPUtime=1116.91 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 32304 0 0 0 111679 12 0 0 25 0 4 0 524946757 790028288 41088 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=771512 CPUtime=1122.26 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 33445 0 0 0 112214 12 0 0 25 0 4 0 524946757 790028288 41088 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=771512 CPUtime=1122.28 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 32043 0 0 0 112215 13 0 0 25 0 4 0 524946757 790028288 41088 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.79
Current children cumulated vsize (KiB) 771512

[startup+1182.3 s]
/proc/loadavg: 7.74 7.97 7.44 5/176 5950
/proc/meminfo: memFree=30773612/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=771708 CPUtime=4723.51 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 301237 0 0 0 472249 102 0 0 25 0 4 0 524946753 790228992 41124 33554432000 4194304 4797429 140734382766160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 192927 41124 422 148 0 187856 0
[pid=5897/tid=5899] ppid=5895 vsize=771708 CPUtime=1176.61 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 33536 0 0 0 117649 12 0 0 25 0 4 0 524946757 790228992 41124 33554432000 4194304 4797429 140734382766160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=771708 CPUtime=1182.26 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 34719 0 0 0 118213 13 0 0 25 0 4 0 524946757 790228992 41124 33554432000 4194304 4797429 140734382766160 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=771708 CPUtime=1182.28 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 33336 0 0 0 118214 14 0 0 25 0 4 0 524946757 790228992 41124 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.51
Current children cumulated vsize (KiB) 771708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 6.68 7.71 7.36 5/175 5951
/proc/meminfo: memFree=30770224/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=771740 CPUtime=4800.23 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 303421 0 0 0 479920 103 0 0 25 0 4 0 524946753 790261760 41858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 192935 41858 422 148 0 187864 0
[pid=5897/tid=5899] ppid=5895 vsize=771740 CPUtime=1195.73 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 33714 0 0 0 119560 13 0 0 25 0 4 0 524946757 790261760 41858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=771740 CPUtime=1201.47 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 34880 0 0 0 120134 13 0 0 25 0 4 0 524946757 790261760 41858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=771740 CPUtime=1201.49 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 34055 0 0 0 120135 14 0 0 25 0 4 0 524946757 790261760 41858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 771740

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

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

[startup+1201.5 s]
/proc/loadavg: 6.68 7.71 7.36 5/175 5951
/proc/meminfo: memFree=30770224/32950928 swapFree=67111464/67111528
[pid=5897] ppid=5895 vsize=771740 CPUtime=4800.23 cores=0,2,4,6
/proc/5897/stat : 5897 (techdemo) R 5895 5897 4899 0 -1 4202496 303421 0 0 0 479920 103 0 0 25 0 4 0 524946753 790261760 41858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5897/statm: 192935 41858 422 148 0 187864 0
[pid=5897/tid=5899] ppid=5895 vsize=771740 CPUtime=1195.73 cores=0,2,4,6
/proc/5897/task/5899/stat : 5899 (techdemo) R 5895 5897 4899 0 -1 4202560 33714 0 0 0 119560 13 0 0 25 0 4 0 524946757 790261760 41858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5897/tid=5900] ppid=5895 vsize=771740 CPUtime=1201.47 cores=0,2,4,6
/proc/5897/task/5900/stat : 5900 (techdemo) R 5895 5897 4899 0 -1 4202560 34880 0 0 0 120134 13 0 0 25 0 4 0 524946757 790261760 41858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5897/tid=5901] ppid=5895 vsize=771740 CPUtime=1201.49 cores=0,2,4,6
/proc/5897/task/5901/stat : 5901 (techdemo) R 5895 5897 4899 0 -1 4202560 34055 0 0 0 120135 14 0 0 25 0 4 0 524946757 790261760 41858 33554432000 4194304 4797429 140734382766160 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 771740

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.52
CPU time (s): 4800.28
CPU user time (s): 4799.23
CPU system time (s): 1.04584
CPU usage (%): 399.517
Max. virtual memory (cumulated for all children) (KiB): 879512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.23
system time used= 1.04584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303422
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= 1531
involuntary context switches= 30775

runsolver used 1.80173 second user time and 3.9104 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-30 05:18:00
IDJOB=3262373
IDBENCH=83298
IDSOLVER=1584
FILE ID=node122/3262373-1304133480
RUNJOBID= node122-1304132273-5768
PBS_JOBID= 13170781
Free space on /tmp= 73340 MiB

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

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

MD5SUM BENCH= 906590ef62b3db2841b2d529fd1636f7
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:      30885288 kB
Buffers:        310844 kB
Cached:        1302500 kB
SwapCached:         64 kB
Active:         200476 kB
Inactive:      1521936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30885288 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           16740 kB
Writeback:           0 kB
AnonPages:      108348 kB
Mapped:          15820 kB
Slab:           278816 kB
PageTables:       4868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   708440 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= 73340 MiB
End job on node122 at 2011-04-30 05:38:03