Trace number 3172831

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf
MD5SUMbf255e5bc10dc75db5f2f0a4a1086e58
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.615
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

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-3172831-1304104354.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/1909/4450 lits-rem:0 time: 0.43
0.45/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.45/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.45/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.45/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.45/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.45/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.45/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
5.94/1.53	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
5.94/1.53	c learnt bin added due to v-elim: 0
5.94/1.53	c Finding binary XORs  T:     0.00 s  found:       0
5.94/1.53	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
5.94/1.53	c calculated reachability. Time: 0.00
5.94/1.53	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      26
5.94/1.53	c =========================================================================================
5.94/1.53	c types(t): F = full restart, N = normal restart
5.94/1.53	c types(t): S = simplification begin/end, E = solution found
5.94/1.53	c restart types(rt): st = static, dy = dynamic
5.94/1.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
5.94/1.53	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
5.94/1.53	c Decided on static restart strategy
5.94/1.53	c  N dy    19      4018        50      4450         0      3518     31150     64613     18.53     16.08  --
5.94/1.53	c  N dy    46      8056        50      4450         0      4847     31150     84538     18.29     16.13  --
5.94/1.53	c  N dy    73     12058        50      4450         0      4633     31150     75389     18.72     16.22  --
5.94/1.53	c  N dy   100     16078        50      4450         0      8184     31150    141539     18.59     16.27  --
5.94/1.53	c  N dy   127     20124        50      4450         0      6788     31150    107559     18.38     16.26  --
5.94/1.53	c  N dy   154     24177        50      4450         0     10343     31150    173675     18.79     16.29  --
6.74/1.73	c  N dy   181     28196        50      4450         0      7918     31150    121309     18.36     16.28  --
7.15/1.83	c  S st   194     30000        50      4450         0      9498     31150    150589     18.85     16.29  --
7.55/1.93	c  S st   194     30504        50      4450         0      9952     31150    159376     18.85     16.29  --
7.55/1.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.55/1.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.55/1.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.07
7.55/1.93	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.55/1.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.55/1.93	c Subs w/ non-existent bins:      0 time:  0.00 s
7.55/1.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/1.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/1.93	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.54/2.43	c lits-rem:      1238  cl-subs:     1375  v-elim:     50  v-fix:    0  time:  2.14 s
9.54/2.43	c learnt bin added due to v-elim: 0
9.54/2.43	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.54/2.43	c vivif2 --  cl tried     8577 cl shrink        0 lits rem          0 time: 0.00
9.94/2.58	c asymm  cl-useful: 0/1743/4450 lits-rem:0 time: 0.59
9.94/2.58	c calculated reachability. Time: 0.00
9.94/2.58	c  N dy   194     30504        50      4450         0      8577     31150    134724     18.85     16.29  --
9.94/2.58	c  F st   194     30504        50      4450         0      8577     31150    134724     18.85     16.29  --
10.74/2.72	c Decided on static restart strategy
11.14/2.87	c  N dy   213     34554        50      4450         0     12116     31150    200059     18.34     16.27  --
12.34/3.18	c  N dy   240     38592        50      4450         0      8773     31150    131274     18.68     16.30  --
13.55/3.48	c  N dy   267     42651        50      4450         0     12325     31150    196861     18.92     16.30  --
14.72/3.77	c  S st   288     45757        50      4450         0     15051     31150    247034     18.03     16.29  --
15.12/3.82	c  S st   288     46260        50      4450         0     15505     31150    255567     18.03     16.29  --
15.12/3.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.12/3.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.12/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  0.14
15.12/3.86	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.12/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.12/3.86	c Subs w/ non-existent bins:      0 time:  0.01 s
15.12/3.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.12/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.12/3.87	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.94/4.58	c lits-rem:      1943  cl-subs:     2319  v-elim:     50  v-fix:    0  time:  2.86 s
17.94/4.58	c learnt bin added due to v-elim: 0
17.94/4.58	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.94/4.58	c vivif2 --  cl tried    13186 cl shrink        0 lits rem          0 time: 0.01
18.32/4.67	c asymm  cl-useful: 0/798/4450 lits-rem:0 time: 0.36
18.32/4.67	c calculated reachability. Time: 0.00
18.32/4.67	c  N dy   288     46260        50      4450         0     13186     31150    211333     18.03     16.29  --
19.91/5.00	c  N dy   315     50278        50      4450         0      9060     31150    128496     18.67     16.31  --
21.11/5.31	c  N dy   342     54307        50      4450         0     12572     31150    192795     18.28     16.29  --
22.33/5.66	c  N dy   369     58321        50      4450         0     16084     31150    258217     18.69     16.31  --
23.91/6.01	c  N dy   396     62326        50      4450         0     10927     31150    157116     18.69     16.34  --
25.11/6.34	c  N dy   423     66334        50      4450         0     14457     31150    222367     18.61     16.34  --
26.32/6.66	c  S st   444     69392        50      4450         0     17138     31150    272515     19.19     16.35  --
26.73/6.72	c  S st   444     69898        50      4450         0     17591     31150    281054     19.19     16.35  --
26.73/6.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.73/6.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.73/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.19
26.73/6.77	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
26.73/6.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.73/6.77	c Subs w/ non-existent bins:      0 time:  0.00 s
26.73/6.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.73/6.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.73/6.78	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.50/7.49	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
32.70/8.21	c Added 1 vars  tried: 11100 time: 2.85
32.70/8.22	c ORs :      1 avg-s:  0.0 cl-sh:  1071 l-rem:   1071 b-add:      2 v-rep:   0 cl-rem: 1 avg s: 18.0 T:    2.88
32.70/8.22	c lits-rem:      1858  cl-subs:     2485  v-elim:     50  v-fix:    0  time:  5.77 s
32.70/8.22	c learnt bin added due to v-elim: 0
32.70/8.22	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.70/8.22	c vivif2 --  cl tried    15105 cl shrink        0 lits rem          0 time: 0.01
33.10/8.38	c asymm  cl-useful: 0/1586/4451 lits-rem:0 time: 0.62
33.10/8.38	c calculated reachability. Time: 0.00
33.10/8.38	c  N dy   444     69898        51      4451         2     15105     31130    232619     19.19     16.35  --
33.10/8.38	c  F st   444     69898        51      4451         2     15105     31130    232619     19.19     16.35  --
33.90/8.57	c Decided on static restart strategy
35.11/8.84	c  N dy   467     74480        51      4451         2      9705     31130    124610     18.57     16.34  --
36.69/9.22	c  N dy   499     79252        51      4451         2     13865     31130    201698     18.57     16.34  --
38.69/9.71	c  N dy   533     84312        51      4451         2     18282     31130    283863     18.56     16.35  --
40.69/10.27	c  N dy   570     89795        51      4451         2     12676     31130    171367     18.54     16.34  --
43.09/10.82	c  N dy   608     95527        51      4451         2     17653     31130    263483     18.59     16.35  --
45.88/11.53	c  N dy   649    101635        51      4451         2     11703     31130    146934     18.58     16.35  --
47.08/11.83	c  S st   671    104847        51      4451         2     14522     31130    198935     18.38     16.35  --
47.08/11.88	c  S st   671    105347        51      4451         2     14980     31130    207624     18.38     16.35  --
47.08/11.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.08/11.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.48/11.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.18
47.48/11.93	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.48/11.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.48/11.93	c Subs w/ non-existent bins:      0 time:  0.00 s
47.48/11.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.48/11.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.48/11.93	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.87/12.53	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
49.87/12.54	c lits-rem:       889  cl-subs:     1202  v-elim:     50  v-fix:    0  time:  2.40 s
49.87/12.54	c learnt bin added due to v-elim: 0
49.87/12.54	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
49.87/12.54	c vivif2 --  cl tried    13778 cl shrink        0 lits rem          0 time: 0.00
50.27/12.68	c asymm  cl-useful: 0/1277/4451 lits-rem:0 time: 0.58
50.27/12.68	c calculated reachability. Time: 0.00
50.27/12.68	c  N dy   671    105347        51      4451         2     13778     31130    186599     18.38     16.35  --
53.47/13.40	c  N dy   717    112205        51      4451         2     19776     31130    297553     18.48     16.35  --
56.67/14.28	c  N dy   766    119478        51      4451         2     14003     31130    183817     18.98     16.34  --
59.86/15.09	c  N dy   818    127204        51      4451         2     20750     31130    309247     18.82     16.35  --
64.26/16.10	c  N dy   873    135361        51      4451         2     14816     31130    189543     18.87     16.34  --
67.85/17.06	c  N dy   932    144077        51      4451         2     22477     31130    332108     18.82     16.36  --
72.65/18.25	c  N dy   994    153339        51      4451         2     16606     31130    213619     18.87     16.36  --
74.67/18.79	c  S st  1026    158020        51      4451         2     20727     31130    289799     18.68     16.36  --
75.07/18.87	c  S st  1026    158522        51      4451         2     21173     31130    298232     18.68     16.36  --
75.07/18.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.07/18.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.44/18.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.3M T:  0.30
75.44/18.94	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.44/18.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.44/18.94	c Subs w/ non-existent bins:      0 time:  0.01 s
75.44/18.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.44/18.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.44/18.95	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.64/19.73	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
78.64/19.74	c lits-rem:      1105  cl-subs:     2234  v-elim:     50  v-fix:    0  time:  3.17 s
78.64/19.74	c learnt bin added due to v-elim: 0
78.64/19.74	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
78.64/19.74	c vivif2 --  cl tried    18939 cl shrink        0 lits rem          0 time: 0.01
79.06/19.90	c asymm  cl-useful: 0/842/4451 lits-rem:0 time: 0.62
79.06/19.90	c calculated reachability. Time: 0.00
79.06/19.90	c  N dy  1026    158522        51      4451         2     18939     31130    258695     18.68     16.36  --
84.63/21.25	c  N dy  1094    168663        51      4451         2     27791     31130    422652     18.45     16.36  --
90.22/22.64	c  N dy  1167    179556        51      4451         2     22602     31130    317720     18.41     16.36  --
97.03/24.34	c  N dy  1244    191035        51      4451         2     16968     31130    205737     18.69     16.35  --
103.40/25.91	c  N dy  1327    203346        55      4451        10     27766     31146    406558     18.72     16.36  --
110.59/27.79	c  N dy  1414    216362        55      4451        10     22562     31146    301579     18.64     16.37  --
119.78/30.00	c  N dy  1507    230296        55      4451        10     34742     31146    526811     18.89     16.37  --
123.78/31.03	c  S st  1558    237784        55      4451        10     23807     31146    318434     18.70     16.37  --
124.18/31.11	c  S st  1558    238291        55      4451        10     24268     31146    327341     18.70     16.37  --
124.18/31.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.18/31.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.58/31.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.1M T:  0.39
124.58/31.21	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
124.58/31.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.58/31.21	c Subs w/ non-existent bins:      0 time:  0.01 s
124.58/31.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.58/31.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.58/31.22	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
128.17/32.16	c ORs :      1 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
128.17/32.16	c lits-rem:      1125  cl-subs:     2245  v-elim:     50  v-fix:    0  time:  3.77 s
128.17/32.16	c learnt bin added due to v-elim: 0
128.17/32.16	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
128.17/32.17	c vivif2 --  cl tried    22023 cl shrink        0 lits rem          0 time: 0.02
128.97/32.32	c asymm  cl-useful: 0/718/4451 lits-rem:0 time: 0.61
128.97/32.32	c calculated reachability. Time: 0.00
128.97/32.32	c  N dy  1558    238291        55      4451        10     22023     31146    288581     18.70     16.37  --
138.56/34.75	c  N dy  1661    253520        55      4451        10     35421     31146    536510     18.52     16.34  --
148.54/37.20	c  N dy  1772    269810        55      4451        10     31514     31146    455712     17.92     16.30  --
160.13/40.10	c  N dy  1888    287033        55      4451        10     27420     31146    370527     18.58     16.27  --
173.31/43.42	c  N dy  2012    305442        58      4451        25     23391     31166    285746     18.57     16.25  --
186.90/46.84	c  N dy  2144    325031        58      4451        27     40774     31168    613746     18.97     16.23  --
200.87/50.33	c  N dy  2279    345117        58      4451        27     37359     31168    539194     18.88     16.22  --
210.87/52.85	c  S st  2363    357436        58      4451        27     26167     31168    319319     18.67     16.21  --
211.27/52.95	c  S st  2363    357938        58      4451        27     26617     31168    327919     18.67     16.21  --
211.27/52.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
211.27/52.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.65/53.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.8M T:  0.46
211.65/53.07	c Calc non-exist non-lernt bins v-fix:     0 done:     58 time:  0.00 s
211.65/53.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.65/53.07	c Subs w/ non-existent bins:      0 time:  0.01 s
211.65/53.08	c Replacing        3 vars Replaced     1608 lits Time:     0.03 s 
211.65/53.08	c bin-w-bin subsume rem            6 bins  time:  0.00 s
211.65/53.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.65/53.08	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
216.04/54.11	c ORs :      1 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
216.04/54.12	c lits-rem:       911  cl-subs:     1601  v-elim:     50  v-fix:    0  time:  4.13 s
216.04/54.12	c learnt bin added due to v-elim: 0
216.04/54.12	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
216.04/54.12	c vivif2 --  cl tried    25016 cl shrink        0 lits rem          0 time: 0.01
216.44/54.27	c asymm  cl-useful: 0/990/4451 lits-rem:0 time: 0.61
216.44/54.27	c calculated reachability. Time: 0.00
216.44/54.27	c  N dy  2363    357938        55      4451        10     25016     31146    302372     18.67     16.21  --
231.63/58.05	c  N dy  2499    378044        55      4451        10     42904     31146    634390     18.64     16.19  --
246.80/61.87	c  N dy  2635    398174        59      4451        31     37734     31174    531071     18.68     16.18  --
263.60/66.02	c  N dy  2770    418238        59      4451        31     31633     31174    406467     18.72     16.16  --
281.18/70.47	c  N dy  2906    438371        59      4451        33     49567     31176    742499     18.90     16.16  --
296.74/74.33	c  N dy  3042    458427        59      4451        33     42618     31176    605470     18.32     16.15  --
314.31/78.73	c  N dy  3177    478493        59      4451        33     34689     31176    447528     18.48     16.13  --
333.49/83.55	c  N dy  3313    498525        59      4451        33     52548     31176    779722     18.86     16.12  --
350.27/87.74	c  N dy  3448    518619        59      4451        33     43718     31176    610538     18.86     16.11  --
367.84/92.14	c  S st  3572    536908        59      4451        33     32394     31176    391724     18.61     16.11  --
368.24/92.25	c  S st  3572    537414        59      4451        33     32855     31176    400689     18.61     16.11  --
368.24/92.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
368.24/92.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
369.06/92.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.8M T:  0.62
369.06/92.41	c Calc non-exist non-lernt bins v-fix:     0 done:     59 time:  0.00 s
369.06/92.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
369.06/92.42	c Subs w/ non-existent bins:      0 time:  0.02 s
369.06/92.42	c Replacing        4 vars Replaced      916 lits Time:     0.03 s 
369.06/92.43	c bin-w-bin subsume rem            8 bins  time:  0.00 s
369.06/92.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
369.06/92.43	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
373.45/93.53	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
398.59/99.86	c Added 1 vars  tried: 80000 time: 25.32
398.59/99.89	c ORs :      1 avg-s:  0.0 cl-sh:  2282 l-rem:   2282 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   25.43
398.99/99.90	c lits-rem:       616  cl-subs:     1852  v-elim:     50  v-fix:    0  time: 29.84 s
398.99/99.90	c learnt bin added due to v-elim: 0
398.99/99.90	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
398.99/99.91	c vivif2 --  cl tried    31002 cl shrink        0 lits rem          0 time: 0.02
399.39/100.07	c asymm  cl-useful: 0/681/4452 lits-rem:0 time: 0.64
399.39/100.07	c calculated reachability. Time: 0.00
399.39/100.07	c  N dy  3572    537414        56      4452        13     31002     31125    369957     18.61     16.11  --
399.39/100.07	c  F st  3572    537414        56      4452        13     31002     31125    369957     18.61     16.11  --
400.99/100.46	c Decided on static restart strategy
417.39/104.57	c  N dy  3699    557447        56      4452        14     48825     31125    703218     19.35     16.11  --
436.94/109.42	c  N dy  3834    577500        56      4452        14     38286     31125    493331     18.65     16.11  --
457.71/114.63	c  N dy  3970    597613        56      4452        14     56193     31125    828910     19.19     16.11  --
476.09/119.27	c  N dy  4105    617614        60      4452        22     44698     31141    606745     19.52     16.11  --
499.27/125.06	c  N dy  4240    637732        60      4452        22     32352     31141    368703     18.97     16.11  --
518.45/129.82	c  N dy  4376    657870        60      4452        22     50232     31141    701404     18.17     16.11  --
540.83/135.44	c  N dy  4512    677951        60      4452        22     37006     31141    449243     19.01     16.11  --
561.17/140.50	c  N dy  4647    698036        64      4452        30     54856     31157    782371     18.81     16.11  --
583.54/146.16	c  N dy  4782    718123        68      4452        38     40667     31173    510415     19.08     16.11  --
673.01/168.58	c  N dy  4853    806121        68      4452        38     51096     31173    665477     18.35     15.81  --
673.41/168.61	c  S st  4853    806121        68      4452        38     51096     31173    665477     18.35     15.81  --
673.81/168.78	c  S st  4853    806623        68      4452        38     51557     31173    674137     18.35     15.81  --
673.81/168.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
673.81/168.78	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
675.01/169.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.3M T:  1.18
675.01/169.08	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.01 s
675.01/169.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
675.01/169.09	c Subs w/ non-existent bins:      0 time:  0.04 s
675.42/169.13	c Replacing        1 vars Replaced     2571 lits Time:     0.15 s 
675.42/169.14	c bin-w-bin subsume rem            2 bins  time:  0.00 s
675.42/169.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
675.42/169.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
687.00/172.04	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.07
727.75/182.24	c Added 1 vars  tried: 80000 time: 40.77
728.15/182.39	c ORs :      1 avg-s:  0.0 cl-sh:  7437 l-rem:   7437 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   41.37
728.55/182.41	c lits-rem:      1172  cl-subs:     8064  v-elim:     50  v-fix:    0  time: 52.98 s
728.55/182.41	c learnt bin added due to v-elim: 0
728.55/182.41	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
728.55/182.42	c vivif2 --  cl tried    43493 cl shrink        0 lits rem          0 time: 0.04
728.95/182.50	c asymm  cl-useful: 0/287/4453 lits-rem:0 time: 0.34
728.95/182.50	c calculated reachability. Time: 0.00
728.95/182.50	c  N dy  4853    806623        68      4453        36     43493     31144    553127     18.35     15.81  --
752.11/188.36	c  N dy  4990    826689        68      4453        36     61489     31144    886548     19.11     15.80  --
774.08/193.89	c  N dy  5127    846760        68      4453        36     45865     31144    587167     18.28     15.77  --
1220.68/305.62	c  N dy  5248   1209934        71      4453        51     58688     31164    759134     15.50     14.82  --
1220.68/305.65	c  S st  5248   1209934        71      4453        51     58688     31164    759134     15.50     14.82  --
1221.49/305.84	c  S st  5248   1210436        72      4453        55     59156     31170    768091     15.50     14.82  --
1221.49/305.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1221.49/305.85	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
1223.07/306.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.1M T:  1.58
1223.07/306.24	c Calc non-exist non-lernt bins v-fix:     0 done:     72 time:  0.01 s
1223.07/306.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1223.07/306.26	c Subs w/ non-existent bins:      0 time:  0.04 s
1223.47/306.30	c Replacing        3 vars Replaced     1637 lits Time:     0.17 s 
1223.47/306.31	c bin-w-bin subsume rem            6 bins  time:  0.00 s
1223.47/306.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1223.47/306.31	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1238.65/310.12	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.08
1238.65/310.13	c lits-rem:      2193  cl-subs:    11340  v-elim:     50  v-fix:    0  time: 15.26 s
1238.65/310.13	c learnt bin added due to v-elim: 0
1238.65/310.13	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
1238.65/310.14	c vivif2 --  cl tried    47816 cl shrink        1 lits rem          1 time: 0.04
1239.07/310.23	c asymm  cl-useful: 0/254/4453 lits-rem:0 time: 0.33
1239.07/310.23	c calculated reachability. Time: 0.00
1239.07/310.23	c  N dy  5248   1210436        69      4453        38     47816     31148    628624     15.50     14.82  --
1265.01/316.80	c  N dy  5384   1230447        69      4453        38     66016     31148    967322     18.79     14.82  --
1991.62/498.67	c  N dy  5476   1710437        69      4453        38     79391     31148   1077208     16.17     13.95  --
1992.02/498.71	c  S st  5476   1710437        69      4453        38     79391     31148   1077208     16.17     13.95  --
1992.82/498.99	c  S st  5476   1710941        69      4453        38     79855     31148   1085934     16.17     13.95  --
1993.22/499.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1993.22/499.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1995.23/499.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 34.8M T:  2.29
1995.23/499.57	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.01 s
1995.23/499.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1995.23/499.59	c Subs w/ non-existent bins:      0 time:  0.06 s
1995.61/499.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1995.61/499.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1995.61/499.61	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2024.37/506.82	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.14
2089.48/523.15	c Added 1 vars  tried: 80000 time: 65.23
2091.08/523.52	c ORs :      1 avg-s:  0.0 cl-sh: 11159 l-rem:  11159 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   66.68
2091.08/523.53	c lits-rem:      3636  cl-subs:    16327  v-elim:     50  v-fix:    0  time: 95.55 s
2091.08/523.53	c learnt bin added due to v-elim: 0
2091.08/523.53	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2091.08/523.55	c vivif2 --  cl tried    63527 cl shrink        1 lits rem          1 time: 0.06
2091.49/523.64	c asymm  cl-useful: 0/196/4454 lits-rem:0 time: 0.36
2091.49/523.64	c calculated reachability. Time: 0.00
2091.49/523.64	c  N dy  5476   1710941        70      4454        41     63527     31132    855688     16.17     13.95  --
2927.53/732.99	c  N dy  5589   2210941        70      4454        41     77453     31132    988313     15.86     13.56  --
2927.93/733.03	c  S st  5589   2210941        70      4454        41     77453     31132    988313     15.86     13.56  --
2927.93/733.03	c Finding binary XORs  T:     0.00 s  found:       1
2927.93/733.04	c Replacing        1 vars Replaced       15 lits Time:     0.02 s 
2929.13/733.30	c  S st  5589   2211442        73      4454        49     77928     31148    997300     15.86     13.56  --
2929.13/733.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2929.13/733.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2931.14/733.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 36.5M T:  2.27
2931.14/733.87	c Calc non-exist non-lernt bins v-fix:     0 done:     73 time:  0.01 s
2931.14/733.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2931.14/733.89	c Subs w/ non-existent bins:      0 time:  0.06 s
2931.52/733.91	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2931.52/733.91	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.01 s
2931.52/733.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2954.70/739.77	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 24.0 T:    0.15
2954.70/739.79	c lits-rem:      1400  cl-subs:    15593  v-elim:     50  v-fix:    0  time: 23.48 s
2954.70/739.79	c learnt bin added due to v-elim: 0
2954.70/739.79	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2955.09/739.80	c vivif2 --  cl tried    62334 cl shrink        1 lits rem          1 time: 0.06
2955.49/739.90	c asymm  cl-useful: 0/142/4454 lits-rem:0 time: 0.38
2955.49/739.90	c calculated reachability. Time: 0.00
2955.49/739.90	c  N dy  5589   2211442        73      4454        47     62334     31144    807721     15.86     13.56  --
3911.78/979.33	c  N dy  5661   2711442        73      4454        47     85174     31144   1122155     15.78     13.31  --
3911.78/979.39	c  S st  5661   2711442        73      4454        47     85174     31144   1122155     15.78     13.31  --
3913.38/979.72	c  S st  5661   2711946        76      4454        57     85649     31160   1130938     15.78     13.31  --
3913.38/979.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3913.38/979.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3916.18/980.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 42.8M T:  2.73
3916.18/980.42	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
3916.18/980.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3916.18/980.43	c Subs w/ non-existent bins:      0 time:  0.07 s
3916.18/980.45	c Replacing        1 vars Replaced      289 lits Time:     0.06 s 
3916.18/980.47	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3916.18/980.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3916.18/980.47	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3945.34/987.78	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 9.0 T:    0.19
4010.85/1004.18	c Added 1 vars  tried: 80000 time: 65.52
4012.06/1004.42	c ORs :      1 avg-s:  0.0 cl-sh:  7773 l-rem:   7773 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   66.47
4012.06/1004.45	c lits-rem:      3306  cl-subs:    14193  v-elim:     50  v-fix:    0  time: 95.75 s
4012.06/1004.45	c learnt bin added due to v-elim: 0
4012.06/1004.45	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
4012.06/1004.46	c vivif2 --  cl tried    71455 cl shrink        1 lits rem          1 time: 0.07
4012.44/1004.57	c asymm  cl-useful: 0/112/4455 lits-rem:0 time: 0.42
4012.44/1004.57	c calculated reachability. Time: 0.00
4012.44/1004.57	c  N dy  5661   2711946        76      4455        53     71455     31136    943636     15.78     13.31  --
4012.44/1004.57	c  F st  5661   2711946        76      4455        53     71455     31136    943636     15.78     13.31  --
4016.46/1005.51	c Decided on static restart strategy

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-3172831-1304104354/watcher-3172831-1304104354 -o /tmp/evaluation-result-3172831-1304104354/solver-3172831-1304104354 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172831-1304104354.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.53 8.08 8.02 3/180 24265
/proc/meminfo: memFree=25365580/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=50144 CPUtime=0 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 652 0 0 0 0 0 0 0 23 0 1 0 522033577 51347456 584 33554432000 4194304 4797429 140737219070032 18446744073709551615 232335588890 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24265/statm: 12536 594 347 148 0 7465 0

