Trace number 3260965

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-mtUNSAT 2752.21 689.521

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
MD5SUMf5821fd80ce137a7b8cae2070a9b28d7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.97324
Satisfiable
(Un)Satisfiability was proved
Number of variables121
Number of clauses726
Sum of the clauses size2541
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2605
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5121

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-3260965-1304130950.cnf'
0.00/0.00	c -- header says num vars:            121
0.00/0.00	c -- header says num clauses:         726
0.00/0.00	c -- clauses added:            0 learnts,          726 normals,            0 xors
0.00/0.00	c -- vars added        121
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       121       121       605         0      2541         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/121/121 lits-rem:0 time: 0.00
0.00/0.00	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.00	c Calc non-exist non-lernt bins v-fix:     0 done:    121 time:  0.00 s
0.00/0.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.00	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.00/0.00	c lits-rem:         0  cl-subs:        0  v-elim:     80  v-fix:    0  time:  0.00 s
0.00/0.00	c learnt bin added due to v-elim: 0
0.00/0.00	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.00	c calculated reachability. Time: 0.00
0.00/0.00	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     121
0.00/0.00	c =========================================================================================
0.00/0.00	c types(t): F = full restart, N = normal restart
0.00/0.00	c types(t): S = simplification begin/end, E = solution found
0.00/0.00	c restart types(rt): st = static, dy = dynamic
0.00/0.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.00	c  B st     0         0       121       121       605         0      2541         0   no data   no data  --
0.00/0.05	c Decided on static restart strategy
0.45/0.12	c  N dy    20      4044       121       121       605      3943      2541    139820     35.29     12.21  --
1.17/0.31	c  N dy    49      8162       121       121       605      5514      2541    182690     34.60     12.05  --
1.97/0.57	c  N dy    78     12271       121       121       605      5365      2541    159034     33.59     12.10  --
3.17/0.83	c  N dy   106     16302       121       121       605      9273      2541    289616     34.47     12.04  --
4.39/1.12	c  N dy   135     20387       121       121       605      7778      2541    231260     31.04     11.99  --
5.57/1.45	c  N dy   163     24405       121       121       605     11645      2541    351280     33.07     11.93  --
6.76/1.77	c  N dy   192     28545       121       121       605      9053      2541    249130     32.69     11.95  --
7.16/1.89	c  S st   203     30000       121       121       605     10459      2541    292980     31.43     11.97  --
7.56/1.93	c  S st   203     30504       121       121       605     10955      2541    311094     31.43     11.97  --
7.56/1.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.56/1.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.96/2.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.4M T:  0.35
7.96/2.02	c Calc non-exist non-lernt bins v-fix:     0 done:    121 time:  0.00 s
7.96/2.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.96/2.02	c Subs w/ non-existent bins:      0 time:  0.01 s
7.96/2.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.38/2.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.54 s
8.38/2.16	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
12.77/3.30	c lits-rem:       129  cl-subs:     1029  v-elim:    121  v-fix:    0  time:  4.54 s
12.77/3.30	c learnt bin added due to v-elim: 0
12.77/3.30	c vivif2 --  cl tried      121 cl shrink        0 lits rem          0 time: 0.00
12.77/3.30	c vivif2 --  cl tried     9926 cl shrink        0 lits rem          0 time: 0.01
13.18/3.33	c asymm  cl-useful: 0/121/121 lits-rem:0 time: 0.11
13.18/3.33	c calculated reachability. Time: 0.00
13.18/3.33	c  N dy   203     30504       121       121       605      9926      2541    289319     31.43     11.97  --
13.18/3.33	c  F st   203     30504       121       121       605      9926      2541    289319     31.43     11.97  --
13.55/3.46	c Decided on static restart strategy
14.35/3.61	c  N dy   223     34614       121       121       605     13895      2541    437734     36.03     11.92  --
15.55/3.91	c  N dy   252     38729       121       121       605     10261      2541    296892     33.72     11.88  --
16.75/4.23	c  N dy   281     42864       121       121       605     14257      2541    440279     38.19     11.87  --
17.94/4.56	c  S st   302     45757       121       121       605     17079      2541    537940     35.90     11.88  --
18.34/4.63	c  S st   302     46261       121       121       605      8903      2541    246948     35.90     11.88  --
18.34/4.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.34/4.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.74/4.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.6M T:  0.45
18.74/4.74	c Calc non-exist non-lernt bins v-fix:     0 done:    121 time:  0.00 s
18.74/4.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.74/4.74	c Subs w/ non-existent bins:      0 time:  0.00 s
18.74/4.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.14/4.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.44 s
19.14/4.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.94/5.09	c lits-rem:        40  cl-subs:      229  v-elim:    121  v-fix:    0  time:  0.91 s
19.94/5.09	c learnt bin added due to v-elim: 0
19.94/5.09	c vivif2 --  cl tried      121 cl shrink        0 lits rem          0 time: 0.00
19.94/5.09	c vivif2 --  cl tried     8674 cl shrink        0 lits rem          0 time: 0.01
20.34/5.12	c asymm  cl-useful: 0/121/121 lits-rem:0 time: 0.14
20.34/5.12	c calculated reachability. Time: 0.00
20.34/5.12	c  N dy   302     46261       121       121       605      8674      2541    242232     35.90     11.88  --
21.14/5.37	c  N dy   330     50269       121       121       605     12577      2541    388167     37.39     11.90  --
22.73/5.73	c  N dy   359     54393       121       121       605     16579      2541    532529     36.32     11.90  --
24.33/6.14	c  N dy   387     58432       121       121       605     10811      2541    315761     33.88     11.90  --
25.53/6.44	c  N dy   415     62452       121       121       605     14715      2541    447096     34.60     11.93  --
27.13/6.84	c  N dy   443     66461       121       121       605     18561      2541    573512     30.83     11.91  --
28.73/7.21	c  S st   464     69391       121       121       605     10753      2541    314011     36.45     11.90  --
28.73/7.25	c  S st   464     69896       121       121       605     11245      2541    331859     36.45     11.90  --
28.73/7.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.73/7.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.53/7.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.5M T:  0.80
29.53/7.45	c Calc non-exist non-lernt bins v-fix:     0 done:    121 time:  0.00 s
29.53/7.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.53/7.45	c Subs w/ non-existent bins:      0 time:  0.01 s
29.53/7.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.35/7.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.64 s
30.35/7.62	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
34.74/8.78	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
43.93/11.05	c Added 2 vars  tried: 65522 time: 9.04
43.93/11.06	c ORs :      2 avg-s:  0.0 cl-sh:  3344 l-rem:   3344 b-add:      4 v-rep:   0 cl-rem: 1 avg s: 29.0 T:    9.11
43.93/11.07	c lits-rem:        41  cl-subs:      288  v-elim:    121  v-fix:    0  time: 13.78 s
43.93/11.07	c learnt bin added due to v-elim: 0
43.93/11.07	c vivif2 --  cl tried      123 cl shrink        0 lits rem          0 time: 0.00
43.93/11.07	c vivif2 --  cl tried    10956 cl shrink        0 lits rem          0 time: 0.01
44.31/11.10	c asymm  cl-useful: 0/123/123 lits-rem:0 time: 0.14
44.31/11.10	c calculated reachability. Time: 0.00
44.31/11.10	c  N dy   464     69896       123       123       609     10956      2555    323440     36.45     11.90  --
44.31/11.10	c  F st   464     69896       123       123       609     10956      2555    323440     36.45     11.90  --
44.71/11.24	c Decided on static restart strategy
45.51/11.42	c  N dy   487     74374       123       123       612     15311      2555    482551     35.71     11.91  --
47.51/11.91	c  N dy   521     79172       123       123       612     19956      2555    651147     37.06     11.92  --
49.50/12.49	c  N dy   557     84292       123       123       612     13308      2555    385945     33.55     11.94  --
51.50/12.98	c  N dy   595     89747       123       123       613     18566      2555    566163     34.81     11.97  --
54.69/13.72	c  N dy   635     95556       123       123       613     24176      2555    758117     33.01     11.97  --
57.11/14.34	c  N dy   678    101670       123       123       613     17476      2555    491342     32.84     11.96  --
58.68/14.72	c  S st   701    104844       123       123       613     20536      2555    591896     32.05     11.97  --
58.68/14.78	c  S st   701    105350       123       123       617     21032      2555    610276     32.05     11.97  --
58.68/14.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.68/14.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.68/15.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     10 BRemL:      0 BRemN:      0 CBin:       0 P: 28.8M T:  1.87
60.68/15.25	c Calc non-exist non-lernt bins v-fix:     0 done:    123 time:  0.00 s
60.68/15.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.68/15.26	c Subs w/ non-existent bins:      0 time:  0.02 s
60.68/15.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.88/15.55	c subs with bin:        0  lits-rem:        23  v-fix:    0  time:  1.12 s
61.88/15.55	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
65.50/16.49	c ORs :      6 avg-s:  2.0 cl-sh:     4 l-rem:      4 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
65.50/16.50	c lits-rem:        92  cl-subs:     1130  v-elim:    121  v-fix:    0  time:  3.80 s
65.50/16.50	c learnt bin added due to v-elim: 0
65.50/16.50	c vivif2 --  cl tried      123 cl shrink        0 lits rem          0 time: 0.00
65.90/16.51	c vivif2 --  cl tried    19902 cl shrink        0 lits rem          0 time: 0.02
65.90/16.57	c asymm  cl-useful: 0/123/123 lits-rem:0 time: 0.25
65.90/16.57	c calculated reachability. Time: 0.00
65.90/16.57	c  N dy   701    105350       123       123       627     19902      2555    583250     32.05     11.97  --
69.08/17.37	c  N dy   749    112129       123       123       627     26501      2555    825627     34.89     12.00  --
71.87/18.09	c  N dy   799    119310       123       123       627     19926      2555    573923     32.13     12.00  --
76.26/19.15	c  N dy   853    127042       123       123       627     27402      2555    832763     33.68     11.99  --
80.26/20.13	c  N dy   910    135216       123       123       627     20798      2555    569790     33.16     12.01  --
85.06/21.35	c  N dy   971    143943       123       123       627     29204      2555    846538     32.02     12.01  --
89.45/22.44	c  N dy  1035    153132       123       123       627     22673      2555    607676     30.99     11.99  --
92.26/23.17	c  S st  1070    158026       123       123       627     27369      2555    758852     31.72     12.00  --
92.64/23.26	c  S st  1070    158527       123       123       627     27863      2555    776775     31.72     12.00  --
92.64/23.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
92.64/23.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.44/23.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 44.0M T:  2.90
95.44/23.98	c Calc non-exist non-lernt bins v-fix:     0 done:    123 time:  0.00 s
95.44/23.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.44/23.99	c Subs w/ non-existent bins:      0 time:  0.03 s
95.84/24.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.03/24.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.52 s
97.03/24.39	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
101.83/25.52	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
101.83/25.53	c lits-rem:       201  cl-subs:     1828  v-elim:    121  v-fix:    0  time:  4.57 s
101.83/25.53	c learnt bin added due to v-elim: 0
101.83/25.53	c vivif2 --  cl tried      123 cl shrink        0 lits rem          0 time: 0.00
101.83/25.54	c vivif2 --  cl tried    26035 cl shrink        0 lits rem          0 time: 0.03
102.23/25.61	c asymm  cl-useful: 0/123/123 lits-rem:0 time: 0.30
102.23/25.61	c calculated reachability. Time: 0.00
102.23/25.61	c  N dy  1070    158527       123       123       627     26035      2555    736941     31.72     12.00  --
107.03/26.85	c  N dy  1141    168648       123       123       627     19457      2555    503521     32.95     12.00  --
112.62/28.20	c  N dy  1217    179475       123       123       627     29937      2555    862443     33.55     11.99  --
119.01/29.81	c  N dy  1298    190978       123       123       627     23644      2555    623813     33.31     12.02  --
126.60/31.75	c  N dy  1383    203274       123       123       627     35532      2555   1019683     34.62     12.01  --
133.78/33.50	c  N dy  1474    216389       123       123       627     29777      2555    795912     33.55     11.99  --
142.58/35.71	c  N dy  1570    230210       123       123       627     23790      2555    577471     29.76     11.99  --
146.57/36.77	c  S st  1623    237790       123       123       627     31078      2555    805643     31.77     11.98  --
146.97/36.87	c  S st  1623    238291       123       123       627     31573      2555    824091     31.77     11.98  --
146.97/36.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
146.97/36.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.36/37.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.2M T:  4.29
151.36/37.94	c Calc non-exist non-lernt bins v-fix:     0 done:    123 time:  0.00 s
151.36/37.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.36/37.95	c Subs w/ non-existent bins:      0 time:  0.03 s
151.36/37.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.96/38.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.60 s
152.96/38.36	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
159.35/39.99	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
159.75/40.00	c lits-rem:       264  cl-subs:     2397  v-elim:    121  v-fix:    0  time:  6.53 s
159.75/40.00	c learnt bin added due to v-elim: 0
159.75/40.00	c vivif2 --  cl tried      123 cl shrink        0 lits rem          0 time: 0.00
159.75/40.01	c vivif2 --  cl tried    29176 cl shrink        0 lits rem          0 time: 0.04
159.75/40.09	c asymm  cl-useful: 0/123/123 lits-rem:0 time: 0.35
159.75/40.09	c calculated reachability. Time: 0.00
159.75/40.09	c  N dy  1623    238291       123       123       627     29176      2555    778850     31.77     11.98  --
168.94/42.32	c  N dy  1730    253633       131       123       695     23815      2587    595750     33.55     11.98  --
178.53/44.71	c  N dy  1843    269840       131       123       695     39418      2587   1117800     32.80     11.98  --
188.53/47.22	c  N dy  1963    287091       131       123       695     34842      2587    943567     32.04     11.98  --
200.09/50.16	c  N dy  2091    305504       131       123       713     30404      2587    768980     32.28     11.98  --
214.08/53.68	c  N dy  2226    325054       131       123       713     26081      2587    620040     29.39     11.98  --
227.66/57.03	c  N dy  2365    345196       131       123       713     45354      2587   1227654     31.91     11.98  --
235.24/58.92	c  S st  2450    357437       131       123       714     33102      2587    827873     27.79     11.97  --
235.64/59.00	c  S st  2450    357943       131       123       714     33602      2587    846246     27.79     11.97  --
235.64/59.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
235.64/59.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
239.64/60.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     22 BRemN:      0 CBin:       0 P: 60.0M T:  4.23
239.64/60.06	c Calc non-exist non-lernt bins v-fix:     0 done:    131 time:  0.00 s
239.64/60.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
239.64/60.07	c Subs w/ non-existent bins:      0 time:  0.04 s
239.64/60.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.26/60.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.65 s
241.26/60.50	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
250.45/62.74	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
250.45/62.75	c lits-rem:      1095  cl-subs:     3079  v-elim:    121  v-fix:    0  time:  8.99 s
250.45/62.75	c learnt bin added due to v-elim: 0
250.45/62.75	c vivif2 --  cl tried      123 cl shrink        0 lits rem          0 time: 0.00
250.45/62.76	c vivif2 --  cl tried    30523 cl shrink        0 lits rem          0 time: 0.04
250.83/62.84	c asymm  cl-useful: 0/123/123 lits-rem:0 time: 0.30
250.83/62.84	c calculated reachability. Time: 0.00
250.83/62.84	c  N dy  2450    357943       131       123       692     30523      2587    797738     27.79     11.97  --
265.20/66.49	c  N dy  2590    378039       131       123       692     25011      2587    590420     34.77     11.99  --
277.59/69.57	c  N dy  2729    398054       131       123       692     44405      2587   1242112     33.22     11.99  --
291.57/73.05	c  N dy  2869    418168       139       123       763     37731      2623    990704     32.02     11.98  --
307.57/77.03	c  N dy  3007    438175       139       123       763     30024      2623    730912     29.88     11.98  --
321.53/80.50	c  N dy  3146    458259       139       123       763     49291      2623   1336739     30.93     11.97  --
336.32/84.28	c  N dy  3285    478333       139       123       771     40672      2623   1074060     31.96     11.97  --
383.05/95.91	c  N dy  3339    536914       139       123       771     37629      2623    961973     36.84     12.03  --
383.05/95.96	c  S st  3339    536914       139       123       771     37629      2623    961973     36.84     12.03  --
383.45/96.08	c  S st  3339    537416       139       123       775     38123      2623    980750     36.84     12.03  --
383.45/96.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
383.45/96.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
388.24/97.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:     26 BRemN:      2 CBin:       0 P: 60.1M T:  4.49
388.24/97.20	c Calc non-exist non-lernt bins v-fix:     0 done:    139 time:  0.00 s
388.24/97.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
388.24/97.22	c Subs w/ non-existent bins:      0 time:  0.04 s
388.24/97.22	c Replacing        1 vars Replaced       30 lits Time:     0.02 s 
388.24/97.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
389.83/97.69	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  1.82 s
389.83/97.69	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
398.62/99.89	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
399.02/99.90	c lits-rem:      1807  cl-subs:     3440  v-elim:    121  v-fix:    0  time:  8.81 s
399.02/99.90	c learnt bin added due to v-elim: 0
399.02/99.90	c vivif2 --  cl tried      123 cl shrink        0 lits rem          0 time: 0.00
399.02/99.91	c vivif2 --  cl tried    34683 cl shrink        1 lits rem          2 time: 0.05
399.02/99.96	c asymm  cl-useful: 0/123/123 lits-rem:0 time: 0.19
399.02/99.96	c calculated reachability. Time: 0.00
399.02/99.96	c  N dy  3339    537416       138       123       745     34683      2615    916231     36.84     12.03  --
399.02/99.96	c  F st  3339    537416       138       123       745     34683      2615    916231     36.84     12.03  --
400.22/100.27	c Decided on static restart strategy
414.60/103.85	c  N dy  3469    557464       138       123       745     53919      2615   1607191     36.26     12.04  --
643.09/161.00	c  N dy  3588    806124       146       123       836     55983      2655   1722404     38.98     12.14  --
643.09/161.09	c  S st  3588    806124       146       123       836     55983      2655   1722404     38.98     12.14  --
643.89/161.27	c  S st  3588    806624       146       123       836     56467      2655   1739503     38.98     12.14  --
643.89/161.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
643.89/161.27	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
649.48/162.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:     20 BRemN:      0 CBin:       0 P: 60.1M T:  5.39
649.48/162.62	c Calc non-exist non-lernt bins v-fix:     0 done:    145 time:  0.01 s
649.48/162.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
649.48/162.64	c Subs w/ non-existent bins:      0 time:  0.07 s
649.90/162.71	c Replacing        2 vars Replaced     2116 lits Time:     0.27 s 
649.90/162.74	c bin-w-bin subsume rem            4 bins  time:  0.00 s
654.29/163.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.53 s
654.29/163.87	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
679.04/170.06	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 22.5 T:    0.02
756.53/189.43	c Added 2 vars  tried: 80000 time: 77.34
758.94/190.02	c ORs :      2 avg-s:  0.0 cl-sh: 19880 l-rem:  19880 b-add:      4 v-rep:   0 cl-rem: 4 avg s: 9.5 T:   79.69
758.94/190.04	c lits-rem:       715  cl-subs:     2987  v-elim:    110  v-fix:    0  time: 104.50 s
758.94/190.04	c learnt bin added due to v-elim: 0
758.94/190.04	c vivif2 --  cl tried      125 cl shrink        0 lits rem          0 time: 0.00
758.94/190.06	c vivif2 --  cl tried    48066 cl shrink        1 lits rem          1 time: 0.07
759.75/190.22	c asymm  cl-useful: 0/51/125 lits-rem:0 time: 0.65
759.75/190.22	c calculated reachability. Time: 0.00
759.75/190.22	c  N dy  3588    806624       145       125       788     48066      2622   1526038     38.98     12.14  --
777.73/194.75	c  N dy  3728    826758       145       125       791     67484      2622   2200111     33.86     12.14  --
794.90/199.02	c  N dy  3866    846768       145       125       792     50540      2622   1446634     31.59     12.14  --
817.28/204.67	c  N dy  4003    866847       145       125       792     69669      2622   2079499     32.61     12.13  --
836.83/209.55	c  N dy  4141    886939       145       125       792     51182      2622   1396304     30.48     12.12  --
1194.34/299.05	c  N dy  4202   1209936       149       125       827     63254      2642   1942064     37.22     12.48  --
1194.76/299.15	c  S st  4202   1209936       149       125       827     63254      2642   1942064     37.22     12.48  --
1194.76/299.15	c Finding binary XORs  T:     0.00 s  found:       3
1194.76/299.15	c Replacing        3 vars Replaced       47 lits Time:     0.03 s 
1195.54/299.38	c  S st  4202   1210443       154       125       905     63765      2670   1960063     37.22     12.48  --
1195.54/299.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1195.54/299.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1201.53/300.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     45 BRemN:      0 CBin:       0 P: 60.2M T:  5.85
1201.53/300.86	c Calc non-exist non-lernt bins v-fix:     0 done:    154 time:  0.00 s
1201.53/300.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1201.53/300.88	c Subs w/ non-existent bins:      0 time:  0.09 s
1201.93/300.91	c bin-w-bin subsume rem            7 bins  time:  0.00 s
1207.13/302.23	c subs with bin:     3728  lits-rem:      5775  v-fix:    0  time:  5.27 s
1207.13/302.23	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1233.09/308.75	c ORs :     12 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 17.5 T:    0.05
1233.09/308.77	c lits-rem:       304  cl-subs:     6392  v-elim:    115  v-fix:    0  time: 26.15 s
1233.09/308.77	c learnt bin added due to v-elim: 0
1233.09/308.77	c vivif2 --  cl tried      125 cl shrink        0 lits rem          0 time: 0.00
1233.49/308.83	c vivif2 --  cl tried    53643 cl shrink     4060 lits rem       5660 time: 0.24
1233.89/308.95	c asymm  cl-useful: 0/125/125 lits-rem:0 time: 0.47
1233.89/308.95	c calculated reachability. Time: 0.00
1233.89/308.95	c  N dy  4202   1210443       154       125       853     53643      2656   1754779     37.22     12.48  --
1978.07/495.22	c  N dy  4249   1710444       160       125       924     82489      2688   2479349     21.12     13.09  --
1978.47/495.35	c  S st  4249   1710444       160       125       924     82489      2688   2479349     21.12     13.09  --
1979.67/495.68	c  S st  4249   1710944       160       125       928     82979      2692   2494962     21.12     13.09  --
1979.67/495.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1979.67/495.68	c Cache  BProp: 1 Set: 0 BXProp: 3 T: 0.00
1986.08/497.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:     23 BRemN:      0 CBin:       0 P: 60.1M T:  6.07
1986.08/497.21	c Calc non-exist non-lernt bins v-fix:     0 done:    159 time:  0.01 s
1986.08/497.21	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
1986.08/497.24	c Subs w/ non-existent bins:      2 time:  0.12 s
1988.05/497.71	c Replacing        4 vars Replaced    25055 lits Time:     1.88 s 
1988.05/497.74	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1994.88/499.42	c subs with bin:     1359  lits-rem:      3294  v-fix:    0  time:  6.67 s
1994.88/499.42	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2065.17/517.07	c ORs :     12 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 23.5 T:    0.05
2161.02/541.09	c Added 2 vars  tried: 80000 time: 95.94
2163.42/541.63	c ORs :      2 avg-s:  0.0 cl-sh: 17643 l-rem:  17643 b-add:      4 v-rep:   0 cl-rem: 1 avg s: 25.0 T:   98.10
2163.42/541.66	c lits-rem:      3412  cl-subs:    19961  v-elim:    108  v-fix:    0  time: 168.73 s
2163.42/541.66	c learnt bin added due to v-elim: 0
2163.42/541.66	c vivif2 --  cl tried      127 cl shrink        0 lits rem          0 time: 0.00
2163.82/541.72	c vivif2 --  cl tried    55511 cl shrink     3867 lits rem       5627 time: 0.23
2164.22/541.88	c asymm  cl-useful: 0/72/127 lits-rem:0 time: 0.64
2164.22/541.88	c calculated reachability. Time: 0.00
2164.22/541.88	c  N dy  4249   1710944       157       127       870     55511      2644   1775165     21.12     13.09  --
2673.53/669.36	c Finding binary XORs  T:     0.00 s  found:       0
2750.64/688.64	c  E dy  4254   2040203       140       116       932     75438      2314   1968633     12.78     13.20  --
2752.16/689.51	c Following stats are for *FIRST FINISHED THREAD ONLY*
2752.16/689.51	c num threads              : 4          
2752.16/689.51	c restarts                 : 4254       
2752.16/689.51	c dynamic restarts         : 4230       
2752.16/689.51	c static restarts          : 24         
2752.16/689.51	c full restarts            : 3          
2752.16/689.51	c total simplify time      : 2.36       
2752.16/689.51	c learnts DL2              : 0          
2752.16/689.51	c learnts size 2           : 1280       
2752.16/689.51	c learnts size 1           : 99          (54.10     % of vars)
2752.16/689.51	c filedLit time            : 36.69       (1.33      % time)
2752.16/689.51	c v-elim SatELite          : 0           (0.00      % vars)
2752.16/689.51	c SatELite time            : 348.47      (12.66     % time)
2752.16/689.51	c v-elim xor               : 0           (0.00      % vars)
2752.16/689.51	c xor elim time            : 0.12        (0.00      % time)
2752.16/689.51	c num binary xor trees     : 10         
2752.16/689.51	c binxor trees' crown      : 10          (1.00      leafs/tree)
2752.16/689.51	c bin xor find time        : 0.00       
2752.16/689.51	c OTF clause subsumed      : 145708      (0.07      clauses/conflict)
2752.16/689.51	c OTF subs. size diff      : 160872      (1.10       lits/clause)
2752.16/689.51	c OTF cl watch-shrink      : 1055843     (0.52      clauses/conflict)
2752.16/689.51	c OTF cl watch-sh-lit      : 2438768     (2.31       lits/clause)
2752.16/689.51	c tried to recurMin cls    : 2040186     (100.00     % of conflicts)
2752.16/689.51	c updated cache            : 1420        (0.00       lits/tried recurMin)
2752.16/689.51	c OTF Gate-Rem cl          : 236899      (0.12      clauses/conflict)
2752.16/689.51	c OTF Gate-rem lits        : 326215      (1.38      lits/confl)
2752.16/689.51	c unit cls received        : 1           (1.01      % of units)
2752.16/689.51	c unit cls sent            : 41          (41.41     % of units)
2752.16/689.51	c bin cls received         : 532        
2752.16/689.51	c bin cls sent             : 129        
2752.16/689.51	c tri cls recevied         : 53         
2752.16/689.51	c tri cls sent             : 20         
2752.16/689.51	c clauses over max glue    : 0           (0.00      % of all clauses)
2752.16/689.51	c conflicts                : 2040203     (741.49    / sec)
2752.16/689.51	c decisions                : 2525063     (0.16      % random)
2752.16/689.51	c bogo-props               : 38552622330 (14011606.26 / sec)
2752.16/689.51	c props                    : 75089511    (27290.61  / sec)
2752.16/689.51	c conflict literals        : 70842389    (22.10     % deleted)
2752.16/689.51	c Memory used              : 769.26      MB
2752.16/689.51	c single-thread CPU time   : 2751.48     s
2752.16/689.51	c all-threads sum CPU time : 2751.48     s
2752.16/689.51	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3260965-1304130950/watcher-3260965-1304130950 -o /tmp/evaluation-result-3260965-1304130950/solver-3260965-1304130950 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3260965-1304130950.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: 7.76 8.03 7.99 5/180 9470
/proc/meminfo: memFree=30130380/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=70496 CPUtime=0 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 568 0 0 0 0 0 0 0 25 0 3 0 603325702 72187904 503 33554432000 4194304 4797429 140735162815680 18446744073709551615 260905450481 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9470/statm: 17624 503 361 148 0 12553 0
[pid=9470/tid=9471] ppid=9468 vsize=70496 CPUtime=0 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 3 0 603325702 72187904 503 33554432000 4194304 4797429 140735162815680 18446744073709551615 47346535335858 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=70496 CPUtime=0 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 603325702 72187904 503 33554432000 4194304 4797429 140735162815680 18446744073709551615 260917191734 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0961909 s]
/proc/loadavg: 7.76 8.03 7.99 5/180 9470
/proc/meminfo: memFree=30130380/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=672228 CPUtime=0.35 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 1505 0 0 0 35 0 0 0 25 0 4 0 603325702 688361472 1386 33554432000 4194304 4797429 140735162815680 18446744073709551615 260905090750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 168057 1386 409 148 0 162986 0
[pid=9470/tid=9471] ppid=9468 vsize=672228 CPUtime=0.09 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 262 0 0 0 9 0 0 0 25 0 4 0 603325702 688361472 1386 33554432000 4194304 4797429 140735162815680 18446744073709551615 260905090750 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=672228 CPUtime=0.08 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 215 0 0 0 8 0 0 0 25 0 4 0 603325702 688361472 1386 33554432000 4194304 4797429 140735162815680 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 672228

