Trace number 3172874

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf
MD5SUM80aa82e62b454f2871f6471d9559597d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.939
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-3172874-1304109689.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.36/0.12	c asymm  cl-useful: 0/1922/4450 lits-rem:0 time: 0.43
0.36/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.36/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.36/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.36/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.36/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.36/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.36/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.36/0.13	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
0.36/0.13	c learnt bin added due to v-elim: 0
0.36/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.36/0.13	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.36/0.13	c calculated reachability. Time: 0.00
0.36/0.13	c Calc default polars -  time:   0.00 s pos:      26 undec:       2 neg:      22
0.36/0.13	c =========================================================================================
0.36/0.13	c types(t): F = full restart, N = normal restart
0.36/0.13	c types(t): S = simplification begin/end, E = solution found
0.36/0.13	c restart types(rt): st = static, dy = dynamic
0.36/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.36/0.13	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.75/0.21	c Decided on static restart strategy
0.75/0.28	c  N dy    19      4013        50      4450         0      3511     31150     64765     19.00     16.15  --
1.55/0.47	c  N dy    46      8047        50      4450         0      4834     31150     85225     18.55     16.23  --
2.35/0.69	c  N dy    73     12073        50      4450         0      4636     31150     75345     18.36     16.18  --
3.55/0.91	c  N dy   100     16121        50      4450         0      8202     31150    141492     18.25     16.23  --
4.37/1.17	c  N dy   127     20126        50      4450         0      6801     31150    108837     18.74     16.27  --
5.54/1.43	c  N dy   154     24196        50      4450         0     10348     31150    174392     18.70     16.28  --
6.74/1.70	c  N dy   181     28215        50      4450         0      7928     31150    122181     19.14     16.32  --
7.14/1.83	c  S st   193     30003        50      4450         0      9493     31150    151063     18.34     16.31  --
7.14/1.87	c  S st   193     30505        50      4450         0      9941     31150    159638     18.34     16.31  --
7.14/1.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.14/1.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.14/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.14/1.89	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.14/1.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.14/1.89	c Subs w/ non-existent bins:      0 time:  0.00 s
7.14/1.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.14/1.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.14/1.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.54/2.45	c lits-rem:      1289  cl-subs:     1360  v-elim:     50  v-fix:    0  time:  2.23 s
9.54/2.45	c learnt bin added due to v-elim: 0
9.54/2.45	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.54/2.46	c vivif2 --  cl tried     8581 cl shrink        0 lits rem          0 time: 0.00
10.34/2.60	c asymm  cl-useful: 0/1732/4450 lits-rem:0 time: 0.58
10.34/2.60	c calculated reachability. Time: 0.00
10.34/2.60	c  N dy   193     30505        50      4450         0      8581     31150    134957     18.34     16.31  --
10.34/2.60	c  F st   193     30505        50      4450         0      8581     31150    134957     18.34     16.31  --
10.74/2.75	c Decided on static restart strategy
11.54/2.91	c  N dy   213     34660        50      4450         0     12213     31150    202032     18.89     16.28  --
12.76/3.22	c  N dy   240     38674        50      4450         0      8897     31150    134090     18.58     16.30  --
13.93/3.50	c  N dy   267     42740        50      4450         0     12492     31150    200914     18.54     16.31  --
14.73/3.77	c  S st   288     45759        50      4450         0     15112     31150    249349     18.31     16.32  --
15.13/3.82	c  S st   288     46266        50      4450         0     15567     31150    257959     18.31     16.32  --
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.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.13/3.86	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.13/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.86	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
18.33/4.61	c lits-rem:      1985  cl-subs:     2369  v-elim:     50  v-fix:    0  time:  2.99 s
18.33/4.61	c learnt bin added due to v-elim: 0
18.33/4.61	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
18.33/4.61	c vivif2 --  cl tried    13198 cl shrink        0 lits rem          0 time: 0.01
18.73/4.71	c asymm  cl-useful: 0/796/4450 lits-rem:0 time: 0.39
18.73/4.71	c calculated reachability. Time: 0.00
18.73/4.71	c  N dy   288     46266        50      4450         0     13198     31150    212000     18.31     16.32  --
19.93/5.07	c  N dy   316     50404        50      4450         0      9150     31150    129813     18.91     16.34  --
21.13/5.38	c  N dy   343     54442        50      4450         0     12718     31150    196257     18.75     16.34  --
22.72/5.76	c  N dy   370     58505        50      4450         0     16278     31150    261672     17.88     16.33  --
24.32/6.12	c  N dy   397     62554        50      4450         0     11176     31150    161213     18.75     16.34  --
25.52/6.46	c  N dy   424     66604        50      4450         0     14700     31150    226422     18.65     16.34  --
26.71/6.74	c  S st   443     69401        50      4450         0     17150     31150    272495     18.41     16.36  --
27.11/6.80	c  S st   443     69903        50      4450         0     17598     31150    280845     18.41     16.36  --
27.11/6.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.11/6.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.11/6.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.19
27.11/6.85	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
27.11/6.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.11/6.85	c Subs w/ non-existent bins:      0 time:  0.00 s
27.11/6.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.11/6.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.11/6.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.92/7.56	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.72/8.26	c Added 1 vars  tried: 11100 time: 2.80
32.72/8.27	c ORs :      1 avg-s:  0.0 cl-sh:  1192 l-rem:   1192 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.84
32.72/8.27	c lits-rem:      1885  cl-subs:     2475  v-elim:     50  v-fix:    0  time:  5.66 s
32.72/8.27	c learnt bin added due to v-elim: 0
32.72/8.27	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.72/8.27	c vivif2 --  cl tried    15123 cl shrink        0 lits rem          0 time: 0.01
33.52/8.43	c asymm  cl-useful: 0/1618/4451 lits-rem:0 time: 0.62
33.52/8.43	c calculated reachability. Time: 0.00
33.52/8.43	c  N dy   443     69903        51      4451         2     15123     31137    232525     18.41     16.36  --
33.52/8.43	c  F st   443     69903        51      4451         2     15123     31137    232525     18.41     16.36  --
34.32/8.63	c Decided on static restart strategy
35.13/8.89	c  N dy   465     74374        51      4451         2      9591     31137    122899     18.55     16.34  --
36.71/9.28	c  N dy   497     79134        51      4451         2     13778     31137    200459     18.83     16.34  --
38.71/9.77	c  N dy   531     84214        51      4451         2     18228     31137    282320     18.39     16.33  --
41.10/10.34	c  N dy   568     89723        51      4451         2     12651     31137    171063     18.17     16.34  --
43.10/10.89	c  N dy   607     95535        51      4451         2     17714     31137    265288     18.85     16.35  --
46.30/11.63	c  N dy   648    101732        51      4451         2     11797     31137    148580     18.50     16.34  --
47.50/11.91	c  S st   669    104854        51      4451         2     14544     31137    199861     18.94     16.34  --
47.50/11.97	c  S st   669    105356        51      4451         2     15001     31137    208732     18.94     16.34  --
47.50/11.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.50/11.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.92/12.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.18
47.92/12.01	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.92/12.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.92/12.01	c Subs w/ non-existent bins:      0 time:  0.00 s
47.92/12.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.92/12.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.92/12.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
50.30/12.65	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
50.30/12.65	c lits-rem:      1037  cl-subs:     1241  v-elim:     50  v-fix:    0  time:  2.54 s
50.30/12.65	c learnt bin added due to v-elim: 0
50.30/12.65	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
50.30/12.66	c vivif2 --  cl tried    13760 cl shrink        0 lits rem          0 time: 0.00
51.10/12.81	c asymm  cl-useful: 0/1130/4451 lits-rem:0 time: 0.60
51.10/12.81	c calculated reachability. Time: 0.00
51.10/12.81	c  N dy   669    105356        51      4451         2     13760     31137    186692     18.94     16.34  --
53.89/13.51	c  N dy   715    112115        51      4451         2     19693     31137    295687     18.21     16.33  --
57.11/14.37	c  N dy   763    119325        51      4451         2     13836     31137    181883     19.10     16.35  --
60.28/15.19	c  N dy   815    127070        51      4451         2     20626     31137    306952     18.03     16.35  --
64.68/16.23	c  N dy   870    135258        51      4451         2     14657     31137    187172     18.77     16.36  --
68.27/17.18	c  N dy   928    143906        51      4451         2     22218     31137    326948     18.87     16.36  --
73.06/18.39	c  N dy   990    153144        51      4451         2     16350     31137    209458     18.63     16.36  --
75.45/18.94	c  S st  1023    158034        51      4451         2     20632     31137    289871     18.91     16.36  --
75.85/19.01	c  S st  1023    158537        51      4451         2     21087     31137    298484     18.91     16.36  --
75.85/19.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.85/19.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.85/19.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.3M T:  0.29
75.85/19.08	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.85/19.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.85/19.09	c Subs w/ non-existent bins:      0 time:  0.01 s
75.85/19.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.85/19.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.85/19.09	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
79.07/19.81	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
79.07/19.82	c lits-rem:      1189  cl-subs:     2225  v-elim:     50  v-fix:    0  time:  2.91 s
79.07/19.82	c learnt bin added due to v-elim: 0
79.07/19.82	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
79.07/19.82	c vivif2 --  cl tried    18862 cl shrink        0 lits rem          0 time: 0.01
79.45/19.97	c asymm  cl-useful: 0/925/4451 lits-rem:0 time: 0.60
79.45/19.97	c calculated reachability. Time: 0.00
79.45/19.97	c  N dy  1023    158537        51      4451         2     18862     31137    258391     18.91     16.36  --
85.04/21.32	c  N dy  1091    168680        51      4451         2     27733     31137    424228     18.97     16.38  --
90.24/22.69	c  N dy  1163    179477        51      4451         2     22433     31137    315473     18.82     16.38  --
97.43/24.43	c  N dy  1241    191054        51      4451         2     16904     31137    205114     18.89     16.37  --
103.43/25.98	c  N dy  1323    203263        55      4451        10     27626     31153    403404     18.82     16.37  --
111.02/27.88	c  N dy  1411    216346        55      4451        10     22473     31153    301355     18.99     16.38  --
119.80/30.07	c  N dy  1505    230240        55      4451        10     34621     31153    527386     19.05     16.39  --
124.20/31.12	c  S st  1556    237805        55      4451        10     23731     31153    317172     18.89     16.39  --
124.20/31.19	c  S st  1556    238307        55      4451        10     24178     31153    325743     18.89     16.39  --
124.20/31.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.20/31.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.60/31.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  0.38
124.60/31.29	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
124.60/31.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.60/31.29	c Subs w/ non-existent bins:      0 time:  0.01 s
125.00/31.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
125.00/31.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.00/31.30	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
128.59/32.26	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.59/32.27	c lits-rem:      1078  cl-subs:     2199  v-elim:     50  v-fix:    0  time:  3.88 s
128.59/32.27	c learnt bin added due to v-elim: 0
128.59/32.27	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
128.59/32.27	c vivif2 --  cl tried    21979 cl shrink        0 lits rem          0 time: 0.01
129.39/32.42	c asymm  cl-useful: 0/778/4451 lits-rem:0 time: 0.59
129.39/32.42	c calculated reachability. Time: 0.00
129.39/32.42	c  N dy  1556    238307        55      4451        10     21979     31153    287460     18.89     16.39  --
138.98/34.85	c  N dy  1659    253578        55      4451        10     35497     31153    537644     19.02     16.35  --
148.57/37.29	c  N dy  1769    269796        55      4451        10     31452     31153    456134     18.91     16.33  --
160.16/40.15	c  N dy  1885    287111        55      4451        10     27506     31153    374677     18.87     16.28  --
173.74/43.56	c  N dy  2009    305531        55      4451        10     23610     31153    290794     18.44     16.24  --
187.72/47.05	c  N dy  2141    325075        59      4451        27     41023     31177    613571     18.28     16.21  --
201.72/50.55	c  N dy  2276    345152        59      4451        29     37683     31179    543128     18.92     16.19  --
211.69/53.05	c  S st  2360    357460        59      4451        29     26388     31179    323527     18.93     16.19  --
212.09/53.14	c  S st  2360    357965        59      4451        29     26850     31179    332747     18.93     16.19  --
212.09/53.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
212.09/53.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.49/53.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.9M T:  0.47
212.49/53.26	c Calc non-exist non-lernt bins v-fix:     0 done:     59 time:  0.00 s
212.49/53.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.49/53.26	c Subs w/ non-existent bins:      0 time:  0.01 s
212.49/53.27	c Replacing        3 vars Replaced     2286 lits Time:     0.05 s 
212.49/53.28	c bin-w-bin subsume rem            6 bins  time:  0.00 s
212.49/53.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.49/53.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
217.28/54.43	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
217.28/54.43	c lits-rem:       993  cl-subs:     1532  v-elim:     50  v-fix:    0  time:  4.60 s
217.28/54.43	c learnt bin added due to v-elim: 0
217.28/54.43	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
217.28/54.44	c vivif2 --  cl tried    25318 cl shrink        0 lits rem          0 time: 0.02
217.68/54.59	c asymm  cl-useful: 0/1053/4451 lits-rem:0 time: 0.60
217.68/54.59	c calculated reachability. Time: 0.00
217.68/54.59	c  N dy  2360    357965        56      4451        12     25318     31157    307788     18.93     16.19  --
233.26/58.49	c  N dy  2496    378077        56      4451        12     43293     31157    643514     18.17     16.16  --
248.85/62.32	c  N dy  2632    398182        56      4451        12     38173     31157    537091     19.01     16.13  --
265.22/66.49	c  N dy  2768    418278        56      4451        12     32033     31157    413668     18.89     16.11  --
284.00/71.10	c  N dy  2904    438363        60      4451        33     50022     31185    748020     19.08     16.09  --
299.18/74.99	c  N dy  3039    458425        60      4451        33     42954     31185    610512     18.45     16.07  --
316.76/79.33	c  N dy  3174    478499        60      4451        35     34997     31187    451132     18.56     16.06  --
335.93/84.17	c  N dy  3310    498540        60      4451        35     53030     31187    787726     18.89     16.04  --
353.52/88.52	c  N dy  3447    518634        60      4451        35     44169     31187    615987     18.48     16.03  --
371.48/93.06	c  S st  3571    536950        60      4451        35     32808     31187    397686     18.69     16.01  --
371.88/93.17	c  S st  3571    537452        60      4451        35     33269     31187    406453     18.69     16.01  --
371.88/93.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
371.88/93.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
372.68/93.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.1M T:  0.62
372.68/93.33	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
372.68/93.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
372.68/93.33	c Subs w/ non-existent bins:      0 time:  0.02 s
372.68/93.34	c Replacing        4 vars Replaced      886 lits Time:     0.02 s 
372.68/93.34	c bin-w-bin subsume rem            8 bins  time:  0.00 s
372.68/93.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
372.68/93.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
377.09/94.44	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
403.45/101.02	c Added 1 vars  tried: 80000 time: 26.31
403.45/101.04	c ORs :      1 avg-s:  0.0 cl-sh:  1920 l-rem:   1920 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   26.39
403.45/101.05	c lits-rem:       922  cl-subs:     1799  v-elim:     50  v-fix:    0  time: 30.79 s
403.45/101.05	c learnt bin added due to v-elim: 0
403.45/101.05	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
403.45/101.06	c vivif2 --  cl tried    31469 cl shrink        0 lits rem          0 time: 0.02
404.27/101.21	c asymm  cl-useful: 0/737/4452 lits-rem:0 time: 0.60
404.27/101.21	c calculated reachability. Time: 0.00
404.27/101.21	c  N dy  3571    537452        57      4452        15     31469     31139    375762     18.69     16.01  --
404.27/101.21	c  F st  3571    537452        57      4452        15     31469     31139    375762     18.69     16.01  --
405.84/101.60	c Decided on static restart strategy
422.61/105.80	c  N dy  3699    557598        57      4452        16     49577     31139    714863     18.87     16.01  --
442.19/110.71	c  N dy  3835    577717        57      4452        16     38951     31139    504628     18.80     16.00  --
462.56/115.86	c  N dy  3971    597808        61      4452        24     56933     31155    838867     18.66     15.99  --
673.49/168.65	c  N dy  4011    806178        61      4452        24     52610     31155    721726     16.66     14.96  --
673.49/168.68	c  S st  4011    806178        61      4452        24     52610     31155    721726     16.66     14.96  --
674.29/168.84	c  S st  4011    806681        65      4452        32     53076     31171    730480     16.66     14.96  --
674.29/168.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
674.29/168.84	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
675.49/169.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.8M T:  1.29
675.49/169.17	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
675.49/169.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
675.49/169.17	c Subs w/ non-existent bins:      0 time:  0.03 s
675.89/169.21	c Replacing        1 vars Replaced     1976 lits Time:     0.16 s 
675.89/169.23	c bin-w-bin subsume rem            2 bins  time:  0.00 s
675.89/169.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
675.89/169.23	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
687.87/172.24	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
687.87/172.25	c lits-rem:      1576  cl-subs:     9350  v-elim:     50  v-fix:    0  time: 12.08 s
687.87/172.25	c learnt bin added due to v-elim: 0
687.87/172.25	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
687.87/172.26	c vivif2 --  cl tried    43726 cl shrink        0 lits rem          0 time: 0.04
688.27/172.35	c asymm  cl-useful: 0/274/4452 lits-rem:0 time: 0.36
688.27/172.35	c calculated reachability. Time: 0.00
688.27/172.35	c  N dy  4011    806681        64      4452        28     43726     31167    606652     16.66     14.96  --
712.24/178.39	c  N dy  4148    826709        67      4452        34     61815     31179    942826     18.92     14.96  --
736.21/184.31	c  N dy  4286    846847        67      4452        34     45553     31179    620121     18.61     14.97  --
760.57/190.42	c  N dy  4423    866858        67      4452        35     63762     31179    959656     18.73     14.97  --
784.54/196.41	c  N dy  4560    886934        67      4452        35     46142     31179    618808     18.76     14.97  --
809.31/202.67	c  N dy  4697    906937        67      4452        35     64330     31179    955400     18.09     14.98  --
836.48/209.41	c  N dy  4835    927023        67      4452        35     45652     31179    599149     18.62     14.98  --
861.26/215.69	c  N dy  4972    947075        67      4452        35     63784     31179    937790     18.60     14.99  --
889.20/222.66	c  N dy  5109    967115        67      4452        35     44028     31179    560965     18.57     14.99  --
912.78/228.53	c  N dy  5246    987202        67      4452        35     62328     31179    904158     19.13     15.00  --
943.94/236.31	c  N dy  5383   1007231        67      4452        35     41558     31179    505835     18.65     15.00  --
966.72/242.09	c  N dy  5520   1027284        67      4452        35     59821     31179    846423     18.84     15.01  --
998.66/250.01	c  N dy  5658   1047361        67      4452        35     78176     31179   1189404     18.87     15.01  --
1023.03/256.15	c  N dy  5795   1067409        67      4452        35     56382     31179    773254     18.84     15.02  --
1052.59/263.50	c  N dy  5932   1087431        67      4452        35     74657     31179   1115028     18.75     15.02  --
1081.34/270.73	c  N dy  6069   1107459        67      4452        35     51967     31179    684463     18.79     15.02  --
1109.72/277.84	c  N dy  6205   1127497        67      4452        35     70213     31179   1024856     18.35     15.02  --
1142.87/286.15	c  N dy  6342   1147536        67      4452        35     46556     31179    575120     18.22     15.03  --
1168.03/292.40	c  N dy  6479   1167540        67      4452        35     64812     31179    914618     18.86     15.03  --
1201.19/300.75	c  N dy  6616   1187643        67      4452        35     83195     31179   1259261     18.84     15.04  --
1228.36/307.57	c  N dy  6753   1207658        67      4452        35     58562     31179    791554     18.25     15.04  --
1231.55/308.38	c  S st  6770   1210021        67      4452        35     60706     31179    831528     18.55     15.04  --
1232.35/308.59	c  S st  6770   1210522        67      4452        35     61178     31179    840719     18.55     15.04  --
1232.35/308.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1232.35/308.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1234.36/309.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.3M T:  1.73
1234.36/309.03	c Calc non-exist non-lernt bins v-fix:     0 done:     67 time:  0.00 s
1234.36/309.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1234.36/309.04	c Subs w/ non-existent bins:      0 time:  0.04 s
1234.36/309.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1234.36/309.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1234.36/309.05	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1249.13/312.76	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.10
1310.24/328.02	c Added 1 vars  tried: 80000 time: 60.91
1311.04/328.24	c ORs :      1 avg-s:  0.0 cl-sh:  8589 l-rem:   8589 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   61.83
1311.04/328.26	c lits-rem:      2912  cl-subs:     3713  v-elim:     50  v-fix:    0  time: 76.72 s
1311.04/328.26	c learnt bin added due to v-elim: 0
1311.04/328.26	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
1311.04/328.27	c vivif2 --  cl tried    57464 cl shrink        0 lits rem          0 time: 0.05
1311.44/328.37	c asymm  cl-useful: 0/170/4453 lits-rem:0 time: 0.37
1311.44/328.37	c calculated reachability. Time: 0.00
1311.44/328.37	c  N dy  6770   1210522        68      4453        38     57464     31156    767002     18.55     15.04  --
1341.80/335.90	c  N dy  6907   1230645        68      4453        39     75770     31156   1105040     18.22     15.04  --
1374.15/344.07	c  N dy  7044   1250727        71      4453        49     50478     31172    628244     18.40     15.03  --
1402.52/351.11	c  N dy  7181   1270760        71      4453        49     68847     31172    966357     18.32     15.03  --
2063.64/516.67	c  N dy  7273   1710523        73      4453        53     83154     31180   1072550     14.52     14.36  --
2064.04/516.72	c  S st  7273   1710523        73      4453        53     83154     31180   1072550     14.52     14.36  --
2065.25/517.00	c  S st  7273   1711027        75      4453        61     83628     31192   1081219     14.52     14.36  --
2065.25/517.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2065.25/517.01	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
2067.23/517.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 36.6M T:  2.34
2067.23/517.59	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.01 s
2067.23/517.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2067.63/517.61	c Subs w/ non-existent bins:      0 time:  0.06 s
2068.03/517.70	c Replacing        3 vars Replaced     4854 lits Time:     0.36 s 
2068.03/517.72	c bin-w-bin subsume rem            6 bins  time:  0.00 s
2068.03/517.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2068.03/517.72	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2096.02/524.74	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.11
2158.70/540.40	c Added 1 vars  tried: 80000 time: 62.56
2159.50/540.68	c ORs :      1 avg-s:  0.0 cl-sh:  9155 l-rem:   9155 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   63.65
2159.90/540.70	c lits-rem:      2069  cl-subs:    19587  v-elim:     50  v-fix:    0  time: 91.77 s
2159.90/540.70	c learnt bin added due to v-elim: 0
2159.90/540.70	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2159.90/540.71	c vivif2 --  cl tried    64041 cl shrink        2 lits rem          3 time: 0.06
2160.30/540.80	c asymm  cl-useful: 0/188/4454 lits-rem:0 time: 0.36
2160.30/540.81	c calculated reachability. Time: 0.00
2160.30/540.81	c  N dy  7273   1711027        73      4454        47     64041     31155    824031     14.52     14.36  --
3038.73/760.79	c  N dy  7313   2211028        73      4454        47     82969     31155   1114127     17.60     13.73  --
3039.13/760.84	c  S st  7313   2211028        73      4454        47     82969     31155   1114127     17.60     13.73  --
3039.13/760.84	c Finding binary XORs  T:     0.00 s  found:       0
3040.34/761.12	c  S st  7313   2211535        75      4454        51     83437     31163   1123137     17.60     13.73  --
3040.34/761.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3040.34/761.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3043.12/761.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 39.6M T:  2.80
3043.12/761.83	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.01 s
3043.12/761.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3043.12/761.85	c Subs w/ non-existent bins:      0 time:  0.06 s
3043.12/761.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3043.12/761.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3043.12/761.87	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3066.71/767.71	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 18.8 T:    0.16
3066.71/767.73	c lits-rem:       686  cl-subs:    12214  v-elim:     50  v-fix:    0  time: 23.40 s
3066.71/767.73	c learnt bin added due to v-elim: 0
3066.71/767.73	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
3066.71/767.75	c vivif2 --  cl tried    71219 cl shrink        0 lits rem          0 time: 0.07
3067.12/767.85	c asymm  cl-useful: 0/170/4454 lits-rem:0 time: 0.40
3067.12/767.85	c calculated reachability. Time: 0.00
3067.12/767.85	c  N dy  7313   2211535        75      4454        51     71219     31163    984690     17.60     13.73  --
4051.38/1014.26	c  N dy  7377   2711536        76      4454        53     91097     31167   1189455     17.84     13.46  --
4051.75/1014.31	c  S st  7377   2711536        76      4454        53     91097     31167   1189455     17.84     13.46  --
4052.95/1014.68	c  S st  7377   2712038        76      4454        53     91574     31167   1197900     17.84     13.46  --
4052.95/1014.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4052.95/1014.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4056.15/1015.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 45.2M T:  2.92
4056.15/1015.42	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
4056.15/1015.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4056.15/1015.44	c Subs w/ non-existent bins:      0 time:  0.08 s
4056.15/1015.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4056.15/1015.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4056.15/1015.46	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4090.93/1024.11	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.19
4154.42/1040.04	c Added 1 vars  tried: 80000 time: 63.62
4155.62/1040.30	c ORs :      1 avg-s:  0.0 cl-sh:  8009 l-rem:   8009 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   64.68
4155.62/1040.32	c lits-rem:      2334  cl-subs:    18126  v-elim:     50  v-fix:    0  time: 99.31 s
4155.62/1040.32	c learnt bin added due to v-elim: 0
4155.62/1040.33	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
4155.62/1040.34	c vivif2 --  cl tried    73448 cl shrink        0 lits rem          0 time: 0.07
4156.02/1040.44	c asymm  cl-useful: 0/117/4455 lits-rem:0 time: 0.40
4156.02/1040.45	c calculated reachability. Time: 0.00
4156.02/1040.45	c  N dy  7377   2712038        77      4455        55     73448     31153    960588     17.84     13.46  --
4156.02/1040.45	c  F st  7377   2712038        77      4455        55     73448     31153    960588     17.84     13.46  --
4159.62/1041.37	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-3172874-1304109689/watcher-3172874-1304109689 -o /tmp/evaluation-result-3172874-1304109689/solver-3172874-1304109689 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172874-1304109689.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.40 7.93 7.80 2/174 28231
/proc/meminfo: memFree=22902988/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=50148 CPUtime=0 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 647 0 0 0 0 0 0 0 22 0 1 0 522569819 51351552 578 33554432000 4194304 4797429 140736556770608 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/28231/statm: 12537 579 347 148 0 7466 0