[startup+0.12472 s]
/proc/loadavg: 7.53 8.08 8.02 3/180 24265
/proc/meminfo: memFree=25365580/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=542556 CPUtime=0.45 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) D 24263 24265 24228 0 -1 4202496 1400 0 0 0 45 0 0 0 18 0 4 0 522033577 555577344 1149 33554432000 4194304 4797429 140737219070032 18446744073709551615 232335935671 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 135639 1149 391 148 0 130568 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 542556

[startup+0.22414 s]
/proc/loadavg: 7.53 8.08 8.02 3/180 24265
/proc/meminfo: memFree=25365580/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=608804 CPUtime=0.85 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 2058 0 0 0 85 0 0 0 18 0 4 0 522033577 623415296 1797 33554432000 4194304 4797429 140737219070032 18446744073709551615 4425072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 152201 1797 408 148 0 147130 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 608804

[startup+0.300126 s]
/proc/loadavg: 7.53 8.08 8.02 3/180 24265
/proc/meminfo: memFree=25365580/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=609496 CPUtime=1.15 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 2379 0 0 0 115 0 0 0 18 0 4 0 522033577 624123904 2113 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424835 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 152374 2113 408 148 0 147303 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 609496

[startup+0.701057 s]
/proc/loadavg: 7.53 8.08 8.02 3/180 24265
/proc/meminfo: memFree=25365580/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=614008 CPUtime=2.75 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 4498 0 0 0 275 0 0 0 18 0 4 0 522033577 628744192 3509 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 153502 3509 413 148 0 148431 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 614008