[startup+0.120405 s]
/proc/loadavg: 7.76 8.03 7.99 5/180 9470
/proc/meminfo: memFree=30130380/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=672516 CPUtime=0.45 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 1651 0 0 0 45 0 0 0 25 0 4 0 603325702 688656384 1529 33554432000 4194304 4797429 140735162815680 18446744073709551615 260905090758 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 168129 1529 409 148 0 163058 0
[pid=9470/tid=9471] ppid=9468 vsize=672516 CPUtime=0.11 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 300 0 0 0 11 0 0 0 25 0 4 0 603325702 688656384 1529 33554432000 4194304 4797429 140735162815680 18446744073709551615 4407927 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=672516 CPUtime=0.11 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 245 0 0 0 11 0 0 0 25 0 4 0 603325702 688656384 1529 33554432000 4194304 4797429 140735162815680 18446744073709551615 260905090705 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 672516

[startup+0.300482 s]
/proc/loadavg: 7.76 8.03 7.99 5/180 9470
/proc/meminfo: memFree=30130380/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=674988 CPUtime=1.17 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 2818 0 0 0 117 0 0 0 25 0 4 0 603325702 691187712 1946 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 168747 1946 410 148 0 163676 0
[pid=9470/tid=9471] ppid=9468 vsize=674988 CPUtime=0.29 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 583 0 0 0 29 0 0 0 25 0 4 0 603325702 691187712 1946 33554432000 4194304 4797429 140735162815680 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=674988 CPUtime=0.29 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 530 0 0 0 29 0 0 0 25 0 4 0 603325702 691187712 1946 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424603 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 674988

