Trace number 3173030

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.92

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf
MD5SUMa1e34b50698b079e87a3cad9c76615ca
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.7579
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-3173030-1304125061.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.44/0.12	c asymm  cl-useful: 0/1909/4450 lits-rem:0 time: 0.43
0.44/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.44/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.44/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.44/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.44/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.44/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.44/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.44/0.13	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
0.44/0.13	c learnt bin added due to v-elim: 0
0.44/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.44/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.44/0.14	c calculated reachability. Time: 0.00
0.44/0.14	c Calc default polars -  time:   0.00 s pos:      24 undec:       1 neg:      25
0.44/0.14	c =========================================================================================
0.44/0.14	c types(t): F = full restart, N = normal restart
0.44/0.14	c types(t): S = simplification begin/end, E = solution found
0.44/0.14	c restart types(rt): st = static, dy = dynamic
0.44/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.44/0.14	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.29	c  N dy    19      4031        50      4450         0      3501     31150     65285     19.01     16.48  --
1.55/0.48	c  N dy    46      8071        50      4450         0      4858     31150     84811     18.16     16.44  --
2.35/0.69	c  N dy    73     12075        50      4450         0      4651     31150     75427     18.77     16.34  --
3.55/0.92	c  N dy   100     16115        50      4450         0      8191     31150    141279     18.85     16.37  --
4.36/1.17	c  N dy   127     20161        50      4450         0      6824     31150    108466     18.47     16.44  --
5.54/1.44	c  N dy   154     24232        50      4450         0     10376     31150    174092     18.53     16.39  --
6.74/1.73	c  N dy   181     28349        50      4450         0      8011     31150    123162     18.40     16.38  --
7.14/1.85	c  S st   193     30000        50      4450         0      9467     31150    150055     18.54     16.37  --
7.14/1.89	c  S st   193     30503        50      4450         0      9920     31150    158538     18.54     16.37  --
7.14/1.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.14/1.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.54/1.91	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.54/1.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.91	c Subs w/ non-existent bins:      0 time:  0.00 s
7.54/1.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.54/1.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.54/1.92	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.53/2.46	c lits-rem:      1335  cl-subs:     1351  v-elim:     50  v-fix:    0  time:  2.17 s
9.53/2.46	c learnt bin added due to v-elim: 0
9.53/2.46	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.53/2.46	c vivif2 --  cl tried     8569 cl shrink        0 lits rem          0 time: 0.00
10.33/2.61	c asymm  cl-useful: 0/1737/4450 lits-rem:0 time: 0.59
10.33/2.61	c calculated reachability. Time: 0.00
10.33/2.61	c  N dy   193     30503        50      4450         0      8569     31150    134316     18.54     16.37  --
10.33/2.61	c  F st   193     30503        50      4450         0      8569     31150    134316     18.54     16.37  --
10.73/2.76	c Decided on static restart strategy
11.53/2.90	c  N dy   212     34533        50      4450         0     12091     31150    200087     19.02     16.37  --
12.74/3.22	c  N dy   240     38673        50      4450         0      8867     31150    133555     18.79     16.38  --
13.92/3.51	c  N dy   267     42681        50      4450         0     12379     31150    198673     18.53     16.39  --
14.72/3.78	c  S st   288     45755        50      4450         0     15085     31150    248555     19.12     16.38  --
15.12/3.84	c  S st   288     46257        50      4450         0     15532     31150    256986     19.12     16.38  --
15.12/3.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.12/3.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.12/3.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  0.14
15.12/3.87	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.12/3.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.12/3.87	c Subs w/ non-existent bins:      0 time:  0.01 s
15.12/3.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.12/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.12/3.88	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.32/4.62	c lits-rem:      2250  cl-subs:     2292  v-elim:     50  v-fix:    0  time:  2.95 s
18.32/4.62	c learnt bin added due to v-elim: 0
18.32/4.62	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
18.32/4.62	c vivif2 --  cl tried    13240 cl shrink        0 lits rem          0 time: 0.01
18.72/4.72	c asymm  cl-useful: 0/804/4450 lits-rem:0 time: 0.40
18.72/4.72	c calculated reachability. Time: 0.00
18.72/4.72	c  N dy   288     46257        50      4450         0     13240     31150    212607     19.12     16.38  --
19.92/5.07	c  N dy   315     50291        50      4450         0      9102     31150    128877     18.58     16.38  --
21.12/5.38	c  N dy   342     54331        50      4450         0     12583     31150    193345     19.06     16.40  --
22.72/5.74	c  N dy   369     58372        50      4450         0     16107     31150    258936     18.69     16.40  --
23.92/6.09	c  N dy   396     62442        50      4450         0     11059     31150    159261     18.83     16.40  --
25.52/6.43	c  N dy   423     66495        50      4450         0     14593     31150    224393     18.60     16.40  --
26.71/6.73	c  S st   443     69385        50      4450         0     17127     31150    271509     18.44     16.40  --
26.71/6.79	c  S st   443     69887        50      4450         0     17566     31150    279815     18.44     16.40  --
26.71/6.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.71/6.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.11/6.84	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.84	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
27.11/6.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.11/6.84	c Subs w/ non-existent bins:      0 time:  0.01 s
27.11/6.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.11/6.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.11/6.85	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.91/7.55	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
32.70/8.26	c Added 1 vars  tried: 11100 time: 2.83
32.70/8.27	c ORs :      1 avg-s:  0.0 cl-sh:  1364 l-rem:   1364 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.87
32.70/8.28	c lits-rem:      1823  cl-subs:     2475  v-elim:     50  v-fix:    0  time:  5.71 s
32.70/8.28	c learnt bin added due to v-elim: 0
32.70/8.28	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.70/8.28	c vivif2 --  cl tried    15091 cl shrink        0 lits rem          0 time: 0.01
33.50/8.43	c asymm  cl-useful: 0/1401/4451 lits-rem:0 time: 0.62
33.50/8.43	c calculated reachability. Time: 0.00
33.50/8.43	c  N dy   443     69887        51      4451         2     15091     31133    231430     18.44     16.40  --
33.50/8.43	c  F st   443     69887        51      4451         2     15091     31133    231430     18.44     16.40  --
34.30/8.63	c Decided on static restart strategy
35.49/8.90	c  N dy   465     74362        51      4451         2      9609     31133    123088     18.02     16.36  --
36.69/9.29	c  N dy   497     79178        51      4451         2     13822     31133    200782     18.63     16.36  --
38.69/9.79	c  N dy   531     84248        51      4451         2     18292     31133    283873     18.34     16.36  --
41.09/10.34	c  N dy   567     89646        51      4451         2     12614     31133    171438     18.34     16.36  --
43.09/10.89	c  N dy   606     95445        51      4451         2     17707     31133    266595     18.87     16.36  --
46.28/11.61	c  N dy   647    101536        51      4451         2     11705     31133    147268     19.11     16.37  --
47.48/11.91	c  S st   669    104830        51      4451         2     14589     31133    201059     18.71     16.38  --
47.48/11.97	c  S st   669    105332        51      4451         2     15046     31133    209677     18.71     16.38  --
47.48/11.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.48/11.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.90/12.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.21
47.90/12.02	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.90/12.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.90/12.03	c Subs w/ non-existent bins:      0 time:  0.00 s
47.90/12.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.90/12.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.90/12.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
50.28/12.64	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.28/12.65	c lits-rem:       879  cl-subs:     1260  v-elim:     50  v-fix:    0  time:  2.48 s
50.28/12.65	c learnt bin added due to v-elim: 0
50.28/12.65	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
50.28/12.65	c vivif2 --  cl tried    13786 cl shrink        0 lits rem          0 time: 0.01
51.09/12.80	c asymm  cl-useful: 0/1353/4451 lits-rem:0 time: 0.59
51.09/12.80	c calculated reachability. Time: 0.00
51.09/12.80	c  N dy   669    105332        51      4451         2     13786     31133    187308     18.71     16.38  --
53.88/13.51	c  N dy   715    112195        51      4451         2     19773     31133    298490     18.30     16.38  --
57.09/14.38	c  N dy   763    119372        51      4451         2     13902     31133    182523     18.61     16.38  --
60.27/15.19	c  N dy   815    127010        51      4451         2     20634     31133    308141     18.78     16.39  --
64.66/16.21	c  N dy   870    135207        51      4451         2     14758     31133    187776     18.53     16.38  --
68.26/17.19	c  N dy   929    143962        51      4451         2     22452     31133    330303     18.79     16.38  --
73.45/18.40	c  N dy   991    153193        51      4451         2     16541     31133    212559     18.88     16.39  --
75.44/18.96	c  S st  1024    157998        51      4451         2     20745     31133    291073     18.64     16.39  --
75.84/19.03	c  S st  1024    158499        51      4451         2     21189     31133    299498     18.64     16.39  --
75.84/19.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.84/19.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
76.24/19.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.3M T:  0.30
76.24/19.11	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
76.24/19.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
76.24/19.11	c Subs w/ non-existent bins:      0 time:  0.01 s
76.24/19.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.24/19.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.24/19.11	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
79.44/19.90	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.44/19.91	c lits-rem:       964  cl-subs:     2184  v-elim:     50  v-fix:    0  time:  3.16 s
79.44/19.91	c learnt bin added due to v-elim: 0
79.44/19.91	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
79.44/19.91	c vivif2 --  cl tried    19005 cl shrink        0 lits rem          0 time: 0.01
79.84/20.06	c asymm  cl-useful: 0/950/4451 lits-rem:0 time: 0.60
79.84/20.06	c calculated reachability. Time: 0.00
79.84/20.06	c  N dy  1024    158499        51      4451         2     19005     31133    260745     18.64     16.39  --
85.43/21.42	c  N dy  1092    168659        51      4451         2     27866     31133    426545     18.96     16.41  --
90.62/22.76	c  N dy  1165    179505        51      4451         2     22597     31133    318860     18.65     16.42  --
97.82/24.51	c  N dy  1242    191002        51      4451         2     16962     31133    205686     18.59     16.41  --
103.81/26.09	c  N dy  1324    203254        55      4451        14     27732     31153    406197     18.26     16.42  --
111.40/27.97	c  N dy  1412    216376        55      4451        14     22621     31153    302158     18.47     16.41  --
120.19/30.16	c  N dy  1505    230318        55      4451        14     34890     31153    532749     18.65     16.42  --
124.58/31.21	c  S st  1556    237748        55      4451        14     23880     31153    319678     18.64     16.42  --
124.58/31.29	c  S st  1556    238249        55      4451        14     24342     31153    328554     18.64     16.42  --
124.98/31.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.98/31.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.98/31.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.0M T:  0.39
125.38/31.40	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
125.38/31.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
125.38/31.40	c Subs w/ non-existent bins:      0 time:  0.01 s
125.38/31.41	c Replacing        1 vars Replaced     1196 lits Time:     0.03 s 
125.38/31.41	c bin-w-bin subsume rem            2 bins  time:  0.00 s
125.38/31.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.38/31.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
129.37/32.41	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
129.37/32.42	c lits-rem:      1346  cl-subs:     2200  v-elim:     50  v-fix:    0  time:  4.02 s
129.37/32.42	c learnt bin added due to v-elim: 0
129.37/32.42	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
129.37/32.42	c vivif2 --  cl tried    22142 cl shrink        0 lits rem          0 time: 0.01
129.77/32.57	c asymm  cl-useful: 0/747/4451 lits-rem:0 time: 0.60
129.77/32.57	c calculated reachability. Time: 0.00
129.77/32.57	c  N dy  1556    238249        54      4451         8     22142     31145    290246     18.64     16.42  --
139.77/35.08	c  N dy  1659    253542        54      4451         8     35603     31145    540166     18.81     16.40  --
149.74/37.59	c  N dy  1768    269763        54      4451         8     31525     31145    456197     18.51     16.37  --
161.33/40.46	c  N dy  1885    287027        54      4451         8     27437     31145    372425     18.29     16.36  --
174.52/43.76	c  N dy  2009    305393        54      4451         8     23403     31145    287440     18.71     16.35  --
188.51/47.21	c  N dy  2141    324975        58      4451        24     40683     31169    608992     18.64     16.33  --
202.10/50.65	c  N dy  2276    344979        58      4451        24     37297     31169    538250     18.89     16.31  --
212.06/53.17	c  S st  2360    357374        58      4451        24     26145     31169    319292     18.22     16.31  --
212.46/53.26	c  S st  2360    357878        58      4451        24     26609     31169    327994     18.22     16.31  --
212.46/53.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
212.46/53.26	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
212.86/53.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.8M T:  0.46
212.86/53.38	c Calc non-exist non-lernt bins v-fix:     0 done:     58 time:  0.00 s
212.86/53.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.86/53.38	c Subs w/ non-existent bins:      0 time:  0.01 s
212.86/53.38	c Replacing        2 vars Replaced      164 lits Time:     0.01 s 
212.86/53.39	c bin-w-bin subsume rem            4 bins  time:  0.00 s
212.86/53.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.86/53.39	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
217.25/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.01
217.25/54.44	c lits-rem:       708  cl-subs:     1754  v-elim:     50  v-fix:    0  time:  4.19 s
217.25/54.44	c learnt bin added due to v-elim: 0
217.25/54.44	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
217.25/54.44	c vivif2 --  cl tried    24855 cl shrink        0 lits rem          0 time: 0.02
217.65/54.59	c asymm  cl-useful: 0/931/4451 lits-rem:0 time: 0.61
217.65/54.59	c calculated reachability. Time: 0.00
217.65/54.59	c  N dy  2360    357878        56      4451        12     24855     31153    300107     18.22     16.31  --
233.23/58.43	c  N dy  2495    377908        56      4451        12     42513     31153    628667     18.60     16.29  --
248.42/62.29	c  N dy  2630    397990        56      4451        12     37453     31153    524379     18.88     16.26  --
265.59/66.59	c  N dy  2765    418002        56      4451        12     31300     31153    400697     18.51     16.24  --
284.37/71.26	c  N dy  2901    438096        56      4451        12     49165     31153    734591     18.73     16.23  --
299.95/75.16	c  N dy  3037    458214        60      4451        28     42255     31177    598703     18.94     16.22  --
317.12/79.49	c  N dy  3173    478357        60      4451        28     34440     31177    444952     18.75     16.20  --
336.70/84.31	c  N dy  3308    498424        60      4451        28     52293     31177    779551     18.57     16.19  --
353.47/88.54	c  N dy  3443    518458        60      4451        28     43535     31177    607591     18.86     16.18  --
371.45/93.05	c  S st  3568    536817        60      4451        28     32322     31177    390463     19.18     16.18  --
371.85/93.16	c  S st  3568    537319        60      4451        28     32783     31177    399211     19.18     16.18  --
371.85/93.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
371.85/93.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
372.65/93.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.9M T:  0.62
372.65/93.32	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
372.65/93.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
372.65/93.32	c Subs w/ non-existent bins:      0 time:  0.02 s
372.65/93.33	c Replacing        2 vars Replaced       35 lits Time:     0.01 s 
372.65/93.33	c bin-w-bin subsume rem            4 bins  time:  0.00 s
372.65/93.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
372.65/93.33	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
377.04/94.46	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.41/101.04	c Added 1 vars  tried: 80000 time: 26.26
403.41/101.06	c ORs :      1 avg-s:  0.0 cl-sh:  1778 l-rem:   1778 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   26.36
403.41/101.07	c lits-rem:       769  cl-subs:     1805  v-elim:     50  v-fix:    0  time: 30.90 s
403.41/101.07	c learnt bin added due to v-elim: 0
403.41/101.07	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
403.41/101.07	c vivif2 --  cl tried    30977 cl shrink        0 lits rem          0 time: 0.02
404.22/101.24	c asymm  cl-useful: 0/639/4452 lits-rem:0 time: 0.65
404.22/101.24	c calculated reachability. Time: 0.00
404.22/101.24	c  N dy  3568    537319        59      4452        19     30977     31136    368869     19.18     16.18  --
404.22/101.24	c  F st  3568    537319        59      4452        19     30977     31136    368869     19.18     16.18  --
405.80/101.60	c Decided on static restart strategy
422.17/105.76	c  N dy  3696    557465        59      4452        20     48946     31136    704403     18.71     16.16  --
441.75/110.62	c  N dy  3831    577577        59      4452        20     38396     31136    498027     19.04     16.16  --
462.12/115.79	c  N dy  3966    597598        59      4452        20     56274     31136    834625     18.76     16.15  --
480.90/120.46	c  N dy  4102    617719        63      4452        32     44831     31156    609528     18.59     16.15  --
504.07/126.21	c  N dy  4237    637737        63      4452        32     32340     31156    369414     18.82     16.14  --
523.24/131.06	c  N dy  4373    657808        63      4452        32     50258     31156    705034     18.28     16.14  --
546.41/136.86	c  N dy  4509    677883        63      4452        32     36980     31156    449519     19.53     16.14  --
566.81/141.91	c  N dy  4644    698002        67      4452        44     54825     31176    783949     19.29     16.14  --
588.37/147.40	c  N dy  4779    718076        67      4452        44     40710     31176    513341     18.75     16.14  --
679.04/170.07	c  N dy  4809    805978        67      4452        44     51304     31176    662688     16.28     15.81  --
679.04/170.09	c  S st  4809    805978        67      4452        44     51304     31176    662688     16.28     15.81  --
679.83/170.26	c  S st  4809    806481        71      4452        53     51777     31192    671660     16.28     15.81  --
679.83/170.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
679.83/170.27	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
681.05/170.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.3M T:  1.22
681.05/170.57	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.00 s
681.05/170.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
681.05/170.58	c Subs w/ non-existent bins:      0 time:  0.04 s
681.43/170.62	c Replacing        3 vars Replaced     1314 lits Time:     0.13 s 
681.43/170.63	c bin-w-bin subsume rem            6 bins  time:  0.00 s
681.43/170.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
681.43/170.63	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
693.41/173.61	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 11.0 T:    0.06
732.56/183.44	c Added 1 vars  tried: 80000 time: 39.27
732.96/183.55	c ORs :      1 avg-s:  0.0 cl-sh:  5824 l-rem:   5824 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   39.70
732.96/183.56	c lits-rem:      1800  cl-subs:     9195  v-elim:     50  v-fix:    0  time: 51.66 s
732.96/183.56	c learnt bin added due to v-elim: 0
732.96/183.56	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
732.96/183.57	c vivif2 --  cl tried    42581 cl shrink        0 lits rem          0 time: 0.03
733.37/183.66	c asymm  cl-useful: 0/255/4453 lits-rem:0 time: 0.35
733.37/183.66	c calculated reachability. Time: 0.00
733.37/183.66	c  N dy  4809    806481        69      4453        39     42581     31152    532770     16.28     15.81  --
756.52/189.42	c  N dy  4945    826556        69      4453        39     60462     31152    867552     18.82     15.81  --
779.29/195.10	c  N dy  5081    846565        69      4453        39     44552     31152    569075     18.76     15.80  --
803.24/201.15	c  N dy  5217    866650        72      4453        46     62473     31164    906613     19.05     15.80  --
828.01/207.35	c  N dy  5353    886710        72      4453        46     45285     31164    571768     18.49     15.79  --
1233.86/308.94	c  N dy  5484   1209721        76      4453        55     57930     31180    743016     15.55     14.99  --
1233.86/308.97	c  S st  5484   1209721        76      4453        55     57930     31180    743016     15.55     14.99  --
1234.68/309.19	c  S st  5484   1210222        76      4453        55     58403     31180    752038     15.55     14.99  --
1234.68/309.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1234.68/309.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1236.26/309.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 24.7M T:  1.52
1236.26/309.58	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
1236.26/309.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1236.26/309.59	c Subs w/ non-existent bins:      0 time:  0.04 s
1236.66/309.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1236.66/309.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1236.66/309.60	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1249.85/312.98	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.09
1295.38/324.31	c Added 1 vars  tried: 80000 time: 45.24
1296.20/324.53	c ORs :      1 avg-s:  0.0 cl-sh:  8593 l-rem:   8593 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   46.13
1296.20/324.55	c lits-rem:      1673  cl-subs:     9616  v-elim:     50  v-fix:    0  time: 59.68 s
1296.20/324.55	c learnt bin added due to v-elim: 0
1296.20/324.55	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
1296.20/324.56	c vivif2 --  cl tried    48787 cl shrink        1 lits rem          1 time: 0.05
1296.58/324.64	c asymm  cl-useful: 0/255/4454 lits-rem:0 time: 0.34
1296.58/324.65	c calculated reachability. Time: 0.00
1296.58/324.65	c  N dy  5484   1210222        77      4454        57     48787     31160    621648     15.55     14.99  --
2056.75/515.18	c  N dy  5491   1710222        77      4454        57     78611     31160   1040588     16.40     14.06  --
2057.15/515.23	c  S st  5491   1710222        77      4454        57     78611     31160   1040588     16.40     14.06  --
2058.35/515.52	c  S st  5491   1710725        77      4454        57     79085     31160   1049474     16.40     14.06  --
2058.35/515.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2058.35/515.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2060.34/516.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.7M T:  2.29
2060.74/516.10	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.01 s
2060.74/516.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2060.74/516.11	c Subs w/ non-existent bins:      0 time:  0.06 s
2060.74/516.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2060.74/516.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2060.74/516.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2087.11/522.73	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.21
2087.11/522.75	c lits-rem:      2100  cl-subs:    19015  v-elim:     50  v-fix:    0  time: 26.43 s
2087.11/522.75	c learnt bin added due to v-elim: 0
2087.11/522.75	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2087.11/522.77	c vivif2 --  cl tried    60070 cl shrink        0 lits rem          0 time: 0.06
2087.51/522.86	c asymm  cl-useful: 0/161/4454 lits-rem:0 time: 0.38
2087.51/522.86	c calculated reachability. Time: 0.00
2087.51/522.86	c  N dy  5491   1710725        77      4454        57     60070     31160    804447     16.40     14.06  --
2959.54/741.16	c  N dy  5535   2210725        78      4454        63     75953     31168    972291     15.95     13.63  --
2959.94/741.20	c  S st  5535   2210725        78      4454        63     75953     31168    972291     15.95     13.63  --
2959.94/741.20	c Finding binary XORs  T:     0.00 s  found:       1
2959.94/741.21	c Replacing        1 vars Replaced       15 lits Time:     0.02 s 
2961.14/741.50	c  S st  5535   2211227        78      4454        62     76418     31168    980754     15.95     13.63  --
2961.14/741.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2961.14/741.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2963.14/742.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.7M T:  2.24
2963.14/742.07	c Calc non-exist non-lernt bins v-fix:     0 done:     78 time:  0.01 s
2963.14/742.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2963.14/742.08	c Subs w/ non-existent bins:      0 time:  0.07 s
2963.54/742.10	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2963.54/742.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2963.54/742.11	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2986.72/747.91	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.25
2986.72/747.93	c lits-rem:      1947  cl-subs:    12786  v-elim:     50  v-fix:    0  time: 23.25 s
2986.72/747.93	c learnt bin added due to v-elim: 0
2986.72/747.93	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2986.72/747.94	c vivif2 --  cl tried    63632 cl shrink        0 lits rem          0 time: 0.06
2987.12/748.04	c asymm  cl-useful: 0/158/4454 lits-rem:0 time: 0.39
2987.12/748.04	c calculated reachability. Time: 0.00
2987.12/748.04	c  N dy  5535   2211227        78      4454        60     63632     31164    827196     15.95     13.63  --
3023.45/757.17	c  N dy  5671   2231264        80      4454        64     81836     31172   1159366     18.39     13.64  --
4006.55/1003.21	c  N dy  5691   2711228        80      4454        64     86013     31172   1128948     16.21     13.40  --
4006.55/1003.27	c  S st  5691   2711228        80      4454        64     86013     31172   1128948     16.21     13.40  --
4007.72/1003.59	c  S st  5691   2711730        80      4454        64     86488     31172   1137815     16.21     13.40  --
4007.72/1003.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4007.72/1003.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4010.94/1004.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 43.8M T:  2.88
4010.94/1004.32	c Calc non-exist non-lernt bins v-fix:     0 done:     80 time:  0.01 s
4010.94/1004.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4010.94/1004.34	c Subs w/ non-existent bins:      0 time:  0.07 s
4010.94/1004.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4010.94/1004.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4010.94/1004.36	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4041.29/1011.99	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.26
4100.80/1026.80	c Added 1 vars  tried: 80000 time: 59.19
4101.60/1027.05	c ORs :      1 avg-s:  0.0 cl-sh:  8206 l-rem:   8206 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   60.18
4101.60/1027.07	c lits-rem:      2143  cl-subs:    13488  v-elim:     50  v-fix:    0  time: 90.72 s
4101.60/1027.07	c learnt bin added due to v-elim: 0
4101.60/1027.07	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
4101.60/1027.09	c vivif2 --  cl tried    73000 cl shrink        3 lits rem          5 time: 0.07
4102.00/1027.19	c asymm  cl-useful: 0/168/4455 lits-rem:0 time: 0.37
4102.00/1027.19	c calculated reachability. Time: 0.00
4102.00/1027.19	c  N dy  5691   2711730        81      4455        66     73000     31156    958476     16.21     13.40  --
4102.00/1027.19	c  F st  5691   2711730        81      4455        66     73000     31156    958476     16.21     13.40  --
4105.99/1028.12	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-3173030-1304125061/watcher-3173030-1304125061 -o /tmp/evaluation-result-3173030-1304125061/solver-3173030-1304125061 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3173030-1304125061.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.11 8.09 7.99 7/180 9843
/proc/meminfo: memFree=19905648/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=50140 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 647 0 0 0 0 0 0 0 25 0 1 0 524105841 51343360 579 33554432000 4194304 4797429 140735246442544 18446744073709551615 237278540485 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9843/statm: 12535 580 347 148 0 7464 0