[startup+1.50091 s]
/proc/loadavg: 7.65 8.09 8.03 12/188 24273
/proc/meminfo: memFree=25336624/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=615364 CPUtime=5.94 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 5331 0 0 0 594 0 0 0 20 0 4 0 522033577 630132736 4094 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424709 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 153841 4094 414 148 0 148770 0
[pid=24265/tid=24271] ppid=24263 vsize=615364 CPUtime=1.48 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 1033 0 0 0 148 0 0 0 25 0 4 0 522033578 630132736 4094 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=615364 CPUtime=1.48 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 949 0 0 0 148 0 0 0 18 0 4 0 522033578 630132736 4094 33554432000 4194304 4797429 140737219070032 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=615364 CPUtime=1.48 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 979 0 0 0 148 0 0 0 20 0 4 0 522033578 630132736 4094 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 615364

[startup+3.10063 s]
/proc/loadavg: 7.65 8.09 8.03 9/188 24273
/proc/meminfo: memFree=25329448/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=617104 CPUtime=12.34 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 7012 0 0 0 1233 1 0 0 25 0 4 0 522033577 631914496 4508 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 154276 4508 416 148 0 149205 0
[pid=24265/tid=24271] ppid=24263 vsize=617104 CPUtime=3.08 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 1249 0 0 0 308 0 0 0 25 0 4 0 522033578 631914496 4508 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=617104 CPUtime=3.08 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 1156 0 0 0 308 0 0 0 22 0 4 0 522033578 631914496 4508 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=617104 CPUtime=3.07 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 1219 0 0 0 307 0 0 0 25 0 4 0 522033578 631914496 4508 33554432000 4194304 4797429 140737219070032 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 617104