[startup+0.700409 s]
/proc/loadavg: 7.76 8.03 7.99 5/180 9470
/proc/meminfo: memFree=30130380/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=678116 CPUtime=2.77 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 5566 0 0 0 276 1 0 0 25 0 4 0 603325702 694390784 4390 33554432000 4194304 4797429 140735162815680 18446744073709551615 4354783 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 169529 4390 414 148 0 164458 0
[pid=9470/tid=9471] ppid=9468 vsize=678116 CPUtime=0.69 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 1359 0 0 0 69 0 0 0 25 0 4 0 603325702 694390784 4390 33554432000 4194304 4797429 140735162815680 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=678116 CPUtime=0.69 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 1272 0 0 0 69 0 0 0 25 0 4 0 603325702 694390784 4390 33554432000 4194304 4797429 140735162815680 18446744073709551615 4506608 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 678116

[startup+1.50026 s]
/proc/loadavg: 7.76 8.03 7.99 9/184 9474
/proc/meminfo: memFree=30109640/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=680724 CPUtime=5.97 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 7319 0 0 0 596 1 0 0 25 0 4 0 603325702 697061376 4824 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 170181 4824 415 148 0 165110 0
[pid=9470/tid=9471] ppid=9468 vsize=680724 CPUtime=1.49 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 1714 0 0 0 149 0 0 0 25 0 4 0 603325702 697061376 4824 33554432000 4194304 4797429 140735162815680 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=680724 CPUtime=1.49 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 1586 0 0 0 149 0 0 0 25 0 4 0 603325702 697061376 4824 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=680724 CPUtime=1.48 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 1711 0 0 0 148 0 0 0 25 0 4 0 603325702 697061376 4824 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 680724

