Trace number 3285744

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-mtUNSAT 2819.6 743.024

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
MD5SUMc7a9573eb59580c8d4fc5a3ca880d541
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark454.45
Satisfiable
(Un)Satisfiability was proved
Number of variables559571
Number of clauses10223027
Sum of the clauses size22253097
Maximum clause length1408
Minimum clause length1
Number of clauses of size 11517
Number of clauses of size 29836450
Number of clauses of size 3365560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 519500

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-3285744-1304041498.cnf'
0.00/0.00	c -- header says num vars:         559571
0.00/0.00	c -- header says num clauses:    10223027
10.79/10.87	c -- clauses added:            0 learnts,     10223027 normals,            0 xors
10.79/10.87	c -- vars added     559571
10.79/10.87	c Parsing time: 10.19 s
10.79/10.88	c  N st     0         0    559571    351283   8886087         0  20126913         0   no data   no data  --
12.14/11.25	c asymm  cl-useful: 97/279/276845 lits-rem:231 time: 1.28
42.49/18.80	c Flit:   145 Blit:  77729 bXBeca:    0 bXProp:  603 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 29.55
43.29/19.04	c Cleaning up after failed var search:     0.92 s 
50.42/20.85	c Calc non-exist non-lernt bins v-fix:    94 done:   8760 time:  6.80 s
50.42/20.87	c Cache  BProp: 0 Set: 0 BXProp: 36 T: 0.05
50.83/20.90	c Subs w/ non-existent bins:      0 time:  0.14 s
52.39/21.37	c Replacing      639 vars Replaced    24496 lits Time:     1.75 s 
56.39/22.30	c bin-w-bin subsume rem          612 bins  time:  2.84 s
61.18/23.57	c subs with bin:        0  lits-rem:      1432  v-fix:    0  time:  5.07 s
61.98/23.78	c Removed useless bin:    1058  fixed:     0  bprops:  10.01M  time:  0.85 s
69.17/25.50	c lits-rem:         0  cl-subs:        0  v-elim:   6712  v-fix:    0  time:  6.84 s
69.17/25.50	c learnt bin added due to v-elim: 0
69.57/25.66	c Finding binary XORs  T:     0.61 s  found:    2414
70.77/25.96	c Replacing     2414 vars Replaced   231077 lits Time:     1.21 s 
72.38/26.36	c Finding non-binary XORs:     0.72 s (found:       0, avg size: nan)
72.38/26.36	c Calc default polars -  time:   0.40 s pos:    3428 undec:  236877 neg:  319266
72.38/26.36	c =========================================================================================
72.38/26.36	c types(t): F = full restart, N = normal restart
72.38/26.36	c types(t): S = simplification begin/end, E = solution found
72.38/26.36	c restart types(rt): st = static, dy = dynamic
72.38/26.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
72.38/26.36	c  B st     0         0    322694    223194   5420128         0  12332322         0   no data   no data  --
100.32/33.38	c Decided on dynamic restart strategy
123.89/39.28	c  N dy    21      4100    260246    179120   4075879      3612   9343691   1104443    284.08     49.94  --
180.61/53.46	c  N dy    52      8242    260067    179120   4076325      7512   9343691   2718214    566.77     31.11  --
249.32/70.66	c  N dy    82     12344    260043    179120   4076843     11447   9343691   4417429    380.95     24.37  --
310.04/85.88	c  N dy   112     16425    259491    179120   4076911     15377   9343691   6234831    505.67     21.74  --
387.89/105.34	c  N dy   142     20514    259476    179120   4076994      9845   9343691    852289    451.40     19.76  --
444.21/119.45	c  N dy   172     24639    259462    179120   4077032     13864   9343691   2314633    416.12     17.98  --
499.33/133.25	c  N dy   202     28680    259451    179120   4077075     17788   9343691   3750970    478.16     16.82  --
519.70/138.35	c  S st   212     30000    259448    179120   4077083     19080   9343691   4321528    459.56     16.64  --
529.31/140.72	c  S st   212     30501    259448    179120   4406865     21364   9344903   5072651    459.56     16.64  --
530.09/140.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.83
618.77/163.13	c Flit:    55 Blit:   1275 bXBeca:    0 bXProp:  116 Bin:  47056 BRemL:  43626 BRemN:  14341 CBin:       0 P: 60.0M T: 88.45
619.17/163.27	c Cleaning up after failed var search:     0.52 s 
628.75/165.69	c Calc non-exist non-lernt bins v-fix:     0 done:  13151 time:  9.51 s
629.16/165.71	c Cache  BProp: 7 Set: 7 BXProp: 192 T: 0.06
629.16/165.79	c Subs w/ non-existent bins:      1 time:  0.32 s
631.15/166.22	c Replacing      308 vars Replaced    48831 lits Time:     1.67 s 
635.54/167.38	c bin-w-bin subsume rem         2755 bins  time:  2.33 s
643.14/169.22	c subs with bin:        2  lits-rem:     10387  v-fix:    0  time:  7.35 s
644.33/169.53	c Removed useless bin:    2877  fixed:    12  bprops:  10.01M  time:  1.21 s
656.73/172.65	c lits-rem:        52  cl-subs:     2175  v-elim:      2  v-fix:    0  time: 12.43 s
656.73/172.65	c learnt bin added due to v-elim: 0
659.12/173.24	c asymm  cl-useful: 349/668/172522 lits-rem:675 time: 2.35
659.52/173.36	c  N dy   212     30501    250307    172522   4170909     18873   8847998   4493618    459.56     16.64  --
659.52/173.36	c  F st   212     30501    250307    172522   4170909     18873   8847998   4493618    459.56     16.64  --
681.88/178.91	c Finding binary XORs  T:     0.56 s  found:    2167
685.88/179.94	c Decided on dynamic restart strategy
712.65/186.63	c  N dy   232     34537    250297    172519   4170836     22771   8847803   5956170    314.89     16.31  --
768.16/200.54	c  N dy   261     38555    250162    172519   4170861     26699   8847803   7720346    561.96     15.78  --
834.06/217.05	c  N dy   290     42631    250162    172519   4170878     30689   8847803  10038896    600.05     15.72  --
872.04/226.55	c  S st   313     45755    250160    172519   4170898     17932   8847803   2331383    353.95     15.53  --
883.20/229.31	c  S st   313     46255    250160    172519   4170941     18384   8847803   2393723    353.95     15.53  --
884.00/229.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.79
947.14/245.37	c Flit:    26 Blit:   2329 bXBeca:    0 bXProp:    9 Bin:  18308 BRemL:   6178 BRemN:   1921 CBin:       0 P: 60.0M T: 63.25
947.52/245.49	c Cleaning up after failed var search:     0.45 s 
957.90/248.01	c Calc non-exist non-lernt bins v-fix:     8 done:   9101 time:  9.94 s
957.90/248.03	c Cache  BProp: 7 Set: 0 BXProp: 39 T: 0.07
958.30/248.10	c Subs w/ non-existent bins:      1 time:  0.27 s
959.93/248.52	c Replacing     2216 vars Replaced   232044 lits Time:     1.62 s 
963.10/249.33	c bin-w-bin subsume rem         3364 bins  time:  2.12 s
969.49/250.91	c subs with bin:      895  lits-rem:     14038  v-fix:    0  time:  6.30 s
970.29/251.19	c Removed useless bin:    3119  fixed:     0  bprops:  10.00M  time:  1.12 s
983.87/254.52	c lits-rem:      1341  cl-subs:     1680  v-elim:   7783  v-fix:    0  time: 13.29 s
983.87/254.52	c learnt bin added due to v-elim: 0
986.28/255.20	c asymm  cl-useful: 25/399/170654 lits-rem:42 time: 2.73
987.06/255.33	c  N dy   313     46255    245848    170654   4101681     15475   8703472   2174123    353.95     15.53  --
1034.62/267.23	c  N dy   342     50313    245848    170654   4101711     19439   8703472   3414610    416.80     15.06  --
1082.14/279.18	c  N dy   371     54433    245846    170654   4101728     23456   8703472   4601502    376.14     14.83  --
1135.27/292.44	c  N dy   400     58451    245846    170654   4101748     27366   8703472   5944191    327.64     14.58  --
1195.58/307.53	c  N dy   429     62578    245845    170654   4101771     31391   8703472   7754765    417.96     14.44  --
1282.26/329.24	c  N dy   457     66636    245842    170654   4101789     35350   8703472  10190054    984.79     14.45  --
1319.42/338.54	c  S st   477     69383    245842    170654   4101796     19439   8703472   1823861    296.16     14.40  --
1327.80/340.63	c  S st   477     69884    245842    170654   4101813     19917   8703472   1932833    296.16     14.40  --
1328.60/340.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.72
1396.51/357.84	c Flit:    30 Blit:    773 bXBeca:    0 bXProp:    0 Bin:  36223 BRemL:    965 BRemN:    357 CBin:       0 P: 60.1M T: 67.94
1396.51/357.85	c Cleaning up after failed var search:     0.00 s 
1405.30/360.09	c Calc non-exist non-lernt bins v-fix:     3 done:  13320 time:  8.81 s
1405.70/360.11	c Cache  BProp: 7 Set: 0 BXProp: 5 T: 0.10
1405.70/360.19	c Subs w/ non-existent bins:      0 time:  0.29 s
1407.30/360.52	c Replacing        5 vars Replaced      141 lits Time:     1.32 s 
1410.49/361.32	c bin-w-bin subsume rem          152 bins  time:  2.13 s
1417.31/363.09	c subs with bin:      334  lits-rem:      7890  v-fix:    0  time:  7.06 s
1418.88/363.41	c Removed useless bin:    2562  fixed:     0  bprops:  10.01M  time:  1.26 s
1466.02/375.20	c ORs :  12832 avg-s: 16.4 cl-sh:     4 l-rem:      4 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   34.52
1515.15/387.58	c Added 0 vars  tried: 80000 time: 49.39
1515.15/387.58	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:   49.40
1515.95/387.77	c lits-rem:      1114  cl-subs:      789  v-elim:   8858  v-fix:    0  time: 97.26 s
1515.95/387.77	c learnt bin added due to v-elim: 0
1518.37/388.36	c asymm  cl-useful: 89/601/169790 lits-rem:140 time: 2.34
1518.74/388.47	c  N dy   477     69884    244714    169790   4097964     18654   8638400   1885867    296.16     14.40  --
1518.74/388.47	c  F st   477     69884    244714    169790   4097964     18654   8638400   1885867    296.16     14.40  --
1546.71/395.47	c Decided on dynamic restart strategy
1570.28/401.31	c Finding binary XORs  T:     0.50 s  found:     738
1574.67/402.42	c  N dy   500     74405    244128    169292   4215734     23394   8608458   3638022    280.15     14.48  --
1636.61/417.94	c  N dy   534     79252    244128    169292   4306314     28270   8608466   5713521    266.71     14.38  --
1712.08/436.85	c  N dy   571     84446    244027    169292   4306356     33318   8608466   7823138    342.32     14.32  --
1797.58/458.22	c  N dy   609     89962    244025    169292   4306378     38699   8608466  10815051    466.02     14.36  --
1885.85/480.39	c  N dy   650     95815    244025    169292   4306405     23687   8608466   3365385    446.01     14.17  --
1959.75/498.84	c Finding binary XORs  T:     0.52 s  found:     230
1962.95/499.69	c  N dy   694    102060    243258    168530   4276927     29547   8567239   5503762    336.65     13.95  --
2002.89/509.62	c  S st   713    104826    243257    168530   4276934     32262   8567239   6540381    453.79     13.90  --
2014.08/512.49	c  S st   713    105327    243257    168530   4276948     32743   8567239   6652164    453.79     13.90  --
2015.27/512.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.83
2094.37/532.55	c Flit:    10 Blit:   1260 bXBeca:    0 bXProp:    0 Bin:  25194 BRemL:   5813 BRemN:    232 CBin:       0 P: 60.1M T: 79.20
2095.17/532.70	c Cleaning up after failed var search:     0.57 s 
2105.14/535.20	c Calc non-exist non-lernt bins v-fix:    15 done:  11292 time:  9.84 s
2105.14/535.23	c Cache  BProp: 9 Set: 3 BXProp: 14 T: 0.11
2105.54/535.35	c Subs w/ non-existent bins:      1 time:  0.48 s
2107.94/535.90	c Replacing      982 vars Replaced    74558 lits Time:     2.14 s 
2111.93/536.97	c bin-w-bin subsume rem         1073 bins  time:  2.20 s
2119.13/538.79	c subs with bin:       73  lits-rem:     16525  v-fix:    0  time:  7.25 s
2120.35/539.08	c Removed useless bin:    5420  fixed:     0  bprops:  10.00M  time:  1.15 s
2191.03/556.72	c ORs :  15851 avg-s: 13.3 cl-sh:     2 l-rem:      2 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:   45.16
2191.83/556.95	c lits-rem:        34  cl-subs:     1894  v-elim:     40  v-fix:    0  time: 71.33 s
2191.83/556.95	c learnt bin added due to v-elim: 0
2194.64/557.62	c asymm  cl-useful: 116/585/166235 lits-rem:204 time: 2.69
2195.04/557.73	c  N dy   713    105327    239284    166235   4158830     30302   8373273   5852212    453.79     13.90  --
2290.10/581.52	c  N dy   759    112078    239278    166235   4158857     36865   8373273   8430062    432.74     13.94  --
2399.14/608.89	c  N dy   808    119348    239268    166235   4158889     43926   8373273  11357662    349.21     14.01  --
2494.97/632.88	c  N dy   862    127068    239258    166235   4158926     29441   8373273   4894972    342.86     13.89  --
2606.42/660.73	c  N dy   918    135196    239252    166235   4158969     37374   8373273   7943210    384.56     13.82  --
2710.27/686.70	c Finding binary XORs  T:     0.50 s  found:     865
2731.84/692.17	c  N dy   977    143846    232163    161007   3991160     42868   8040831   8677429    137.81     13.69  --
2778.58/703.90	c  E dy   999    146955    196111    135680   3047029     20706   6355859   1837600    102.96     13.59  --
2817.86/741.65	c Following stats are for *FIRST FINISHED THREAD ONLY*
2817.86/741.65	c num threads              : 4          
2817.86/741.65	c restarts                 : 999        
2817.86/741.65	c dynamic restarts         : 981        
2817.86/741.65	c static restarts          : 18         
2817.86/741.65	c full restarts            : 2          
2817.86/741.65	c total simplify time      : 7.23       
2817.86/741.65	c learnts DL2              : 0          
2817.86/741.65	c learnts size 2           : 9656094    
2817.86/741.65	c learnts size 1           : 373675      (66.78     % of vars)
2817.86/741.65	c filedLit time            : 331.08      (11.77     % time)
2817.86/741.65	c v-elim SatELite          : 20          (0.00      % vars)
2817.86/741.65	c SatELite time            : 196.68      (6.99      % time)
2817.86/741.65	c v-elim xor               : 0           (0.00      % vars)
2817.86/741.65	c xor elim time            : 3.17        (0.11      % time)
2817.86/741.65	c num binary xor trees     : 6943       
2817.86/741.65	c binxor trees' crown      : 7429        (1.07      leafs/tree)
2817.86/741.65	c bin xor find time        : 2.69       
2817.86/741.65	c OTF clause subsumed      : 2866        (0.02      clauses/conflict)
2817.86/741.65	c OTF subs. size diff      : 29758       (10.38      lits/clause)
2817.86/741.65	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
2817.86/741.65	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
2817.86/741.65	c tried to recurMin cls    : 0           (0.00       % of conflicts)
2817.86/741.65	c updated cache            : 0           (nan        lits/tried recurMin)
2817.86/741.65	c OTF Gate-Rem cl          : 0           (0.00      clauses/conflict)
2817.86/741.65	c OTF Gate-rem lits        : 0           (nan       lits/confl)
2817.86/741.65	c unit cls received        : 3795        (1.02      % of units)
2817.86/741.65	c unit cls sent            : 30268       (8.10      % of units)
2817.86/741.65	c bin cls received         : 630014     
2817.86/741.65	c bin cls sent             : 142136     
2817.86/741.65	c tri cls recevied         : 3143       
2817.86/741.65	c tri cls sent             : 9990       
2817.86/741.65	c clauses over max glue    : 0           (0.00      % of all clauses)
2817.86/741.65	c conflicts                : 146955      (52.24     / sec)
2817.86/741.65	c decisions                : 725618      (0.73      % random)
2817.86/741.65	c bogo-props               : 4704274936  (1672404.31 / sec)
2817.86/741.65	c props                    : 1964935092  (698548.86 / sec)
2817.86/741.65	c conflict literals        : 58093244    (36.70     % deleted)
2817.86/741.65	c Memory used              : 9664.67     MB
2817.86/741.65	c single-thread CPU time   : 2812.88     s
2817.86/741.65	c all-threads sum CPU time : 2812.88     s
2817.86/741.65	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3285744-1304041498/watcher-3285744-1304041498 -o /tmp/evaluation-result-3285744-1304041498/solver-3285744-1304041498 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3285744-1304041498.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: 3.28 4.12 5.27 6/180 18392
/proc/meminfo: memFree=12001472/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=24128 CPUtime=0 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 1260 0 0 0 0 0 0 0 20 0 1 0 594381072 24707072 1200 33554432000 4194304 4797429 140735714208000 18446744073709551615 4366859 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18392/statm: 6032 1207 346 148 0 961 0