[startup+6.30106 s]
/proc/loadavg: 7.68 8.09 8.03 9/188 24273
/proc/meminfo: memFree=25322000/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=619812 CPUtime=25.11 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 9549 0 0 0 2510 1 0 0 25 0 4 0 522033577 634687488 5516 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 154953 5516 416 148 0 149882 0
[pid=24265/tid=24271] ppid=24263 vsize=619812 CPUtime=6.27 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 1612 0 0 0 627 0 0 0 25 0 4 0 522033578 634687488 5516 33554432000 4194304 4797429 140737219070032 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=619812 CPUtime=6.28 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 1587 0 0 0 628 0 0 0 25 0 4 0 522033578 634687488 5516 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=619812 CPUtime=6.25 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 1655 0 0 0 625 0 0 0 25 0 4 0 522033578 634687488 5516 33554432000 4194304 4797429 140737219070032 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 619812

[startup+12.7009 s]
/proc/loadavg: 7.70 8.09 8.03 9/188 24274
/proc/meminfo: memFree=25312624/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=622572 CPUtime=50.67 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 13538 0 0 0 5065 2 0 0 25 0 4 0 522033577 637513728 7225 33554432000 4194304 4797429 140737219070032 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 155643 7225 419 148 0 150572 0
[pid=24265/tid=24271] ppid=24263 vsize=622572 CPUtime=12.67 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 2732 0 0 0 1267 0 0 0 25 0 4 0 522033578 637513728 7225 33554432000 4194304 4797429 140737219070032 18446744073709551615 4495651 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=622572 CPUtime=12.68 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 2096 0 0 0 1268 0 0 0 25 0 4 0 522033578 637513728 7225 33554432000 4194304 4797429 140737219070032 18446744073709551615 4425129 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=622572 CPUtime=12.62 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 2135 0 0 0 1262 0 0 0 25 0 4 0 522033578 637513728 7225 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 622572