[startup+0.0241079 s]
/proc/loadavg: 8.11 8.09 7.99 7/180 9843
/proc/meminfo: memFree=19905648/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=147232 CPUtime=0.05 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 1037 0 0 0 5 0 0 0 25 0 4 0 524105841 150765568 945 33554432000 4194304 4797429 140735246442544 18446744073709551615 4430038 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9843/statm: 36808 945 371 148 0 31737 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 147232

[startup+0.122054 s]
/proc/loadavg: 8.11 8.09 7.99 7/180 9843
/proc/meminfo: memFree=19905648/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=358984 CPUtime=0.44 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 1132 0 0 0 44 0 0 0 25 0 4 0 524105841 367599616 1040 33554432000 4194304 4797429 140735246442544 18446744073709551615 237278540485 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9843/statm: 89746 1040 374 148 0 84675 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 358984

[startup+0.30106 s]
/proc/loadavg: 8.11 8.09 7.99 7/180 9843
/proc/meminfo: memFree=19905648/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=609324 CPUtime=1.15 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 2395 0 0 0 115 0 0 0 25 0 4 0 524105841 623947776 2125 33554432000 4194304 4797429 140735246442544 18446744073709551615 4425824 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 152331 2125 408 148 0 147260 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 609324

[startup+0.700991 s]
/proc/loadavg: 8.11 8.09 7.99 7/180 9843
/proc/meminfo: memFree=19905648/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=612704 CPUtime=2.75 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 4543 0 0 0 275 0 0 0 25 0 4 0 524105841 627408896 3537 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 153176 3537 413 148 0 148105 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 612704

