Trace number 3173011

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf
MD5SUM25ed0c8de63814e6d33af77a8f91b72b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.3141
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-3173011-1304124443.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/1901/4450 lits-rem:0 time: 0.43
0.00/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.00/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.00/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.46/0.13	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
0.46/0.13	c learnt bin added due to v-elim: 0
0.46/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.46/0.13	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.46/0.13	c calculated reachability. Time: 0.00
0.46/0.13	c Calc default polars -  time:   0.00 s pos:      18 undec:       2 neg:      30
0.46/0.13	c =========================================================================================
0.46/0.13	c types(t): F = full restart, N = normal restart
0.46/0.13	c types(t): S = simplification begin/end, E = solution found
0.46/0.13	c restart types(rt): st = static, dy = dynamic
0.46/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.46/0.13	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.46/0.21	c Decided on static restart strategy
0.88/0.29	c  N dy    19      4035        50      4450         0      3524     31150     64661     18.33     16.02  --
1.55/0.48	c  N dy    46      8049        50      4450         0      4835     31150     84587     18.90     16.18  --
2.35/0.69	c  N dy    73     12093        50      4450         0      4678     31150     76008     18.64     16.23  --
3.55/0.92	c  N dy   100     16128        50      4450         0      8224     31150    142175     18.74     16.29  --
4.36/1.16	c  N dy   127     20155        50      4450         0      6812     31150    108575     18.32     16.34  --
5.54/1.42	c  N dy   154     24188        50      4450         0     10351     31150    173826     18.55     16.35  --
6.75/1.71	c  N dy   181     28219        50      4450         0      7919     31150    120670     18.24     16.32  --
7.15/1.83	c  S st   193     30000        50      4450         0      9453     31150    148971     18.46     16.33  --
7.15/1.87	c  S st   193     30507        50      4450         0      9911     31150    157849     18.46     16.33  --
7.15/1.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.15/1.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/1.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.07
7.15/1.89	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.15/1.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/1.89	c Subs w/ non-existent bins:      0 time:  0.00 s
7.55/1.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/1.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/1.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.54/2.44	c lits-rem:      1112  cl-subs:     1458  v-elim:     50  v-fix:    0  time:  2.16 s
9.54/2.44	c learnt bin added due to v-elim: 0
9.54/2.44	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.54/2.44	c vivif2 --  cl tried     8453 cl shrink        0 lits rem          0 time: 0.00
9.94/2.59	c asymm  cl-useful: 0/1643/4450 lits-rem:0 time: 0.58
9.94/2.59	c calculated reachability. Time: 0.00
9.94/2.59	c  N dy   193     30507        50      4450         0      8453     31150    132186     18.46     16.33  --
9.94/2.59	c  F st   193     30507        50      4450         0      8453     31150    132186     18.46     16.33  --
10.74/2.73	c Decided on static restart strategy
11.14/2.88	c  N dy   212     34550        50      4450         0     12006     31150    197806     18.47     16.29  --
12.34/3.18	c  N dy   239     38573        50      4450         0      8721     31150    129918     18.09     16.26  --
13.56/3.48	c  N dy   266     42629        50      4450         0     12284     31150    196480     19.00     16.28  --
14.73/3.76	c  S st   287     45761        50      4450         0     15024     31150    247026     18.66     16.29  --
15.13/3.82	c  S st   287     46261        50      4450         0     15461     31150    254902     18.66     16.29  --
15.13/3.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.13/3.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  0.14
15.13/3.85	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.13/3.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.85	c Subs w/ non-existent bins:      0 time:  0.01 s
15.13/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.13/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.55/4.44	c lits-rem:      1772  cl-subs:     2284  v-elim:     50  v-fix:    0  time:  2.33 s
17.55/4.44	c learnt bin added due to v-elim: 0
17.55/4.44	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.55/4.44	c vivif2 --  cl tried    13177 cl shrink        0 lits rem          0 time: 0.01
17.95/4.59	c asymm  cl-useful: 0/906/4450 lits-rem:0 time: 0.57
17.95/4.59	c calculated reachability. Time: 0.00
17.95/4.59	c  N dy   287     46261        50      4450         0     13177     31150    211115     18.66     16.29  --
19.53/4.93	c  N dy   314     50321        50      4450         0      9050     31150    127860     18.68     16.29  --
20.73/5.24	c  N dy   341     54365        50      4450         0     12584     31150    193689     18.64     16.31  --
22.34/5.60	c  N dy   369     58506        50      4450         0     16207     31150    260935     18.48     16.32  --
23.52/5.96	c  N dy   396     62531        50      4450         0     11085     31150    159715     18.76     16.32  --
25.12/6.30	c  N dy   423     66561        50      4450         0     14646     31150    226069     18.58     16.33  --
25.92/6.58	c  S st   443     69391        50      4450         0     17132     31150    272401     18.93     16.34  --
26.33/6.64	c  S st   443     69896        50      4450         0     17591     31150    281265     18.93     16.34  --
26.33/6.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.33/6.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.33/6.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.19
26.33/6.69	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
26.33/6.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.33/6.70	c Subs w/ non-existent bins:      0 time:  0.01 s
26.33/6.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.33/6.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.33/6.70	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.51/7.41	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.31/8.13	c Added 1 vars  tried: 11100 time: 2.88
32.31/8.14	c ORs :      1 avg-s:  0.0 cl-sh:  1191 l-rem:   1191 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.91
32.31/8.14	c lits-rem:      1852  cl-subs:     2407  v-elim:     50  v-fix:    0  time:  5.75 s
32.31/8.14	c learnt bin added due to v-elim: 0
32.31/8.14	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.31/8.14	c vivif2 --  cl tried    15184 cl shrink        0 lits rem          0 time: 0.01
33.11/8.30	c asymm  cl-useful: 0/1728/4451 lits-rem:0 time: 0.61
33.11/8.30	c calculated reachability. Time: 0.00
33.11/8.30	c  N dy   443     69896        51      4451         2     15184     31131    234069     18.93     16.34  --
33.11/8.30	c  F st   443     69896        51      4451         2     15184     31131    234069     18.93     16.34  --
33.91/8.51	c Decided on static restart strategy
34.71/8.76	c  N dy   465     74393        51      4451         2      9661     31131    123946     18.79     16.34  --
36.30/9.15	c  N dy   498     79236        51      4451         2     13897     31131    201870     18.37     16.34  --
38.31/9.66	c  N dy   532     84316        51      4451         2     18310     31131    283586     18.62     16.34  --
40.70/10.24	c  N dy   569     89790        51      4451         2     12692     31131    171718     18.44     16.34  --
43.10/10.80	c  N dy   608     95646        51      4451         2     17822     31131    266547     18.64     16.34  --
45.89/11.53	c  N dy   649    101798        51      4451         2     11893     31131    150374     18.63     16.33  --
47.09/11.81	c  S st   670    104847        51      4451         2     14571     31131    200139     18.79     16.33  --
47.09/11.86	c  S st   670    105352        51      4451         2     15036     31131    208946     18.79     16.33  --
47.09/11.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.09/11.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.49/11.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.18
47.49/11.91	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.49/11.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.49/11.91	c Subs w/ non-existent bins:      0 time:  0.00 s
47.49/11.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.49/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.49/11.92	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.88/12.51	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.88/12.51	c lits-rem:       846  cl-subs:     1252  v-elim:     50  v-fix:    0  time:  2.37 s
49.88/12.51	c learnt bin added due to v-elim: 0
49.88/12.51	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
49.88/12.51	c vivif2 --  cl tried    13784 cl shrink        0 lits rem          0 time: 0.01
50.28/12.66	c asymm  cl-useful: 0/1203/4451 lits-rem:0 time: 0.58
50.28/12.66	c calculated reachability. Time: 0.00
50.28/12.66	c  N dy   670    105352        51      4451         2     13784     31131    186910     18.79     16.33  --
53.10/13.33	c  N dy   715    112087        51      4451         2     19668     31131    295976     18.57     16.34  --
56.68/14.21	c  N dy   764    119370        51      4451         2     13900     31131    181811     18.57     16.35  --
59.88/15.02	c  N dy   816    127055        51      4451         2     20632     31131    306968     18.81     16.35  --
63.87/16.06	c  N dy   871    135285        51      4451         2     14750     31131    188071     18.58     16.36  --
67.87/17.03	c  N dy   930    144065        51      4451         2     22434     31131    330347     18.80     16.36  --
72.66/18.22	c  N dy   992    153332        51      4451         2     16595     31131    212627     18.21     16.35  --
74.67/18.76	c  S st  1024    158029        51      4451         2     20744     31131    289313     18.72     16.35  --
75.08/18.83	c  S st  1024    158533        51      4451         2     21206     31131    298026     18.72     16.35  --
75.08/18.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.08/18.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.45/18.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.2M T:  0.29
75.45/18.91	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.45/18.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.45/18.91	c Subs w/ non-existent bins:      0 time:  0.01 s
75.45/18.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.45/18.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.45/18.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.25/19.61	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
78.25/19.62	c lits-rem:      1188  cl-subs:     2292  v-elim:     50  v-fix:    0  time:  2.82 s
78.25/19.62	c learnt bin added due to v-elim: 0
78.25/19.62	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
78.25/19.62	c vivif2 --  cl tried    18914 cl shrink        0 lits rem          0 time: 0.01
78.65/19.77	c asymm  cl-useful: 0/880/4451 lits-rem:0 time: 0.61
78.65/19.77	c calculated reachability. Time: 0.00
78.65/19.77	c  N dy  1024    158533        51      4451         2     18914     31131    257355     18.72     16.35  --
84.24/21.12	c  N dy  1093    168785        51      4451         2     27904     31131    424427     18.51     16.36  --
89.44/22.48	c  N dy  1166    179643        51      4451         2     22606     31131    316293     18.79     16.35  --
96.64/24.20	c  N dy  1243    191164        51      4451         2     17005     31131    205587     18.58     16.34  --
102.62/25.79	c  N dy  1326    203497        55      4451        11     27769     31147    405690     18.68     16.35  --
110.23/27.67	c  N dy  1414    216562        55      4451        11     22640     31147    303415     18.25     16.35  --
119.01/29.86	c  N dy  1507    230484        55      4451        11     34829     31147    530031     18.82     16.35  --
123.01/30.86	c  S st  1557    237799        55      4451        13     23767     31149    316806     18.39     16.35  --
123.41/30.95	c  S st  1557    238302        55      4451        13     24223     31149    325541     18.39     16.35  --
123.41/30.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.41/30.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.79/31.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.8M T:  0.36
123.79/31.04	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
123.79/31.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.79/31.04	c Subs w/ non-existent bins:      0 time:  0.01 s
123.79/31.05	c Replacing        1 vars Replaced     1486 lits Time:     0.04 s 
123.79/31.06	c bin-w-bin subsume rem            2 bins  time:  0.00 s
123.79/31.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.79/31.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
128.18/32.17	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.18/32.17	c lits-rem:      1307  cl-subs:     2232  v-elim:     50  v-fix:    0  time:  4.46 s
128.18/32.17	c learnt bin added due to v-elim: 0
128.18/32.17	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
128.18/32.18	c vivif2 --  cl tried    21991 cl shrink        0 lits rem          0 time: 0.01
128.98/32.33	c asymm  cl-useful: 0/633/4451 lits-rem:0 time: 0.62
128.98/32.33	c calculated reachability. Time: 0.00
128.98/32.33	c  N dy  1557    238302        54      4451         8     21991     31143    286319     18.39     16.35  --
138.57/34.77	c  N dy  1660    253667        54      4451         8     35521     31143    537620     18.66     16.33  --
148.57/37.22	c  N dy  1770    269911        54      4451         8     31477     31143    455740     18.89     16.31  --
159.74/40.09	c  N dy  1886    287167        54      4451         8     27396     31143    369577     18.96     16.29  --
173.33/43.44	c  N dy  2010    305591        54      4451         8     23482     31143    287252     18.88     16.27  --
186.91/46.83	c  N dy  2142    325144        58      4451        25     40749     31167    608944     18.70     16.26  --
200.89/50.35	c  N dy  2278    345254        58      4451        27     37428     31169    536317     18.33     16.24  --
210.48/52.77	c  S st  2360    357454        58      4451        27     26148     31169    319344     19.01     16.22  --
210.89/52.87	c  S st  2360    357958        58      4451        27     26608     31169    328108     19.01     16.22  --
210.89/52.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
210.89/52.87	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
211.30/52.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.7M T:  0.46
211.30/52.99	c Calc non-exist non-lernt bins v-fix:     0 done:     58 time:  0.00 s
211.30/52.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.30/52.99	c Subs w/ non-existent bins:      0 time:  0.01 s
211.30/53.00	c Replacing        3 vars Replaced      565 lits Time:     0.02 s 
211.67/53.00	c bin-w-bin subsume rem            6 bins  time:  0.00 s
211.67/53.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.67/53.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
215.29/53.96	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
215.29/53.97	c lits-rem:       847  cl-subs:     1511  v-elim:     50  v-fix:    0  time:  3.85 s
215.29/53.97	c learnt bin added due to v-elim: 0
215.29/53.97	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
215.29/53.97	c vivif2 --  cl tried    25097 cl shrink        0 lits rem          0 time: 0.02
216.07/54.12	c asymm  cl-useful: 0/1086/4451 lits-rem:0 time: 0.60
216.07/54.12	c calculated reachability. Time: 0.00
216.07/54.12	c  N dy  2360    357958        55      4451        10     25097     31147    303880     19.01     16.22  --
231.25/57.91	c  N dy  2495    378006        55      4451        10     42867     31147    635327     18.93     16.21  --
246.05/61.63	c  N dy  2630    398041        58      4451        25     37645     31167    525662     18.77     16.19  --
262.01/65.70	c  N dy  2766    418166        58      4451        27     31537     31169    404289     19.11     16.18  --
279.58/70.03	c  N dy  2901    438186        58      4451        27     49251     31169    734963     19.03     16.17  --
294.79/73.85	c  N dy  3036    458232        58      4451        27     42262     31169    598223     18.54     16.17  --
312.36/78.20	c  N dy  3171    478309        58      4451        27     34428     31169    442616     18.48     16.16  --
331.51/83.00	c  N dy  3306    498331        58      4451        27     52234     31169    778496     18.81     16.15  --
347.89/87.14	c  N dy  3442    518430        58      4451        27     43570     31169    609204     18.85     16.15  --
366.27/91.73	c  S st  3567    536937        58      4451        27     32499     31169    392969     18.78     16.14  --
366.67/91.84	c  S st  3567    537439        58      4451        27     32950     31169    401774     18.78     16.14  --
366.67/91.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
366.67/91.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
367.47/92.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.9M T:  0.62
367.47/92.00	c Calc non-exist non-lernt bins v-fix:     0 done:     58 time:  0.00 s
367.47/92.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
367.47/92.00	c Subs w/ non-existent bins:      0 time:  0.02 s
367.47/92.01	c Replacing        3 vars Replaced      476 lits Time:     0.02 s 
367.47/92.01	c bin-w-bin subsume rem            6 bins  time:  0.00 s
367.47/92.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
367.47/92.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
371.87/93.13	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
397.43/99.57	c Added 1 vars  tried: 80000 time: 25.75
397.83/99.60	c ORs :      1 avg-s:  0.0 cl-sh:  1997 l-rem:   1997 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   25.85
397.83/99.61	c lits-rem:       680  cl-subs:     1809  v-elim:     50  v-fix:    0  time: 30.32 s
397.83/99.61	c learnt bin added due to v-elim: 0
397.83/99.61	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
397.83/99.61	c vivif2 --  cl tried    31140 cl shrink        0 lits rem          0 time: 0.02
398.23/99.77	c asymm  cl-useful: 0/704/4452 lits-rem:0 time: 0.62
398.23/99.77	c calculated reachability. Time: 0.00
398.23/99.77	c  N dy  3567    537439        56      4452        13     31140     31127    371655     18.78     16.14  --
398.23/99.77	c  F st  3567    537439        56      4452        13     31140     31127    371655     18.78     16.14  --
399.84/100.16	c Decided on static restart strategy
416.20/104.25	c  N dy  3694    557493        56      4452        14     48957     31127    702773     18.44     16.13  --
435.77/109.17	c  N dy  3830    577593        56      4452        14     38465     31127    497418     19.09     16.13  --
456.55/114.36	c  N dy  3966    597722        59      4452        24     56306     31143    828817     18.94     16.13  --
474.94/118.96	c  N dy  4102    617814        59      4452        24     44872     31143    608611     18.82     16.13  --
498.08/124.71	c  N dy  4238    637934        59      4452        24     32656     31143    375164     19.14     16.12  --
516.86/129.43	c  N dy  4373    657948        59      4452        24     50458     31143    708971     18.49     16.12  --
538.83/134.98	c  N dy  4508    678042        63      4452        40     37121     31167    451875     18.72     16.12  --
559.21/140.08	c  N dy  4643    698054        63      4452        40     54953     31167    784622     18.40     16.12  --
581.17/145.59	c  N dy  4779    718135        67      4452        53     40792     31187    514871     18.45     16.12  --
671.05/168.07	c  N dy  4810    806159        67      4452        53     51441     31187    667233     15.38     15.83  --
671.05/168.09	c  S st  4810    806159        67      4452        53     51441     31187    667233     15.38     15.83  --
671.85/168.27	c  S st  4810    806663        67      4452        55     51889     31189    675842     15.38     15.83  --
671.85/168.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
671.85/168.28	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
673.05/168.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.8M T:  1.14
673.05/168.56	c Calc non-exist non-lernt bins v-fix:     0 done:     67 time:  0.00 s
673.05/168.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
673.05/168.57	c Subs w/ non-existent bins:      0 time:  0.03 s
673.45/168.64	c Replacing        6 vars Replaced     3030 lits Time:     0.26 s 
673.45/168.65	c bin-w-bin subsume rem           12 bins  time:  0.00 s
673.45/168.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
673.45/168.65	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
685.04/171.56	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.06
724.58/181.40	c Added 1 vars  tried: 80000 time: 39.32
725.00/181.53	c ORs :      1 avg-s:  0.0 cl-sh:  6525 l-rem:   6525 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   39.81
725.00/181.54	c lits-rem:      1300  cl-subs:     8660  v-elim:     50  v-fix:    0  time: 51.49 s
725.00/181.54	c learnt bin added due to v-elim: 0
725.00/181.54	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
725.00/181.55	c vivif2 --  cl tried    43229 cl shrink        0 lits rem          0 time: 0.04
725.40/181.64	c asymm  cl-useful: 0/215/4453 lits-rem:0 time: 0.36
725.40/181.64	c calculated reachability. Time: 0.00
725.40/181.64	c  N dy  4810    806663        62      4453        24     43229     31131    545341     15.38     15.83  --
748.55/187.47	c  N dy  4947    826784        62      4453        24     61144     31131    879124     19.09     15.82  --
771.32/193.13	c  N dy  5083    846849        62      4453        24     45302     31131    582963     18.87     15.82  --
795.30/199.19	c  N dy  5220    866960        64      4453        28     63286     31139    917975     18.48     15.82  --
819.25/205.16	c  N dy  5357    887088        64      4453        28     46130     31139    584489     18.69     15.81  --
844.42/211.47	c  N dy  5493    907095        68      4453        37     64065     31155    918391     18.94     15.81  --
870.41/217.98	c  N dy  5629    927173        68      4453        37     45778     31155    568200     18.67     15.80  --
894.75/224.09	c  N dy  5765    947220        71      4453        51     63860     31175    906665     18.70     15.80  --
922.32/230.95	c  N dy  5901    967370        71      4453        51     44374     31175    532126     19.24     15.80  --
946.68/237.08	c  N dy  6037    987472        71      4453        51     62365     31175    869216     19.02     15.80  --
977.85/244.85	c  N dy  6174   1007596        71      4453        51     41918     31175    476634     18.78     15.80  --
1001.41/250.73	c  N dy  6310   1027604        71      4453        51     59941     31175    815176     18.96     15.79  --
1032.58/258.52	c  N dy  6446   1047652        71      4453        51     77970     31175   1150155     17.69     15.79  --
1056.14/264.43	c  N dy  6582   1067731        71      4453        51     56562     31175    743792     18.61     15.79  --
1245.88/311.96	c  N dy  6692   1209996        71      4453        51     58888     31175    742169     16.65     15.50  --
1245.88/312.00	c  S st  6692   1209996        71      4453        51     58888     31175    742169     16.65     15.50  --
1246.68/312.19	c  S st  6692   1210499        71      4453        51     59355     31175    751076     16.65     15.50  --
1246.68/312.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1246.68/312.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1248.30/312.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 24.9M T:  1.44
1248.30/312.56	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.01 s
1248.30/312.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1248.30/312.57	c Subs w/ non-existent bins:      0 time:  0.04 s
1248.30/312.58	c Replacing        2 vars Replaced       36 lits Time:     0.02 s 
1248.30/312.59	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1248.30/312.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1248.30/312.59	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1262.25/316.06	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 18.5 T:    0.16
1307.79/327.49	c Added 1 vars  tried: 80000 time: 45.64
1308.59/327.61	c ORs :      1 avg-s:  0.0 cl-sh:  5891 l-rem:   5891 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   46.11
1308.59/327.62	c lits-rem:      2116  cl-subs:     9213  v-elim:     50  v-fix:    0  time: 60.03 s
1308.59/327.62	c learnt bin added due to v-elim: 0
1308.59/327.62	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
1308.59/327.63	c vivif2 --  cl tried    50140 cl shrink        0 lits rem          0 time: 0.04
1308.99/327.72	c asymm  cl-useful: 0/186/4454 lits-rem:0 time: 0.34
1308.99/327.72	c calculated reachability. Time: 0.00
1308.99/327.72	c  N dy  6692   1210499        70      4454        41     50140     31143    611137     16.65     15.50  --
1334.96/334.29	c  N dy  6828   1230506        70      4454        41     68146     31143    943700     18.33     15.49  --
1368.91/342.77	c  N dy  6965   1250628        73      4454        56     44262     31163    495862     18.83     15.48  --
2027.61/507.66	c  N dy  7021   1710499        77      4454        80     80438     31181   1217013     19.06     14.13  --
2028.01/507.72	c  S st  7021   1710499        77      4454        80     80438     31181   1217013     19.06     14.13  --
2028.81/507.98	c  S st  7021   1711004        80      4454        87     80912     31193   1225891     19.06     14.13  --
2028.81/507.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2028.81/507.98	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
2031.21/508.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 33.0M T:  2.43
2031.21/508.59	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.01 s
2031.21/508.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2031.61/508.61	c Subs w/ non-existent bins:      0 time:  0.08 s
2031.61/508.64	c Replacing        2 vars Replaced       33 lits Time:     0.12 s 
2031.61/508.67	c bin-w-bin subsume rem            7 bins  time:  0.00 s
2044.80/511.96	c subs with bin:    15378  lits-rem:        30  v-fix:    0  time: 13.15 s
2044.80/511.96	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2062.77/516.40	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.09
2125.88/532.20	c Added 1 vars  tried: 80000 time: 63.11
2127.87/532.79	c ORs :      1 avg-s:  0.0 cl-sh: 16724 l-rem:  16724 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   65.45
2128.27/532.81	c lits-rem:      1112  cl-subs:     7590  v-elim:     50  v-fix:    0  time: 83.27 s
2128.27/532.81	c learnt bin added due to v-elim: 0
2128.27/532.81	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2128.27/532.82	c vivif2 --  cl tried    53745 cl shrink        7 lits rem          7 time: 0.06
2128.67/532.92	c asymm  cl-useful: 0/205/4454 lits-rem:0 time: 0.39
2128.67/532.92	c calculated reachability. Time: 0.00
2128.67/532.92	c  N dy  7021   1711004        76      4454        55     53745     31139    804955     19.06     14.13  --
2954.36/739.60	c  N dy  7042   2211005        76      4454        55     69102     31139    885735     15.92     13.71  --
2954.36/739.64	c  S st  7042   2211005        76      4454        55     69102     31139    885735     15.92     13.71  --
2954.36/739.64	c Finding binary XORs  T:     0.00 s  found:       0
2955.16/739.88	c  S st  7042   2211507        76      4454        55     69575     31139    894457     15.92     13.71  --
2955.16/739.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2955.16/739.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2957.58/740.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 33.4M T:  2.09
2957.58/740.41	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
2957.58/740.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2957.58/740.43	c Subs w/ non-existent bins:    165 time:  0.07 s
2957.58/740.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2957.58/740.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2957.58/740.45	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2975.15/744.81	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.18
2975.15/744.83	c lits-rem:       652  cl-subs:    10068  v-elim:     50  v-fix:    0  time: 17.52 s
2975.15/744.83	c learnt bin added due to v-elim: 0
2975.15/744.83	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2975.15/744.85	c vivif2 --  cl tried    59342 cl shrink        0 lits rem          0 time: 0.06
2975.53/744.95	c asymm  cl-useful: 0/214/4454 lits-rem:0 time: 0.39
2975.53/744.95	c calculated reachability. Time: 0.00
2975.53/744.95	c  N dy  7042   2211507        76      4454        55     59342     31139    771197     15.92     13.71  --
3964.98/992.64	c  N dy  7105   2711509        76      4454        55     81584     31139   1050293     14.17     13.44  --
3964.98/992.68	c  S st  7105   2711509        76      4454        55     81584     31139   1050293     14.17     13.44  --
3966.18/992.97	c  S st  7105   2712013        80      4454        71     82069     31163   1058788     14.17     13.44  --
3966.18/992.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3966.18/992.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3968.97/993.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 41.8M T:  2.73
3968.97/993.66	c Calc non-exist non-lernt bins v-fix:     0 done:     80 time:  0.01 s
3968.97/993.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3968.97/993.68	c Subs w/ non-existent bins:      0 time:  0.08 s
3969.37/993.70	c Replacing        2 vars Replaced      826 lits Time:     0.10 s 
3969.37/993.73	c bin-w-bin subsume rem            4 bins  time:  0.00 s
3969.37/993.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3969.37/993.73	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3996.54/1000.52	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 19.0 T:    0.24
3996.54/1000.54	c lits-rem:      2537  cl-subs:    13666  v-elim:     50  v-fix:    0  time: 27.21 s
3996.54/1000.54	c learnt bin added due to v-elim: 0
3996.54/1000.54	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
3996.54/1000.56	c vivif2 --  cl tried    68402 cl shrink        2 lits rem          2 time: 0.08
3996.94/1000.66	c asymm  cl-useful: 0/124/4454 lits-rem:0 time: 0.41
3996.94/1000.67	c calculated reachability. Time: 0.00
3996.94/1000.67	c  N dy  7105   2712013        78      4454        59     68402     31147    891687     14.17     13.44  --
3996.94/1000.67	c  F st  7105   2712013        78      4454        59     68402     31147    891687     14.17     13.44  --
4000.94/1001.60	c Decided on static restart strategy
4036.48/1010.58	c  N dy  7232   2732016        81      4454        74     86419     31167   1209703     17.41     13.44  --

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.57 8.00 8.01 5/180 28264
/proc/meminfo: memFree=29652160/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=50008 CPUtime=0 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 640 0 0 0 0 0 0 0 25 0 1 0 602674973 51208192 572 33554432000 4194304 4797429 140735740010992 18446744073709551615 256415052485 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28264/statm: 12502 572 347 148 0 7431 0

