Trace number 3261185

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.1 1201.62

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
MD5SUMb828910e9308a3dd9d5f850f224ef842
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark385.978
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of clauses1183
Sum of the clauses size4225
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21014
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5169

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-3261185-1304131065.cnf'
0.00/0.00	c -- header says num vars:            169
0.00/0.00	c -- header says num clauses:        1183
0.00/0.00	c -- clauses added:            0 learnts,         1183 normals,            0 xors
0.00/0.00	c -- vars added        169
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       169       169      1014         0      4225         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/169/169 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.00
0.00/0.01	c Calc non-exist non-lernt bins v-fix:     0 done:    169 time:  0.00 s
0.00/0.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.01	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:    112  v-fix:    0  time:  0.00 s
0.00/0.01	c learnt bin added due to v-elim: 0
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     169
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.01	c  B st     0         0       169       169      1014         0      4225         0   no data   no data  --
0.12/0.06	c Decided on static restart strategy
0.41/0.14	c  N dy    20      4037       169       169      1014      3952      4225    194376     48.73     14.15  --
1.17/0.35	c  N dy    49      8096       169       169      1014      5497      4225    243090     48.61     14.38  --
2.37/0.62	c  N dy    78     12202       169       169      1014      5358      4225    217523     48.37     14.29  --
3.57/0.92	c  N dy   107     16312       169       169      1014      9375      4225    406907     44.70     14.38  --
4.77/1.25	c  N dy   136     20442       169       169      1014      7910      4225    318285     46.22     14.45  --
5.96/1.59	c  N dy   164     24465       169       169      1014     11831      4225    503156     44.59     14.40  --
7.56/1.94	c  N dy   193     28521       169       169      1014      9136      4225    369870     45.49     14.40  --
7.97/2.09	c  S st   204     30001       169       169      1014     10586      4225    438067     46.33     14.39  --
8.39/2.13	c  S st   204     30502       169       169      1014     11081      4225    463147     46.33     14.39  --
8.39/2.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.39/2.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.79/2.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.9M T:  0.41
8.79/2.24	c Calc non-exist non-lernt bins v-fix:     0 done:    169 time:  0.00 s
8.79/2.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.79/2.24	c Subs w/ non-existent bins:      0 time:  0.01 s
8.79/2.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.48 s
10.36/2.62	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.95/5.04	c lits-rem:        31  cl-subs:      672  v-elim:    169  v-fix:    0  time:  9.67 s
19.95/5.04	c learnt bin added due to v-elim: 0
19.95/5.04	c vivif2 --  cl tried      169 cl shrink        0 lits rem          0 time: 0.00
19.95/5.04	c vivif2 --  cl tried    10409 cl shrink        0 lits rem          0 time: 0.02
20.35/5.12	c asymm  cl-useful: 0/169/169 lits-rem:0 time: 0.32
20.35/5.12	c calculated reachability. Time: 0.00
20.35/5.12	c  N dy   204     30502       169       169      1014     10409      4225    438124     46.33     14.39  --
20.35/5.12	c  F st   204     30502       169       169      1014     10409      4225    438124     46.33     14.39  --
20.75/5.26	c Decided on static restart strategy
21.57/5.42	c  N dy   224     34552       169       169      1014     14378      4225    644319     49.99     14.31  --
22.74/5.71	c  N dy   253     38593       169       169      1014     10620      4225    427225     46.60     14.35  --
23.94/6.08	c  N dy   282     42698       169       169      1014     14646      4225    621339     48.93     14.37  --
25.54/6.46	c  S st   305     45754       169       169      1014      8862      4225    320912     48.40     14.39  --
25.96/6.50	c  S st   305     46258       169       169      1014      9363      4225    345506     48.40     14.39  --
25.96/6.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.96/6.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.37/6.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.2M T:  0.66
26.37/6.67	c Calc non-exist non-lernt bins v-fix:     0 done:    169 time:  0.00 s
26.37/6.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.37/6.67	c Subs w/ non-existent bins:      0 time:  0.01 s
26.37/6.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.96 s
27.54/6.92	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.15/7.38	c lits-rem:         6  cl-subs:      137  v-elim:    169  v-fix:    0  time:  1.84 s
29.15/7.38	c learnt bin added due to v-elim: 0
29.15/7.38	c vivif2 --  cl tried      169 cl shrink        0 lits rem          0 time: 0.00
29.15/7.38	c vivif2 --  cl tried     9226 cl shrink        0 lits rem          0 time: 0.01
29.55/7.44	c asymm  cl-useful: 0/169/169 lits-rem:0 time: 0.25
29.55/7.44	c calculated reachability. Time: 0.00
29.55/7.44	c  N dy   305     46258       169       169      1014      9226      4225    340405     48.40     14.39  --
30.76/7.75	c  N dy   334     50362       169       169      1014     13267      4225    541572     49.45     14.42  --
32.34/8.17	c  N dy   363     54476       169       169      1014     17307      4225    741693     52.58     14.45  --
34.34/8.61	c  N dy   392     58552       169       169      1014     11512      4225    431558     48.08     14.50  --
35.53/9.00	c  N dy   421     62655       169       169      1014     15553      4225    623867     48.60     14.51  --
37.53/9.49	c  N dy   449     66660       169       169      1014     19481      4225    816668     49.92     14.55  --
39.14/9.87	c  S st   469     69387       169       169      1014     11360      4225    411689     47.34     14.53  --
39.55/9.92	c  S st   469     69888       169       169      1014     11857      4225    435657     47.34     14.53  --
39.55/9.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.55/9.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.72/10.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.1M T:  1.16
40.72/10.21	c Calc non-exist non-lernt bins v-fix:     0 done:    169 time:  0.00 s
40.72/10.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.72/10.21	c Subs w/ non-existent bins:      0 time:  0.01 s
40.72/10.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.92/10.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.24 s
41.92/10.53	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.91/12.58	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
62.69/15.73	c Added 2 vars  tried: 80000 time: 12.57
62.69/15.74	c ORs :      2 avg-s:  0.0 cl-sh:  2772 l-rem:   2772 b-add:      4 v-rep:   0 cl-rem: 0 avg s: nan T:   12.62
62.69/15.75	c lits-rem:         5  cl-subs:      195  v-elim:    169  v-fix:    0  time: 20.84 s
62.69/15.75	c learnt bin added due to v-elim: 0
62.69/15.75	c vivif2 --  cl tried      171 cl shrink        0 lits rem          0 time: 0.00
62.69/15.75	c vivif2 --  cl tried    11662 cl shrink        0 lits rem          0 time: 0.02
63.09/15.82	c asymm  cl-useful: 0/171/171 lits-rem:0 time: 0.29
63.09/15.82	c calculated reachability. Time: 0.00
63.09/15.82	c  N dy   469     69888       171       171      1018     11662      4239    427069     47.34     14.53  --
63.09/15.82	c  F st   469     69888       171       171      1018     11662      4239    427069     47.34     14.53  --
63.49/15.98	c Decided on static restart strategy
64.70/16.20	c  N dy   492     74369       171       171      1018     16059      4239    651115     49.78     14.55  --
66.69/16.79	c  N dy   526     79169       171       171      1018     20778      4239    880430     50.00     14.60  --
69.48/17.40	c  N dy   562     84227       171       171      1018     13983      4239    527801     47.19     14.63  --
71.48/17.95	c  N dy   600     89624       171       171      1019     19289      4239    784335     48.12     14.64  --
74.69/18.79	c  N dy   641     95410       171       171      1020     24963      4239   1051650     48.30     14.65  --
77.48/19.46	c  N dy   684    101509       171       171      1020     18204      4239    709309     46.01     14.62  --
79.47/19.94	c  S st   708    104834       171       171      1020     21476      4239    866727     47.59     14.63  --
79.87/20.02	c  S st   708    105336       171       171      1025     21971      4239    891002     47.59     14.63  --
79.87/20.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
79.87/20.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.08/20.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     15 BRemL:      3 BRemN:      0 CBin:       0 P: 36.9M T:  3.12
83.08/20.80	c Calc non-exist non-lernt bins v-fix:     0 done:    171 time:  0.00 s
83.08/20.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.08/20.81	c Subs w/ non-existent bins:      0 time:  0.03 s
83.08/20.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.86/21.58	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  3.02 s
85.86/21.58	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
97.05/24.33	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.01
97.05/24.34	c lits-rem:        18  cl-subs:      793  v-elim:    169  v-fix:    0  time: 11.02 s
97.05/24.34	c learnt bin added due to v-elim: 0
97.05/24.34	c vivif2 --  cl tried      171 cl shrink        0 lits rem          0 time: 0.00
97.05/24.35	c vivif2 --  cl tried    21178 cl shrink        0 lits rem          0 time: 0.03
97.45/24.48	c asymm  cl-useful: 0/171/171 lits-rem:0 time: 0.52
97.45/24.48	c calculated reachability. Time: 0.00
97.45/24.48	c  N dy   708    105336       171       171      1037     21178      4239    860635     47.59     14.63  --
101.07/25.35	c  N dy   756    112153       171       171      1037     14113      4239    525057     51.41     14.62  --
103.84/26.07	c  N dy   807    119448       171       171      1037     21274      4239    870815     47.81     14.61  --
108.23/27.19	c  N dy   861    127122       171       171      1037     28804      4239   1246286     49.68     14.62  --
112.22/28.13	c  N dy   919    135345       171       171      1037     22119      4239    896504     46.59     14.62  --
117.42/29.43	c  N dy   980    144073       171       171      1037     30651      4239   1302029     47.29     14.62  --
121.82/30.52	c  N dy  1045    153321       171       171      1037     23999      4239    985369     44.34     14.62  --
124.61/31.25	c  S st  1079    158005       171       171      1037     28569      4239   1195131     46.70     14.62  --
125.01/31.35	c  S st  1079    158505       171       171      1037     29059      4239   1219298     46.70     14.62  --
125.01/31.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
125.01/31.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
129.81/32.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 52.1M T:  4.60
129.81/32.51	c Calc non-exist non-lernt bins v-fix:     0 done:    171 time:  0.00 s
129.81/32.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
129.81/32.52	c Subs w/ non-existent bins:      0 time:  0.04 s
129.81/32.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
134.20/33.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.47 s
134.20/33.65	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
154.17/38.62	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 22.0 T:    0.02
154.17/38.63	c lits-rem:        55  cl-subs:     1439  v-elim:    169  v-fix:    0  time: 19.88 s
154.17/38.63	c learnt bin added due to v-elim: 0
154.17/38.63	c vivif2 --  cl tried      171 cl shrink        0 lits rem          0 time: 0.00
154.17/38.64	c vivif2 --  cl tried    27619 cl shrink        0 lits rem          0 time: 0.05
154.57/38.76	c asymm  cl-useful: 0/171/171 lits-rem:0 time: 0.46
154.57/38.76	c calculated reachability. Time: 0.00
154.57/38.76	c  N dy  1079    158505       171       171      1037     27619      4239   1166202     46.70     14.62  --
159.76/40.04	c  N dy  1151    168657       171       171      1037     20978      4239    873316     50.06     14.63  --
166.16/41.61	c  N dy  1227    179457       171       171      1037     31551      4239   1399207     49.72     14.65  --
172.54/43.26	c  N dy  1308    190939       179       171      1115     25170      4271   1016808     47.66     14.65  --
180.94/45.38	c  N dy  1394    203199       179       171      1115     37166      4271   1591410     48.93     14.65  --
188.13/47.12	c  N dy  1486    216208       179       171      1115     31288      4271   1248892     44.05     14.64  --
197.33/49.50	c  N dy  1584    230121       179       171      1115     25308      4271    931710     48.22     14.64  --
202.90/50.86	c  S st  1638    237758       179       171      1115     32734      4271   1275045     43.56     14.64  --
203.30/50.97	c  S st  1638    238259       179       171      1116     33233      4271   1299547     43.56     14.64  --
203.30/50.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
203.30/50.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
208.90/52.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     18 BRemL:     16 BRemN:      0 CBin:       0 P: 60.1M T:  5.35
208.90/52.31	c Calc non-exist non-lernt bins v-fix:     0 done:    179 time:  0.00 s
208.90/52.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
208.90/52.32	c Subs w/ non-existent bins:      0 time:  0.05 s
208.90/52.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
213.29/53.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.53 s
213.29/53.47	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
234.46/58.79	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.01
234.86/58.80	c lits-rem:        74  cl-subs:     1588  v-elim:    169  v-fix:    0  time: 21.29 s
234.86/58.80	c learnt bin added due to v-elim: 0
234.86/58.80	c vivif2 --  cl tried      171 cl shrink        0 lits rem          0 time: 0.00
234.86/58.82	c vivif2 --  cl tried    31645 cl shrink        1 lits rem          1 time: 0.05
235.26/58.95	c asymm  cl-useful: 0/171/171 lits-rem:0 time: 0.54
235.26/58.95	c calculated reachability. Time: 0.00
235.26/58.95	c  N dy  1638    238259       179       171      1118     31645      4271   1244145     43.56     14.64  --
244.45/61.23	c  N dy  1746    253562       179       171      1120     26134      4271    967817     50.91     14.66  --
257.24/64.44	c  N dy  1860    269758       179       171      1120     41971      4271   1752965     50.45     14.68  --
268.41/67.29	c  N dy  1981    286986       179       171      1120     37276      4271   1464070     47.83     14.69  --
282.40/70.77	c  N dy  2110    305386       179       171      1120     32764      4271   1211609     47.20     14.70  --
298.80/74.82	c  N dy  2247    324944       179       171      1120     28426      4271    970422     44.96     14.71  --
315.97/79.19	c  N dy  2387    344969       179       171      1120     47922      4271   1872950     42.26     14.70  --
324.76/81.39	c  S st  2474    357388       183       171      1150     35669      4287   1272338     47.13     14.70  --
325.54/81.52	c  S st  2474    357893       183       171      1152     36170      4287   1296981     47.13     14.70  --
325.54/81.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
325.54/81.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
330.74/82.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     18 BRemL:     10 BRemN:      0 CBin:       0 P: 60.0M T:  5.28
330.74/82.85	c Calc non-exist non-lernt bins v-fix:     0 done:    183 time:  0.00 s
330.74/82.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
330.74/82.86	c Subs w/ non-existent bins:      0 time:  0.05 s
330.74/82.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
335.13/83.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.40 s
335.13/83.98	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
359.49/90.08	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.01
359.49/90.10	c lits-rem:        76  cl-subs:     1686  v-elim:    169  v-fix:    0  time: 24.44 s
359.49/90.10	c learnt bin added due to v-elim: 0
359.49/90.10	c vivif2 --  cl tried      171 cl shrink        0 lits rem          0 time: 0.00
359.91/90.11	c vivif2 --  cl tried    34484 cl shrink        0 lits rem          0 time: 0.05
360.31/90.24	c asymm  cl-useful: 0/171/171 lits-rem:0 time: 0.53
360.31/90.24	c calculated reachability. Time: 0.00
360.31/90.24	c  N dy  2474    357893       183       171      1160     34484      4287   1242953     47.13     14.70  --
376.67/94.38	c  N dy  2615    377959       183       171      1160     28778      4287    960553     50.16     14.73  --
393.05/98.48	c  N dy  2755    397970       183       171      1163     48350      4287   1943915     49.18     14.73  --
409.83/102.60	c  N dy  2897    418099       183       171      1163     41650      4287   1549019     48.39     14.73  --
428.20/107.26	c  N dy  3037    438112       183       171      1163     33753      4287   1134611     48.16     14.73  --
446.98/111.98	c  N dy  3177    458215       189       171      1219     53251      4311   2035939     44.44     14.72  --
463.76/116.13	c  N dy  3317    478330       189       171      1219     44592      4311   1601167     44.04     14.72  --
483.36/121.08	c  N dy  3456    498355       189       171      1219     34835      4311   1117073     49.17     14.72  --
501.71/125.68	c  N dy  3596    518430       189       171      1219     54358      4311   2001566     46.93     14.72  --
518.50/129.82	c  S st  3725    536840       189       171      1241     42123      4311   1420178     46.81     14.72  --
518.88/129.94	c  S st  3725    537342       189       171      1241     42619      4311   1445556     46.81     14.72  --
518.88/129.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
518.88/129.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
524.48/131.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     11 BRemN:      0 CBin:       0 P: 60.2M T:  5.58
524.48/131.35	c Calc non-exist non-lernt bins v-fix:     0 done:    189 time:  0.00 s
524.48/131.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
524.48/131.36	c Subs w/ non-existent bins:      0 time:  0.07 s
524.48/131.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
529.67/132.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.86 s
529.67/132.60	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
564.42/141.30	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.01
624.34/156.33	c Added 2 vars  tried: 80000 time: 60.01
624.74/156.41	c ORs :      2 avg-s:  0.0 cl-sh:  5880 l-rem:   5880 b-add:      4 v-rep:   0 cl-rem: 1 avg s: 22.0 T:   60.33
624.74/156.43	c lits-rem:       593  cl-subs:     2352  v-elim:    169  v-fix:    0  time: 95.16 s
624.74/156.43	c learnt bin added due to v-elim: 0
624.74/156.43	c vivif2 --  cl tried      173 cl shrink        0 lits rem          0 time: 0.00
624.74/156.45	c vivif2 --  cl tried    40266 cl shrink        0 lits rem          0 time: 0.07
625.14/156.59	c asymm  cl-useful: 0/173/173 lits-rem:0 time: 0.57
625.14/156.59	c calculated reachability. Time: 0.00
625.14/156.59	c  N dy  3725    537342       191       173      1234     40266      4325   1375854     46.81     14.72  --
625.14/156.59	c  F st  3725    537342       191       173      1234     40266      4325   1375854     46.81     14.72  --
626.74/156.94	c Decided on static restart strategy
642.31/160.87	c  N dy  3857    557382       191       173      1238     59925      4325   2373889     51.06     14.73  --
658.30/164.81	c  N dy  3999    577482       191       173      1239     48472      4325   1764236     48.65     14.74  --
680.27/170.32	c  N dy  4140    597573       191       173      1241     35878      4325   1128427     47.45     14.75  --
697.05/174.53	c  N dy  4279    617579       191       173      1241     55344      4325   2051665     49.56     14.75  --
718.22/179.87	c  N dy  4420    637720       191       173      1242     41830      4325   1362940     46.88     14.75  --
738.21/184.84	c  N dy  4560    657762       195       173      1285     61355      4341   2273737     46.94     14.75  --
757.36/189.67	c  N dy  4700    677771       195       173      1286     46756      4341   1569218     46.52     14.74  --
779.73/195.21	c  N dy  4840    697862       195       173      1286     66325      4341   2457718     47.74     14.73  --
798.11/199.85	c  N dy  4980    717917       195       173      1286     50689      4341   1705587     44.37     14.73  --
822.88/206.03	c  N dy  5120    737988       195       173      1302     70188      4341   2597713     45.97     14.73  --
840.86/210.59	c  N dy  5261    758068       195       173      1304     53780      4341   1826796     43.04     14.73  --
866.41/216.94	c  N dy  5402    778204       205       173      1392     73348      4385   2706974     44.51     14.73  --
883.59/221.21	c  N dy  5542    798226       205       173      1392     55861      4385   1888568     45.89     14.72  --
892.79/223.53	c  S st  5596    806017       205       173      1392     63406      4385   2219462     42.40     14.72  --
893.19/223.69	c  S st  5596    806519       205       173      1393     63903      4385   2244746     42.40     14.72  --
893.59/223.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
893.59/223.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
899.58/225.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     29 BRemL:     74 BRemN:      0 CBin:       0 P: 60.1M T:  6.02
899.58/225.21	c Calc non-exist non-lernt bins v-fix:     0 done:    205 time:  0.01 s
899.58/225.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
899.58/225.24	c Subs w/ non-existent bins:      0 time:  0.11 s
899.58/225.24	c Replacing        1 vars Replaced       33 lits Time:     0.04 s 
899.58/225.28	c bin-w-bin subsume rem            2 bins  time:  0.00 s
906.77/227.09	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  7.22 s
906.77/227.09	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
942.71/236.06	c ORs :     12 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
942.71/236.09	c lits-rem:        14  cl-subs:     4151  v-elim:    169  v-fix:    0  time: 35.97 s
942.71/236.09	c learnt bin added due to v-elim: 0
942.71/236.09	c vivif2 --  cl tried      173 cl shrink        0 lits rem          0 time: 0.00
943.11/236.12	c vivif2 --  cl tried    59752 cl shrink        5 lits rem          7 time: 0.11
943.51/236.28	c asymm  cl-useful: 0/149/173 lits-rem:0 time: 0.64
943.51/236.28	c calculated reachability. Time: 0.00
943.51/236.28	c  N dy  5596    806519       204       173      1342     59752      4377   2128868     42.40     14.72  --
948.31/237.44	c Finding binary XORs  T:     0.00 s  found:       0
962.68/241.06	c  N dy  5737    826620       204       173      1342     41522      4377   1282067     47.19     14.73  --
979.48/245.26	c  N dy  5878    846730       204       173      1342     61122      4377   2221551     48.98     14.73  --
1005.03/251.62	c  N dy  6019    866865       204       173      1342     41786      4377   1267607     44.98     14.73  --
1021.01/255.67	c  N dy  6159    886916       213       173      1405     61341      4425   2174351     45.11     14.73  --
1046.97/262.19	c  N dy  6298    907010       213       173      1405     40918      4425   1212113     40.05     14.73  --
1362.95/341.26	c  N dy  6337   1209779       213       173      1405     73681      4425   3089952     58.60     15.95  --
1363.75/341.42	c  S st  6337   1209779       213       173      1405     73681      4425   3089952     58.60     15.95  --
1364.55/341.69	c  S st  6337   1210284       213       173      1423     74176      4429   3114840     58.60     15.95  --
1364.95/341.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1364.95/341.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1371.74/343.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:      0 BRemL:     23 BRemN:      0 CBin:       0 P: 60.1M T:  6.81
1371.74/343.40	c Calc non-exist non-lernt bins v-fix:     0 done:    213 time:  0.01 s
1371.74/343.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1371.74/343.44	c Subs w/ non-existent bins:      0 time:  0.14 s
1371.74/343.45	c Replacing        5 vars Replaced      182 lits Time:     0.04 s 
1372.14/343.50	c bin-w-bin subsume rem           10 bins  time:  0.00 s
1379.75/345.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.64 s
1379.75/345.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1633.79/409.07	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.14
1790.77/448.37	c Added 3 vars  tried: 80000 time: 156.99
1797.56/450.01	c ORs :      3 avg-s:  0.0 cl-sh: 43515 l-rem:  43515 b-add:      6 v-rep:   0 cl-rem: 1 avg s: 46.0 T:  163.53
1797.56/450.05	c lits-rem:       674  cl-subs:     4797  v-elim:    169  v-fix:    0  time: 417.97 s
1797.56/450.05	c learnt bin added due to v-elim: 0
1797.56/450.05	c vivif2 --  cl tried      176 cl shrink        0 lits rem          0 time: 0.00
1797.56/450.09	c vivif2 --  cl tried    69378 cl shrink        8 lits rem         13 time: 0.14
1798.36/450.26	c asymm  cl-useful: 0/176/176 lits-rem:0 time: 0.70
1798.36/450.27	c calculated reachability. Time: 0.00
1798.36/450.27	c  N dy  6337   1210284       211       176      1378     69378      4413   2865280     58.60     15.95  --
2465.09/617.18	c  N dy  6356   1710288       211       176      1399     98221      4413   4691126     66.08     17.11  --
2465.86/617.39	c  S st  6356   1710288       211       176      1399     98221      4413   4691126     66.08     17.11  --
2467.46/617.79	c  S st  6356   1710790       211       176      1399     98713      4413   4715579     66.08     17.11  --
2467.86/617.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2467.86/617.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2476.26/619.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 61.3M T:  8.69
2476.26/619.98	c Calc non-exist non-lernt bins v-fix:     0 done:    211 time:  0.01 s
2476.26/619.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2476.66/620.02	c Subs w/ non-existent bins:      0 time:  0.19 s
2476.66/620.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2485.04/622.14	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  8.16 s
2485.04/622.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3391.02/848.97	c ORs :     19 avg-s:  2.0 cl-sh:     9 l-rem:      9 b-add:      1 v-rep:   0 cl-rem: 2 avg s: 36.0 T:    0.18
3391.42/849.03	c lits-rem:       165  cl-subs:     6006  v-elim:    169  v-fix:    0  time: 906.26 s
3391.42/849.03	c learnt bin added due to v-elim: 0
3391.42/849.03	c vivif2 --  cl tried      176 cl shrink        0 lits rem          0 time: 0.00
3391.42/849.08	c vivif2 --  cl tried    92704 cl shrink       21 lits rem         28 time: 0.20
3392.62/849.31	c asymm  cl-useful: 0/28/176 lits-rem:0 time: 0.92
3392.62/849.31	c calculated reachability. Time: 0.00
3392.62/849.31	c  N dy  6356   1710790       211       176      1401     92704      4413   4377847     66.08     17.11  --
4120.44/1031.58	c  N dy  6448   2210790       223       176      1515    108496      4469   5226206     69.47     16.89  --
4121.66/1031.83	c  S st  6448   2210790       223       176      1515    108496      4469   5226206     69.47     16.89  --
4123.64/1032.34	c  S st  6448   2211293       229       176      1586    109001      4493   5250072     69.47     16.89  --
4123.64/1032.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4123.64/1032.35	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
4134.03/1034.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:     28 BRemN:      0 CBin:       0 P: 60.0M T: 10.35
4134.03/1034.95	c Calc non-exist non-lernt bins v-fix:     0 done:    229 time:  0.01 s
4134.03/1034.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4134.03/1035.00	c Subs w/ non-existent bins:      0 time:  0.21 s
4136.42/1035.52	c Replacing        2 vars Replaced    12059 lits Time:     2.09 s 
4136.83/1035.60	c bin-w-bin subsume rem            5 bins  time:  0.00 s
4144.81/1037.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.21 s
4144.81/1037.66	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s

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-3261185-1304131065/watcher-3261185-1304131065 -o /tmp/evaluation-result-3261185-1304131065/solver-3261185-1304131065 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261185-1304131065.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.06 8.08 8.07 5/180 5695
/proc/meminfo: memFree=30841624/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=80880 CPUtime=0 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 609 0 0 0 0 0 0 0 25 0 4 0 524705314 82821120 544 33554432000 4194304 4797429 140734117854192 18446744073709551615 47691764934578 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 20220 544 361 148 0 15149 0
[pid=5695/tid=5696] ppid=5693 vsize=80880 CPUtime=0 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524705314 82821120 544 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=80880 CPUtime=0 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524705314 82821120 544 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=80880 CPUtime=0 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524705314 82821120 544 33554432000 4194304 4797429 140734117854192 18446744073709551615 268267720936 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0370269 s]
/proc/loadavg: 8.06 8.08 8.07 5/180 5695
/proc/meminfo: memFree=30841624/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=671724 CPUtime=0.12 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 1075 0 0 0 12 0 0 0 25 0 4 0 524705314 687845376 965 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272794143 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 167931 965 407 148 0 162860 0
[pid=5695/tid=5696] ppid=5693 vsize=671724 CPUtime=0.02 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 113 0 0 0 2 0 0 0 25 0 4 0 524705314 687845376 965 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272385684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=671724 CPUtime=0.02 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 137 0 0 0 2 0 0 0 25 0 4 0 524705314 687845376 965 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=671724 CPUtime=0.03 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 113 0 0 0 3 0 0 0 25 0 4 0 524705314 687845376 965 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 671724