[startup+25.5007 s]
/proc/loadavg: 7.77 8.08 8.02 9/188 24274
/proc/meminfo: memFree=25297792/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=627296 CPUtime=101.8 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 21357 0 0 0 10177 3 0 0 25 0 4 0 522033577 642351104 7930 33554432000 4194304 4797429 140737219070032 18446744073709551615 4426365 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 156824 7930 419 148 0 151753 0
[pid=24265/tid=24271] ppid=24263 vsize=627296 CPUtime=25.47 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 5179 0 0 0 2546 1 0 0 25 0 4 0 522033578 642351104 7930 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=627296 CPUtime=25.48 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 2955 0 0 0 2548 0 0 0 25 0 4 0 522033578 642351104 7930 33554432000 4194304 4797429 140737219070032 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=627296 CPUtime=25.34 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 3007 0 0 0 2534 0 0 0 25 0 4 0 522033578 642351104 7930 33554432000 4194304 4797429 140737219070032 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 627296

[startup+51.1011 s]
/proc/loadavg: 8.06 8.12 8.04 9/188 24275
/proc/meminfo: memFree=25283160/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=633520 CPUtime=204.06 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 30438 0 0 0 20400 6 0 0 25 0 4 0 522033577 648724480 10324 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424709 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 158380 10324 421 148 0 153309 0
[pid=24265/tid=24271] ppid=24263 vsize=633520 CPUtime=51.06 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 6608 0 0 0 5105 1 0 0 25 0 4 0 522033578 648724480 10324 33554432000 4194304 4797429 140737219070032 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=633520 CPUtime=51.08 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 4702 0 0 0 5108 0 0 0 25 0 4 0 522033578 648724480 10324 33554432000 4194304 4797429 140737219070032 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=633520 CPUtime=50.8 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 4133 0 0 0 5080 0 0 0 25 0 4 0 522033578 648724480 10324 33554432000 4194304 4797429 140737219070032 18446744073709551615 4495483 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 633520