[startup+0.0169121 s]
/proc/loadavg: 7.40 7.93 7.80 2/174 28231
/proc/meminfo: memFree=22902988/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=147240 CPUtime=0.02 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 1025 0 0 0 2 0 0 0 18 0 4 0 522569819 150773760 934 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429150 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 36810 934 371 148 0 31739 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 147240

[startup+0.100897 s]
/proc/loadavg: 7.40 7.93 7.80 2/174 28231
/proc/meminfo: memFree=22902988/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=147504 CPUtime=0.36 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 1087 0 0 0 36 0 0 0 18 0 4 0 522569819 151044096 996 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 36876 996 371 148 0 31805 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 147504

[startup+0.300863 s]
/proc/loadavg: 7.40 7.93 7.80 2/174 28231
/proc/meminfo: memFree=22902988/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=610020 CPUtime=1.15 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 2352 0 0 0 115 0 0 0 18 0 4 0 522569819 624660480 2084 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 152505 2084 408 148 0 147434 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 610020

[startup+0.700793 s]
/proc/loadavg: 7.40 7.93 7.80 2/174 28231
/proc/meminfo: memFree=22902988/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=614180 CPUtime=2.75 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 4486 0 0 0 275 0 0 0 18 0 4 0 522569819 628920320 3490 33554432000 4194304 4797429 140736556770608 18446744073709551615 4422933 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 153545 3490 413 148 0 148474 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 614180