[startup+0.110756 s]
/proc/loadavg: 8.06 8.08 8.07 5/180 5695
/proc/meminfo: memFree=30841624/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=672404 CPUtime=0.41 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 1719 0 0 0 41 0 0 0 25 0 4 0 524705314 688541696 1600 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272385734 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 168101 1600 409 148 0 163030 0
[pid=5695/tid=5696] ppid=5693 vsize=672404 CPUtime=0.1 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 268 0 0 0 10 0 0 0 25 0 4 0 524705314 688541696 1600 33554432000 4194304 4797429 140734117854192 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=672404 CPUtime=0.1 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 300 0 0 0 10 0 0 0 25 0 4 0 524705314 688541696 1600 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=672404 CPUtime=0.1 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 279 0 0 0 10 0 0 0 25 0 4 0 524705314 688541696 1600 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 672404

[startup+0.300397 s]
/proc/loadavg: 8.06 8.08 8.07 5/180 5695
/proc/meminfo: memFree=30841624/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=675468 CPUtime=1.17 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 3242 0 0 0 117 0 0 0 25 0 4 0 524705314 691679232 2107 33554432000 4194304 4797429 140734117854192 18446744073709551615 4387372 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 168867 2107 410 148 0 163796 0
[pid=5695/tid=5696] ppid=5693 vsize=675468 CPUtime=0.28 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 666 0 0 0 28 0 0 0 25 0 4 0 524705314 691679232 2107 33554432000 4194304 4797429 140734117854192 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=675468 CPUtime=0.29 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 675 0 0 0 29 0 0 0 25 0 4 0 524705314 691679232 2107 33554432000 4194304 4797429 140734117854192 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=675468 CPUtime=0.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 662 0 0 0 29 0 0 0 25 0 4 0 524705314 691679232 2107 33554432000 4194304 4797429 140734117854192 18446744073709551615 4388868 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 675468