[startup+0.0616921 s]
/proc/loadavg: 3.28 4.12 5.27 6/180 18392
/proc/meminfo: memFree=12001472/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=68920 CPUtime=0.05 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 5731 0 0 0 5 0 0 0 20 0 1 0 594381072 70574080 4290 33554432000 4194304 4797429 140735714208000 18446744073709551615 4431593 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18392/statm: 17230 4290 350 148 0 12159 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 68920

[startup+0.10068 s]
/proc/loadavg: 3.28 4.12 5.27 6/180 18392
/proc/meminfo: memFree=12001472/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=73332 CPUtime=0.08 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 7185 0 0 0 8 0 0 0 20 0 1 0 594381072 75091968 5740 33554432000 4194304 4797429 140735714208000 18446744073709551615 256415049953 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18392/statm: 18333 5740 350 148 0 13262 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 73332

[startup+0.300646 s]
/proc/loadavg: 3.28 4.12 5.27 6/180 18392
/proc/meminfo: memFree=12001472/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=100556 CPUtime=0.29 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 15216 0 0 0 27 2 0 0 21 0 1 0 594381072 102969344 11955 33554432000 4194304 4797429 140735714208000 18446744073709551615 256415056368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18392/statm: 25139 11955 350 148 0 20068 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100556

[startup+0.700571 s]
/proc/loadavg: 3.28 4.12 5.27 6/180 18392
/proc/meminfo: memFree=12001472/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=147584 CPUtime=0.69 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 30034 0 0 0 65 4 0 0 22 0 1 0 594381072 151126016 23108 33554432000 4194304 4797429 140735714208000 18446744073709551615 4431936 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18392/statm: 36896 23108 350 148 0 31825 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 147584