[startup+1.50085 s]
/proc/loadavg: 8.11 8.09 7.99 11/184 9847
/proc/meminfo: memFree=19882924/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=613796 CPUtime=5.94 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 5310 0 0 0 594 0 0 0 25 0 4 0 524105841 628527104 4054 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 153449 4054 414 148 0 148378 0
[pid=9843/tid=9845] ppid=9841 vsize=613796 CPUtime=1.48 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 971 0 0 0 148 0 0 0 25 0 4 0 524105842 628527104 4054 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=613796 CPUtime=1.48 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 910 0 0 0 148 0 0 0 25 0 4 0 524105842 628527104 4054 33554432000 4194304 4797429 140735246442544 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=613796 CPUtime=1.48 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 1089 0 0 0 148 0 0 0 25 0 4 0 524105842 628527104 4054 33554432000 4194304 4797429 140735246442544 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 613796

[startup+3.10056 s]
/proc/loadavg: 8.11 8.09 7.99 9/184 9847
/proc/meminfo: memFree=19875608/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=616496 CPUtime=12.33 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 6990 0 0 0 1233 0 0 0 25 0 4 0 524105841 631291904 4472 33554432000 4194304 4797429 140735246442544 18446744073709551615 4425630 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 154124 4472 416 148 0 149053 0
[pid=9843/tid=9845] ppid=9841 vsize=616496 CPUtime=3.07 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 1196 0 0 0 307 0 0 0 25 0 4 0 524105842 631291904 4472 33554432000 4194304 4797429 140735246442544 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=616496 CPUtime=3.08 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 1133 0 0 0 308 0 0 0 25 0 4 0 524105842 631291904 4472 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=616496 CPUtime=3.08 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 1335 0 0 0 308 0 0 0 25 0 4 0 524105842 631291904 4472 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 616496

