Trace number 3262725

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.32 1201.83

General information on the benchmark

NameSAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
MD5SUM98d6317b259165bb4fb7a39e783668e0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark118.001
Satisfiable
(Un)Satisfiability was proved
Number of variables7534
Number of clauses72812
Sum of the clauses size161368
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269406
Number of clauses of size 3128
Number of clauses of size 4291
Number of clauses of size 5538
Number of clauses of size over 52449

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-3262725-1304136203.cnf'
0.00/0.00	c -- header says num vars:           7534
0.00/0.00	c -- header says num clauses:       72812
0.00/0.10	c -- clauses added:            0 learnts,        72812 normals,            0 xors
0.00/0.10	c -- vars added       7534
0.00/0.10	c Parsing time:  0.09 s
0.09/0.10	c  N st     0         0      7534      3406     69406         0    161368         0   no data   no data  --
0.09/0.11	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.03
0.09/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   23 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  0.29
0.09/0.21	c Calc non-exist non-lernt bins v-fix:     0 done:   7534 time:  0.06 s
0.09/0.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.09/0.21	c Subs w/ non-existent bins:      0 time:  0.00 s
0.09/0.21	c Replacing       23 vars Replaced      690 lits Time:     0.02 s 
0.50/0.26	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.50/0.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
0.50/0.26	c Removed useless bin:      73  fixed:     0  bprops:   0.32M  time:  0.04 s
0.50/0.27	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.10 s
0.50/0.27	c learnt bin added due to v-elim: 0
0.50/0.27	c Finding binary XORs  T:     0.02 s  found:       0
0.50/0.27	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.50/0.27	c calculated reachability. Time: 0.00
0.50/0.29	c Calc default polars -  time:   0.01 s pos:    3817 undec:      25 neg:    3692
0.50/0.29	c =========================================================================================
0.50/0.29	c types(t): F = full restart, N = normal restart
0.50/0.29	c types(t): S = simplification begin/end, E = solution found
0.50/0.29	c restart types(rt): st = static, dy = dynamic
0.50/0.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.50/0.29	c  B st     0         0      7511      3406     69287         0    161130         0   no data   no data  --
0.50/0.60	c Decided on static restart strategy
0.50/0.90	c  N dy    20      4142      7511      3406     69287      4132    161130    430880     80.23     43.67  --
5.64/1.52	c  N dy    46      8221      7511      3406     69287      5710    161130    293589     80.43     40.97  --
8.44/2.20	c  N dy    73     12243      7511      3406     69287      5480    161130    154251     91.79     40.08  --
10.85/2.89	c  N dy    94     16394      7511      3406     69288      9615    161130    561271    108.64     41.19  --
13.63/3.59	c  N dy   120     20504      7511      3406     69288      8106    161130    248682     74.56     40.94  --
16.83/4.32	c  N dy   146     24520      7511      3406     69289     12108    161130    598254     90.58     40.81  --
19.64/5.05	c  N dy   169     28637      7511      3406     69289      9422    161130    308763     82.09     41.06  --
20.82/5.32	c  S st   177     30000      7511      3406     69289     10782    161130    407698     68.51     40.84  --
21.22/5.42	c  S st   177     30503      7511      3406     69302     11285    161130    442041     68.51     40.84  --
21.22/5.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
21.22/5.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.81/5.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      5 BRemL:      0 BRemN:      0 CBin:       0 P:  6.1M T:  1.68
22.81/5.86	c Calc non-exist non-lernt bins v-fix:     0 done:   7511 time:  0.05 s
22.81/5.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.81/5.86	c Subs w/ non-existent bins:      0 time:  0.02 s
22.81/5.89	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.42/7.25	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  5.43 s
28.42/7.26	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.03 s
32.82/8.36	c lits-rem:       167  cl-subs:      959  v-elim:     19  v-fix:    0  time:  4.38 s
32.82/8.36	c learnt bin added due to v-elim: 0
32.82/8.36	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
32.82/8.36	c vivif2 --  cl tried    10326 cl shrink        0 lits rem          0 time: 0.02
33.22/8.42	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.22
33.22/8.42	c calculated reachability. Time: 0.01
33.22/8.42	c  N dy   177     30503      7511      3406     69307     10326    161130    412904     68.51     40.84  --
33.22/8.42	c  F st   177     30503      7511      3406     69307     10326    161130    412904     68.51     40.84  --
34.80/8.80	c Decided on static restart strategy
36.00/9.18	c  N dy   194     34536      7511      3406     69307     14347    161130    828404    110.17     41.35  --
39.19/9.95	c  N dy   217     38693      7511      3406     69308     10610    161130    330200     94.86     41.48  --
42.39/10.71	c  N dy   244     42736      7511      3406     69309     14644    161130    688108     99.28     41.50  --
44.79/11.39	c  S st   263     45754      7511      3406     69309     17650    161130    957799     90.44     41.55  --
45.59/11.51	c  S st   263     46258      7511      3406     69309      9227    161130     88806     90.44     41.55  --
45.59/11.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
45.59/11.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.00/11.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      3 BRemL:      0 BRemN:      0 CBin:       0 P:  5.1M T:  0.66
46.00/11.70	c Calc non-exist non-lernt bins v-fix:     0 done:   7511 time:  0.06 s
46.00/11.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.00/11.70	c Subs w/ non-existent bins:      0 time:  0.01 s
46.40/11.71	c bin-w-bin subsume rem            0 bins  time:  0.01 s
46.40/11.77	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.26 s
46.40/11.78	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
46.78/11.83	c lits-rem:         3  cl-subs:      279  v-elim:     19  v-fix:    0  time:  0.20 s
46.78/11.83	c learnt bin added due to v-elim: 0
46.78/11.83	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
46.78/11.83	c vivif2 --  cl tried     8946 cl shrink        0 lits rem          0 time: 0.01
46.78/11.85	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.06
46.78/11.85	c calculated reachability. Time: 0.01
46.78/11.85	c  N dy   263     46258      7511      3406     69312      8946    161130     86411     90.44     41.55  --
49.98/12.60	c  N dy   287     50426      7511      3406     69312     13104    161130    458157     86.02     41.54  --
53.17/13.41	c  N dy   311     54481      7511      3406     69312     17153    161130    816874     80.27     41.50  --
56.37/14.25	c  N dy   336     58513      7511      3406     69316     11231    161130    194214     94.26     41.64  --
59.58/15.06	c  N dy   362     62610      7511      3406     69316     15322    161130    597719    101.88     41.83  --
62.76/15.87	c  N dy   385     66625      7511      3406     69316     19332    161130    992950     93.44     42.02  --
65.15/16.49	c  S st   402     69387      7511      3406     69316     11118    161130    100952     93.03     42.05  --
65.55/16.59	c  S st   402     69888      7511      3406     69316     11618    161130    133385     93.03     42.05  --
65.55/16.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
65.55/16.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.75/16.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P:  6.4M T:  0.86
66.75/16.82	c Calc non-exist non-lernt bins v-fix:     0 done:   7511 time:  0.06 s
66.75/16.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.75/16.83	c Subs w/ non-existent bins:      0 time:  0.01 s
66.75/16.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
67.55/17.02	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.74 s
67.55/17.03	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
67.96/17.19	c ORs :  22556 avg-s:  6.2 cl-sh:   250 l-rem:    560 b-add:      1 v-rep:   0 cl-rem: 4 avg s: 4.0 T:    0.20
72.35/18.25	c Added 0 vars  tried: 80000 time: 4.20
72.35/18.25	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:    4.20
72.35/18.26	c lits-rem:        19  cl-subs:      362  v-elim:     19  v-fix:    0  time:  4.91 s
72.35/18.26	c learnt bin added due to v-elim: 0
72.35/18.26	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
72.35/18.27	c vivif2 --  cl tried    11248 cl shrink       40 lits rem         71 time: 0.02
72.35/18.29	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.08
72.35/18.29	c calculated reachability. Time: 0.01
72.35/18.29	c  N dy   402     69888      7511      3406     69318     11248    161130    129409     93.03     42.05  --
72.35/18.29	c  F st   402     69888      7511      3406     69318     11248    161130    129409     93.03     42.05  --
74.74/18.85	c Decided on static restart strategy
77.15/19.48	c  N dy   422     74398      7511      3406     69320     15751    161130    592985     98.62     42.25  --
82.33/20.78	c  N dy   454     79253      7511      3406     69320     20597    161130   1059983     92.04     42.36  --
88.32/22.26	c  N dy   486     84392      7511      3406     69320     13748    161130    269497     89.17     42.47  --
94.33/23.70	c  N dy   520     89908      7511      3406     69320     19251    161130    790476    100.69     42.50  --
101.10/25.46	c  N dy   556     95754      7511      3406     69320     25085    161130   1392090    112.72     42.73  --
107.92/27.18	c  N dy   593    101915      7511      3406     69320     18262    161130    637776    112.83     42.89  --
111.49/28.10	c  S st   613    104832      7511      3406     69320     21171    161130    961863    132.94     43.05  --
112.31/28.25	c  S st   613    105335      7511      3406     69320     21674    161130   1000694    132.94     43.05  --
112.31/28.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
112.31/28.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.88/29.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.2M T:  3.59
115.88/29.17	c Calc non-exist non-lernt bins v-fix:     0 done:   7511 time:  0.05 s
115.88/29.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.88/29.18	c Subs w/ non-existent bins:      0 time:  0.04 s
116.30/29.21	c bin-w-bin subsume rem            1 bins  time:  0.02 s
121.47/30.59	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  5.51 s
121.87/30.60	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
129.06/32.44	c ORs :  22556 avg-s:  6.2 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.99
129.06/32.46	c lits-rem:       128  cl-subs:     1087  v-elim:     19  v-fix:    0  time:  7.42 s
129.06/32.46	c learnt bin added due to v-elim: 0
129.06/32.46	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
129.06/32.47	c vivif2 --  cl tried    20585 cl shrink        0 lits rem          0 time: 0.06
129.48/32.58	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.42
129.48/32.59	c calculated reachability. Time: 0.01
129.48/32.59	c  N dy   613    105335      7511      3406     69319     20585    161130    940040    132.94     43.05  --
137.85/34.67	c  N dy   653    112192      7511      3406     69319     27430    161130   1688156    122.30     43.31  --
145.84/36.61	c  N dy   698    119389      7511      3406     69319     20645    161130    742631    103.62     43.33  --
155.02/38.94	c  N dy   747    127094      7511      3406     69319     28329    161130   1543732    110.33     43.52  --
164.63/41.30	c  N dy   795    135281      7511      3406     69319     21532    161130    810542     97.44     43.73  --
175.40/44.08	c  N dy   848    144037      7511      3406     69319     30272    161130   1741382     96.43     43.94  --
186.18/46.75	c  N dy   903    153297      7513      3406     69323     23541    161138    963267    137.32     44.13  --
192.17/48.25	c  S st   930    158004      7513      3406     69323     28246    161138   1464048    114.89     44.23  --
192.97/48.43	c  S st   930    158504      7513      3406     69323     28745    161138   1493790    114.89     44.23  --
192.97/48.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
192.97/48.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
198.57/49.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      7 BRemL:      0 BRemN:      0 CBin:       0 P: 20.0M T:  5.61
198.57/49.86	c Calc non-exist non-lernt bins v-fix:     0 done:   7513 time:  0.06 s
198.57/49.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
198.57/49.87	c Subs w/ non-existent bins:      0 time:  0.06 s
198.96/49.92	c bin-w-bin subsume rem            0 bins  time:  0.02 s
204.58/51.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.60 s
204.58/51.33	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
216.13/54.27	c ORs :  22556 avg-s:  6.2 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 10.0 T:    3.29
216.13/54.29	c lits-rem:       156  cl-subs:     1463  v-elim:     19  v-fix:    0  time: 11.82 s
216.13/54.29	c learnt bin added due to v-elim: 0
216.13/54.29	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
216.53/54.31	c vivif2 --  cl tried    27281 cl shrink        0 lits rem          0 time: 0.08
216.93/54.48	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.66
216.93/54.48	c calculated reachability. Time: 0.01
216.93/54.48	c  N dy   930    158504      7513      3406     69330     27281    161138   1370145    114.89     44.23  --
230.12/57.70	c  N dy   994    168635      7513      3406     69330     20430    161138    487364     93.44     44.40  --
243.30/61.01	c  N dy  1061    179443      7513      3406     69330     31221    161138   1533446    102.94     44.39  --
257.67/64.60	c  N dy  1132    190949      7513      3406     69331     24739    161138    824295     91.86     44.51  --
273.25/68.54	c  N dy  1205    203283      7513      3406     69331     37041    161138   2106730    101.36     44.60  --
288.83/72.44	c  N dy  1282    216259      7513      3406     69331     31026    161138   1419949    110.73     44.79  --
307.20/77.04	c  N dy  1369    230257      7513      3406     69331     25045    161138    667724    114.39     44.89  --
317.20/79.51	c  S st  1413    237757      7513      3406     69331     32533    161138   1449913    115.09     44.93  --
317.60/79.69	c  S st  1413    238260      7513      3406     69332     33036    161138   1485851    115.09     44.93  --
318.00/79.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
318.00/79.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
323.99/81.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 27.0M T:  6.34
324.39/81.30	c Calc non-exist non-lernt bins v-fix:     0 done:   7513 time:  0.06 s
324.39/81.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
324.39/81.32	c Subs w/ non-existent bins:      0 time:  0.07 s
324.39/81.37	c bin-w-bin subsume rem            0 bins  time:  0.02 s
329.98/82.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.59 s
329.98/82.78	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
341.16/85.58	c ORs :  22556 avg-s:  6.2 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 8.0 T:    3.12
341.56/85.60	c lits-rem:       177  cl-subs:     1575  v-elim:     19  v-fix:    0  time: 11.29 s
341.56/85.60	c learnt bin added due to v-elim: 0
341.56/85.60	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
341.56/85.63	c vivif2 --  cl tried    31460 cl shrink        0 lits rem          0 time: 0.08
341.96/85.78	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.62
341.96/85.79	c calculated reachability. Time: 0.01
341.96/85.79	c  N dy  1413    238260      7513      3406     69332     31460    161138   1398611    115.09     44.93  --
362.36/90.88	c  N dy  1506    253523      7513      3406     69332     25723    161138    661827    113.81     45.03  --
383.91/96.25	c  N dy  1612    269780      7513      3406     69332     41944    161138   2319502    106.94     45.12  --
406.70/101.92	c  N dy  1720    287038      7513      3406     69332     37219    161138   1841456     79.71     45.31  --
431.43/108.18	c  N dy  1832    305475      7513      3406     69332     32663    161138   1228415    111.50     45.47  --
459.80/115.21	c  N dy  1953    325377      7513      3406     69332     28578    161138    654200    109.30     45.60  --
488.56/122.41	c  N dy  2072    345411      7513      3406     69332     48571    161138   2762220    123.17     45.69  --
504.53/126.48	c  S st  2149    357390      7513      3406     69332     35569    161138   1372829    112.91     45.79  --
505.33/126.66	c  S st  2149    357891      7513      3406     69332     36070    161138   1408297    112.91     45.79  --
505.33/126.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
505.33/126.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
512.15/128.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.6M T:  6.80
512.15/128.39	c Calc non-exist non-lernt bins v-fix:     0 done:   7513 time:  0.06 s
512.15/128.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
512.52/128.40	c Subs w/ non-existent bins:      0 time:  0.06 s
512.52/128.45	c bin-w-bin subsume rem            0 bins  time:  0.02 s
518.12/129.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.56 s
518.12/129.85	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
528.91/132.51	c ORs :  22556 avg-s:  6.2 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    2.84
534.89/134.10	c Added 1 vars  tried: 80000 time: 6.33
535.29/134.10	c ORs :      1 avg-s:  0.0 cl-sh:   161 l-rem:    161 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    6.33
535.29/134.12	c lits-rem:       130  cl-subs:     1594  v-elim:     19  v-fix:    0  time: 17.07 s
535.29/134.12	c learnt bin added due to v-elim: 0
535.29/134.12	c vivif2 --  cl tried     3407 cl shrink        0 lits rem          0 time: 0.00
535.29/134.14	c vivif2 --  cl tried    34476 cl shrink        0 lits rem          0 time: 0.08
535.69/134.29	c asymm  cl-useful: 0/3407/3407 lits-rem:0 time: 0.57
535.69/134.29	c calculated reachability. Time: 0.01
535.69/134.29	c  N dy  2149    357891      7514      3407     69334     34476    161145   1311502    112.91     45.79  --
564.48/141.49	c  N dy  2274    378003      7514      3407     69334     28603    161145    477024    109.35     45.88  --
593.21/148.69	c  N dy  2400    398197      7514      3407     69334     48749    161145   2718665    150.07     46.03  --
621.99/155.86	c  N dy  2518    418247      7514      3407     69334     41830    161145   1870914     97.63     46.16  --
653.13/163.65	c  N dy  2643    438354      7514      3407     69334     33948    161145    872133    110.41     46.30  --
682.29/170.96	c  N dy  2765    458508      7514      3407     69334     54073    161145   3107098    110.39     46.42  --
711.05/178.14	c  N dy  2881    478625      7514      3407     69334     45197    161145   2134669    116.59     46.55  --
741.80/185.89	c  N dy  3005    498657      7514      3407     69334     35245    161145    817012     96.09     46.63  --
772.17/193.42	c  N dy  3130    518686      7514      3407     69334     55242    161145   3002860    126.93     46.70  --
800.13/200.42	c  S st  3242    536837      7514      3407     69334     42402    161145   1538078    141.06     46.79  --
800.93/200.63	c  S st  3242    537343      7514      3407     69334     42908    161145   1581881    141.06     46.79  --
800.93/200.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
800.93/200.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
810.11/202.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 50.7M T:  9.27
810.11/202.97	c Calc non-exist non-lernt bins v-fix:     0 done:   7514 time:  0.06 s
810.11/202.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
810.11/202.99	c Subs w/ non-existent bins:      0 time:  0.08 s
810.53/203.05	c bin-w-bin subsume rem            0 bins  time:  0.02 s
816.10/204.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.68 s
816.10/204.48	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
829.28/207.72	c ORs :  22557 avg-s:  6.1 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    3.27
829.28/207.75	c lits-rem:       187  cl-subs:     1822  v-elim:     19  v-fix:    0  time: 13.06 s
829.28/207.75	c learnt bin added due to v-elim: 0
829.28/207.75	c vivif2 --  cl tried     3407 cl shrink        0 lits rem          0 time: 0.00
829.28/207.77	c vivif2 --  cl tried    41086 cl shrink        0 lits rem          0 time: 0.10
830.48/208.08	c asymm  cl-useful: 0/3211/3407 lits-rem:0 time: 1.26
830.48/208.09	c calculated reachability. Time: 0.01
830.48/208.09	c  N dy  3242    537343      7514      3407     69334     41086    161145   1478640    141.06     46.79  --
830.48/208.09	c  F st  3242    537343      7514      3407     69334     41086    161145   1478640    141.06     46.79  --
834.08/208.95	c Decided on static restart strategy
862.44/216.08	c  N dy  3358    557459      7514      3407     69334     61154    161145   3798522    114.39     46.90  --
892.00/223.41	c  N dy  3481    577493      7514      3407     69334     49215    161145   2183421    117.55     46.99  --
925.17/231.74	c  N dy  3600    597588      7514      3407     69334     36347    161145    628741    107.69     47.05  --
956.71/239.64	c  N dy  3727    617931      7514      3407     69334     56650    161145   2928917    118.64     47.15  --
989.47/247.86	c  N dy  3849    638028      7514      3407     69334     42774    161145   1250159    108.61     47.21  --
1023.42/256.35	c  N dy  3963    658159      7514      3407     69334     62864    161145   3726299    133.33     47.33  --
1054.98/264.28	c  N dy  4087    678188      7514      3407     69334     47929    161145   1766201    106.44     47.41  --
1088.93/272.76	c  N dy  4208    698333      7514      3407     69334     68036    161145   4137167    125.89     47.52  --
1120.09/280.52	c  N dy  4333    718386      7514      3407     69334     52110    161145   2058352    104.20     47.57  --
1156.04/289.54	c  N dy  4460    738493      7514      3407     69334     72167    161145   4402766    115.24     47.65  --
1187.20/297.36	c  N dy  4583    758560      7514      3407     69334     55275    161145   2325686    113.61     47.70  --
1224.34/306.66	c  N dy  4709    778669      7514      3407     69334     75345    161145   4610932    122.20     47.77  --
1255.10/314.38	c  N dy  4835    798673      7514      3407     69334     57390    161145   2386254    118.04     47.78  --
1268.68/317.76	c  S st  4882    806015      7514      3407     69334     64719    161145   3210572    119.87     47.80  --
1269.89/318.02	c  S st  4882    806517      7514      3407     69334     65221    161145   3252296    119.87     47.80  --
1269.89/318.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1269.89/318.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1283.46/321.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 13.78
1283.46/321.49	c Calc non-exist non-lernt bins v-fix:     0 done:   7514 time:  0.06 s
1283.46/321.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1283.86/321.53	c Subs w/ non-existent bins:      0 time:  0.15 s
1284.26/321.64	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1289.88/323.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.81 s
1290.25/323.10	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
1318.62/330.22	c ORs :  22557 avg-s:  6.1 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 7.0 T:    7.63
1334.19/334.11	c Added 43 vars  tried: 80000 time: 15.50
1334.19/334.14	c ORs :     43 avg-s:  0.0 cl-sh:  4983 l-rem:   4983 b-add:     86 v-rep:   0 cl-rem: 4 avg s: 6.8 T:   15.63
1334.59/334.20	c lits-rem:        30  cl-subs:     3186  v-elim:     19  v-fix:    0  time: 44.30 s
1334.59/334.20	c learnt bin added due to v-elim: 0
1334.59/334.20	c vivif2 --  cl tried     3450 cl shrink        0 lits rem          0 time: 0.00
1334.59/334.25	c vivif2 --  cl tried    62030 cl shrink        0 lits rem          0 time: 0.19
1335.79/334.59	c asymm  cl-useful: 0/2279/3450 lits-rem:0 time: 1.36
1335.79/334.59	c calculated reachability. Time: 0.01
1335.79/334.59	c  N dy  4882    806517      7557      3450     69420     62030    161428   3036649    119.87     47.80  --
1370.94/343.38	c  N dy  5025    826562      7557      3450     69434     43097    161428    878890    148.72     48.09  --
1406.49/352.30	c  N dy  5156    846617      7557      3450     69438     63093    161428   4244810    160.01     48.59  --
1447.65/362.55	c  N dy  5280    866688      7557      3450     69438     43211    161428    926940    177.97     49.15  --
1484.79/371.83	c  N dy  5416    886746      7557      3450     69439     63217    161428   4363661    216.81     49.63  --
1524.73/381.82	c  N dy  5527    906833      7557      3450     69503     42365    161428    526508    153.67     49.99  --
1559.08/390.45	c  N dy  5655    926844      7557      3450     69503     62326    161428   3888672    180.47     50.31  --
1598.23/400.28	c  N dy  5788    946963      7557      3450     69503     82379    161428   7259512    164.84     50.72  --
1633.78/409.19	c  N dy  5920    967025      7557      3450     69503     60504    161428   3467591    144.31     51.09  --
1674.93/419.42	c  N dy  6042    987089      7557      3450     69503     80514    161428   7116208    189.50     51.51  --
1712.87/428.96	c  N dy  6163   1007199      7557      3450     69503     57686    161428   3057156    200.38     51.90  --
1752.82/438.97	c  N dy  6291   1027237      7557      3450     69503     77684    161428   6544279    175.92     52.24  --
1791.56/448.65	c  N dy  6422   1047276      7557      3450     69503     53779    161428   1941213    135.22     52.57  --
1829.52/458.12	c  N dy  6546   1067283      7557      3450     69503     73732    161428   5533360    174.83     52.92  --
1869.88/468.20	c  N dy  6675   1087316      7557      3450     69503     48822    161428    990653    159.31     53.31  --
1906.60/477.43	c  N dy  6793   1107459      7557      3450     69503     68930    161428   4646568    177.95     53.64  --
1949.74/488.28	c  N dy  6916   1127529      7557      3450     69503     88949    161428   8376519    196.35     54.03  --
1989.69/498.23	c  N dy  7025   1147612      7557      3450     69503     63112    161428   3764352    196.67     54.37  --
2033.23/509.17	c  N dy  7132   1167666      7557      3450     69503     83123    161428   7716485    186.39     54.72  --
2075.58/519.76	c  N dy  7253   1187724      7557      3450     69503     56229    161428   1975693    211.98     55.01  --
2115.12/529.70	c  N dy  7379   1207754      7557      3450     69503     76203    161428   5436264    159.02     55.27  --
2121.11/531.10	c  S st  7394   1209775      7557      3450     69503     78222    161428   5763742    164.53     55.30  --
2121.91/531.37	c  S st  7394   1210278      7557      3450     69503     78725    161428   5807642    164.53     55.30  --
2121.91/531.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2121.91/531.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2139.09/535.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 16.92
2139.09/535.63	c Calc non-exist non-lernt bins v-fix:     0 done:   7557 time:  0.06 s
2139.09/535.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2139.49/535.70	c Subs w/ non-existent bins:      0 time:  0.27 s
2139.89/535.88	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2145.88/537.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.91 s
2145.88/537.37	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
2394.34/599.59	c ORs :  22538 avg-s:  6.1 cl-sh:   107 l-rem:    107 b-add:      1 v-rep:   0 cl-rem: 3 avg s: 8.0 T:    9.15
2415.91/604.96	c Added 51 vars  tried: 80000 time: 21.42
2416.71/605.16	c ORs :     51 avg-s:  0.0 cl-sh: 16946 l-rem:  16946 b-add:    102 v-rep:   0 cl-rem: 0 avg s: nan T:   22.22
2417.11/605.24	c lits-rem:        45  cl-subs:     7499  v-elim:     19  v-fix:    0  time: 271.07 s
2417.11/605.24	c learnt bin added due to v-elim: 0
2417.11/605.24	c vivif2 --  cl tried     3501 cl shrink        0 lits rem          0 time: 0.00
2417.51/605.32	c vivif2 --  cl tried    71222 cl shrink       57 lits rem         82 time: 0.32
2417.91/605.44	c asymm  cl-useful: 0/1222/3501 lits-rem:0 time: 0.48
2417.91/605.45	c calculated reachability. Time: 0.01
2417.91/605.45	c  N dy  7394   1210278      7608      3501     69606     71222    161783   4876097    164.53     55.30  --
2461.05/616.24	c  N dy  7512   1230384      7608      3501     69606     91275    161783   8649356    227.83     55.58  --
2501.39/626.37	c  N dy  7634   1250562      7608      3501     69614     63528    161783   3319667    196.75     55.86  --
2545.34/637.37	c  N dy  7741   1270666      7608      3501     69614     83596    161783   7275064    206.97     56.17  --
2589.27/648.38	c  N dy  7850   1290783      7608      3501     69614     54790    161783   1496308    186.95     56.47  --
2631.21/658.87	c  N dy  7953   1310830      7608      3501     69614     74795    161783   5433734    152.65     56.76  --
2678.36/670.61	c  N dy  8068   1330940      7608      3501     69614     94864    161783   9273318    171.22     57.01  --
2720.69/681.27	c  N dy  8185   1350989      7608      3501     69614     64987    161783   3077430    153.99     57.25  --
2765.03/692.38	c  N dy  8310   1371047      7608      3501     69614     85003    161783   6713325    203.43     57.49  --
2808.17/703.13	c  N dy  8441   1391114      7608      3501     69614     54139    161783    816511    135.52     57.71  --
2844.93/712.40	c  N dy  8570   1411151      7608      3501     69614     74138    161783   4265176    186.67     57.93  --
2890.06/723.66	c  N dy  8683   1431272      7608      3501     69614     94215    161783   8212030    192.78     58.17  --
2933.99/734.65	c  N dy  8788   1451354      7608      3501     69614     62358    161783   2466063    211.16     58.40  --
2977.93/745.66	c  N dy  8901   1471414      7608      3501     69614     82378    161783   6356306    222.35     58.60  --
3025.09/757.49	c  N dy  9028   1491537      7608      3501     69614    102447    161783   9913037    202.79     58.81  --
3067.41/768.02	c  N dy  9150   1511665      7608      3501     69614     69647    161783   3471167    182.91     58.99  --
3115.74/780.19	c  N dy  9255   1532001      7608      3501     69614     89928    161783   7680123    242.66     59.21  --
3165.28/792.52	c  N dy  9382   1552202      7608      3501     69614     56200    161783    839856    212.57     59.45  --
3204.82/802.41	c  N dy  9509   1572250      7608      3501     69614     76196    161783   4540951    213.66     59.67  --
3249.58/813.64	c  N dy  9625   1592364      7608      3501     69614     96261    161783   8461468    209.08     59.90  --
3295.89/825.21	c  N dy  9740   1612369      7608      3501     69614     61351    161783   1603665    173.59     60.11  --
3340.64/836.41	c  N dy  9857   1632931      7608      3501     69614     81867    161783   5697394    245.73     60.32  --
3389.79/848.75	c  N dy  9976   1653005      7608      3501     69614    101891    161783   9592442    239.78     60.52  --
3437.71/860.71	c  N dy 10086   1673039      7608      3501     69614     66016    161783   2304372    209.32     60.71  --
3484.84/872.50	c  N dy 10188   1693190      7608      3501     69614     86122    161783   6413295    189.51     60.92  --
3531.18/884.10	c  S st 10295   1710278      7608      3501     69614    103155    161783   9707244    201.03     61.11  --
3532.38/884.44	c  S st 10295   1710778      7608      3501     69614    103655    161783   9737343    201.03     61.11  --
3532.38/884.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3532.38/884.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3553.14/889.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 20.85
3553.54/889.70	c Calc non-exist non-lernt bins v-fix:     0 done:   7608 time:  0.06 s
3553.54/889.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3553.94/889.81	c Subs w/ non-existent bins:      0 time:  0.45 s
3555.14/890.12	c bin-w-bin subsume rem            1 bins  time:  0.02 s
3561.15/891.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.98 s
3561.15/891.62	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.04 s
4241.01/1061.87	c ORs :  22582 avg-s:  6.1 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 9.0 T:   18.68
4277.77/1071.01	c Added 51 vars  tried: 80000 time: 36.51
4278.95/1071.31	c ORs :     51 avg-s:  0.0 cl-sh: 20720 l-rem:  20720 b-add:    102 v-rep:   0 cl-rem: 1 avg s: 8.0 T:   37.70
4279.35/1071.43	c lits-rem:        59  cl-subs:    11010  v-elim:     24  v-fix:    0  time: 718.20 s
4279.35/1071.43	c learnt bin added due to v-elim: 0
4279.35/1071.43	c vivif2 --  cl tried     3552 cl shrink        0 lits rem          0 time: 0.00
4279.75/1071.56	c vivif2 --  cl tried    92643 cl shrink        8 lits rem         13 time: 0.51
4280.95/1071.87	c asymm  cl-useful: 0/3552/3552 lits-rem:0 time: 1.26
4280.95/1071.88	c calculated reachability. Time: 0.01
4280.95/1071.88	c  N dy 10295   1710778      7659      3552     69715     92643    162137   8147498    201.03     61.11  --
4332.48/1084.70	c  N dy 10386   1731234      7659      3552     69718    113036    162137  12026043    224.05     61.22  --
4376.42/1095.74	c  N dy 10486   1751390      7659      3552     69718     76310    162137   3935097    169.66     61.32  --
4425.55/1108.04	c  N dy 10587   1771489      7659      3552     69718     96364    162137   7526840    196.39     61.44  --
4478.68/1121.39	c  N dy 10661   1791827      7659      3552     69730     58806    162137    648130    206.25     61.59  --
4530.21/1134.20	c  N dy 10710   1812073      7659      3552     69730     79004    162137   5748235    232.85     61.80  --
4581.74/1147.18	c  N dy 10796   1832171      7659      3552     69730     99062    162137   9943859    204.03     61.97  --
4636.47/1160.83	c  N dy 10885   1852259      7659      3552     69730     60235    162137    695984    178.19     62.08  --
4678.80/1171.47	c  N dy 10998   1872336      7659      3552     69730     80269    162137   4077220    156.58     62.16  --
4729.14/1184.07	c  N dy 11112   1892486      7660      3552     69736    100378    162141   7644663    182.20     62.25  --
4783.08/1197.56	c  N dy 11194   1912615      7660      3552     69736     60604    162141    596307    170.41     62.34  --

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-3262725-1304136203/watcher-3262725-1304136203 -o /tmp/evaluation-result-3262725-1304136203/solver-3262725-1304136203 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262725-1304136203.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: 6.83 7.76 7.28 2/172 3435
/proc/meminfo: memFree=30888916/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=23908 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 1202 0 0 0 0 0 0 0 20 0 1 0 525218253 24481792 1141 33554432000 4194304 4797429 140733508259072 18446744073709551615 228244046032 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3435/statm: 5977 1146 341 148 0 906 0