[startup+3.10097 s]
/proc/loadavg: 7.76 8.03 7.99 9/184 9474
/proc/meminfo: memFree=30106056/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=685072 CPUtime=12.36 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 9437 0 0 0 1235 1 0 0 25 0 4 0 603325702 701513728 6502 33554432000 4194304 4797429 140735162815680 18446744073709551615 4524611 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 171268 6502 417 148 0 166197 0
[pid=9470/tid=9471] ppid=9468 vsize=685072 CPUtime=3.09 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 2026 0 0 0 309 0 0 0 25 0 4 0 603325702 701513728 6502 33554432000 4194304 4797429 140735162815680 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=685072 CPUtime=3.09 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 2025 0 0 0 309 0 0 0 25 0 4 0 603325702 701513728 6502 33554432000 4194304 4797429 140735162815680 18446744073709551615 4524534 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=685072 CPUtime=3.07 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 2056 0 0 0 307 0 0 0 25 0 4 0 603325702 701513728 6502 33554432000 4194304 4797429 140735162815680 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 685072

[startup+6.30038 s]
/proc/loadavg: 7.78 8.03 7.99 9/184 9474
/proc/meminfo: memFree=30087864/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=688996 CPUtime=25.13 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 13236 0 0 0 2512 1 0 0 25 0 4 0 603325702 705531904 7270 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 172249 7270 417 148 0 167178 0
[pid=9470/tid=9471] ppid=9468 vsize=688996 CPUtime=6.29 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 2590 0 0 0 629 0 0 0 25 0 4 0 603325702 705531904 7270 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=688996 CPUtime=6.29 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 2493 0 0 0 629 0 0 0 25 0 4 0 603325702 705531904 7270 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=688996 CPUtime=6.25 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 2567 0 0 0 625 0 0 0 25 0 4 0 603325702 705531904 7270 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 688996