[startup+6.301 s]
/proc/loadavg: 8.18 8.10 8.00 9/184 9847
/proc/meminfo: memFree=19866860/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=619756 CPUtime=25.12 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 9602 0 0 0 2511 1 0 0 25 0 4 0 524105841 634630144 5525 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 154939 5525 416 148 0 149868 0
[pid=9843/tid=9845] ppid=9841 vsize=619756 CPUtime=6.27 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 1609 0 0 0 627 0 0 0 25 0 4 0 524105842 634630144 5525 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=619756 CPUtime=6.28 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 1524 0 0 0 628 0 0 0 25 0 4 0 524105842 634630144 5525 33554432000 4194304 4797429 140735246442544 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=619756 CPUtime=6.28 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 1757 0 0 0 628 0 0 0 25 0 4 0 524105842 634630144 5525 33554432000 4194304 4797429 140735246442544 18446744073709551615 4524378 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 619756

[startup+12.7009 s]
/proc/loadavg: 8.16 8.10 8.00 9/184 9847
/proc/meminfo: memFree=19857264/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=622844 CPUtime=50.69 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 13492 0 0 0 5067 2 0 0 25 0 4 0 524105841 637792256 7200 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429090 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 155711 7200 419 148 0 150640 0
[pid=9843/tid=9845] ppid=9841 vsize=622844 CPUtime=12.67 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 2707 0 0 0 1267 0 0 0 25 0 4 0 524105842 637792256 7200 33554432000 4194304 4797429 140735246442544 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=622844 CPUtime=12.68 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 1974 0 0 0 1268 0 0 0 25 0 4 0 524105842 637792256 7200 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=622844 CPUtime=12.68 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 2222 0 0 0 1268 0 0 0 25 0 4 0 524105842 637792256 7200 33554432000 4194304 4797429 140735246442544 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 622844