[startup+0.104866 s]
/proc/loadavg: 6.83 7.76 7.28 2/172 3435
/proc/meminfo: memFree=30888916/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=98124 CPUtime=0.09 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 5568 0 0 0 9 0 0 0 21 0 4 0 525218253 100478976 5018 33554432000 4194304 4797429 140733508259072 18446744073709551615 47349975369648 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 24531 5018 362 148 0 19460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98124

[startup+0.213202 s]
/proc/loadavg: 6.83 7.76 7.28 2/172 3435
/proc/meminfo: memFree=30888916/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=755812 CPUtime=0.5 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 6973 0 0 0 48 2 0 0 18 0 4 0 525218253 773951488 6295 33554432000 4194304 4797429 140733508259072 18446744073709551615 228244453870 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 188986 6314 391 148 0 183915 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 755812

[startup+0.976128 s]
/proc/loadavg: 6.83 7.76 7.28 2/172 3435
/proc/meminfo: memFree=30888916/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=758444 CPUtime=3.55 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 9702 0 0 0 352 3 0 0 19 0 4 0 525218253 776646656 9000 33554432000 4194304 4797429 140733508259072 18446744073709551615 228244045502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 189611 9001 412 148 0 184540 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 758444

[startup+1.00062 s]
/proc/loadavg: 6.83 7.76 7.28 2/172 3435
/proc/meminfo: memFree=30888916/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=758628 CPUtime=3.65 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 9872 0 0 0 362 3 0 0 18 0 4 0 525218253 776835072 8700 33554432000 4194304 4797429 140733508259072 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 189657 8700 412 148 0 184586 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 758628