[startup+102.301 s]
/proc/loadavg: 8.10 8.12 8.04 9/188 24276
/proc/meminfo: memFree=25263104/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=638632 CPUtime=408.61 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 43331 0 0 0 40851 10 0 0 25 0 4 0 522033577 653959168 12617 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 159658 12617 421 148 0 154587 0
[pid=24265/tid=24271] ppid=24263 vsize=638632 CPUtime=102.26 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 8415 0 0 0 10225 1 0 0 25 0 4 0 522033578 653959168 12617 33554432000 4194304 4797429 140737219070032 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=638632 CPUtime=102.28 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 6370 0 0 0 10227 1 0 0 25 0 4 0 522033578 653959168 12617 33554432000 4194304 4797429 140737219070032 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=638632 CPUtime=101.73 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 5672 0 0 0 10172 1 0 0 25 0 4 0 522033578 653959168 12617 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 638632

[startup+162.3 s]
/proc/loadavg: 8.29 8.16 8.05 9/188 24278
/proc/meminfo: memFree=25251800/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=643892 CPUtime=648.25 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 56703 0 0 0 64810 15 0 0 25 0 4 0 522033577 659345408 14189 33554432000 4194304 4797429 140737219070032 18446744073709551615 4425072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 160973 14189 421 148 0 155902 0
[pid=24265/tid=24271] ppid=24263 vsize=643892 CPUtime=162.25 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 10250 0 0 0 16223 2 0 0 25 0 4 0 522033578 659345408 14189 33554432000 4194304 4797429 140737219070032 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=643892 CPUtime=162.28 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 8203 0 0 0 16226 2 0 0 25 0 4 0 522033578 659345408 14189 33554432000 4194304 4797429 140737219070032 18446744073709551615 4427396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=643892 CPUtime=161.4 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 7435 0 0 0 16139 1 0 0 25 0 4 0 522033578 659345408 14189 33554432000 4194304 4797429 140737219070032 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.25
Current children cumulated vsize (KiB) 643892

[startup+222.307 s]
/proc/loadavg: 8.30 8.17 8.06 9/188 24279
/proc/meminfo: memFree=25231308/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=648484 CPUtime=887.95 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 67951 0 0 0 88776 19 0 0 25 0 4 0 522033577 664047616 15891 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424649 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 162121 15891 421 148 0 157050 0
[pid=24265/tid=24271] ppid=24263 vsize=648484 CPUtime=222.26 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 11807 0 0 0 22223 3 0 0 25 0 4 0 522033578 664047616 15891 33554432000 4194304 4797429 140737219070032 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=648484 CPUtime=222.28 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 9703 0 0 0 22226 2 0 0 25 0 4 0 522033578 664047616 15891 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=648484 CPUtime=221.08 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 8829 0 0 0 22106 2 0 0 25 0 4 0 522033578 664047616 15891 33554432000 4194304 4797429 140737219070032 18446744073709551615 4647854 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.95
Current children cumulated vsize (KiB) 648484