[startup+0.125997 s]
/proc/loadavg: 7.57 8.00 8.01 5/180 28264
/proc/meminfo: memFree=29652160/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=608312 CPUtime=0.46 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 1544 0 0 0 46 0 0 0 18 0 4 0 602674973 622911488 1287 33554432000 4194304 4797429 140735740010992 18446744073709551615 256415088395 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 152078 1298 391 148 0 147007 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 608312

[startup+0.232753 s]
/proc/loadavg: 7.57 8.00 8.01 5/180 28264
/proc/meminfo: memFree=29652160/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=608904 CPUtime=0.88 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 2077 0 0 0 88 0 0 0 18 0 4 0 602674973 623517696 1810 33554432000 4194304 4797429 140735740010992 18446744073709551615 4629040 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 152226 1811 408 148 0 147155 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 608904

[startup+0.300885 s]
/proc/loadavg: 7.57 8.00 8.01 5/180 28264
/proc/meminfo: memFree=29652160/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=609604 CPUtime=1.15 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 2352 0 0 0 115 0 0 0 18 0 4 0 602674973 624234496 2079 33554432000 4194304 4797429 140735740010992 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 152401 2079 408 148 0 147330 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 609604

[startup+0.700811 s]
/proc/loadavg: 7.57 8.00 8.01 5/180 28264
/proc/meminfo: memFree=29652160/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=613772 CPUtime=2.75 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 4460 0 0 0 275 0 0 0 18 0 4 0 602674973 628502528 3456 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 153443 3456 413 148 0 148372 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 613772