[startup+1.50042 s]
/proc/loadavg: 3.28 4.12 5.27 6/181 18393
/proc/meminfo: memFree=11863488/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=278164 CPUtime=1.48 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 68278 0 0 0 138 10 0 0 25 0 1 0 594381072 284839936 53999 33554432000 4194304 4797429 140735714208000 18446744073709551615 4365731 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18392/statm: 69541 53999 350 148 0 64470 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 278164

[startup+3.10112 s]
/proc/loadavg: 3.49 4.15 5.28 6/181 18393
/proc/meminfo: memFree=11696584/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=551228 CPUtime=3.09 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 142160 0 0 0 288 21 0 0 25 0 1 0 594381072 564457472 113170 33554432000 4194304 4797429 140735714208000 18446744073709551615 256415052485 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18392/statm: 137807 113170 350 148 0 132736 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 551228

[startup+6.30052 s]
/proc/loadavg: 3.49 4.15 5.28 6/181 18393
/proc/meminfo: memFree=10323428/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=1068232 CPUtime=6.29 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 289613 0 0 0 590 39 0 0 25 0 1 0 594381072 1093869568 231211 33554432000 4194304 4797429 140735714208000 18446744073709551615 4431799 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18392/statm: 267058 231211 350 148 0 261987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1068232