[startup+0.700329 s]
/proc/loadavg: 8.06 8.08 8.07 5/180 5695
/proc/meminfo: memFree=30841624/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=678652 CPUtime=2.77 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 6673 0 0 0 276 1 0 0 25 0 4 0 524705314 694939648 5125 33554432000 4194304 4797429 140734117854192 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 169663 5125 413 148 0 164592 0
[pid=5695/tid=5696] ppid=5693 vsize=678652 CPUtime=0.68 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 1650 0 0 0 68 0 0 0 25 0 4 0 524705314 694939648 5125 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=678652 CPUtime=0.69 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 1612 0 0 0 69 0 0 0 25 0 4 0 524705314 694939648 5125 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520000 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=678652 CPUtime=0.69 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 1589 0 0 0 69 0 0 0 25 0 4 0 524705314 694939648 5125 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 678652

[startup+1.50019 s]
/proc/loadavg: 8.05 8.08 8.07 9/184 5699
/proc/meminfo: memFree=30819644/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=679368 CPUtime=5.96 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 7641 0 0 0 595 1 0 0 25 0 4 0 524705314 695672832 5577 33554432000 4194304 4797429 140734117854192 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 169842 5577 414 148 0 164771 0
[pid=5695/tid=5696] ppid=5693 vsize=679368 CPUtime=1.48 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 1704 0 0 0 148 0 0 0 25 0 4 0 524705314 695672832 5577 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524489 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=679368 CPUtime=1.48 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 1660 0 0 0 148 0 0 0 25 0 4 0 524705314 695672832 5577 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=679368 CPUtime=1.49 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 1621 0 0 0 149 0 0 0 25 0 4 0 524705314 695672832 5577 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 679368