[startup+1.50066 s]
/proc/loadavg: 7.57 8.00 8.01 9/184 28268
/proc/meminfo: memFree=29637884/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=615208 CPUtime=5.94 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 5270 0 0 0 594 0 0 0 20 0 4 0 602674973 629972992 4016 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424614 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 153802 4016 414 148 0 148731 0
[pid=28264/tid=28266] ppid=28262 vsize=615208 CPUtime=1.48 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 970 0 0 0 148 0 0 0 25 0 4 0 602674975 629972992 4016 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=615208 CPUtime=1.47 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 978 0 0 0 147 0 0 0 20 0 4 0 602674975 629972992 4016 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568023 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=615208 CPUtime=1.48 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 963 0 0 0 148 0 0 0 20 0 4 0 602674975 629972992 4016 33554432000 4194304 4797429 140735740010992 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 615208

[startup+3.10036 s]
/proc/loadavg: 7.60 8.00 8.01 9/184 28268
/proc/meminfo: memFree=29633792/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=616868 CPUtime=12.34 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 7021 0 0 0 1233 1 0 0 25 0 4 0 602674973 631672832 4467 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424967 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 154217 4467 416 148 0 149146 0
[pid=28264/tid=28266] ppid=28262 vsize=616868 CPUtime=3.08 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 1176 0 0 0 308 0 0 0 25 0 4 0 602674975 631672832 4467 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=616868 CPUtime=3.07 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 1226 0 0 0 307 0 0 0 25 0 4 0 602674975 631672832 4467 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=616868 CPUtime=3.08 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 1196 0 0 0 308 0 0 0 25 0 4 0 602674975 631672832 4467 33554432000 4194304 4797429 140735740010992 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 616868