[startup+1.50065 s]
/proc/loadavg: 7.40 7.93 7.80 10/184 28241
/proc/meminfo: memFree=22875388/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=615720 CPUtime=5.94 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 5306 0 0 0 594 0 0 0 20 0 4 0 522569819 630497280 4070 33554432000 4194304 4797429 140736556770608 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 153930 4070 414 148 0 148859 0
[pid=28231/tid=28239] ppid=28228 vsize=615720 CPUtime=1.48 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 955 0 0 0 148 0 0 0 25 0 4 0 522569820 630497280 4070 33554432000 4194304 4797429 140736556770608 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=615720 CPUtime=1.48 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 1021 0 0 0 148 0 0 0 25 0 4 0 522569820 630497280 4070 33554432000 4194304 4797429 140736556770608 18446744073709551615 4524019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=615720 CPUtime=1.48 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 983 0 0 0 148 0 0 0 20 0 4 0 522569820 630497280 4070 33554432000 4194304 4797429 140736556770608 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 615720

[startup+3.10037 s]
/proc/loadavg: 7.45 7.93 7.80 9/184 28241
/proc/meminfo: memFree=22868196/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=618524 CPUtime=12.34 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 6962 0 0 0 1233 1 0 0 25 0 4 0 522569819 633368576 4454 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 154631 4454 416 148 0 149560 0
[pid=28231/tid=28239] ppid=28228 vsize=618524 CPUtime=3.08 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 1164 0 0 0 308 0 0 0 25 0 4 0 522569820 633368576 4454 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=618524 CPUtime=3.07 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 1252 0 0 0 307 0 0 0 25 0 4 0 522569820 633368576 4454 33554432000 4194304 4797429 140736556770608 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=618524 CPUtime=3.08 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 1208 0 0 0 308 0 0 0 25 0 4 0 522569820 633368576 4454 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 618524