[startup+12.7002 s]
/proc/loadavg: 7.80 8.03 7.99 9/184 9474
/proc/meminfo: memFree=30075596/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=692864 CPUtime=50.7 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 16716 0 0 0 5068 2 0 0 25 0 4 0 603325702 709492736 9203 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 173216 9203 419 148 0 168145 0
[pid=9470/tid=9471] ppid=9468 vsize=692864 CPUtime=12.69 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 2981 0 0 0 1269 0 0 0 25 0 4 0 603325702 709492736 9203 33554432000 4194304 4797429 140735162815680 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=692864 CPUtime=12.69 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 2955 0 0 0 1269 0 0 0 25 0 4 0 603325702 709492736 9203 33554432000 4194304 4797429 140735162815680 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=692864 CPUtime=12.62 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 3089 0 0 0 1262 0 0 0 25 0 4 0 603325702 709492736 9203 33554432000 4194304 4797429 140735162815680 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 692864

[startup+25.5009 s]
/proc/loadavg: 7.84 8.03 7.99 9/184 9475
/proc/meminfo: memFree=30059588/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=701300 CPUtime=101.83 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 25197 0 0 0 10179 4 0 0 25 0 4 0 603325702 718131200 11796 33554432000 4194304 4797429 140735162815680 18446744073709551615 4567984 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 175325 11796 419 148 0 170254 0
[pid=9470/tid=9471] ppid=9468 vsize=701300 CPUtime=25.49 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 3817 0 0 0 2549 0 0 0 25 0 4 0 603325702 718131200 11796 33554432000 4194304 4797429 140735162815680 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=701300 CPUtime=25.48 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 3802 0 0 0 2548 0 0 0 25 0 4 0 603325702 718131200 11796 33554432000 4194304 4797429 140735162815680 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=701300 CPUtime=25.34 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 4312 0 0 0 2534 0 0 0 25 0 4 0 603325702 718131200 11796 33554432000 4194304 4797429 140735162815680 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 701300