[startup+6.30076 s]
/proc/loadavg: 7.60 8.00 8.01 9/184 28268
/proc/meminfo: memFree=29627716/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=619596 CPUtime=25.12 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 9583 0 0 0 2511 1 0 0 25 0 4 0 602674973 634466304 5507 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 154899 5507 416 148 0 149828 0
[pid=28264/tid=28266] ppid=28262 vsize=619596 CPUtime=6.28 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 1597 0 0 0 628 0 0 0 25 0 4 0 602674975 634466304 5507 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=619596 CPUtime=6.25 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 1638 0 0 0 625 0 0 0 25 0 4 0 602674975 634466304 5507 33554432000 4194304 4797429 140735740010992 18446744073709551615 4524006 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=619596 CPUtime=6.28 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 1592 0 0 0 628 0 0 0 25 0 4 0 602674975 634466304 5507 33554432000 4194304 4797429 140735740010992 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 619596

[startup+12.7005 s]
/proc/loadavg: 7.66 8.00 8.00 9/184 28269
/proc/meminfo: memFree=29620804/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=623820 CPUtime=50.68 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 13094 0 0 0 5066 2 0 0 25 0 4 0 602674973 638791680 6767 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 155955 6767 419 148 0 150884 0
[pid=28264/tid=28266] ppid=28262 vsize=623820 CPUtime=12.67 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 2445 0 0 0 1267 0 0 0 25 0 4 0 602674975 638791680 6767 33554432000 4194304 4797429 140735740010992 18446744073709551615 4495452 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=623820 CPUtime=12.61 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 2030 0 0 0 1261 0 0 0 25 0 4 0 602674975 638791680 6767 33554432000 4194304 4797429 140735740010992 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=623820 CPUtime=12.68 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 2097 0 0 0 1268 0 0 0 25 0 4 0 602674975 638791680 6767 33554432000 4194304 4797429 140735740010992 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 623820