[startup+1.50053 s]
/proc/loadavg: 6.83 7.76 7.28 2/172 3435
/proc/meminfo: memFree=30888916/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=760184 CPUtime=5.64 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 11595 0 0 0 561 3 0 0 18 0 4 0 525218253 778428416 8882 33554432000 4194304 4797429 140733508259072 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 190046 8882 413 148 0 184975 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 760184

[startup+3.10025 s]
/proc/loadavg: 6.83 7.76 7.28 9/184 3447
/proc/meminfo: memFree=30789556/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=764520 CPUtime=12.03 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 15536 0 0 0 1198 5 0 0 21 0 4 0 525218253 782868480 12262 33554432000 4194304 4797429 140733508259072 18446744073709551615 4425828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 191130 12262 416 148 0 186059 0
[pid=3435/tid=3442] ppid=3433 vsize=764520 CPUtime=2.98 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 2175 0 0 0 297 1 0 0 24 0 4 0 525218263 782868480 12262 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=764520 CPUtime=2.98 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 2459 0 0 0 298 0 0 0 24 0 4 0 525218263 782868480 12262 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=764520 CPUtime=2.97 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 2655 0 0 0 296 1 0 0 25 0 4 0 525218263 782868480 12262 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520035 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 764520

[startup+6.30069 s]
/proc/loadavg: 6.92 7.76 7.28 9/184 3447
/proc/meminfo: memFree=30771212/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=767060 CPUtime=24.81 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 21970 0 0 0 2474 7 0 0 25 0 4 0 525218253 785469440 15272 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520385 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 191765 15272 421 148 0 186694 0
[pid=3435/tid=3442] ppid=3433 vsize=767060 CPUtime=6.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 3663 0 0 0 616 1 0 0 25 0 4 0 525218263 785469440 15272 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=767060 CPUtime=6.18 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 3911 0 0 0 618 0 0 0 25 0 4 0 525218263 785469440 15272 33554432000 4194304 4797429 140733508259072 18446744073709551615 4352400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=767060 CPUtime=6.15 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 4102 0 0 0 614 1 0 0 25 0 4 0 525218263 785469440 15272 33554432000 4194304 4797429 140733508259072 18446744073709551615 4424194 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.81
Current children cumulated vsize (KiB) 767060