[startup+12.7002 s]
/proc/loadavg: 3.97 4.23 5.29 9/184 18396
/proc/meminfo: memFree=9383996/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=2677744 CPUtime=18.13 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 544426 0 0 0 1740 73 0 0 20 0 4 0 594381072 2742009856 415496 33554432000 4194304 4797429 140735714208000 18446744073709551615 4427988 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 669436 415496 384 148 0 664365 0
[pid=18392/tid=18394] ppid=18390 vsize=2677744 CPUtime=1.81 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 6941 0 0 0 180 1 0 0 25 0 4 0 594382160 2742009856 415496 33554432000 4194304 4797429 140735714208000 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=2677744 CPUtime=1.79 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 5987 0 0 0 179 0 0 0 25 0 4 0 594382160 2742009856 415496 33554432000 4194304 4797429 140735714208000 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=2677744 CPUtime=1.81 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 7766 0 0 0 180 1 0 0 20 0 4 0 594382160 2742009856 415496 33554432000 4194304 4797429 140735714208000 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18.13
Current children cumulated vsize (KiB) 2677744

[startup+25.5008 s]
/proc/loadavg: 4.74 4.38 5.33 9/184 18396
/proc/meminfo: memFree=8477048/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=3522456 CPUtime=69.17 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 767481 0 0 0 6801 116 0 0 25 0 4 0 594381072 3606994944 629241 33554432000 4194304 4797429 140735714208000 18446744073709551615 4358614 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 880614 629241 404 148 0 875543 0
[pid=18392/tid=18394] ppid=18390 vsize=3522456 CPUtime=14.55 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 66360 0 0 0 1441 14 0 0 25 0 4 0 594382160 3606994944 629241 33554432000 4194304 4797429 140735714208000 18446744073709551615 4637276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=3522456 CPUtime=14.53 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 63582 0 0 0 1439 14 0 0 25 0 4 0 594382160 3606994944 629241 33554432000 4194304 4797429 140735714208000 18446744073709551615 4493249 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=3522456 CPUtime=14.58 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 63146 0 0 0 1448 10 0 0 25 0 4 0 594382160 3606994944 629241 33554432000 4194304 4797429 140735714208000 18446744073709551615 4588116 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 69.17
Current children cumulated vsize (KiB) 3522456