[startup+25.5011 s]
/proc/loadavg: 7.71 8.00 8.00 9/184 28269
/proc/meminfo: memFree=29610032/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=629148 CPUtime=101.82 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 18889 0 0 0 10179 3 0 0 25 0 4 0 602674973 644247552 8408 33554432000 4194304 4797429 140735740010992 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 157287 8408 419 148 0 152216 0
[pid=28264/tid=28266] ppid=28262 vsize=629148 CPUtime=25.47 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 3531 0 0 0 2547 0 0 0 25 0 4 0 602674975 644247552 8408 33554432000 4194304 4797429 140735740010992 18446744073709551615 4429141 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=629148 CPUtime=25.35 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 2849 0 0 0 2535 0 0 0 25 0 4 0 602674975 644247552 8408 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=629148 CPUtime=25.48 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 2772 0 0 0 2548 0 0 0 25 0 4 0 602674975 644247552 8408 33554432000 4194304 4797429 140735740010992 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 629148

[startup+51.1003 s]
/proc/loadavg: 7.81 8.00 8.00 9/184 28270
/proc/meminfo: memFree=29599524/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=631080 CPUtime=204.08 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 30107 0 0 0 20402 6 0 0 25 0 4 0 602674973 646225920 9641 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 157770 9641 421 148 0 152699 0
[pid=28264/tid=28266] ppid=28262 vsize=631080 CPUtime=51.06 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 4743 0 0 0 5106 0 0 0 25 0 4 0 602674975 646225920 9641 33554432000 4194304 4797429 140735740010992 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=631080 CPUtime=50.82 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 6211 0 0 0 5081 1 0 0 25 0 4 0 602674975 646225920 9641 33554432000 4194304 4797429 140735740010992 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=631080 CPUtime=51.08 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 4269 0 0 0 5108 0 0 0 25 0 4 0 602674975 646225920 9641 33554432000 4194304 4797429 140735740010992 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 631080