[startup+25.5006 s]
/proc/loadavg: 7.83 8.03 7.97 10/184 9877
/proc/meminfo: memFree=19848060/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=626464 CPUtime=101.81 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 21021 0 0 0 10178 3 0 0 25 0 4 0 524105841 641499136 7803 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 156616 7803 421 148 0 151545 0
[pid=9843/tid=9845] ppid=9841 vsize=626464 CPUtime=25.48 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 5035 0 0 0 2547 1 0 0 25 0 4 0 524105842 641499136 7803 33554432000 4194304 4797429 140735246442544 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=626464 CPUtime=25.48 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 2818 0 0 0 2548 0 0 0 25 0 4 0 524105842 641499136 7803 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429065 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=626464 CPUtime=25.48 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 3078 0 0 0 2548 0 0 0 25 0 4 0 524105842 641499136 7803 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 626464

[startup+51.101 s]
/proc/loadavg: 7.89 8.03 7.97 9/184 9878
/proc/meminfo: memFree=19828220/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=631148 CPUtime=204.08 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 32433 0 0 0 20402 6 0 0 25 0 4 0 524105841 646295552 9580 33554432000 4194304 4797429 140735246442544 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 157787 9580 421 148 0 152716 0
[pid=9843/tid=9845] ppid=9841 vsize=631148 CPUtime=51.07 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 6443 0 0 0 5106 1 0 0 25 0 4 0 524105842 646295552 9580 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=631148 CPUtime=51.08 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 6284 0 0 0 5107 1 0 0 25 0 4 0 524105842 646295552 9580 33554432000 4194304 4797429 140735246442544 18446744073709551615 4430103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=631148 CPUtime=51.08 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 4161 0 0 0 5108 0 0 0 25 0 4 0 524105842 646295552 9580 33554432000 4194304 4797429 140735246442544 18446744073709551615 4495483 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 631148