[startup+51.1012 s]
/proc/loadavg: 7.89 8.02 7.99 9/184 9475
/proc/meminfo: memFree=30042740/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=707620 CPUtime=204.09 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 38500 0 0 0 20402 7 0 0 25 0 4 0 603325702 724602880 13856 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 176905 13856 419 148 0 171834 0
[pid=9470/tid=9471] ppid=9468 vsize=707620 CPUtime=51.08 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 5211 0 0 0 5108 0 0 0 25 0 4 0 603325702 724602880 13856 33554432000 4194304 4797429 140735162815680 18446744073709551615 4428984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=707620 CPUtime=51.09 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 4960 0 0 0 5108 1 0 0 25 0 4 0 603325702 724602880 13856 33554432000 4194304 4797429 140735162815680 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=707620 CPUtime=50.81 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 5372 0 0 0 5080 1 0 0 25 0 4 0 603325702 724602880 13856 33554432000 4194304 4797429 140735162815680 18446744073709551615 4240903 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 707620

[startup+102.307 s]
/proc/loadavg: 7.95 8.02 7.99 9/184 9477
/proc/meminfo: memFree=30007912/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=717784 CPUtime=408.63 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 61030 0 0 0 40848 15 0 0 25 0 4 0 603325702 735010816 17823 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 179446 17823 421 148 0 174375 0
[pid=9470/tid=9471] ppid=9468 vsize=717784 CPUtime=102.29 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 7762 0 0 0 10228 1 0 0 25 0 4 0 603325702 735010816 17823 33554432000 4194304 4797429 140735162815680 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=717784 CPUtime=102.29 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 7298 0 0 0 10228 1 0 0 25 0 4 0 603325702 735010816 17823 33554432000 4194304 4797429 140735162815680 18446744073709551615 4430103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=717784 CPUtime=101.73 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 7579 0 0 0 10172 1 0 0 25 0 4 0 603325702 735010816 17823 33554432000 4194304 4797429 140735162815680 18446744073709551615 4428715 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 717784

[startup+162.301 s]
/proc/loadavg: 8.05 8.03 7.99 9/184 9478
/proc/meminfo: memFree=29979340/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=731484 CPUtime=648.28 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 86628 0 0 0 64806 22 0 0 25 0 4 0 603325702 749039616 22389 33554432000 4194304 4797429 140735162815680 18446744073709551615 4428966 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 182871 22389 421 148 0 177800 0
[pid=9470/tid=9471] ppid=9468 vsize=731484 CPUtime=162.29 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 10189 0 0 0 16227 2 0 0 25 0 4 0 603325702 749039616 22389 33554432000 4194304 4797429 140735162815680 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=731484 CPUtime=162.29 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 9671 0 0 0 16227 2 0 0 25 0 4 0 603325702 749039616 22389 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=731484 CPUtime=161.4 cores=0,2,4,6

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