[startup+51.101 s]
/proc/loadavg: 5.93 4.69 5.40 9/184 18397
/proc/meminfo: memFree=8327364/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=3583052 CPUtime=171.43 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 800518 0 0 0 17018 125 0 0 25 0 4 0 594381072 3669045248 661455 33554432000 4194304 4797429 140735714208000 18446744073709551615 4341072 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 895763 661455 415 148 0 890692 0
[pid=18392/tid=18394] ppid=18390 vsize=3583052 CPUtime=40.01 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 84021 0 0 0 3985 16 0 0 25 0 4 0 594382160 3669045248 661455 33554432000 4194304 4797429 140735714208000 18446744073709551615 4341424 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=3583052 CPUtime=40.13 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 69472 0 0 0 3997 16 0 0 25 0 4 0 594382160 3669045248 661455 33554432000 4194304 4797429 140735714208000 18446744073709551615 4341440 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=3583052 CPUtime=40.18 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 67876 0 0 0 4006 12 0 0 25 0 4 0 594382160 3669045248 661455 33554432000 4194304 4797429 140735714208000 18446744073709551615 4424194 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 171.43
Current children cumulated vsize (KiB) 3583052

[startup+102.306 s]
/proc/loadavg: 7.43 5.31 5.57 9/184 18398
/proc/meminfo: memFree=7552028/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=4184160 CPUtime=375.92 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 989798 0 0 0 37422 170 0 0 25 0 4 0 594381072 4284579840 826218 33554432000 4194304 4797429 140735714208000 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 1046040 826218 419 148 0 1040969 0
[pid=18392/tid=18394] ppid=18390 vsize=4184160 CPUtime=90.93 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 153957 0 0 0 9061 32 0 0 25 0 4 0 594382160 4284579840 826218 33554432000 4194304 4797429 140735714208000 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=4184160 CPUtime=91.32 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 123122 0 0 0 9103 29 0 0 25 0 4 0 594382160 4284579840 826218 33554432000 4194304 4797429 140735714208000 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=4184160 CPUtime=91.36 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 127642 0 0 0 9111 25 0 0 25 0 4 0 594382160 4284579840 826218 33554432000 4194304 4797429 140735714208000 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 375.92
Current children cumulated vsize (KiB) 4184160

[startup+162.301 s]
/proc/loadavg: 7.86 5.81 5.73 9/184 18400
/proc/meminfo: memFree=6483916/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=5422460 CPUtime=615.58 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 1295309 0 0 0 61331 227 0 0 25 0 4 0 594381072 5552599040 1098277 33554432000 4194304 4797429 140735714208000 18446744073709551615 4241818 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 1355615 1098277 420 148 0 1350544 0
[pid=18392/tid=18394] ppid=18390 vsize=5422460 CPUtime=150.61 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 246503 0 0 0 15011 50 0 0 25 0 4 0 594382160 5552599040 1098277 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531964 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=5422460 CPUtime=151.31 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 227621 0 0 0 15084 47 0 0 25 0 4 0 594382160 5552599040 1098277 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531999 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=5422460 CPUtime=151.37 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 223277 0 0 0 15094 43 0 0 25 0 4 0 594382160 5552599040 1098277 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531999 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 615.58
Current children cumulated vsize (KiB) 5422460