[startup+102.307 s]
/proc/loadavg: 8.02 8.04 7.98 10/184 9879
/proc/meminfo: memFree=19799868/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=640752 CPUtime=408.62 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 46527 0 0 0 40853 9 0 0 25 0 4 0 524105841 656130048 12851 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 160188 12851 424 148 0 155117 0
[pid=9843/tid=9845] ppid=9841 vsize=640752 CPUtime=102.28 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 8236 0 0 0 10226 2 0 0 25 0 4 0 524105842 656130048 12851 33554432000 4194304 4797429 140735246442544 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=640752 CPUtime=102.28 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 7923 0 0 0 10227 1 0 0 25 0 4 0 524105842 656130048 12851 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=640752 CPUtime=102.28 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 6377 0 0 0 10228 0 0 0 25 0 4 0 524105842 656130048 12851 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 640752

[startup+162.3 s]
/proc/loadavg: 8.07 8.04 7.98 10/184 9881
/proc/meminfo: memFree=19783232/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=642272 CPUtime=648.27 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 59232 0 0 0 64813 14 0 0 25 0 4 0 524105841 657686528 13895 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 160568 13895 421 148 0 155497 0
[pid=9843/tid=9845] ppid=9841 vsize=642272 CPUtime=162.28 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 9970 0 0 0 16225 3 0 0 25 0 4 0 524105842 657686528 13895 33554432000 4194304 4797429 140735246442544 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=642272 CPUtime=162.27 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 9539 0 0 0 16225 2 0 0 25 0 4 0 524105842 657686528 13895 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=642272 CPUtime=162.28 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 8023 0 0 0 16227 1 0 0 25 0 4 0 524105842 657686528 13895 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 642272

[startup+222.301 s]
/proc/loadavg: 8.15 8.06 8.00 10/184 9892
/proc/meminfo: memFree=19764504/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=651468 CPUtime=887.93 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 70529 0 0 0 88774 19 0 0 25 0 4 0 524105841 667103232 16310 33554432000 4194304 4797429 140735246442544 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 162867 16310 421 148 0 157796 0
[pid=9843/tid=9845] ppid=9841 vsize=651468 CPUtime=222.27 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 11446 0 0 0 22224 3 0 0 25 0 4 0 524105842 667103232 16310 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=651468 CPUtime=222.26 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 10880 0 0 0 22224 2 0 0 25 0 4 0 524105842 667103232 16310 33554432000 4194304 4797429 140735246442544 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=651468 CPUtime=222.28 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 9490 0 0 0 22226 2 0 0 25 0 4 0 524105842 667103232 16310 33554432000 4194304 4797429 140735246442544 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.93
Current children cumulated vsize (KiB) 651468