[startup+3.1009 s]
/proc/loadavg: 8.05 8.08 8.07 9/184 5699
/proc/meminfo: memFree=30816740/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=685548 CPUtime=12.36 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 10551 0 0 0 1234 2 0 0 25 0 4 0 524705314 702001152 6633 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524360 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 171387 6633 417 148 0 166316 0
[pid=5695/tid=5696] ppid=5693 vsize=685548 CPUtime=3.08 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 2159 0 0 0 308 0 0 0 25 0 4 0 524705314 702001152 6633 33554432000 4194304 4797429 140734117854192 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=685548 CPUtime=3.07 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 2050 0 0 0 307 0 0 0 25 0 4 0 524705314 702001152 6633 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=685548 CPUtime=3.09 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 2085 0 0 0 309 0 0 0 25 0 4 0 524705314 702001152 6633 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 685548

[startup+6.30033 s]
/proc/loadavg: 8.05 8.08 8.07 9/184 5699
/proc/meminfo: memFree=30812032/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=688652 CPUtime=25.14 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 12895 0 0 0 2512 2 0 0 25 0 4 0 524705314 705179648 8208 33554432000 4194304 4797429 140734117854192 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 172163 8208 417 148 0 167092 0
[pid=5695/tid=5696] ppid=5693 vsize=688652 CPUtime=6.28 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 2550 0 0 0 628 0 0 0 25 0 4 0 524705314 705179648 8208 33554432000 4194304 4797429 140734117854192 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=688652 CPUtime=6.26 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 2425 0 0 0 626 0 0 0 25 0 4 0 524705314 705179648 8208 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=688652 CPUtime=6.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 2430 0 0 0 629 0 0 0 25 0 4 0 524705314 705179648 8208 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520273 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 688652