[startup+282.301 s]

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

[pid=24265] ppid=24263 vsize=671044 CPUtime=2565.63 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 131407 0 0 0 256522 41 0 0 25 0 4 0 522033577 687149056 23353 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 167761 23353 421 148 0 162690 0
[pid=24265/tid=24271] ppid=24263 vsize=671044 CPUtime=642.23 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 20147 0 0 0 64216 7 0 0 25 0 4 0 522033578 687149056 23353 33554432000 4194304 4797429 140737219070032 18446744073709551615 4429184 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=671044 CPUtime=642.29 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 17949 0 0 0 64223 6 0 0 25 0 4 0 522033578 687149056 23353 33554432000 4194304 4797429 140737219070032 18446744073709551615 4425043 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=671044 CPUtime=638.8 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 17275 0 0 0 63875 5 0 0 25 0 4 0 522033578 687149056 23353 33554432000 4194304 4797429 140737219070032 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.63
Current children cumulated vsize (KiB) 671044

[startup+702.301 s]
/proc/loadavg: 8.06 8.11 8.08 9/188 24292
/proc/meminfo: memFree=25161024/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=672156 CPUtime=2805.29 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 138237 0 0 0 280486 43 0 0 25 0 4 0 522033577 688287744 25042 33554432000 4194304 4797429 140737219070032 18446744073709551615 4425072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 168039 25042 421 148 0 162968 0
[pid=24265/tid=24271] ppid=24263 vsize=672156 CPUtime=702.22 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 21296 0 0 0 70215 7 0 0 25 0 4 0 522033578 688287744 25042 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=672156 CPUtime=702.29 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 18552 0 0 0 70223 6 0 0 25 0 4 0 522033578 688287744 25042 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=672156 CPUtime=698.47 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 17829 0 0 0 69842 5 0 0 25 0 4 0 522033578 688287744 25042 33554432000 4194304 4797429 140737219070032 18446744073709551615 4345119 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 672156

[startup+762.301 s]
/proc/loadavg: 8.06 8.10 8.08 9/188 24294
/proc/meminfo: memFree=25146240/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=673604 CPUtime=3044.99 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 144066 0 0 0 304452 47 0 0 25 0 4 0 522033577 689770496 27006 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 168401 27006 421 148 0 163330 0
[pid=24265/tid=24271] ppid=24263 vsize=673604 CPUtime=762.22 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 21963 0 0 0 76215 7 0 0 25 0 4 0 522033578 689770496 27006 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=673604 CPUtime=762.29 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 19566 0 0 0 76222 7 0 0 25 0 4 0 522033578 689770496 27006 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424622 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=673604 CPUtime=758.14 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 18831 0 0 0 75808 6 0 0 25 0 4 0 522033578 689770496 27006 33554432000 4194304 4797429 140737219070032 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.99
Current children cumulated vsize (KiB) 673604

[startup+822.3 s]
/proc/loadavg: 8.20 8.13 8.09 9/188 24295
/proc/meminfo: memFree=25140500/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=676332 CPUtime=3284.64 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 151622 0 0 0 328414 50 0 0 25 0 4 0 522033577 692563968 26491 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 169083 26491 421 148 0 164012 0
[pid=24265/tid=24271] ppid=24263 vsize=676332 CPUtime=822.21 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 22976 0 0 0 82213 8 0 0 25 0 4 0 522033578 692563968 26491 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=676332 CPUtime=822.29 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 20553 0 0 0 82222 7 0 0 25 0 4 0 522033578 692563968 26491 33554432000 4194304 4797429 140737219070032 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=676332 CPUtime=817.81 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 19927 0 0 0 81775 6 0 0 25 0 4 0 522033578 692563968 26491 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 676332

[startup+882.307 s]
/proc/loadavg: 8.18 8.13 8.09 9/188 24297
/proc/meminfo: memFree=25140092/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=676604 CPUtime=3524.33 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 159183 0 0 0 352381 52 0 0 25 0 4 0 522033577 692842496 26437 33554432000 4194304 4797429 140737219070032 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 169151 26437 421 148 0 164080 0
[pid=24265/tid=24271] ppid=24263 vsize=676604 CPUtime=882.22 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 23975 0 0 0 88213 9 0 0 25 0 4 0 522033578 692842496 26437 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=676604 CPUtime=882.3 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 21465 0 0 0 88222 8 0 0 25 0 4 0 522033578 692842496 26437 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=676604 CPUtime=877.5 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 20989 0 0 0 87743 7 0 0 25 0 4 0 522033578 692842496 26437 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 676604

[startup+942.301 s]
/proc/loadavg: 8.33 8.17 8.10 9/188 24298
/proc/meminfo: memFree=25137468/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=678676 CPUtime=3763.98 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 166640 0 0 0 376343 55 0 0 25 0 4 0 522033577 694964224 26443 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 169669 26443 421 148 0 164598 0
[pid=24265/tid=24271] ppid=24263 vsize=678676 CPUtime=942.2 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 25059 0 0 0 94211 9 0 0 25 0 4 0 522033578 694964224 26443 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=678676 CPUtime=942.29 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 22323 0 0 0 94221 8 0 0 25 0 4 0 522033578 694964224 26443 33554432000 4194304 4797429 140737219070032 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=678676 CPUtime=937.16 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 21855 0 0 0 93709 7 0 0 25 0 4 0 522033578 694964224 26443 33554432000 4194304 4797429 140737219070032 18446744073709551615 4502003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 678676

[startup+1002.3 s]
/proc/loadavg: 8.20 8.15 8.10 10/188 24300
/proc/meminfo: memFree=25125404/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=679784 CPUtime=4003.65 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 170883 0 0 0 400308 57 0 0 25 0 4 0 522033577 696098816 28580 33554432000 4194304 4797429 140737219070032 18446744073709551615 4495525 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 169946 28580 421 148 0 164875 0
[pid=24265/tid=24271] ppid=24263 vsize=679784 CPUtime=1002.19 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 25599 0 0 0 100210 9 0 0 25 0 4 0 522033578 696098816 28580 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=679784 CPUtime=1002.29 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 22820 0 0 0 100221 8 0 0 25 0 4 0 522033578 696098816 28580 33554432000 4194304 4797429 140737219070032 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=679784 CPUtime=996.84 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 22431 0 0 0 99676 8 0 0 25 0 4 0 522033578 696098816 28580 33554432000 4194304 4797429 140737219070032 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 679784