[startup+6.3008 s]
/proc/loadavg: 7.45 7.93 7.80 10/184 28241
/proc/meminfo: memFree=22858356/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=622368 CPUtime=25.12 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 9606 0 0 0 2511 1 0 0 25 0 4 0 522569819 637304832 5537 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 155592 5537 416 148 0 150521 0
[pid=28231/tid=28239] ppid=28228 vsize=622368 CPUtime=6.28 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 1577 0 0 0 628 0 0 0 25 0 4 0 522569820 637304832 5537 33554432000 4194304 4797429 140736556770608 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=622368 CPUtime=6.26 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 1693 0 0 0 626 0 0 0 25 0 4 0 522569820 637304832 5537 33554432000 4194304 4797429 140736556770608 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=622368 CPUtime=6.28 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 1661 0 0 0 628 0 0 0 25 0 4 0 522569820 637304832 5537 33554432000 4194304 4797429 140736556770608 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 622368

[startup+12.7007 s]
/proc/loadavg: 7.53 7.94 7.80 10/184 28241
/proc/meminfo: memFree=22846984/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=628620 CPUtime=50.7 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 13280 0 0 0 5067 3 0 0 25 0 4 0 522569819 643706880 6998 33554432000 4194304 4797429 140736556770608 18446744073709551615 4428900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 157155 6998 419 148 0 152084 0
[pid=28231/tid=28239] ppid=28228 vsize=628620 CPUtime=12.67 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 2678 0 0 0 1267 0 0 0 25 0 4 0 522569820 643706880 6998 33554432000 4194304 4797429 140736556770608 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=628620 CPUtime=12.62 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 2104 0 0 0 1262 0 0 0 25 0 4 0 522569820 643706880 6998 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=628620 CPUtime=12.68 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 2081 0 0 0 1268 0 0 0 25 0 4 0 522569820 643706880 6998 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 628620