[startup+12.7006 s]
/proc/loadavg: 7.09 7.78 7.29 9/184 3447
/proc/meminfo: memFree=30758868/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=769432 CPUtime=50.39 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 25970 0 0 0 5030 9 0 0 25 0 4 0 525218253 787898368 17183 33554432000 4194304 4797429 140733508259072 18446744073709551615 228244045579 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 192358 17183 421 148 0 187287 0
[pid=3435/tid=3442] ppid=3433 vsize=769432 CPUtime=12.58 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 4276 0 0 0 1256 2 0 0 25 0 4 0 525218263 787898368 17183 33554432000 4194304 4797429 140733508259072 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=769432 CPUtime=12.59 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 4386 0 0 0 1258 1 0 0 25 0 4 0 525218263 787898368 17183 33554432000 4194304 4797429 140733508259072 18446744073709551615 4425633 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=769432 CPUtime=12.52 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 4612 0 0 0 1250 2 0 0 25 0 4 0 525218263 787898368 17183 33554432000 4194304 4797429 140733508259072 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 769432

[startup+25.5003 s]
/proc/loadavg: 7.29 7.79 7.30 9/184 3447
/proc/meminfo: memFree=30746248/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=774564 CPUtime=101.5 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 35263 0 0 0 10138 12 0 0 25 0 4 0 525218253 793153536 20816 33554432000 4194304 4797429 140733508259072 18446744073709551615 4352616 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 193641 20816 422 148 0 188570 0
[pid=3435/tid=3442] ppid=3433 vsize=774564 CPUtime=25.37 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 5224 0 0 0 2535 2 0 0 25 0 4 0 525218263 793153536 20816 33554432000 4194304 4797429 140733508259072 18446744073709551615 4503970 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=774564 CPUtime=25.38 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 5507 0 0 0 2537 1 0 0 25 0 4 0 525218263 793153536 20816 33554432000 4194304 4797429 140733508259072 18446744073709551615 4517686 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=774564 CPUtime=25.24 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 5752 0 0 0 2522 2 0 0 25 0 4 0 525218263 793153536 20816 33554432000 4194304 4797429 140733508259072 18446744073709551615 4517672 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 774564