[startup+12.7002 s]
/proc/loadavg: 8.04 8.07 8.07 9/184 5700
/proc/meminfo: memFree=30801116/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=692240 CPUtime=50.71 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 17322 0 0 0 5068 3 0 0 25 0 4 0 524705314 708853760 8947 33554432000 4194304 4797429 140734117854192 18446744073709551615 4509097 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 173060 8947 418 148 0 167989 0
[pid=5695/tid=5696] ppid=5693 vsize=692240 CPUtime=12.68 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 3186 0 0 0 1268 0 0 0 25 0 4 0 524705314 708853760 8947 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=692240 CPUtime=12.63 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 3165 0 0 0 1263 0 0 0 25 0 4 0 524705314 708853760 8947 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=692240 CPUtime=12.68 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 2703 0 0 0 1268 0 0 0 25 0 4 0 524705314 708853760 8947 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 692240

[startup+25.5009 s]
/proc/loadavg: 8.04 8.07 8.07 9/184 5700
/proc/meminfo: memFree=30792312/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=700964 CPUtime=101.84 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 24613 0 0 0 10178 6 0 0 25 0 4 0 524705314 717787136 11627 33554432000 4194304 4797429 140734117854192 18446744073709551615 268272385692 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 175241 11627 419 148 0 170170 0
[pid=5695/tid=5696] ppid=5693 vsize=700964 CPUtime=25.48 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 3602 0 0 0 2548 0 0 0 25 0 4 0 524705314 717787136 11627 33554432000 4194304 4797429 140734117854192 18446744073709551615 4495507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=700964 CPUtime=25.36 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 3874 0 0 0 2536 0 0 0 25 0 4 0 524705314 717787136 11627 33554432000 4194304 4797429 140734117854192 18446744073709551615 4429214 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=700964 CPUtime=25.48 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 3513 0 0 0 2548 0 0 0 25 0 4 0 524705314 717787136 11627 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 700964