[startup+102.301 s]
/proc/loadavg: 7.97 8.01 8.00 9/184 28271
/proc/meminfo: memFree=29577300/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=640612 CPUtime=408.63 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 44443 0 0 0 40853 10 0 0 25 0 4 0 602674973 655986688 12796 33554432000 4194304 4797429 140735740010992 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 160153 12796 421 148 0 155082 0
[pid=28264/tid=28266] ppid=28262 vsize=640612 CPUtime=102.26 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 6400 0 0 0 10225 1 0 0 25 0 4 0 602674975 655986688 12796 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=640612 CPUtime=101.74 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 8078 0 0 0 10173 1 0 0 25 0 4 0 602674975 655986688 12796 33554432000 4194304 4797429 140735740010992 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=640612 CPUtime=102.29 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 6426 0 0 0 10228 1 0 0 25 0 4 0 602674975 655986688 12796 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 640612

[startup+162.3 s]
/proc/loadavg: 8.03 8.02 8.00 9/184 28273
/proc/meminfo: memFree=29562492/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=644216 CPUtime=648.29 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 57461 0 0 0 64813 16 0 0 25 0 4 0 602674973 659677184 14411 33554432000 4194304 4797429 140735740010992 18446744073709551615 4425828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 161054 14411 421 148 0 155983 0
[pid=28264/tid=28266] ppid=28262 vsize=644216 CPUtime=162.25 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 8030 0 0 0 16223 2 0 0 25 0 4 0 602674975 659677184 14411 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=644216 CPUtime=161.42 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 9740 0 0 0 16140 2 0 0 25 0 4 0 602674975 659677184 14411 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=644216 CPUtime=162.28 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 8174 0 0 0 16227 1 0 0 25 0 4 0 602674975 659677184 14411 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 648.29
Current children cumulated vsize (KiB) 644216