[startup+25.5004 s]
/proc/loadavg: 7.68 7.95 7.81 9/184 28241
/proc/meminfo: memFree=22832724/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=632072 CPUtime=101.83 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 18853 0 0 0 10179 4 0 0 25 0 4 0 522569819 647241728 8398 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 158018 8398 419 148 0 152947 0
[pid=28231/tid=28239] ppid=28228 vsize=632072 CPUtime=25.48 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 3558 0 0 0 2547 1 0 0 25 0 4 0 522569820 647241728 8398 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=632072 CPUtime=25.35 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 3006 0 0 0 2535 0 0 0 25 0 4 0 522569820 647241728 8398 33554432000 4194304 4797429 140736556770608 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=632072 CPUtime=25.47 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 2814 0 0 0 2547 0 0 0 25 0 4 0 522569820 647241728 8398 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 632072

[startup+51.1009 s]
/proc/loadavg: 7.87 7.97 7.82 10/184 28242
/proc/meminfo: memFree=22818316/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=636928 CPUtime=204.1 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 27981 0 0 0 20404 6 0 0 25 0 4 0 522569819 652214272 10023 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424649 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 159232 10023 421 148 0 154161 0
[pid=28231/tid=28239] ppid=28228 vsize=636928 CPUtime=51.07 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 4795 0 0 0 5106 1 0 0 25 0 4 0 522569820 652214272 10023 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=636928 CPUtime=50.82 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 5230 0 0 0 5082 0 0 0 25 0 4 0 522569820 652214272 10023 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=636928 CPUtime=51.08 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 3844 0 0 0 5107 1 0 0 25 0 4 0 522569820 652214272 10023 33554432000 4194304 4797429 140736556770608 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 636928