[startup+51.1004 s]
/proc/loadavg: 8.02 8.06 8.07 9/184 5700
/proc/meminfo: memFree=30770848/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=710076 CPUtime=204.1 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 39438 0 0 0 20401 9 0 0 25 0 4 0 524705314 727117824 15335 33554432000 4194304 4797429 140734117854192 18446744073709551615 4429114 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 177519 15335 419 148 0 172448 0
[pid=5695/tid=5696] ppid=5693 vsize=710076 CPUtime=51.08 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 4985 0 0 0 5107 1 0 0 25 0 4 0 524705314 727117824 15335 33554432000 4194304 4797429 140734117854192 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=710076 CPUtime=50.82 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 4755 0 0 0 5082 0 0 0 25 0 4 0 524705314 727117824 15335 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=710076 CPUtime=51.08 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 4392 0 0 0 5108 0 0 0 25 0 4 0 524705314 727117824 15335 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 710076

[startup+102.306 s]
/proc/loadavg: 8.04 8.06 8.07 9/184 5702
/proc/meminfo: memFree=30744068/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=720496 CPUtime=408.65 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 61591 0 0 0 40847 18 0 0 25 0 4 0 524705314 737787904 18182 33554432000 4194304 4797429 140734117854192 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 180124 18182 419 148 0 175053 0
[pid=5695/tid=5696] ppid=5693 vsize=720496 CPUtime=102.29 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 7149 0 0 0 10227 2 0 0 25 0 4 0 524705314 737787904 18182 33554432000 4194304 4797429 140734117854192 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=720496 CPUtime=101.75 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 6688 0 0 0 10174 1 0 0 25 0 4 0 524705314 737787904 18182 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524556 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=720496 CPUtime=102.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 6428 0 0 0 10228 1 0 0 25 0 4 0 524705314 737787904 18182 33554432000 4194304 4797429 140734117854192 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 720496