[startup+222.307 s]
/proc/loadavg: 8.01 8.02 8.00 9/184 28274
/proc/meminfo: memFree=29541732/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=649736 CPUtime=887.99 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 68459 0 0 0 88778 21 0 0 25 0 4 0 602674973 665329664 16457 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 162434 16457 424 148 0 157363 0
[pid=28264/tid=28266] ppid=28262 vsize=649736 CPUtime=222.26 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 9459 0 0 0 22223 3 0 0 25 0 4 0 602674975 665329664 16457 33554432000 4194304 4797429 140735740010992 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=649736 CPUtime=221.1 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 11055 0 0 0 22107 3 0 0 25 0 4 0 602674975 665329664 16457 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=649736 CPUtime=222.29 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 9624 0 0 0 22227 2 0 0 25 0 4 0 602674975 665329664 16457 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 887.99
Current children cumulated vsize (KiB) 649736

[startup+282.301 s]

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

[pid=28264] ppid=28262 vsize=670988 CPUtime=2565.7 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 132153 0 0 0 256518 52 0 0 25 0 4 0 602674973 687091712 23906 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 167747 23906 421 148 0 162676 0
[pid=28264/tid=28266] ppid=28262 vsize=670988 CPUtime=642.23 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 18212 0 0 0 64215 8 0 0 25 0 4 0 602674975 687091712 23906 33554432000 4194304 4797429 140735740010992 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=670988 CPUtime=638.82 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 19910 0 0 0 63875 7 0 0 25 0 4 0 602674975 687091712 23906 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=670988 CPUtime=642.3 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 17777 0 0 0 64223 7 0 0 25 0 4 0 602674975 687091712 23906 33554432000 4194304 4797429 140735740010992 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 670988

[startup+702.301 s]
/proc/loadavg: 8.14 8.12 8.04 9/184 28287
/proc/meminfo: memFree=29462112/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=672644 CPUtime=2805.36 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 139394 0 0 0 280481 55 0 0 25 0 4 0 602674973 688787456 25312 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 168161 25312 421 148 0 163090 0
[pid=28264/tid=28266] ppid=28262 vsize=672644 CPUtime=702.21 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 18879 0 0 0 70213 8 0 0 25 0 4 0 602674975 688787456 25312 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=672644 CPUtime=698.5 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 21022 0 0 0 69842 8 0 0 25 0 4 0 602674975 688787456 25312 33554432000 4194304 4797429 140735740010992 18446744073709551615 4430051 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=672644 CPUtime=702.31 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 18827 0 0 0 70223 8 0 0 25 0 4 0 602674975 688787456 25312 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 672644

[startup+762.301 s]
/proc/loadavg: 8.11 8.11 8.04 9/184 28289
/proc/meminfo: memFree=29459956/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=674204 CPUtime=3045.06 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 145889 0 0 0 304447 59 0 0 25 0 4 0 602674973 690384896 26747 33554432000 4194304 4797429 140735740010992 18446744073709551615 256415088273 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 168551 26747 421 148 0 163480 0
[pid=28264/tid=28266] ppid=28262 vsize=674204 CPUtime=762.22 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 19803 0 0 0 76213 9 0 0 25 0 4 0 602674975 690384896 26747 33554432000 4194304 4797429 140735740010992 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=674204 CPUtime=758.17 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 21631 0 0 0 75809 8 0 0 25 0 4 0 602674975 690384896 26747 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=674204 CPUtime=762.31 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 19432 0 0 0 76223 8 0 0 25 0 4 0 602674975 690384896 26747 33554432000 4194304 4797429 140735740010992 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 674204

[startup+822.301 s]
/proc/loadavg: 8.09 8.10 8.04 10/184 28299
/proc/meminfo: memFree=29460996/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=676108 CPUtime=3284.71 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 153117 0 0 0 328408 63 0 0 25 0 4 0 602674973 692334592 26432 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 169027 26432 421 148 0 163956 0
[pid=28264/tid=28266] ppid=28262 vsize=676108 CPUtime=822.21 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 20847 0 0 0 82211 10 0 0 25 0 4 0 602674975 692334592 26432 33554432000 4194304 4797429 140735740010992 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=676108 CPUtime=817.85 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 22618 0 0 0 81776 9 0 0 25 0 4 0 602674975 692334592 26432 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=676108 CPUtime=822.31 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 20399 0 0 0 82222 9 0 0 25 0 4 0 602674975 692334592 26432 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 676108

[startup+882.307 s]
/proc/loadavg: 8.08 8.09 8.03 9/184 28301
/proc/meminfo: memFree=29452816/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=677772 CPUtime=3524.4 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 160827 0 0 0 352374 66 0 0 25 0 4 0 602674973 694038528 26855 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424877 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 169443 26855 421 148 0 164372 0
[pid=28264/tid=28266] ppid=28262 vsize=677772 CPUtime=882.2 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 21966 0 0 0 88210 10 0 0 25 0 4 0 602674975 694038528 26855 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=677772 CPUtime=877.53 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 23651 0 0 0 87743 10 0 0 25 0 4 0 602674975 694038528 26855 33554432000 4194304 4797429 140735740010992 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=677772 CPUtime=882.31 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 21551 0 0 0 88222 9 0 0 25 0 4 0 602674975 694038528 26855 33554432000 4194304 4797429 140735740010992 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 677772

[startup+942.3 s]
/proc/loadavg: 8.07 8.09 8.03 9/184 28302
/proc/meminfo: memFree=29447408/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=681312 CPUtime=3764.06 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 167043 0 0 0 376337 69 0 0 25 0 4 0 602674973 697663488 27570 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 170328 27570 421 148 0 165257 0
[pid=28264/tid=28266] ppid=28262 vsize=681312 CPUtime=942.2 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 23072 0 0 0 94209 11 0 0 25 0 4 0 602674975 697663488 27570 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=681312 CPUtime=937.2 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 24632 0 0 0 93710 10 0 0 25 0 4 0 602674975 697663488 27570 33554432000 4194304 4797429 140735740010992 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=681312 CPUtime=942.31 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 22759 0 0 0 94221 10 0 0 25 0 4 0 602674975 697663488 27570 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 681312

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 8.03 9/184 28304
/proc/meminfo: memFree=29438808/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=682824 CPUtime=4003.73 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 173089 0 0 0 400301 72 0 0 25 0 4 0 602674973 699211776 29155 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 170706 29155 426 148 0 165635 0
[pid=28264/tid=28266] ppid=28262 vsize=682824 CPUtime=1002.19 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 23745 0 0 0 100208 11 0 0 25 0 4 0 602674975 699211776 29155 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=682824 CPUtime=996.86 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 25117 0 0 0 99676 10 0 0 25 0 4 0 602674975 699211776 29155 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=682824 CPUtime=1002.31 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 23210 0 0 0 100221 10 0 0 25 0 4 0 602674975 699211776 29155 33554432000 4194304 4797429 140735740010992 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 682824