[startup+222.301 s]
/proc/loadavg: 8.02 6.22 5.87 9/184 18402
/proc/meminfo: memFree=5650748/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=6281976 CPUtime=855.24 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 1543168 0 0 0 85240 284 0 0 25 0 4 0 594381072 6432743424 1301090 33554432000 4194304 4797429 140735714208000 18446744073709551615 4424194 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 1570494 1301090 421 148 0 1565423 0
[pid=18392/tid=18394] ppid=18390 vsize=6281976 CPUtime=210.27 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 300637 0 0 0 20964 63 0 0 25 0 4 0 594382160 6432743424 1301090 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531999 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=6281976 CPUtime=211.3 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 298016 0 0 0 21068 62 0 0 25 0 4 0 594382160 6432743424 1301090 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531992 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=6281976 CPUtime=211.36 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 293361 0 0 0 21078 58 0 0 25 0 4 0 594382160 6432743424 1301090 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 855.24
Current children cumulated vsize (KiB) 6281976

[startup+282.3 s]
/proc/loadavg: 8.11 6.57 6.01 9/184 18403
/proc/meminfo: memFree=4959220/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=7012380 CPUtime=1094.92 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 1721922 0 0 0 109166 326 0 0 25 0 4 0 594381072 7180677120 1471830 33554432000 4194304 4797429 140735714208000 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 1753095 1471830 421 148 0 1748024 0
[pid=18392/tid=18394] ppid=18390 vsize=7012380 CPUtime=269.96 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 349631 0 0 0 26917 79 0 0 25 0 4 0 594382160 7180677120 1471830 33554432000 4194304 4797429 140735714208000 18446744073709551615 256415060401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=7012380 CPUtime=271.29 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 343925 0 0 0 27057 72 0 0 25 0 4 0 594382160 7180677120 1471830 33554432000 4194304 4797429 140735714208000 18446744073709551615 4519888 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=7012380 CPUtime=271.36 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 326395 0 0 0 27070 66 0 0 25 0 4 0 594382160 7180677120 1471830 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1094.92
Current children cumulated vsize (KiB) 7012380

[startup+342.301 s]
/proc/loadavg: 8.14 6.86 6.14 9/184 18405
/proc/meminfo: memFree=4639880/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=7404236 CPUtime=1334.59 cores=1,3,5,7

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

[pid=18392] ppid=18390 vsize=9254452 CPUtime=2293.3 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 2311051 0 0 0 228866 464 0 0 25 0 4 0 594381072 9476558848 1981393 33554432000 4194304 4797429 140735714208000 18446744073709551615 4426003 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 2313613 1981393 422 148 0 2308542 0
[pid=18392/tid=18394] ppid=18390 vsize=9254452 CPUtime=568.34 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 518730 0 0 0 56716 118 0 0 25 0 4 0 594382160 9476558848 1981393 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531936 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=9254452 CPUtime=571.27 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 487136 0 0 0 57019 108 0 0 25 0 4 0 594382160 9476558848 1981393 33554432000 4194304 4797429 140735714208000 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=9254452 CPUtime=571.37 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 494524 0 0 0 57037 100 0 0 25 0 4 0 594382160 9476558848 1981393 33554432000 4194304 4797429 140735714208000 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2293.3
Current children cumulated vsize (KiB) 9254452

[startup+642.3 s]
/proc/loadavg: 8.19 7.65 6.67 9/184 18413
/proc/meminfo: memFree=5108272/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=9676672 CPUtime=2532.94 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 2436243 0 0 0 252804 490 0 0 25 0 4 0 594381072 9908912128 2064110 33554432000 4194304 4797429 140735714208000 18446744073709551615 4423077 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 2419168 2064110 422 148 0 2414097 0
[pid=18392/tid=18394] ppid=18390 vsize=9676672 CPUtime=628.02 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 563542 0 0 0 62677 125 0 0 25 0 4 0 594382160 9908912128 2064110 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=9676672 CPUtime=631.22 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 531179 0 0 0 63005 117 0 0 25 0 4 0 594382160 9908912128 2064110 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=9676672 CPUtime=631.37 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 520900 0 0 0 63032 105 0 0 25 0 4 0 594382160 9908912128 2064110 33554432000 4194304 4797429 140735714208000 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2532.94
Current children cumulated vsize (KiB) 9676672

[startup+702.301 s]
/proc/loadavg: 8.11 7.72 6.76 9/184 18414
/proc/meminfo: memFree=3568892/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=9814292 CPUtime=2772.59 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 2491081 0 0 0 276756 503 0 0 25 0 4 0 594381072 10049835008 2105485 33554432000 4194304 4797429 140735714208000 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 2453573 2105485 422 148 0 2448502 0
[pid=18392/tid=18394] ppid=18390 vsize=9814292 CPUtime=687.69 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) R 18390 18392 16932 0 -1 4202560 576205 0 0 0 68642 127 0 0 25 0 4 0 594382160 10049835008 2105485 33554432000 4194304 4797429 140735714208000 18446744073709551615 4427902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=9814292 CPUtime=691.22 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) R 18390 18392 16932 0 -1 4202560 542098 0 0 0 69002 120 0 0 25 0 4 0 594382160 10049835008 2105485 33554432000 4194304 4797429 140735714208000 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=9814292 CPUtime=691.36 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 547784 0 0 0 69026 110 0 0 25 0 4 0 594382160 10049835008 2105485 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531999 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2772.59
Current children cumulated vsize (KiB) 9814292

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