[startup+1062.3 s]
/proc/loadavg: 8.22 8.15 8.10 9/188 24302
/proc/meminfo: memFree=25118192/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=685264 CPUtime=4243.33 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 177944 0 0 0 424274 59 0 0 25 0 4 0 522033577 701710336 29481 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 171316 29481 421 148 0 166245 0
[pid=24265/tid=24271] ppid=24263 vsize=685264 CPUtime=1062.2 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 26634 0 0 0 106210 10 0 0 25 0 4 0 522033578 701710336 29481 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=685264 CPUtime=1062.29 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 23909 0 0 0 106221 8 0 0 25 0 4 0 522033578 701710336 29481 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=685264 CPUtime=1056.52 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 23782 0 0 0 105644 8 0 0 25 0 4 0 522033578 701710336 29481 33554432000 4194304 4797429 140737219070032 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 685264

[startup+1122.3 s]
/proc/loadavg: 8.23 8.17 8.10 9/188 24303
/proc/meminfo: memFree=25111460/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=685524 CPUtime=4483 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 184784 0 0 0 448239 61 0 0 25 0 4 0 522033577 701976576 29180 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 171381 29180 421 148 0 166310 0
[pid=24265/tid=24271] ppid=24263 vsize=685524 CPUtime=1122.19 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 27505 0 0 0 112209 10 0 0 25 0 4 0 522033578 701976576 29180 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=685524 CPUtime=1122.3 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 24812 0 0 0 112221 9 0 0 25 0 4 0 522033578 701976576 29180 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=685524 CPUtime=1116.19 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 24145 0 0 0 111611 8 0 0 25 0 4 0 522033578 701976576 29180 33554432000 4194304 4797429 140737219070032 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483
Current children cumulated vsize (KiB) 685524

[startup+1182.3 s]
/proc/loadavg: 8.29 8.18 8.11 9/188 24305
/proc/meminfo: memFree=25110440/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=685908 CPUtime=4722.67 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 189845 0 0 0 472202 65 0 0 25 0 4 0 522033577 702369792 30312 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 171477 30312 421 148 0 166406 0
[pid=24265/tid=24271] ppid=24263 vsize=685908 CPUtime=1182.19 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 27955 0 0 0 118208 11 0 0 25 0 4 0 522033578 702369792 30312 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=685908 CPUtime=1182.3 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 25331 0 0 0 118220 10 0 0 25 0 4 0 522033578 702369792 30312 33554432000 4194304 4797429 140737219070032 18446744073709551615 4523765 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=685908 CPUtime=1175.86 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 25280 0 0 0 117578 8 0 0 25 0 4 0 522033578 702369792 30312 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.67
Current children cumulated vsize (KiB) 685908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.17 8.10 10/188 24305
/proc/meminfo: memFree=25102492/32951124 swapFree=67111524/67111528
[pid=24265] ppid=24263 vsize=685908 CPUtime=4800.19 cores=0,2,4,6
/proc/24265/stat : 24265 (techdemo) R 24263 24265 24228 0 -1 4202496 190775 0 0 0 479953 66 0 0 25 0 4 0 522033577 702369792 31180 33554432000 4194304 4797429 140737219070032 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24265/statm: 171477 31180 421 148 0 166406 0
[pid=24265/tid=24271] ppid=24263 vsize=685908 CPUtime=1201.59 cores=0,2,4,6
/proc/24265/task/24271/stat : 24271 (techdemo) R 24263 24265 24228 0 -1 4202560 28206 0 0 0 120148 11 0 0 25 0 4 0 522033578 702369792 31180 33554432000 4194304 4797429 140737219070032 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24265/tid=24272] ppid=24263 vsize=685908 CPUtime=1201.71 cores=0,2,4,6
/proc/24265/task/24272/stat : 24272 (techdemo) R 24263 24265 24228 0 -1 4202560 25428 0 0 0 120161 10 0 0 25 0 4 0 522033578 702369792 31180 33554432000 4194304 4797429 140737219070032 18446744073709551615 4355911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24265/tid=24273] ppid=24263 vsize=685908 CPUtime=1195.15 cores=0,2,4,6
/proc/24265/task/24273/stat : 24273 (techdemo) R 24263 24265 24228 0 -1 4202560 25400 0 0 0 119507 8 0 0 25 0 4 0 522033578 702369792 31180 33554432000 4194304 4797429 140737219070032 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 685908

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.22
CPU user time (s): 4799.55
CPU system time (s): 0.666898
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 796032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.55
system time used= 0.666898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190775
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= 188
involuntary context switches= 72188

runsolver used 2.00569 second user time and 4.56531 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 21:12:34
IDJOB=3172831
IDBENCH=82849
IDSOLVER=1584
FILE ID=node132/3172831-1304104354
RUNJOBID= node132-1304104354-24246
PBS_JOBID= 13170650
Free space on /tmp= 71872 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172831-1304104354/watcher-3172831-1304104354 -o /tmp/evaluation-result-3172831-1304104354/solver-3172831-1304104354 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172831-1304104354.cnf

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

MD5SUM BENCH= bf255e5bc10dc75db5f2f0a4a1086e58
RANDOM SEED=1537212248

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.74
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.833
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.76
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.833
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.833
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.833
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.67
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.833
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.82
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.833
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:     32951124 kB
MemFree:      25366480 kB
Buffers:        775136 kB
Cached:        6244492 kB
SwapCached:          4 kB
Active:        2099624 kB
Inactive:      4984868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25366480 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           15700 kB
Writeback:           0 kB
AnonPages:       64252 kB
Mapped:          15328 kB
Slab:           436080 kB
PageTables:       4904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   196496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71856 MiB
End job on node132 at 2011-04-29 21:32:38