[startup+102.307 s]
/proc/loadavg: 8.07 8.01 7.84 10/184 28243
/proc/meminfo: memFree=22796660/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=646260 CPUtime=408.66 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 41100 0 0 0 40856 10 0 0 25 0 4 0 522569819 661770240 12753 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 161565 12753 423 148 0 156494 0
[pid=28231/tid=28239] ppid=28228 vsize=646260 CPUtime=102.28 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 6504 0 0 0 10226 2 0 0 25 0 4 0 522569820 661770240 12753 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=646260 CPUtime=101.77 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 7096 0 0 0 10176 1 0 0 25 0 4 0 522569820 661770240 12753 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=646260 CPUtime=102.29 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 5545 0 0 0 10228 1 0 0 25 0 4 0 522569820 661770240 12753 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 646260

[startup+162.3 s]
/proc/loadavg: 8.10 8.02 7.85 9/184 28245
/proc/meminfo: memFree=22774072/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=648580 CPUtime=648.32 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 54675 0 0 0 64817 15 0 0 25 0 4 0 522569819 664145920 14560 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 162145 14560 423 148 0 157074 0
[pid=28231/tid=28239] ppid=28228 vsize=648580 CPUtime=162.26 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 8244 0 0 0 16224 2 0 0 25 0 4 0 522569820 664145920 14560 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=648580 CPUtime=161.45 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 8611 0 0 0 16144 1 0 0 25 0 4 0 522569820 664145920 14560 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=648580 CPUtime=162.28 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 7375 0 0 0 16227 1 0 0 25 0 4 0 522569820 664145920 14560 33554432000 4194304 4797429 140736556770608 18446744073709551615 4428729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.32
Current children cumulated vsize (KiB) 648580