[startup+716.7 s]
/proc/loadavg: 7.24 7.55 6.71 2/175 18432
/proc/meminfo: memFree=10001932/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=9814292 CPUtime=2792.96 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) S 18390 18392 16932 0 -1 4202496 2491164 0 0 0 278793 503 0 0 15 0 4 0 594381072 10049835008 2105567 33554432000 4194304 4797429 140735714208000 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 2453573 2105567 423 148 0 2448502 0
[pid=18392/tid=18394] ppid=18390 vsize=9814292 CPUtime=690.36 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) S 18390 18392 16932 0 -1 4202560 576205 0 0 0 68909 127 0 0 25 0 4 0 594382160 10049835008 2105567 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 3 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=9814292 CPUtime=692.92 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) S 18390 18392 16932 0 -1 4202560 542151 0 0 0 69172 120 0 0 25 0 4 0 594382160 10049835008 2105567 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=9814292 CPUtime=705.76 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 547784 0 0 0 70466 110 0 0 25 0 4 0 594382160 10049835008 2105567 33554432000 4194304 4797429 140735714208000 18446744073709551615 4531992 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2792.96
Current children cumulated vsize (KiB) 9814292

[startup+729.501 s]
/proc/loadavg: 5.86 7.23 6.62 2/175 18432
/proc/meminfo: memFree=9966500/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=9879828 CPUtime=2805.77 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) S 18390 18392 16932 0 -1 4202496 2500393 0 0 0 280072 505 0 0 15 0 4 0 594381072 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 2469957 2114796 423 148 0 2464886 0
[pid=18392/tid=18394] ppid=18390 vsize=9879828 CPUtime=690.36 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) S 18390 18392 16932 0 -1 4202560 576205 0 0 0 68909 127 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 3 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=9879828 CPUtime=692.92 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) S 18390 18392 16932 0 -1 4202560 542151 0 0 0 69172 120 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=9879828 CPUtime=718.57 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 557013 0 0 0 71745 112 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.77
Current children cumulated vsize (KiB) 9879828

[startup+735.906 s]
/proc/loadavg: 5.47 7.13 6.59 2/175 18432
/proc/meminfo: memFree=9966744/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=9879828 CPUtime=2812.17 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) S 18390 18392 16932 0 -1 4202496 2500393 0 0 0 280712 505 0 0 15 0 4 0 594381072 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 2469957 2114796 423 148 0 2464886 0
[pid=18392/tid=18394] ppid=18390 vsize=9879828 CPUtime=690.36 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) S 18390 18392 16932 0 -1 4202560 576205 0 0 0 68909 127 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 3 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=9879828 CPUtime=692.92 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) S 18390 18392 16932 0 -1 4202560 542151 0 0 0 69172 120 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=9879828 CPUtime=724.97 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 557013 0 0 0 72385 112 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2812.17
Current children cumulated vsize (KiB) 9879828

[startup+739.101 s]
/proc/loadavg: 5.11 7.02 6.56 2/175 18432
/proc/meminfo: memFree=9966760/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=9879828 CPUtime=2815.37 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) S 18390 18392 16932 0 -1 4202496 2500393 0 0 0 281032 505 0 0 15 0 4 0 594381072 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 2469957 2114796 423 148 0 2464886 0
[pid=18392/tid=18394] ppid=18390 vsize=9879828 CPUtime=690.36 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) S 18390 18392 16932 0 -1 4202560 576205 0 0 0 68909 127 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 3 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=9879828 CPUtime=692.92 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) S 18390 18392 16932 0 -1 4202560 542151 0 0 0 69172 120 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=9879828 CPUtime=728.17 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 557013 0 0 0 72705 112 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2815.37
Current children cumulated vsize (KiB) 9879828

[startup+740.701 s]
/proc/loadavg: 5.11 7.02 6.56 2/175 18432
/proc/meminfo: memFree=9966760/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=9879828 CPUtime=2816.97 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) S 18390 18392 16932 0 -1 4202496 2500393 0 0 0 281192 505 0 0 15 0 4 0 594381072 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 2469957 2114796 423 148 0 2464886 0
[pid=18392/tid=18394] ppid=18390 vsize=9879828 CPUtime=690.36 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) S 18390 18392 16932 0 -1 4202560 576205 0 0 0 68909 127 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 3 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=9879828 CPUtime=692.92 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) S 18390 18392 16932 0 -1 4202560 542151 0 0 0 69172 120 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454175796 0 0 4096 2 18446604471144561344 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=9879828 CPUtime=729.77 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4202560 557013 0 0 0 72865 112 0 0 25 0 4 0 594382160 10116943872 2114796 33554432000 4194304 4797429 140735714208000 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2816.97
Current children cumulated vsize (KiB) 9879828