[startup+282.301 s]

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

[pid=9843] ppid=9841 vsize=673492 CPUtime=2804.55 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 139203 0 0 0 280407 48 0 0 25 0 4 0 524105841 689655808 24155 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 168373 24155 421 148 0 163302 0
[pid=9843/tid=9845] ppid=9841 vsize=673492 CPUtime=702.28 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 20973 0 0 0 70221 7 0 0 25 0 4 0 524105842 689655808 24155 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=673492 CPUtime=702.06 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 20475 0 0 0 70199 7 0 0 25 0 4 0 524105842 689655808 24155 33554432000 4194304 4797429 140735246442544 18446744073709551615 4426352 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=673492 CPUtime=702.29 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 18846 0 0 0 70223 6 0 0 25 0 4 0 524105842 689655808 24155 33554432000 4194304 4797429 140735246442544 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.55
Current children cumulated vsize (KiB) 673492

[startup+762.307 s]
/proc/loadavg: 8.11 8.13 8.05 10/184 9909
/proc/meminfo: memFree=19681776/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=675844 CPUtime=3044.25 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 145110 0 0 0 304374 51 0 0 25 0 4 0 524105841 692064256 26256 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 168961 26256 421 148 0 163890 0
[pid=9843/tid=9845] ppid=9841 vsize=675844 CPUtime=762.29 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 21613 0 0 0 76222 7 0 0 25 0 4 0 524105842 692064256 26256 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=675844 CPUtime=762.07 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 21042 0 0 0 76199 8 0 0 25 0 4 0 524105842 692064256 26256 33554432000 4194304 4797429 140735246442544 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=675844 CPUtime=762.3 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 19480 0 0 0 76223 7 0 0 25 0 4 0 524105842 692064256 26256 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.25
Current children cumulated vsize (KiB) 675844

[startup+822.301 s]
/proc/loadavg: 8.10 8.13 8.05 10/184 9911
/proc/meminfo: memFree=19671704/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=678272 CPUtime=3283.91 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 152815 0 0 0 328335 56 0 0 25 0 4 0 524105841 694550528 26566 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 169568 26566 421 148 0 164497 0
[pid=9843/tid=9845] ppid=9841 vsize=678272 CPUtime=822.28 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 22726 0 0 0 82220 8 0 0 25 0 4 0 524105842 694550528 26566 33554432000 4194304 4797429 140735246442544 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=678272 CPUtime=822.06 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 22045 0 0 0 82198 8 0 0 25 0 4 0 524105842 694550528 26566 33554432000 4194304 4797429 140735246442544 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=678272 CPUtime=822.29 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 20688 0 0 0 82221 8 0 0 25 0 4 0 524105842 694550528 26566 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.91
Current children cumulated vsize (KiB) 678272

[startup+882.3 s]
/proc/loadavg: 8.04 8.11 8.05 10/184 9912
/proc/meminfo: memFree=19673520/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=679848 CPUtime=3523.57 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 160000 0 0 0 352299 58 0 0 25 0 4 0 524105841 696164352 26368 33554432000 4194304 4797429 140735246442544 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 169962 26368 421 148 0 164891 0
[pid=9843/tid=9845] ppid=9841 vsize=679848 CPUtime=882.29 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 23671 0 0 0 88220 9 0 0 25 0 4 0 524105842 696164352 26368 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=679848 CPUtime=882.05 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 23039 0 0 0 88197 8 0 0 25 0 4 0 524105842 696164352 26368 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=679848 CPUtime=882.29 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 21647 0 0 0 88221 8 0 0 25 0 4 0 524105842 696164352 26368 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.57
Current children cumulated vsize (KiB) 679848

[startup+942.301 s]
/proc/loadavg: 8.08 8.10 8.05 10/184 9914
/proc/meminfo: memFree=19656356/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=680032 CPUtime=3763.25 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 166403 0 0 0 376262 63 0 0 25 0 4 0 524105841 696352768 27529 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 170008 27529 421 148 0 164937 0
[pid=9843/tid=9845] ppid=9841 vsize=680032 CPUtime=942.28 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 24856 0 0 0 94219 9 0 0 25 0 4 0 524105842 696352768 27529 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=680032 CPUtime=942.06 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 24046 0 0 0 94197 9 0 0 25 0 4 0 524105842 696352768 27529 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=680032 CPUtime=942.29 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 22623 0 0 0 94220 9 0 0 25 0 4 0 524105842 696352768 27529 33554432000 4194304 4797429 140735246442544 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.25
Current children cumulated vsize (KiB) 680032

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 8.05 10/184 9915
/proc/meminfo: memFree=19651972/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=682260 CPUtime=4002.93 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 172220 0 0 0 400227 66 0 0 25 0 4 0 524105841 698634240 29033 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 170565 29033 421 148 0 165494 0
[pid=9843/tid=9845] ppid=9841 vsize=682260 CPUtime=1002.29 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 25371 0 0 0 100219 10 0 0 25 0 4 0 524105842 698634240 29033 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=682260 CPUtime=1002.06 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 24590 0 0 0 100196 10 0 0 25 0 4 0 524105842 698634240 29033 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=682260 CPUtime=1002.29 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 23348 0 0 0 100220 9 0 0 25 0 4 0 524105842 698634240 29033 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.93
Current children cumulated vsize (KiB) 682260