[startup+51.1009 s]
/proc/loadavg: 7.61 7.83 7.32 9/184 3448
/proc/meminfo: memFree=30723752/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=778648 CPUtime=203.76 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 50363 0 0 0 20359 17 0 0 25 0 4 0 525218253 797335552 24365 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520016 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 194662 24365 422 148 0 189591 0
[pid=3435/tid=3442] ppid=3433 vsize=778648 CPUtime=50.97 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 8386 0 0 0 5094 3 0 0 25 0 4 0 525218263 797335552 24365 33554432000 4194304 4797429 140733508259072 18446744073709551615 228244007174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=778648 CPUtime=50.98 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 7378 0 0 0 5096 2 0 0 25 0 4 0 525218263 797335552 24365 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=778648 CPUtime=50.7 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 7457 0 0 0 5068 2 0 0 25 0 4 0 525218263 797335552 24365 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 778648

[startup+102.301 s]
/proc/loadavg: 8.08 7.92 7.38 9/184 3452
/proc/meminfo: memFree=30702760/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=785640 CPUtime=408.27 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 73727 0 0 0 40802 25 0 0 25 0 4 0 525218253 804495360 27497 33554432000 4194304 4797429 140733508259072 18446744073709551615 4341226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 196410 27497 422 148 0 191339 0
[pid=3435/tid=3442] ppid=3433 vsize=785640 CPUtime=102.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 10566 0 0 0 10213 4 0 0 25 0 4 0 525218263 804495360 27497 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=785640 CPUtime=102.19 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 9947 0 0 0 10215 4 0 0 25 0 4 0 525218263 804495360 27497 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=785640 CPUtime=101.62 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 10115 0 0 0 10159 3 0 0 25 0 4 0 525218263 804495360 27497 33554432000 4194304 4797429 140733508259072 18446744073709551615 4519888 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 785640