[startup+1062.3 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 28306
/proc/meminfo: memFree=29435412/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=684964 CPUtime=4243.41 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 179283 0 0 0 424265 76 0 0 25 0 4 0 602674973 701403136 29709 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424865 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 171241 29709 426 148 0 166170 0
[pid=28264/tid=28266] ppid=28262 vsize=684964 CPUtime=1062.19 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 24873 0 0 0 106207 12 0 0 25 0 4 0 602674975 701403136 29709 33554432000 4194304 4797429 140735740010992 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=684964 CPUtime=1056.55 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 26377 0 0 0 105644 11 0 0 25 0 4 0 602674975 701403136 29709 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=684964 CPUtime=1062.31 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 24159 0 0 0 106220 11 0 0 25 0 4 0 602674975 701403136 29709 33554432000 4194304 4797429 140735740010992 18446744073709551615 4426053 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 684964

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 28307
/proc/meminfo: memFree=29427196/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=687316 CPUtime=4483.08 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 186599 0 0 0 448228 80 0 0 25 0 4 0 602674973 703811584 29194 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424768 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 171829 29194 421 148 0 166758 0
[pid=28264/tid=28266] ppid=28262 vsize=687316 CPUtime=1122.19 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 25752 0 0 0 112206 13 0 0 25 0 4 0 602674975 703811584 29194 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=687316 CPUtime=1116.22 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 27340 0 0 0 111610 12 0 0 25 0 4 0 602674975 703811584 29194 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=687316 CPUtime=1122.32 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 25246 0 0 0 112220 12 0 0 25 0 4 0 602674975 703811584 29194 33554432000 4194304 4797429 140735740010992 18446744073709551615 4428814 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.08
Current children cumulated vsize (KiB) 687316

[startup+1182.3 s]
/proc/loadavg: 8.13 8.09 8.04 10/184 28309
/proc/meminfo: memFree=29421196/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=687360 CPUtime=4722.76 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 190687 0 0 0 472193 83 0 0 25 0 4 0 602674973 703856640 31028 33554432000 4194304 4797429 140735740010992 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 171840 31028 421 148 0 166769 0
[pid=28264/tid=28266] ppid=28262 vsize=687360 CPUtime=1182.19 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 26186 0 0 0 118206 13 0 0 25 0 4 0 602674975 703856640 31028 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=687360 CPUtime=1175.9 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 27779 0 0 0 117578 12 0 0 25 0 4 0 602674975 703856640 31028 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=687360 CPUtime=1182.32 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 25687 0 0 0 118220 12 0 0 25 0 4 0 602674975 703856640 31028 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.76
Current children cumulated vsize (KiB) 687360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.21 7.89 7.97 5/175 28327
/proc/meminfo: memFree=29570092/32950928 swapFree=67111364/67111528
[pid=28264] ppid=28262 vsize=687788 CPUtime=4800.27 cores=1,3,5,7
/proc/28264/stat : 28264 (techdemo) R 28262 28264 27972 0 -1 4202496 193130 0 0 0 479943 84 0 0 25 0 4 0 602674973 704294912 30100 33554432000 4194304 4797429 140735740010992 18446744073709551615 4345219 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28264/statm: 171947 30100 421 148 0 166876 0
[pid=28264/tid=28266] ppid=28262 vsize=687788 CPUtime=1201.59 cores=1,3,5,7
/proc/28264/task/28266/stat : 28266 (techdemo) R 28262 28264 27972 0 -1 4202560 26802 0 0 0 120146 13 0 0 25 0 4 0 602674975 704294912 30100 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28264/tid=28267] ppid=28262 vsize=687788 CPUtime=1195.19 cores=1,3,5,7
/proc/28264/task/28267/stat : 28267 (techdemo) R 28262 28264 27972 0 -1 4202560 28477 0 0 0 119507 12 0 0 25 0 4 0 602674975 704294912 30100 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28264/tid=28268] ppid=28262 vsize=687788 CPUtime=1201.72 cores=1,3,5,7
/proc/28264/task/28268/stat : 28268 (techdemo) R 28262 28264 27972 0 -1 4202560 26236 0 0 0 120160 12 0 0 25 0 4 0 602674975 704294912 30100 33554432000 4194304 4797429 140735740010992 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 687788

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.31
CPU user time (s): 4799.46
CPU system time (s): 0.84987
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 795956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.46
system time used= 0.84987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193130
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= 261
involuntary context switches= 19768

runsolver used 1.9887 second user time and 4.56331 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 02:47:23
IDJOB=3173011
IDBENCH=83029
IDSOLVER=1584
FILE ID=node115/3173011-1304124443
RUNJOBID= node115-1304122022-27991
PBS_JOBID= 13170743
Free space on /tmp= 72724 MiB

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

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

MD5SUM BENCH= 25ed0c8de63814e6d33af77a8f91b72b
RANDOM SEED=1054398937

node115.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.811
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.62
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.811
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.811
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.811
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.811
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.811
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.74
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29652440 kB
Buffers:        816796 kB
Cached:        1960664 kB
SwapCached:          0 kB
Active:         214236 kB
Inactive:      2658204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29652440 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           15896 kB
Writeback:           0 kB
AnonPages:       94624 kB
Mapped:          15720 kB
Slab:           362752 kB
PageTables:       4996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   691924 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= 72724 MiB
End job on node115 at 2011-04-30 03:07:27