[startup+162.301 s]

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

[pid=5695] ppid=5693 vsize=806224 CPUtime=2565.75 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 228562 0 0 0 256494 81 0 0 25 0 4 0 524705314 825573376 47383 33554432000 4194304 4797429 140734117854192 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 201556 47383 421 148 0 196485 0
[pid=5695/tid=5696] ppid=5693 vsize=806224 CPUtime=642.28 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 21403 0 0 0 64221 7 0 0 25 0 4 0 524705314 825573376 47383 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=806224 CPUtime=638.84 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 21019 0 0 0 63877 7 0 0 25 0 4 0 524705314 825573376 47383 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=806224 CPUtime=642.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 19074 0 0 0 64224 5 0 0 25 0 4 0 524705314 825573376 47383 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.75
Current children cumulated vsize (KiB) 806224

[startup+702.3 s]
/proc/loadavg: 8.11 8.07 8.07 9/184 5718
/proc/meminfo: memFree=30548804/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=806920 CPUtime=2805.41 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 233101 0 0 0 280457 84 0 0 25 0 4 0 524705314 826286080 46976 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568062 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 201730 46976 421 148 0 196659 0
[pid=5695/tid=5696] ppid=5693 vsize=806920 CPUtime=702.28 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 22985 0 0 0 70220 8 0 0 25 0 4 0 524705314 826286080 46976 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=806920 CPUtime=698.51 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 22495 0 0 0 69843 8 0 0 25 0 4 0 524705314 826286080 46976 33554432000 4194304 4797429 140734117854192 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=806920 CPUtime=702.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 20555 0 0 0 70223 6 0 0 25 0 4 0 524705314 826286080 46976 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 806920

[startup+762.307 s]
/proc/loadavg: 8.08 8.07 8.07 9/184 5720
/proc/meminfo: memFree=30540688/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=806996 CPUtime=3045.11 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 235950 0 0 0 304425 86 0 0 25 0 4 0 524705314 826363904 48005 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 201749 48005 421 148 0 196678 0
[pid=5695/tid=5696] ppid=5693 vsize=806996 CPUtime=762.29 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 24709 0 0 0 76219 10 0 0 25 0 4 0 524705314 826363904 48005 33554432000 4194304 4797429 140734117854192 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=806996 CPUtime=758.19 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 23043 0 0 0 75811 8 0 0 25 0 4 0 524705314 826363904 48005 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=806996 CPUtime=762.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 21132 0 0 0 76223 6 0 0 25 0 4 0 524705314 826363904 48005 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 806996

[startup+822.301 s]
/proc/loadavg: 8.07 8.07 8.07 9/184 5721
/proc/meminfo: memFree=30539516/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=807984 CPUtime=3284.77 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 239584 0 0 0 328389 88 0 0 25 0 4 0 524705314 827375616 48188 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568055 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 201996 48188 421 148 0 196925 0
[pid=5695/tid=5696] ppid=5693 vsize=807984 CPUtime=822.27 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 25417 0 0 0 82217 10 0 0 25 0 4 0 524705314 827375616 48188 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=807984 CPUtime=817.86 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 24492 0 0 0 81778 8 0 0 25 0 4 0 524705314 827375616 48188 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=807984 CPUtime=822.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 22609 0 0 0 82222 7 0 0 25 0 4 0 524705314 827375616 48188 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 807984

[startup+882.3 s]
/proc/loadavg: 8.11 8.09 8.08 9/184 5723
/proc/meminfo: memFree=30521244/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=814400 CPUtime=3524.44 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 254438 0 0 0 352349 95 0 0 25 0 4 0 524705314 833945600 48436 33554432000 4194304 4797429 140734117854192 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 203600 48436 421 148 0 198529 0
[pid=5695/tid=5696] ppid=5693 vsize=814400 CPUtime=882.27 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 27391 0 0 0 88216 11 0 0 25 0 4 0 524705314 833945600 48436 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=814400 CPUtime=877.54 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 25205 0 0 0 87745 9 0 0 25 0 4 0 524705314 833945600 48436 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=814400 CPUtime=882.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 23844 0 0 0 88222 7 0 0 25 0 4 0 524705314 833945600 48436 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 814400

[startup+942.301 s]
/proc/loadavg: 8.11 8.10 8.08 9/184 5724
/proc/meminfo: memFree=30512148/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=818780 CPUtime=3764.12 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 276217 0 0 0 376308 104 0 0 25 0 4 0 524705314 838430720 48682 33554432000 4194304 4797429 140734117854192 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 204695 48682 421 148 0 199624 0
[pid=5695/tid=5696] ppid=5693 vsize=818780 CPUtime=942.28 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 29221 0 0 0 94216 12 0 0 25 0 4 0 524705314 838430720 48682 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=818780 CPUtime=937.21 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 26970 0 0 0 93712 9 0 0 25 0 4 0 524705314 838430720 48682 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=818780 CPUtime=942.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 24519 0 0 0 94222 7 0 0 25 0 4 0 524705314 838430720 48682 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 818780