[startup+162.3 s]
/proc/loadavg: 8.10 7.96 7.43 9/184 3455
/proc/meminfo: memFree=30689816/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=790488 CPUtime=647.95 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 99001 0 0 0 64759 36 0 0 25 0 4 0 525218253 809459712 27798 33554432000 4194304 4797429 140733508259072 18446744073709551615 4352349 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 197622 27798 422 148 0 192551 0
[pid=3435/tid=3442] ppid=3433 vsize=790488 CPUtime=162.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 12999 0 0 0 16212 5 0 0 25 0 4 0 525218263 809459712 27799 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=790488 CPUtime=162.18 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 12167 0 0 0 16214 4 0 0 25 0 4 0 525218263 809459712 27799 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=790488 CPUtime=161.3 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 12205 0 0 0 16126 4 0 0 25 0 4 0 525218263 809459712 27799 33554432000 4194304 4797429 140733508259072 18446744073709551615 4529519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.95
Current children cumulated vsize (KiB) 790488

[startup+222.301 s]
/proc/loadavg: 8.07 7.98 7.46 9/184 3457
/proc/meminfo: memFree=30668688/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=794416 CPUtime=887.61 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 124127 0 0 0 88714 47 0 0 25 0 4 0 525218253 813481984 31803 33554432000 4194304 4797429 140733508259072 18446744073709551615 4352347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 198604 31803 422 148 0 193533 0
[pid=3435/tid=3442] ppid=3433 vsize=794416 CPUtime=222.16 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 15163 0 0 0 22210 6 0 0 25 0 4 0 525218263 813481984 31803 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=794416 CPUtime=222.18 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 14757 0 0 0 22213 5 0 0 25 0 4 0 525218263 813481984 31803 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=794416 CPUtime=220.97 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 14619 0 0 0 22092 5 0 0 25 0 4 0 525218263 813481984 31803 33554432000 4194304 4797429 140733508259072 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.61
Current children cumulated vsize (KiB) 794416