[startup+1062.3 s]
/proc/loadavg: 8.10 8.09 8.05 10/184 9917
/proc/meminfo: memFree=19650280/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=684608 CPUtime=4242.6 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 177836 0 0 0 424192 68 0 0 25 0 4 0 524105841 701038592 28898 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 171152 28898 422 148 0 166081 0
[pid=9843/tid=9845] ppid=9841 vsize=684608 CPUtime=1062.29 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 26368 0 0 0 106219 10 0 0 25 0 4 0 524105842 701038592 28898 33554432000 4194304 4797429 140735246442544 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=684608 CPUtime=1062.06 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 25637 0 0 0 106196 10 0 0 25 0 4 0 524105842 701038592 28898 33554432000 4194304 4797429 140735246442544 18446744073709551615 4523870 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=684608 CPUtime=1062.29 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 24481 0 0 0 106219 10 0 0 25 0 4 0 524105842 701038592 28898 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.6
Current children cumulated vsize (KiB) 684608

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 8.04 10/184 9919
/proc/meminfo: memFree=19646752/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=685244 CPUtime=4482.28 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 183688 0 0 0 448157 71 0 0 25 0 4 0 524105841 701689856 28768 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 171311 28768 422 148 0 166240 0
[pid=9843/tid=9845] ppid=9841 vsize=685244 CPUtime=1122.3 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 27241 0 0 0 112219 11 0 0 25 0 4 0 524105842 701689856 28768 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=685244 CPUtime=1122.06 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 26488 0 0 0 112195 11 0 0 25 0 4 0 524105842 701689856 28768 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=685244 CPUtime=1122.29 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 25534 0 0 0 112219 10 0 0 25 0 4 0 524105842 701689856 28768 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.28
Current children cumulated vsize (KiB) 685244

[startup+1182.3 s]
/proc/loadavg: 8.09 8.08 8.04 10/184 9920
/proc/meminfo: memFree=19630560/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=685312 CPUtime=4721.96 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 188104 0 0 0 472122 74 0 0 25 0 4 0 524105841 701759488 30700 33554432000 4194304 4797429 140735246442544 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 171328 30700 422 148 0 166257 0
[pid=9843/tid=9845] ppid=9841 vsize=685312 CPUtime=1182.3 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 27780 0 0 0 118219 11 0 0 25 0 4 0 524105842 701759488 30700 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=685312 CPUtime=1182.06 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 27071 0 0 0 118194 12 0 0 25 0 4 0 524105842 701759488 30700 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=685312 CPUtime=1182.29 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 25994 0 0 0 118219 10 0 0 25 0 4 0 524105842 701759488 30700 33554432000 4194304 4797429 140735246442544 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.96
Current children cumulated vsize (KiB) 685312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.06 8.08 8.04 9/184 9921
/proc/meminfo: memFree=19630312/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=687116 CPUtime=4800.27 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 190864 0 0 0 479952 75 0 0 25 0 4 0 524105841 703606784 31213 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 171779 31213 422 148 0 166708 0
[pid=9843/tid=9845] ppid=9841 vsize=687116 CPUtime=1201.9 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 27899 0 0 0 120179 11 0 0 25 0 4 0 524105842 703606784 31213 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=687116 CPUtime=1201.67 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 27191 0 0 0 120155 12 0 0 25 0 4 0 524105842 703606784 31213 33554432000 4194304 4797429 140735246442544 18446744073709551615 4515977 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=687116 CPUtime=1201.9 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 26374 0 0 0 120180 10 0 0 25 0 4 0 524105842 703606784 31213 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 687116

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

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

[startup+1201.9 s]
/proc/loadavg: 8.06 8.08 8.04 9/184 9921
/proc/meminfo: memFree=19630312/32950904 swapFree=67082284/67111528
[pid=9843] ppid=9841 vsize=687116 CPUtime=4800.27 cores=1,3,5,7
/proc/9843/stat : 9843 (techdemo) R 9841 9843 9708 0 -1 4202496 190864 0 0 0 479952 75 0 0 25 0 4 0 524105841 703606784 31213 33554432000 4194304 4797429 140735246442544 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9843/statm: 171779 31213 422 148 0 166708 0
[pid=9843/tid=9845] ppid=9841 vsize=687116 CPUtime=1201.9 cores=1,3,5,7
/proc/9843/task/9845/stat : 9845 (techdemo) R 9841 9843 9708 0 -1 4202560 27899 0 0 0 120179 11 0 0 25 0 4 0 524105842 703606784 31213 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9843/tid=9846] ppid=9841 vsize=687116 CPUtime=1201.67 cores=1,3,5,7
/proc/9843/task/9846/stat : 9846 (techdemo) R 9841 9843 9708 0 -1 4202560 27191 0 0 0 120155 12 0 0 25 0 4 0 524105842 703606784 31213 33554432000 4194304 4797429 140735246442544 18446744073709551615 4515977 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9843/tid=9847] ppid=9841 vsize=687116 CPUtime=1201.9 cores=1,3,5,7
/proc/9843/task/9847/stat : 9847 (techdemo) R 9841 9843 9708 0 -1 4202560 26374 0 0 0 120180 10 0 0 25 0 4 0 524105842 703606784 31213 33554432000 4194304 4797429 140735246442544 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 687116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.92
CPU time (s): 4800.31
CPU user time (s): 4799.55
CPU system time (s): 0.757884
CPU usage (%): 399.387
Max. virtual memory (cumulated for all children) (KiB): 794488

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

runsolver used 1.9947 second user time and 4.5783 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-30 02:57:41
IDJOB=3173030
IDBENCH=83048
IDSOLVER=1584
FILE ID=node121/3173030-1304125061
RUNJOBID= node121-1304123857-9727
PBS_JOBID= 13170754
Free space on /tmp= 72648 MiB

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

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

MD5SUM BENCH= a1e34b50698b079e87a3cad9c76615ca
RANDOM SEED=1308790221

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      19905928 kB
Buffers:       2185064 kB
Cached:       10298796 kB
SwapCached:       2776 kB
Active:        9149892 kB
Inactive:      3373960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19905928 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           15652 kB
Writeback:          28 kB
AnonPages:       37208 kB
Mapped:          14276 kB
Slab:           456616 kB
PageTables:       4520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   269924 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= 72640 MiB
End job on node121 at 2011-04-30 03:17:45