[startup+1002.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/184 5726
/proc/meminfo: memFree=30502040/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=822572 CPUtime=4003.8 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 294693 0 0 0 400268 112 0 0 25 0 4 0 524705314 842313728 51476 33554432000 4194304 4797429 140734117854192 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 205643 51476 421 148 0 200572 0
[pid=5695/tid=5696] ppid=5693 vsize=822572 CPUtime=1002.28 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 30030 0 0 0 100215 13 0 0 25 0 4 0 524705314 842313728 51476 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=822572 CPUtime=996.88 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 28442 0 0 0 99679 9 0 0 25 0 4 0 524705314 842313728 51476 33554432000 4194304 4797429 140734117854192 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=822572 CPUtime=1002.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 26109 0 0 0 100221 8 0 0 25 0 4 0 524705314 842313728 51476 33554432000 4194304 4797429 140734117854192 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 822572

[startup+1062.3 s]
/proc/loadavg: 6.80 7.78 7.98 5/175 5746
/proc/meminfo: memFree=30726196/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=834972 CPUtime=4243.49 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 306893 0 0 0 424231 118 0 0 25 0 4 0 524705314 855011328 55133 33554432000 4194304 4797429 140734117854192 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 208743 55133 421 148 0 203672 0
[pid=5695/tid=5696] ppid=5693 vsize=834972 CPUtime=1062.27 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 31581 0 0 0 106214 13 0 0 25 0 4 0 524705314 855011328 55133 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=834972 CPUtime=1056.57 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 29168 0 0 0 105647 10 0 0 25 0 4 0 524705314 855011328 55133 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=834972 CPUtime=1062.29 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 26707 0 0 0 106221 8 0 0 25 0 4 0 524705314 855011328 55133 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 834972

[startup+1122.3 s]
/proc/loadavg: 5.03 7.09 7.73 5/175 5747
/proc/meminfo: memFree=30722908/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=835212 CPUtime=4483.21 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 309713 0 0 0 448201 120 0 0 25 0 4 0 524705314 855257088 55868 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 208803 55868 421 148 0 203732 0
[pid=5695/tid=5696] ppid=5693 vsize=835212 CPUtime=1122.28 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 32265 0 0 0 112214 14 0 0 25 0 4 0 524705314 855257088 55868 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=835212 CPUtime=1116.29 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 30680 0 0 0 111618 11 0 0 25 0 4 0 524705314 855257088 55868 33554432000 4194304 4797429 140734117854192 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=835212 CPUtime=1122.3 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 27331 0 0 0 112221 9 0 0 25 0 4 0 524705314 855257088 55868 33554432000 4194304 4797429 140734117854192 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.21
Current children cumulated vsize (KiB) 835212

[startup+1182.3 s]
/proc/loadavg: 4.44 6.54 7.50 5/175 5749
/proc/meminfo: memFree=30723612/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=835708 CPUtime=4722.93 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 313763 0 0 0 472171 122 0 0 25 0 4 0 524705314 855764992 55780 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 208927 55780 421 148 0 203856 0
[pid=5695/tid=5696] ppid=5693 vsize=835708 CPUtime=1182.27 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 33900 0 0 0 118213 14 0 0 25 0 4 0 524705314 855764992 55780 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=835708 CPUtime=1176.01 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 31385 0 0 0 117589 12 0 0 25 0 4 0 524705314 855764992 55780 33554432000 4194304 4797429 140734117854192 18446744073709551615 4524442 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=835708 CPUtime=1182.3 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 29041 0 0 0 118220 10 0 0 25 0 4 0 524705314 855764992 55780 33554432000 4194304 4797429 140734117854192 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.93
Current children cumulated vsize (KiB) 835708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.32 6.38 7.42 5/175 5749
/proc/meminfo: memFree=30721116/32950928 swapFree=67111464/67111528
[pid=5695] ppid=5693 vsize=835708 CPUtime=4800.05 cores=1,3,5,7
/proc/5695/stat : 5695 (techdemo) R 5693 5695 4899 0 -1 4202496 314424 0 0 0 479882 123 0 0 25 0 4 0 524705314 855764992 56432 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5695/statm: 208927 56432 421 148 0 203856 0
[pid=5695/tid=5696] ppid=5693 vsize=835708 CPUtime=1201.58 cores=1,3,5,7
/proc/5695/task/5696/stat : 5696 (techdemo) R 5693 5695 4899 0 -1 4202560 34195 0 0 0 120144 14 0 0 25 0 4 0 524705314 855764992 56432 33554432000 4194304 4797429 140734117854192 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5695/tid=5697] ppid=5693 vsize=835708 CPUtime=1195.21 cores=1,3,5,7
/proc/5695/task/5697/stat : 5697 (techdemo) R 5693 5695 4899 0 -1 4202560 31536 0 0 0 119509 12 0 0 25 0 4 0 524705314 855764992 56432 33554432000 4194304 4797429 140734117854192 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5695/tid=5698] ppid=5693 vsize=835708 CPUtime=1201.6 cores=1,3,5,7
/proc/5695/task/5698/stat : 5698 (techdemo) R 5693 5695 4899 0 -1 4202560 29256 0 0 0 120150 10 0 0 25 0 4 0 524705314 855764992 56432 33554432000 4194304 4797429 140734117854192 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 835708

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.62
CPU time (s): 4800.1
CPU user time (s): 4798.85
CPU system time (s): 1.24281
CPU usage (%): 399.468
Max. virtual memory (cumulated for all children) (KiB): 899128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.85
system time used= 1.24281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314424
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= 318
involuntary context switches= 22808

runsolver used 1.9997 second user time and 4.43532 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-30 04:37:45
IDJOB=3261185
IDBENCH=83217
IDSOLVER=1584
FILE ID=node122/3261185-1304131065
RUNJOBID= node122-1304128657-4918
PBS_JOBID= 13170781
Free space on /tmp= 73340 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-13-13-unsat.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261185-1304131065/watcher-3261185-1304131065 -o /tmp/evaluation-result-3261185-1304131065/solver-3261185-1304131065 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3261185-1304131065.cnf

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

MD5SUM BENCH= b828910e9308a3dd9d5f850f224ef842
RANDOM SEED=2040726434

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:      30841904 kB
Buffers:        308456 kB
Cached:        1295064 kB
SwapCached:         64 kB
Active:         252760 kB
Inactive:      1513668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30841904 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            7792 kB
Writeback:           0 kB
AnonPages:      162652 kB
Mapped:          15828 kB
Slab:           278772 kB
PageTables:       4588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   753876 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 04:57:49