[startup+282.306 s]
/proc/loadavg: 8.02 7.98 7.49 9/184 3458
/proc/meminfo: memFree=30655360/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=800600 CPUtime=1127.3 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 148769 0 0 0 112671 59 0 0 25 0 4 0 525218253 819814400 34584 33554432000 4194304 4797429 140733508259072 18446744073709551615 4352635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 200150 34584 422 148 0 195079 0
[pid=3435/tid=3442] ppid=3433 vsize=800600 CPUtime=282.17 cores=0,2,4,6

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

[pid=3435] ppid=3433 vsize=820760 CPUtime=2804.97 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 309914 0 0 0 280372 125 0 0 25 0 4 0 525218253 840458240 44163 33554432000 4194304 4797429 140733508259072 18446744073709551615 4424107 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 205190 44163 422 148 0 200119 0
[pid=3435/tid=3442] ppid=3433 vsize=820760 CPUtime=702.16 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 27698 0 0 0 70204 12 0 0 25 0 4 0 525218263 840458240 44163 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=820760 CPUtime=702.2 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 27485 0 0 0 70209 11 0 0 25 0 4 0 525218263 840458240 44163 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=820760 CPUtime=698.36 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 28071 0 0 0 69825 11 0 0 25 0 4 0 525218263 840458240 44163 33554432000 4194304 4797429 140733508259072 18446744073709551615 4519888 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.97
Current children cumulated vsize (KiB) 820760

[startup+762.3 s]
/proc/loadavg: 8.12 8.06 7.72 9/184 3471
/proc/meminfo: memFree=30567160/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=820872 CPUtime=3044.64 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 335739 0 0 0 304328 136 0 0 25 0 4 0 525218253 840572928 48027 33554432000 4194304 4797429 140733508259072 18446744073709551615 4352606 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 205218 48027 422 148 0 200147 0
[pid=3435/tid=3442] ppid=3433 vsize=820872 CPUtime=762.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 28764 0 0 0 76204 13 0 0 25 0 4 0 525218263 840572928 48027 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=820872 CPUtime=762.19 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 28346 0 0 0 76208 11 0 0 25 0 4 0 525218263 840572928 48027 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=820872 CPUtime=758.03 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 29855 0 0 0 75791 12 0 0 25 0 4 0 525218263 840572928 48027 33554432000 4194304 4797429 140733508259072 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.64
Current children cumulated vsize (KiB) 820872

[startup+822.301 s]
/proc/loadavg: 8.09 8.06 7.74 9/184 3473
/proc/meminfo: memFree=30558940/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=826300 CPUtime=3284.33 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 363044 0 0 0 328287 146 0 0 25 0 4 0 525218253 846131200 47915 33554432000 4194304 4797429 140733508259072 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 206575 47915 422 148 0 201504 0
[pid=3435/tid=3442] ppid=3433 vsize=826300 CPUtime=822.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 30700 0 0 0 82204 13 0 0 25 0 4 0 525218263 846131200 47916 33554432000 4194304 4797429 140733508259072 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=826300 CPUtime=822.2 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 30324 0 0 0 82209 11 0 0 25 0 4 0 525218263 846131200 47916 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=826300 CPUtime=817.71 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 31944 0 0 0 81758 13 0 0 25 0 4 0 525218263 846131200 47916 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.33
Current children cumulated vsize (KiB) 826300

[startup+882.3 s]
/proc/loadavg: 8.08 8.06 7.75 9/184 3474
/proc/meminfo: memFree=30510300/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=826356 CPUtime=3523.98 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 386465 0 0 0 352241 157 0 0 25 0 4 0 525218253 846188544 59548 33554432000 4194304 4797429 140733508259072 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 206589 59548 422 148 0 201518 0
[pid=3435/tid=3442] ppid=3433 vsize=826356 CPUtime=882.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 31682 0 0 0 88203 14 0 0 25 0 4 0 525218263 846188544 59548 33554432000 4194304 4797429 140733508259072 18446744073709551615 4346266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=826356 CPUtime=882.19 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 31201 0 0 0 88207 12 0 0 25 0 4 0 525218263 846188544 59548 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=826356 CPUtime=877.38 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 32929 0 0 0 87725 13 0 0 25 0 4 0 525218263 846188544 59548 33554432000 4194304 4797429 140733508259072 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.98
Current children cumulated vsize (KiB) 826356

[startup+942.307 s]
/proc/loadavg: 8.03 8.05 7.77 9/184 3476
/proc/meminfo: memFree=30500228/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=827516 CPUtime=3763.68 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 395639 0 0 0 376208 160 0 0 25 0 4 0 525218253 847376384 63263 33554432000 4194304 4797429 140733508259072 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 206879 63263 448 148 0 201808 0
[pid=3435/tid=3442] ppid=3433 vsize=827516 CPUtime=942.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 33067 0 0 0 94202 15 0 0 25 0 4 0 525218263 847376384 63263 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=827516 CPUtime=942.2 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 32520 0 0 0 94207 13 0 0 25 0 4 0 525218263 847376384 63263 33554432000 4194304 4797429 140733508259072 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=827516 CPUtime=937.06 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 34186 0 0 0 93692 14 0 0 25 0 4 0 525218263 847376384 63263 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.68
Current children cumulated vsize (KiB) 827516

[startup+1002.3 s]
/proc/loadavg: 8.01 8.04 7.78 9/184 3477
/proc/meminfo: memFree=30502036/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=829140 CPUtime=4003.33 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 399643 0 0 0 400171 162 0 0 25 0 4 0 525218253 849039360 61548 33554432000 4194304 4797429 140733508259072 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 207285 61548 422 148 0 202214 0
[pid=3435/tid=3442] ppid=3433 vsize=829140 CPUtime=1002.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 34369 0 0 0 100201 16 0 0 25 0 4 0 525218263 849039360 61548 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=829140 CPUtime=1002.2 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 33896 0 0 0 100206 14 0 0 25 0 4 0 525218263 849039360 61548 33554432000 4194304 4797429 140733508259072 18446744073709551615 4428452 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=829140 CPUtime=996.73 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 35512 0 0 0 99658 15 0 0 25 0 4 0 525218263 849039360 61548 33554432000 4194304 4797429 140733508259072 18446744073709551615 4426003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.33
Current children cumulated vsize (KiB) 829140