/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 18504 0 0 0 40005 5 0 0 25 0 4 0 603325702 784896000 33532 33554432000 4194304 4797429 140735162815680 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1606.98
Current children cumulated vsize (KiB) 766500

[startup+462.301 s]
/proc/loadavg: 8.01 8.05 8.00 9/184 9489
/proc/meminfo: memFree=29872652/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=769540 CPUtime=1846.65 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 175672 0 0 0 184612 53 0 0 25 0 4 0 603325702 788008960 34634 33554432000 4194304 4797429 140735162815680 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 192385 34634 421 148 0 187314 0
[pid=9470/tid=9471] ppid=9468 vsize=769540 CPUtime=462.3 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 20374 0 0 0 46223 7 0 0 25 0 4 0 603325702 788008960 34634 33554432000 4194304 4797429 140735162815680 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=769540 CPUtime=462.3 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 19541 0 0 0 46225 5 0 0 25 0 4 0 603325702 788008960 34634 33554432000 4194304 4797429 140735162815680 18446744073709551615 4425844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=769540 CPUtime=459.77 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 20126 0 0 0 45971 6 0 0 25 0 4 0 603325702 788008960 34634 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1846.65
Current children cumulated vsize (KiB) 769540

[startup+522.301 s]
/proc/loadavg: 8.17 8.08 8.01 9/184 9491
/proc/meminfo: memFree=29837652/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=778144 CPUtime=2086.32 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 186533 0 0 0 208576 56 0 0 25 0 4 0 603325702 796819456 38121 33554432000 4194304 4797429 140735162815680 18446744073709551615 4495525 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 194536 38121 433 148 0 189465 0
[pid=9470/tid=9471] ppid=9468 vsize=778144 CPUtime=522.3 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 22271 0 0 0 52222 8 0 0 25 0 4 0 603325702 796819456 38121 33554432000 4194304 4797429 140735162815680 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=778144 CPUtime=522.3 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 21452 0 0 0 52224 6 0 0 25 0 4 0 603325702 796819456 38121 33554432000 4194304 4797429 140735162815680 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=778144 CPUtime=519.46 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 21804 0 0 0 51939 7 0 0 25 0 4 0 603325702 796819456 38121 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2086.32
Current children cumulated vsize (KiB) 778144

[startup+582.301 s]
/proc/loadavg: 8.18 8.10 8.02 9/184 9492
/proc/meminfo: memFree=29831776/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=780956 CPUtime=2325.99 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 197885 0 0 0 232539 60 0 0 25 0 4 0 603325702 799698944 38996 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 195239 38996 433 148 0 190168 0
[pid=9470/tid=9471] ppid=9468 vsize=780956 CPUtime=582.31 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 23973 0 0 0 58222 9 0 0 25 0 4 0 603325702 799698944 38996 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=780956 CPUtime=582.3 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 23703 0 0 0 58223 7 0 0 25 0 4 0 603325702 799698944 38996 33554432000 4194304 4797429 140735162815680 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=780956 CPUtime=579.12 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 23788 0 0 0 57905 7 0 0 25 0 4 0 603325702 799698944 38996 33554432000 4194304 4797429 140735162815680 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2325.99
Current children cumulated vsize (KiB) 780956

[startup+642.301 s]
/proc/loadavg: 8.11 8.09 8.02 9/184 9494
/proc/meminfo: memFree=29813852/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=784380 CPUtime=2565.69 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 210382 0 0 0 256503 66 0 0 25 0 4 0 603325702 803205120 40014 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 196095 40014 433 148 0 191024 0
[pid=9470/tid=9471] ppid=9468 vsize=784380 CPUtime=642.31 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 25844 0 0 0 64222 9 0 0 25 0 4 0 603325702 803205120 40014 33554432000 4194304 4797429 140735162815680 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=784380 CPUtime=642.31 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 25495 0 0 0 64224 7 0 0 25 0 4 0 603325702 803205120 40014 33554432000 4194304 4797429 140735162815680 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=784380 CPUtime=638.8 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 25395 0 0 0 63872 8 0 0 25 0 4 0 603325702 803205120 40014 33554432000 4194304 4797429 140735162815680 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.69
Current children cumulated vsize (KiB) 784380

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

[startup+665.507 s]
/proc/loadavg: 8.14 8.10 8.02 9/184 9495
/proc/meminfo: memFree=29808388/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=787720 CPUtime=2658.37 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 216967 0 0 0 265769 68 0 0 25 0 4 0 603325702 806625280 40312 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 196930 40312 433 148 0 191859 0
[pid=9470/tid=9471] ppid=9468 vsize=787720 CPUtime=665.51 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 27153 0 0 0 66542 9 0 0 25 0 4 0 603325702 806625280 40312 33554432000 4194304 4797429 140735162815680 18446744073709551615 4355911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=787720 CPUtime=665.51 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 26004 0 0 0 66543 8 0 0 25 0 4 0 603325702 806625280 40312 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=787720 CPUtime=661.88 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 26594 0 0 0 66180 8 0 0 25 0 4 0 603325702 806625280 40312 33554432000 4194304 4797429 140735162815680 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2658.37
Current children cumulated vsize (KiB) 787720

[startup+678.301 s]
/proc/loadavg: 8.12 8.09 8.02 9/184 9495
/proc/meminfo: memFree=29792868/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=787720 CPUtime=2709.48 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 218548 0 0 0 270879 69 0 0 25 0 4 0 603325702 806625280 41851 33554432000 4194304 4797429 140735162815680 18446744073709551615 4425001 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 196930 41851 433 148 0 191859 0
[pid=9470/tid=9471] ppid=9468 vsize=787720 CPUtime=678.31 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 27383 0 0 0 67821 10 0 0 25 0 4 0 603325702 806625280 41851 33554432000 4194304 4797429 140735162815680 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=787720 CPUtime=678.31 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 26156 0 0 0 67823 8 0 0 25 0 4 0 603325702 806625280 41851 33554432000 4194304 4797429 140735162815680 18446744073709551615 4520171 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=787720 CPUtime=674.6 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 26797 0 0 0 67452 8 0 0 25 0 4 0 603325702 806625280 41851 33554432000 4194304 4797429 140735162815680 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2709.48
Current children cumulated vsize (KiB) 787720