[startup+742.301 s]
/proc/loadavg: 4.78 6.92 6.53 2/175 18432
/proc/meminfo: memFree=9952500/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=9189704 CPUtime=2818.86 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 2503938 0 0 0 281380 506 0 0 16 0 4 0 594381072 9410256896 2037597 33554432000 4194304 4797429 140735714208000 18446744073709551615 256415047793 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 2297426 2037597 427 148 0 2292355 0
[pid=18392/tid=18394] ppid=18390 vsize=9189704 CPUtime=690.45 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) S 18390 18392 16932 0 -1 4202560 576205 0 0 0 68918 127 0 0 18 0 4 0 594382160 9410256896 2037597 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454176202 0 0 4096 2 18446604471144561344 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=9189704 CPUtime=693.03 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) S 18390 18392 16932 0 -1 4202560 542151 0 0 0 69183 120 0 0 18 0 4 0 594382160 9410256896 2037597 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454176202 0 0 4096 2 18446604471144561344 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=9189704 CPUtime=730.82 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) S 18390 18392 16932 0 -1 4202560 560553 0 0 0 72969 113 0 0 25 0 4 0 594382160 9410256896 2037597 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454176202 0 0 4096 2 18446604471144561344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2818.86
Current children cumulated vsize (KiB) 9189704

[startup+742.701 s]
/proc/loadavg: 4.78 6.92 6.53 2/175 18432
/proc/meminfo: memFree=10275024/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=6483564 CPUtime=2819.27 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) R 18390 18392 16932 0 -1 4202496 2503938 0 0 0 281412 515 0 0 17 0 4 0 594381072 6639169536 1456223 33554432000 4194304 4797429 140735714208000 18446744073709551615 256415040716 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 1620891 1456223 427 148 0 1615820 0
[pid=18392/tid=18394] ppid=18390 vsize=6483564 CPUtime=690.45 cores=1,3,5,7
/proc/18392/task/18394/stat : 18394 (techdemo) S 18390 18392 16932 0 -1 4202560 576205 0 0 0 68918 127 0 0 18 0 4 0 594382160 6639169536 1456223 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454176202 0 0 4096 2 18446604471144561344 0 0 -1 7 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=6483564 CPUtime=693.03 cores=1,3,5,7
/proc/18392/task/18395/stat : 18395 (techdemo) S 18390 18392 16932 0 -1 4202560 542151 0 0 0 69183 120 0 0 18 0 4 0 594382160 6639169536 1456223 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454176202 0 0 4096 2 18446604471144561344 0 0 -1 1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=6483564 CPUtime=730.82 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) S 18390 18392 16932 0 -1 4202560 560553 0 0 0 72969 113 0 0 25 0 4 0 594382160 6639169536 1456223 33554432000 4194304 4797429 140735714208000 18446744073709551615 47177454176202 0 0 4096 2 18446604471144561344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2819.27
Current children cumulated vsize (KiB) 6483564

[startup+742.9 s]
/proc/loadavg: 4.78 6.92 6.53 2/175 18432
/proc/meminfo: memFree=10275024/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=0 CPUtime=2819.47 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) Z 18390 18392 16932 0 -1 4202524 2503939 0 0 0 281422 525 0 0 17 0 2 0 594381072 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=0 CPUtime=730.88 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4203588 560553 0 0 0 72969 119 0 0 18 0 2 0 594382160 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2819.47
Current children cumulated vsize (KiB) 0

[startup+743 s]
/proc/loadavg: 4.78 6.92 6.53 2/175 18432
/proc/meminfo: memFree=10275024/32950928 swapFree=67111524/67111528
[pid=18392] ppid=18390 vsize=0 CPUtime=2819.57 cores=1,3,5,7
/proc/18392/stat : 18392 (techdemo) Z 18390 18392 16932 0 -1 4202524 2503939 0 0 0 281422 535 0 0 17 0 2 0 594381072 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=0 CPUtime=730.98 cores=1,3,5,7
/proc/18392/task/18396/stat : 18396 (techdemo) R 18390 18392 16932 0 -1 4203588 560553 0 0 0 72969 129 0 0 18 0 2 0 594382160 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2819.57
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 743.024
CPU time (s): 2819.6
CPU user time (s): 2814.22
CPU system time (s): 5.37918
CPU usage (%): 379.476
Max. virtual memory (cumulated for all children) (KiB): 9896616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2814.22
system time used= 5.37918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2503939
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= 26970
involuntary context switches= 21103

runsolver used 1.19782 second user time and 2.82257 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 03:45:04
IDJOB=3285744
IDBENCH=82399
IDSOLVER=1584
FILE ID=node115/3285744-1304041498
RUNJOBID= node115-1304041498-18369
PBS_JOBID= 13170337
Free space on /tmp= 72504 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285744-1304041498/watcher-3285744-1304041498 -o /tmp/evaluation-result-3285744-1304041498/solver-3285744-1304041498 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3285744-1304041498.cnf

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

MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=1928110753

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12001752 kB
Buffers:       2315720 kB
Cached:       17477156 kB
SwapCached:          4 kB
Active:        8382280 kB
Inactive:     12002124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12001752 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          241700 kB
Writeback:           0 kB
AnonPages:      591108 kB
Mapped:          15528 kB
Slab:           501680 kB
PageTables:       5904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1226040 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= 72544 MiB
End job on node115 at 2011-04-29 03:57:27