[startup+222.301 s]
/proc/loadavg: 8.03 8.01 7.85 10/184 28247
/proc/meminfo: memFree=22761524/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=658300 CPUtime=888 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 67197 0 0 0 88781 19 0 0 25 0 4 0 522569819 674099200 15996 33554432000 4194304 4797429 140736556770608 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 164575 15996 421 148 0 159504 0
[pid=28231/tid=28239] ppid=28228 vsize=658300 CPUtime=222.26 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 9719 0 0 0 22223 3 0 0 25 0 4 0 522569820 674099200 15996 33554432000 4194304 4797429 140736556770608 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=658300 CPUtime=221.13 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 10250 0 0 0 22111 2 0 0 25 0 4 0 522569820 674099200 15996 33554432000 4194304 4797429 140736556770608 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=658300 CPUtime=222.28 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 8779 0 0 0 22226 2 0 0 25 0 4 0 522569820 674099200 15996 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 888
Current children cumulated vsize (KiB) 658300

[startup+282.301 s]

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

[pid=28231] ppid=28228 vsize=681852 CPUtime=2805.44 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 133592 0 0 0 280499 45 0 0 25 0 4 0 522569819 698216448 25243 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 170463 25243 421 148 0 165392 0
[pid=28231/tid=28239] ppid=28228 vsize=681852 CPUtime=702.22 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 19139 0 0 0 70215 7 0 0 25 0 4 0 522569820 698216448 25243 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=681852 CPUtime=698.58 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 19209 0 0 0 69851 7 0 0 25 0 4 0 522569820 698216448 25243 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=681852 CPUtime=702.29 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 17691 0 0 0 70223 6 0 0 25 0 4 0 522569820 698216448 25243 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 681852

[startup+762.306 s]
/proc/loadavg: 8.06 8.09 7.96 10/184 28261
/proc/meminfo: memFree=22674220/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=685984 CPUtime=3045.14 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 140971 0 0 0 304466 48 0 0 25 0 4 0 522569819 702447616 26617 33554432000 4194304 4797429 140736556770608 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 171496 26617 421 148 0 166425 0
[pid=28231/tid=28239] ppid=28228 vsize=685984 CPUtime=762.22 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 19647 0 0 0 76215 7 0 0 25 0 4 0 522569820 702447616 26617 33554432000 4194304 4797429 140736556770608 18446744073709551615 4524968 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=685984 CPUtime=758.27 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 20154 0 0 0 75820 7 0 0 25 0 4 0 522569820 702447616 26617 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=685984 CPUtime=762.3 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 18832 0 0 0 76224 6 0 0 25 0 4 0 522569820 702447616 26617 33554432000 4194304 4797429 140736556770608 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 685984

[startup+822.3 s]
/proc/loadavg: 8.02 8.07 7.96 10/184 28263
/proc/meminfo: memFree=22663788/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=688332 CPUtime=3284.8 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 146927 0 0 0 328429 51 0 0 25 0 4 0 522569819 704851968 27357 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 172083 27357 421 148 0 167012 0
[pid=28231/tid=28239] ppid=28228 vsize=688332 CPUtime=822.21 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 20573 0 0 0 82214 7 0 0 25 0 4 0 522569820 704851968 27357 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=688332 CPUtime=817.95 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 21151 0 0 0 81787 8 0 0 25 0 4 0 522569820 704851968 27357 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=688332 CPUtime=822.3 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 19758 0 0 0 82223 7 0 0 25 0 4 0 522569820 704851968 27357 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 688332

[startup+882.301 s]
/proc/loadavg: 8.01 8.06 7.96 10/184 28264
/proc/meminfo: memFree=22664144/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=689940 CPUtime=3524.48 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 154004 0 0 0 352393 55 0 0 25 0 4 0 522569819 706498560 27381 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 172485 27381 421 148 0 167414 0
[pid=28231/tid=28239] ppid=28228 vsize=689940 CPUtime=882.21 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 21500 0 0 0 88213 8 0 0 25 0 4 0 522569820 706498560 27381 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=689940 CPUtime=877.62 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 22338 0 0 0 87753 9 0 0 25 0 4 0 522569820 706498560 27381 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=689940 CPUtime=882.3 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 20664 0 0 0 88222 8 0 0 25 0 4 0 522569820 706498560 27381 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.48
Current children cumulated vsize (KiB) 689940

[startup+942.3 s]
/proc/loadavg: 8.04 8.06 7.96 9/184 28266
/proc/meminfo: memFree=22657060/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=690148 CPUtime=3764.16 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 160798 0 0 0 376358 58 0 0 25 0 4 0 522569819 706711552 26871 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424949 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 172537 26871 421 148 0 167466 0
[pid=28231/tid=28239] ppid=28228 vsize=690148 CPUtime=942.2 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 22411 0 0 0 94212 8 0 0 25 0 4 0 522569820 706711552 26871 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=690148 CPUtime=937.3 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 23443 0 0 0 93721 9 0 0 25 0 4 0 522569820 706711552 26871 33554432000 4194304 4797429 140736556770608 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=690148 CPUtime=942.3 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 21569 0 0 0 94221 9 0 0 25 0 4 0 522569820 706711552 26871 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.16
Current children cumulated vsize (KiB) 690148

[startup+1002.3 s]
/proc/loadavg: 8.12 8.07 7.97 10/184 28267
/proc/meminfo: memFree=22647372/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=696464 CPUtime=4003.83 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 166972 0 0 0 400322 61 0 0 25 0 4 0 522569819 713179136 28944 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424979 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 174116 28944 421 148 0 169045 0
[pid=28231/tid=28239] ppid=28228 vsize=696464 CPUtime=1002.2 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 22939 0 0 0 100211 9 0 0 25 0 4 0 522569820 713179136 28944 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=696464 CPUtime=996.98 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 23944 0 0 0 99688 10 0 0 25 0 4 0 522569820 713179136 28944 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=696464 CPUtime=1002.3 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 22109 0 0 0 100221 9 0 0 25 0 4 0 522569820 713179136 28944 33554432000 4194304 4797429 140736556770608 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 696464