[startup+684.701 s]
/proc/loadavg: 8.10 8.09 8.02 9/184 9495
/proc/meminfo: memFree=29807748/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=787720 CPUtime=2735.04 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 219124 0 0 0 273435 69 0 0 25 0 4 0 603325702 806625280 42407 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 196930 42407 433 148 0 191859 0
[pid=9470/tid=9471] ppid=9468 vsize=787720 CPUtime=684.71 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 27470 0 0 0 68461 10 0 0 25 0 4 0 603325702 806625280 42407 33554432000 4194304 4797429 140735162815680 18446744073709551615 4525007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=787720 CPUtime=684.71 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 26230 0 0 0 68463 8 0 0 25 0 4 0 603325702 806625280 42407 33554432000 4194304 4797429 140735162815680 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=787720 CPUtime=680.97 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 26888 0 0 0 68089 8 0 0 25 0 4 0 603325702 806625280 42407 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2735.04
Current children cumulated vsize (KiB) 787720

[startup+687.9 s]
/proc/loadavg: 8.10 8.09 8.02 9/184 9495
/proc/meminfo: memFree=29800804/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=787720 CPUtime=2747.82 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) R 9468 9470 8735 0 -1 4202496 219593 0 0 0 274713 69 0 0 25 0 4 0 603325702 806625280 42869 33554432000 4194304 4797429 140735162815680 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 196930 42869 433 148 0 191859 0
[pid=9470/tid=9471] ppid=9468 vsize=787720 CPUtime=687.91 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 27513 0 0 0 68781 10 0 0 25 0 4 0 603325702 806625280 42869 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=787720 CPUtime=687.91 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 26286 0 0 0 68783 8 0 0 25 0 4 0 603325702 806625280 42869 33554432000 4194304 4797429 140735162815680 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=787720 CPUtime=684.15 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 26932 0 0 0 68407 8 0 0 25 0 4 0 603325702 806625280 42869 33554432000 4194304 4797429 140735162815680 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2747.82
Current children cumulated vsize (KiB) 787720

[startup+688.7 s]
/proc/loadavg: 8.10 8.09 8.02 9/184 9495
/proc/meminfo: memFree=29798572/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=787720 CPUtime=2750.96 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) S 9468 9470 8735 0 -1 4202496 219661 0 0 0 275026 70 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 260917223025 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 196930 42935 434 148 0 191859 0
[pid=9470/tid=9471] ppid=9468 vsize=787720 CPUtime=688.71 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 27557 0 0 0 68861 10 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=787720 CPUtime=688.71 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) R 9468 9470 8735 0 -1 4202560 26286 0 0 0 68863 8 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=787720 CPUtime=684.94 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) R 9468 9470 8735 0 -1 4202560 26932 0 0 0 68486 8 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 4526431 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2750.96
Current children cumulated vsize (KiB) 787720

[startup+689.1 s]
/proc/loadavg: 8.10 8.09 8.02 9/184 9495
/proc/meminfo: memFree=29798572/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=787720 CPUtime=2751.76 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) S 9468 9470 8735 0 -1 4202496 219661 0 0 0 275106 70 0 0 21 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 260917223025 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 196930 42935 434 148 0 191859 0
[pid=9470/tid=9471] ppid=9468 vsize=787720 CPUtime=689.11 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 27557 0 0 0 68901 10 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=787720 CPUtime=688.83 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) S 9468 9470 8735 0 -1 4202560 26286 0 0 0 68875 8 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 47346535335476 0 0 4096 2 18446604449093078080 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=787720 CPUtime=685.22 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) S 9468 9470 8735 0 -1 4202560 26932 0 0 0 68514 8 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 47346535335476 0 0 4096 2 18446604449093078080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2751.76
Current children cumulated vsize (KiB) 787720

[startup+689.501 s]
/proc/loadavg: 8.10 8.09 8.02 9/184 9495
/proc/meminfo: memFree=29798572/32950928 swapFree=67054472/67111528
[pid=9470] ppid=9468 vsize=787720 CPUtime=2752.16 cores=0,2,4,6
/proc/9470/stat : 9470 (techdemo) S 9468 9470 8735 0 -1 4202496 219661 0 0 0 275146 70 0 0 17 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 260917223025 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9470/statm: 196930 42935 434 148 0 191859 0
[pid=9470/tid=9471] ppid=9468 vsize=787720 CPUtime=689.51 cores=0,2,4,6
/proc/9470/task/9471/stat : 9471 (techdemo) R 9468 9470 8735 0 -1 4202560 27557 0 0 0 68941 10 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 47346535335440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9470/tid=9472] ppid=9468 vsize=787720 CPUtime=688.83 cores=0,2,4,6
/proc/9470/task/9472/stat : 9472 (techdemo) S 9468 9470 8735 0 -1 4202560 26286 0 0 0 68875 8 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 47346535335476 0 0 4096 2 18446604449093078080 0 0 -1 2 0 0 0
[pid=9470/tid=9474] ppid=9468 vsize=787720 CPUtime=685.22 cores=0,2,4,6
/proc/9470/task/9474/stat : 9474 (techdemo) S 9468 9470 8735 0 -1 4202560 26932 0 0 0 68514 8 0 0 25 0 4 0 603325702 806625280 42935 33554432000 4194304 4797429 140735162815680 18446744073709551615 47346535335476 0 0 4096 2 18446604449093078080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2752.16
Current children cumulated vsize (KiB) 787720

Child status: 20
Real time (s): 689.521
CPU time (s): 2752.21
CPU user time (s): 2751.5
CPU system time (s): 0.707892
CPU usage (%): 399.148
Max. virtual memory (cumulated for all children) (KiB): 897528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2751.5
system time used= 0.707892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219667
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= 353
involuntary context switches= 20551

runsolver used 1.16982 second user time and 2.6056 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-30 04:35:50
IDJOB=3260965
IDBENCH=83203
IDSOLVER=1584
FILE ID=node116/3260965-1304130950
RUNJOBID= node116-1304128530-8753
PBS_JOBID= 13170778
Free space on /tmp= 73280 MiB

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

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

MD5SUM BENCH= f5821fd80ce137a7b8cae2070a9b28d7
RANDOM SEED=1983861297

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30130660 kB
Buffers:        996588 kB
Cached:        1409348 kB
SwapCached:       9656 kB
Active:         184644 kB
Inactive:      2297936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30130660 kB
SwapTotal:    67111528 kB
SwapFree:     67054472 kB
Dirty:           15984 kB
Writeback:           0 kB
AnonPages:       75220 kB
Mapped:          13624 kB
Slab:           275552 kB
PageTables:       5012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   715708 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= 73272 MiB
End job on node116 at 2011-04-30 04:47:20