[startup+1062.3 s]
/proc/loadavg: 8.04 8.04 7.79 9/184 3480
/proc/meminfo: memFree=30484276/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=830396 CPUtime=4243 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 402892 0 0 0 424136 164 0 0 25 0 4 0 525218253 850325504 64741 33554432000 4194304 4797429 140733508259072 18446744073709551615 4495544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 207599 64741 422 148 0 202528 0
[pid=3435/tid=3442] ppid=3433 vsize=830396 CPUtime=1062.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 35395 0 0 0 106201 16 0 0 25 0 4 0 525218263 850325504 64741 33554432000 4194304 4797429 140733508259072 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=830396 CPUtime=1062.2 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 34911 0 0 0 106206 14 0 0 25 0 4 0 525218263 850325504 64741 33554432000 4194304 4797429 140733508259072 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=830396 CPUtime=1056.4 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 36490 0 0 0 105625 15 0 0 25 0 4 0 525218263 850325504 64741 33554432000 4194304 4797429 140733508259072 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243
Current children cumulated vsize (KiB) 830396

[startup+1122.3 s]
/proc/loadavg: 8.05 8.05 7.81 9/184 3483
/proc/meminfo: memFree=30523672/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=833432 CPUtime=4482.67 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 424771 0 0 0 448095 172 0 0 25 0 4 0 525218253 853434368 54955 33554432000 4194304 4797429 140733508259072 18446744073709551615 228244045579 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 208358 54955 422 148 0 203287 0
[pid=3435/tid=3442] ppid=3433 vsize=833432 CPUtime=1122.17 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 37201 0 0 0 112200 17 0 0 25 0 4 0 525218263 853434368 54955 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=833432 CPUtime=1122.19 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 36312 0 0 0 112205 14 0 0 25 0 4 0 525218263 853434368 54955 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=833432 CPUtime=1116.08 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 37860 0 0 0 111592 16 0 0 25 0 4 0 525218263 853434368 54955 33554432000 4194304 4797429 140733508259072 18446744073709551615 4255521 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.67
Current children cumulated vsize (KiB) 833432

[startup+1182.3 s]
/proc/loadavg: 8.05 8.05 7.82 9/184 3484
/proc/meminfo: memFree=30474908/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=841668 CPUtime=4722.34 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 448983 0 0 0 472051 183 0 0 25 0 4 0 525218253 861868032 65028 33554432000 4194304 4797429 140733508259072 18446744073709551615 4352376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 210417 65028 422 148 0 205346 0
[pid=3435/tid=3442] ppid=3433 vsize=841668 CPUtime=1182.18 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 38298 0 0 0 118200 18 0 0 25 0 4 0 525218263 861868032 65028 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=841668 CPUtime=1182.2 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 37393 0 0 0 118205 15 0 0 25 0 4 0 525218263 861868032 65028 33554432000 4194304 4797429 140733508259072 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=841668 CPUtime=1175.75 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 40153 0 0 0 117559 16 0 0 25 0 4 0 525218263 861868032 65028 33554432000 4194304 4797429 140733508259072 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.34
Current children cumulated vsize (KiB) 841668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.10 8.06 7.83 9/184 3485
/proc/meminfo: memFree=30489164/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=841712 CPUtime=4800.27 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 456263 0 0 0 479840 187 0 0 25 0 4 0 525218253 861913088 60745 33554432000 4194304 4797429 140733508259072 18446744073709551615 4352606 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 210428 60745 422 148 0 205357 0
[pid=3435/tid=3442] ppid=3433 vsize=841712 CPUtime=1201.69 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 38511 0 0 0 120151 18 0 0 25 0 4 0 525218263 861913088 60746 33554432000 4194304 4797429 140733508259072 18446744073709551615 4355877 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=841712 CPUtime=1201.71 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 37610 0 0 0 120156 15 0 0 25 0 4 0 525218263 861913088 60746 33554432000 4194304 4797429 140733508259072 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=841712 CPUtime=1195.15 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 40496 0 0 0 119498 17 0 0 25 0 4 0 525218263 861913088 60746 33554432000 4194304 4797429 140733508259072 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 841712

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

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

[startup+1201.8 s]
/proc/loadavg: 8.10 8.06 7.83 9/184 3485
/proc/meminfo: memFree=30489164/32951124 swapFree=67111364/67111528
[pid=3435] ppid=3433 vsize=841712 CPUtime=4800.27 cores=0,2,4,6
/proc/3435/stat : 3435 (techdemo) R 3433 3435 1767 0 -1 4202496 456263 0 0 0 479840 187 0 0 25 0 4 0 525218253 861913088 60745 33554432000 4194304 4797429 140733508259072 18446744073709551615 4352606 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3435/statm: 210428 60745 422 148 0 205357 0
[pid=3435/tid=3442] ppid=3433 vsize=841712 CPUtime=1201.69 cores=0,2,4,6
/proc/3435/task/3442/stat : 3442 (techdemo) R 3433 3435 1767 0 -1 4202560 38511 0 0 0 120151 18 0 0 25 0 4 0 525218263 861913088 60746 33554432000 4194304 4797429 140733508259072 18446744073709551615 4355877 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3435/tid=3443] ppid=3433 vsize=841712 CPUtime=1201.71 cores=0,2,4,6
/proc/3435/task/3443/stat : 3443 (techdemo) R 3433 3435 1767 0 -1 4202560 37610 0 0 0 120156 15 0 0 25 0 4 0 525218263 861913088 60746 33554432000 4194304 4797429 140733508259072 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3435/tid=3444] ppid=3433 vsize=841712 CPUtime=1195.15 cores=0,2,4,6
/proc/3435/task/3444/stat : 3444 (techdemo) R 3433 3435 1767 0 -1 4202560 40496 0 0 0 119498 17 0 0 25 0 4 0 525218263 861913088 60746 33554432000 4194304 4797429 140733508259072 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 841712

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.83
CPU time (s): 4800.32
CPU user time (s): 4798.43
CPU system time (s): 1.88571
CPU usage (%): 399.417
Max. virtual memory (cumulated for all children) (KiB): 941784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.43
system time used= 1.88571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456265
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= 2707
involuntary context switches= 22009

runsolver used 1.93271 second user time and 4.64729 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-30 06:03:23
IDJOB=3262725
IDBENCH=83797
IDSOLVER=1584
FILE ID=node136/3262725-1304136203
RUNJOBID= node136-1304136203-3419
PBS_JOBID= 13170780
Free space on /tmp= 73080 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT03/handmade/gomes/bqwh/bqwh.60.1152.shuffled-as.sat03-1650.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262725-1304136203/watcher-3262725-1304136203 -o /tmp/evaluation-result-3262725-1304136203/solver-3262725-1304136203 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3262725-1304136203.cnf

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

MD5SUM BENCH= 98d6317b259165bb4fb7a39e783668e0
RANDOM SEED=530879681

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30889072 kB
Buffers:        608752 kB
Cached:         964668 kB
SwapCached:          0 kB
Active:         165628 kB
Inactive:      1471408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30889072 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           18432 kB
Writeback:          16 kB
AnonPages:       63140 kB
Mapped:          14484 kB
Slab:           361632 kB
PageTables:       4336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185660 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= 73064 MiB
End job on node136 at 2011-04-30 06:23:27