[startup+1062.3 s]
/proc/loadavg: 8.12 8.07 7.98 10/184 28269
/proc/meminfo: memFree=22635576/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=700244 CPUtime=4243.5 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 172186 0 0 0 424287 63 0 0 25 0 4 0 522569819 717049856 30794 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 175061 30794 421 148 0 169990 0
[pid=28231/tid=28239] ppid=28228 vsize=700244 CPUtime=1062.19 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 23935 0 0 0 106210 9 0 0 25 0 4 0 522569820 717049856 30794 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=700244 CPUtime=1056.65 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 25125 0 0 0 105655 10 0 0 25 0 4 0 522569820 717049856 30794 33554432000 4194304 4797429 140736556770608 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=700244 CPUtime=1062.3 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 23269 0 0 0 106221 9 0 0 25 0 4 0 522569820 717049856 30794 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 700244

[startup+1122.3 s]
/proc/loadavg: 8.11 8.07 7.98 9/184 28271
/proc/meminfo: memFree=22627988/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=701772 CPUtime=4483.17 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 178075 0 0 0 448251 66 0 0 25 0 4 0 522569819 718614528 30883 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 175443 30883 421 148 0 170372 0
[pid=28231/tid=28239] ppid=28228 vsize=701772 CPUtime=1122.2 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 24792 0 0 0 112210 10 0 0 25 0 4 0 522569820 718614528 30883 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=701772 CPUtime=1116.32 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 25493 0 0 0 111622 10 0 0 25 0 4 0 522569820 718614528 30883 33554432000 4194304 4797429 140736556770608 18446744073709551615 4509670 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=701772 CPUtime=1122.3 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 23665 0 0 0 112220 10 0 0 25 0 4 0 522569820 718614528 30883 33554432000 4194304 4797429 140736556770608 18446744073709551615 4430083 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 701772

[startup+1182.3 s]
/proc/loadavg: 8.10 8.07 7.99 10/184 28281
/proc/meminfo: memFree=22626332/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=701980 CPUtime=4722.84 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 183811 0 0 0 472216 68 0 0 25 0 4 0 522569819 718827520 32009 33554432000 4194304 4797429 140736556770608 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 175495 32009 421 148 0 170424 0
[pid=28231/tid=28239] ppid=28228 vsize=701980 CPUtime=1182.19 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 25240 0 0 0 118209 10 0 0 25 0 4 0 522569820 718827520 32009 33554432000 4194304 4797429 140736556770608 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=701980 CPUtime=1176 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 26475 0 0 0 117589 11 0 0 25 0 4 0 522569820 718827520 32009 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=701980 CPUtime=1182.3 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 24722 0 0 0 118220 10 0 0 25 0 4 0 522569820 718827520 32009 33554432000 4194304 4797429 140736556770608 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 701980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.08 7.99 9/184 28282
/proc/meminfo: memFree=22626560/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=703972 CPUtime=4800.35 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 186386 0 0 0 479966 69 0 0 25 0 4 0 522569819 720867328 31099 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 175993 31099 421 148 0 170922 0
[pid=28231/tid=28239] ppid=28228 vsize=703972 CPUtime=1201.59 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 25795 0 0 0 120149 10 0 0 25 0 4 0 522569820 720867328 31099 33554432000 4194304 4797429 140736556770608 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=703972 CPUtime=1195.29 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 26566 0 0 0 119518 11 0 0 25 0 4 0 522569820 720867328 31099 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=703972 CPUtime=1201.71 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 24840 0 0 0 120160 11 0 0 25 0 4 0 522569820 720867328 31099 33554432000 4194304 4797429 140736556770608 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 703972

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

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

[startup+1201.7 s]
/proc/loadavg: 8.14 8.08 7.99 9/184 28282
/proc/meminfo: memFree=22626560/32951124 swapFree=67111524/67111528
[pid=28231] ppid=28228 vsize=703972 CPUtime=4800.35 cores=0,2,4,6
/proc/28231/stat : 28231 (techdemo) R 28228 28231 27138 0 -1 4202496 186386 0 0 0 479966 69 0 0 25 0 4 0 522569819 720867328 31099 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28231/statm: 175993 31099 421 148 0 170922 0
[pid=28231/tid=28239] ppid=28228 vsize=703972 CPUtime=1201.59 cores=0,2,4,6
/proc/28231/task/28239/stat : 28239 (techdemo) R 28228 28231 27138 0 -1 4202560 25795 0 0 0 120149 10 0 0 25 0 4 0 522569820 720867328 31099 33554432000 4194304 4797429 140736556770608 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28231/tid=28240] ppid=28228 vsize=703972 CPUtime=1195.29 cores=0,2,4,6
/proc/28231/task/28240/stat : 28240 (techdemo) R 28228 28231 27138 0 -1 4202560 26566 0 0 0 119518 11 0 0 25 0 4 0 522569820 720867328 31099 33554432000 4194304 4797429 140736556770608 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28231/tid=28241] ppid=28228 vsize=703972 CPUtime=1201.71 cores=0,2,4,6
/proc/28231/task/28241/stat : 28241 (techdemo) R 28228 28231 27138 0 -1 4202560 24840 0 0 0 120160 11 0 0 25 0 4 0 522569820 720867328 31099 33554432000 4194304 4797429 140736556770608 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 703972

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.38
CPU user time (s): 4799.68
CPU system time (s): 0.698893
CPU usage (%): 399.46
Max. virtual memory (cumulated for all children) (KiB): 788892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.68
system time used= 0.698893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186386
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= 259
involuntary context switches= 27792

runsolver used 2.01169 second user time and 4.41133 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-29 22:41:29
IDJOB=3172874
IDBENCH=82892
IDSOLVER=1584
FILE ID=node108/3172874-1304109689
RUNJOBID= node108-1304109689-28214
PBS_JOBID= 13170636
Free space on /tmp= 72120 MiB

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

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

MD5SUM BENCH= 80aa82e62b454f2871f6471d9559597d
RANDOM SEED=1434910203

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22903532 kB
Buffers:       1984712 kB
Cached:        7427068 kB
SwapCached:          4 kB
Active:         371904 kB
Inactive:      9103248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22903532 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           15624 kB
Writeback:           0 kB
AnonPages:       63084 kB
Mapped:          14492 kB
Slab:           509200 kB
PageTables:       4884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186100 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= 72104 MiB
End job on node108 at 2011-04-29 23:01:33