Trace number 3286756

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 4517.2 1286.29

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
MD5SUMceca868d07951273fdc2de08c57f2b6a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.9231
Satisfiable
(Un)Satisfiability was proved
Number of variables259762
Number of clauses656573
Sum of the clauses size1532001
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2437714
Number of clauses of size 3218857
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3286756-1304043303.cnf'
0.00/0.00	c -- header says num vars:         259762
0.00/0.00	c -- header says num clauses:      656573
1.28/1.34	c -- clauses added:            0 learnts,       656573 normals,            0 xors
1.28/1.34	c -- vars added     259762
1.28/1.34	c Parsing time:  1.19 s
1.28/1.34	c  N st     0         0    259762    218857    437714         0   1531999         0   no data   no data  --
2.75/1.72	c asymm  cl-useful: 33/196/216224 lits-rem:99 time: 1.48
27.90/8.04	c Flit:     0 Blit:   2835 bXBeca:    0 bXProp: 2292 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 25.07
27.90/8.07	c Cleaning up after failed var search:     0.11 s 
35.47/9.91	c Calc non-exist non-lernt bins v-fix:     0 done:   9615 time:  6.96 s
35.47/9.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.20
35.47/9.99	c Subs w/ non-existent bins:      0 time:  0.11 s
35.85/10.05	c Replacing     2292 vars Replaced    29796 lits Time:     0.23 s 
36.26/10.15	c bin-w-bin subsume rem            0 bins  time:  0.15 s
36.65/10.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.38 s
37.05/10.37	c Removed useless bin:     337  fixed:     0  bprops:  10.00M  time:  0.44 s
40.55/11.22	c lits-rem:         0  cl-subs:        0  v-elim:  84000  v-fix:    0  time:  3.07 s
40.55/11.22	c learnt bin added due to v-elim: 0
40.55/11.28	c Finding binary XORs  T:     0.24 s  found:     564
40.96/11.34	c Replacing      564 vars Replaced     5078 lits Time:     0.25 s 
41.75/11.53	c Finding non-binary XORs:     0.56 s (found:   40120, avg size: 3.0)
41.75/11.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
41.75/11.56	c Calc default polars -  time:   0.07 s pos:    1192 undec:  132776 neg:  125794
41.75/11.56	c =========================================================================================
41.75/11.56	c types(t): F = full restart, N = normal restart
41.75/11.56	c types(t): S = simplification begin/end, E = solution found
41.75/11.56	c restart types(rt): st = static, dy = dynamic
41.75/11.56	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
41.75/11.56	c  B st     0         0    167437     93162    173280         0    746434         0   no data   no data  --
521.62/131.64	c Decided on static restart strategy
763.35/192.10	c  N dy     7      4903    167437     93162    173712      4324    746434   4693873   1611.12     14.63  --
1021.85/256.87	c  N dy     9     11053    166307     93162    185828    170356    751102  10437179    974.38     25.87  --
1518.87/381.24	c  N dy    21     15372    162191     90670    185605    172207    736002  14308468   1704.55     23.68  --
1589.58/398.94	c  N dy    39     20274    157903     90670    186064    176483    736002  17754822    945.48     26.77  --
1628.33/408.67	c  N dy    44     25238    153401     90670    186127    161693    736002   1940187    545.00     24.00  --
1656.29/415.64	c  N dy    47     29247    152709     90670    186168    165556    736002   3889936    347.31     22.11  --
1687.87/423.54	c  S st    48     30001    152567     90670    186168    166299    736002   4176330    375.89     22.01  --
1699.04/426.32	c  S st    48     30502    152566     90670    186263    166690    736002   4244016    375.89     22.01  --
1699.04/426.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.26
4078.08/1021.85	c Flit:    39 Blit:  21578 bXBeca:    0 bXProp: 2267 Bin:   2384 BRemL:      0 BRemN:     22 CBin:       0 P: 60.0M T: 2377.46
4078.48/1021.93	c Cleaning up after failed var search:     0.30 s 
4084.05/1023.35	c Calc non-exist non-lernt bins v-fix:     0 done:  16336 time:  5.48 s
4084.05/1023.39	c Cache  BProp: 0 Set: 0 BXProp: 161 T: 0.18
4084.85/1023.52	c Subs w/ non-existent bins:   6036 time:  0.50 s
4085.25/1023.63	c Replacing    29437 vars Replaced   579007 lits Time:     0.41 s 
4085.65/1023.72	c bin-w-bin subsume rem         1503 bins  time:  0.06 s
4086.05/1023.80	c subs with bin:     5027  lits-rem:      5386  v-fix:    0  time:  0.30 s
4086.45/1023.92	c Removed useless bin:      93  fixed:     0  bprops:  10.00M  time:  0.50 s
4094.84/1026.08	c lits-rem:       819  cl-subs:     6916  v-elim:  52194  v-fix:    0  time:  8.59 s
4094.84/1026.08	c learnt bin added due to v-elim: 0
4096.84/1026.51	c asymm  cl-useful: 226/2564/9272 lits-rem:957 time: 1.74
4096.84/1026.52	c  N dy    48     30502     26097      9212     32698     39380    137355    179747    375.89     22.01  --
4096.84/1026.52	c  F st    48     30502     26097      9212     32698     39380    137355    179747    375.89     22.01  --
4100.05/1027.32	c Decided on static restart strategy
4107.63/1029.28	c  N dy    55     45753     22347      9212    141968     70439    287435    749370     19.23     18.90  --
4108.03/1029.32	c  S st    55     45753     22347      9212    141968     70439    287435    749370     19.23     18.90  --
4108.03/1029.38	c Finding binary XORs  T:     0.13 s  found:   10933
4108.42/1029.44	c Replacing    10933 vars Replaced   655384 lits Time:     0.23 s 
4108.84/1029.53	c  S st    55     46255      6149      4605     23331     47203     83477    495962     19.23     18.90  --
4108.84/1029.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    189 locsubst:     0 time:   0.06
4108.84/1029.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
4112.82/1030.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   36 Bin:   6246 BRemL:    236 BRemN:  10142 CBin:       0 P:  4.2M T:  4.18
4113.23/1030.61	c Calc non-exist non-lernt bins v-fix:     0 done:   5960 time:  0.06 s
4113.23/1030.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
4113.63/1030.72	c Subs w/ non-existent bins:     76 time:  0.42 s
4113.63/1030.74	c Replacing       36 vars Replaced      913 lits Time:     0.05 s 
4113.63/1030.77	c bin-w-bin subsume rem          572 bins  time:  0.03 s
4113.63/1030.79	c subs with bin:       17  lits-rem:      2518  v-fix:    0  time:  0.07 s
4113.63/1030.79	c Removed useless bin:      61  fixed:     0  bprops:   0.13M  time:  0.02 s
4118.41/1031.90	c lits-rem:      6959  cl-subs:    25663  v-elim:   1455  v-fix:    0  time:  4.40 s
4118.41/1031.90	c learnt bin added due to v-elim: 0
4118.41/1031.91	c vivif2 --  cl tried     3774 cl shrink        0 lits rem          0 time: 0.06
4118.41/1031.94	c vivif2 --  cl tried    20672 cl shrink       69 lits rem         69 time: 0.12
4118.41/1031.95	c asymm  cl-useful: 0/1014/3774 lits-rem:0 time: 0.04
4118.41/1031.96	c calculated reachability. Time: 0.02
4118.41/1031.97	c  N dy    55     46255      4502      3774       310     20672     26329    180327     19.23     18.90  --
4121.21/1032.62	c  N dy    58     54680      4502      3774       310     27666     26329    316027     18.80     17.37  --
4126.00/1033.81	c  N dy    59     69382      4501      3774       310     40519     26329    605277     30.74     16.12  --
4126.00/1033.85	c  S st    59     69382      4501      3774       310     40519     26329    605277     30.74     16.12  --
4126.41/1033.96	c  S st    59     69883      4501      3774       312     40898     26329    608454     30.74     16.12  --
4126.41/1033.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4126.41/1033.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4127.59/1034.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     91 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.02
4127.59/1034.23	c Calc non-exist non-lernt bins v-fix:     0 done:   4501 time:  0.02 s
4127.59/1034.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
4128.39/1034.45	c Subs w/ non-existent bins:      0 time:  0.85 s
4128.39/1034.49	c bin-w-bin subsume rem           68 bins  time:  0.02 s
4128.79/1034.50	c subs with bin:        2  lits-rem:         6  v-fix:    0  time:  0.04 s
4128.79/1034.50	c Removed useless bin:       0  fixed:     0  bprops:   0.02M  time:  0.02 s
4136.78/1036.59	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
4150.37/1039.91	c Added 8 vars  tried: 80000 time: 13.23
4150.37/1039.91	c ORs :      8 avg-s:  0.0 cl-sh:   546 l-rem:    546 b-add:     16 v-rep:   0 cl-rem: 0 avg s: nan T:   13.24
4150.37/1039.93	c lits-rem:      2924  cl-subs:     5734  v-elim:     18  v-fix:    0  time: 21.68 s
4150.37/1039.93	c learnt bin added due to v-elim: 0
4150.37/1039.94	c vivif2 --  cl tried     3718 cl shrink        0 lits rem          0 time: 0.06
4150.77/1040.07	c vivif2 --  cl tried    35156 cl shrink        0 lits rem          0 time: 0.50
4151.17/1040.12	c asymm  cl-useful: 0/3718/3718 lits-rem:0 time: 0.20
4151.17/1040.13	c calculated reachability. Time: 0.01
4151.17/1040.13	c  N dy    59     69883      4509      3718       310     35156     26127    480784     30.74     16.12  --
4151.17/1040.13	c  F st    59     69883      4509      3718       310     35156     26127    480784     30.74     16.12  --
4151.97/1040.36	c Decided on static restart strategy
4153.56/1040.80	c  N dy    66     75690      4508      3718       311     40303     26127    581584     21.22     15.66  --
4159.56/1042.24	c  N dy    67     86921      4508      3718       390     50237     26127    768326     26.79     14.92  --
4171.55/1045.26	c  N dy    70    104589      4504      3718       407     66778     26127   1111122     19.40     14.76  --
4171.95/1045.37	c  S st    71    104824      4504      3718       407     66981     26127   1114463     17.47     14.75  --
4172.75/1045.52	c  S st    71    105325      4504      3718       410     67404     26127   1119727     17.47     14.75  --
4172.75/1045.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     63 locsubst:     0 time:   0.06
4172.75/1045.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
4173.94/1045.89	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    3 Bin:    128 BRemL:     15 BRemN:      4 CBin:       0 P:  4.0M T:  1.40
4173.94/1045.89	c Calc non-exist non-lernt bins v-fix:     0 done:   4440 time:  0.03 s
4174.34/1045.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
4175.54/1046.29	c Subs w/ non-existent bins:   1928 time:  1.57 s
4175.94/1046.35	c Replacing        3 vars Replaced     7493 lits Time:     0.24 s 
4175.94/1046.39	c bin-w-bin subsume rem           63 bins  time:  0.02 s
4176.34/1046.41	c subs with bin:       31  lits-rem:       301  v-fix:    0  time:  0.05 s
4176.34/1046.41	c Removed useless bin:       0  fixed:     0  bprops:   0.02M  time:  0.02 s
4188.73/1049.56	c ORs :      8 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.05
4188.73/1049.59	c lits-rem:      6228  cl-subs:     8001  v-elim:      9  v-fix:    0  time: 12.71 s
4188.73/1049.59	c learnt bin added due to v-elim: 0
4189.13/1049.60	c vivif2 --  cl tried     3145 cl shrink        0 lits rem          0 time: 0.01
4189.93/1049.85	c vivif2 --  cl tried    51208 cl shrink        0 lits rem          0 time: 1.00
4190.32/1049.91	c asymm  cl-useful: 0/3145/3145 lits-rem:0 time: 0.25
4190.32/1049.92	c calculated reachability. Time: 0.01
4190.32/1049.93	c  N dy    71    105325      4437      3145       270     51208     23835    814939     17.47     14.75  --
4195.52/1051.23	c  N dy    83    112078      4436      3145       280     57490     23835    925627     20.35     14.56  --
4202.71/1053.07	c  N dy   115    119353      4436      3145       280     64470     23835   1043208     15.42     14.52  --
4211.50/1055.24	c  N dy   145    127039      4436      3145       280     71912     23835   1160729     15.44     14.43  --
4222.29/1057.97	c  N dy   189    135339      4436      3145       280     79930     23835   1279983     14.38     14.32  --
4235.47/1061.20	c  N dy   227    144106      4436      3145       328     88432     23835   1405300     13.82     14.21  --
4248.66/1064.57	c  N dy   277    153471      4436      3145       328     97502     23835   1536364     14.27     14.09  --
4255.85/1066.39	c  S st   299    157987      4436      3145       328    101866     23835   1595101     14.20     14.00  --
4257.04/1066.61	c  S st   299    158490      4436      3145       328    102297     23835   1599994     14.20     14.00  --
4257.04/1066.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    378 locsubst:     0 time:   0.10
4257.04/1066.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4258.66/1067.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:     63 BRemL:      3 BRemN:      5 CBin:       0 P:  9.6M T:  1.65
4258.66/1067.06	c Calc non-exist non-lernt bins v-fix:     0 done:   4058 time:  0.02 s
4258.66/1067.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4261.44/1067.70	c Subs w/ non-existent bins:   2699 time:  2.57 s
4262.25/1067.92	c Replacing        4 vars Replaced     6106 lits Time:     0.86 s 
4262.25/1067.96	c bin-w-bin subsume rem          111 bins  time:  0.01 s
4262.25/1067.98	c subs with bin:       54  lits-rem:       103  v-fix:    0  time:  0.06 s
4262.25/1067.98	c Removed useless bin:       0  fixed:     0  bprops:   0.02M  time:  0.01 s
4288.62/1074.54	c ORs :      8 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
4288.62/1074.57	c lits-rem:     13169  cl-subs:    38623  v-elim:      4  v-fix:    0  time: 26.32 s
4288.62/1074.57	c learnt bin added due to v-elim: 0
4288.62/1074.57	c vivif2 --  cl tried     2829 cl shrink        0 lits rem          0 time: 0.01
4290.21/1074.95	c vivif2 --  cl tried    48780 cl shrink        0 lits rem          0 time: 1.49
4290.61/1075.00	c asymm  cl-useful: 3/2829/2829 lits-rem:3 time: 0.22
4290.61/1075.01	c calculated reachability. Time: 0.01
4290.61/1075.01	c  N dy   299    158490      4054      2829       265     48780     21679    716535     14.20     14.00  --
4301.80/1077.83	c  N dy   334    168738      4054      2829       266     58715     21679    853672     14.67     13.80  --
4515.80/1285.22	c Following stats are for *FIRST FINISHED THREAD ONLY*
4515.80/1285.22	c num threads              : 4          
4515.80/1285.22	c restarts                 : 159        
4515.80/1285.22	c dynamic restarts         : 5          
4515.80/1285.22	c static restarts          : 154        
4515.80/1285.22	c full restarts            : 31         
4515.80/1285.22	c total simplify time      : 0.93       
4515.80/1285.22	c learnts DL2              : 0          
4515.80/1285.22	c learnts size 2           : 1293394    
4515.80/1285.22	c learnts size 1           : 74178       (28.56     % of vars)
4515.80/1285.22	c filedLit time            : 1851.10     (41.02     % time)
4515.80/1285.22	c v-elim SatELite          : 140838      (54.22     % vars)
4515.80/1285.22	c SatELite time            : 145.92      (3.23      % time)
4515.80/1285.22	c v-elim xor               : 692         (0.27      % vars)
4515.80/1285.22	c xor elim time            : 9.83        (0.22      % time)
4515.80/1285.22	c num binary xor trees     : 3685       
4515.80/1285.22	c binxor trees' crown      : 41076       (11.15     leafs/tree)
4515.80/1285.22	c bin xor find time        : 1.13       
4515.80/1285.22	c OTF clause subsumed      : 50761       (0.22      clauses/conflict)
4515.80/1285.22	c OTF subs. size diff      : 51279       (1.01       lits/clause)
4515.80/1285.22	c OTF cl watch-shrink      : 6505        (0.03      clauses/conflict)
4515.80/1285.22	c OTF cl watch-sh-lit      : 7393        (1.14       lits/clause)
4515.80/1285.22	c tried to recurMin cls    : 221591      (94.85      % of conflicts)
4515.80/1285.22	c updated cache            : 0           (0.00       lits/tried recurMin)
4515.80/1285.22	c OTF Gate-Rem cl          : 0           (0.00      clauses/conflict)
4515.80/1285.22	c OTF Gate-rem lits        : 0           (nan       lits/confl)
4515.80/1285.22	c unit cls received        : 18          (0.02      % of units)
4515.80/1285.22	c unit cls sent            : 54263       (73.15     % of units)
4515.80/1285.22	c bin cls received         : 134818     
4515.80/1285.22	c bin cls sent             : 908918     
4515.80/1285.22	c tri cls recevied         : 144402     
4515.80/1285.22	c tri cls sent             : 292832     
4515.80/1285.22	c clauses over max glue    : 0           (0.00      % of all clauses)
4515.80/1285.22	c conflicts                : 233616      (51.77     / sec)
4515.80/1285.22	c decisions                : 6218632     (82.96     % random)
4515.80/1285.22	c bogo-props               : 372093150   (82451.32  / sec)
4515.80/1285.22	c props                    : 16862775    (3736.59   / sec)
4515.80/1285.22	c conflict literals        : 10809829    (2.65      % deleted)
4515.80/1285.22	c Memory used              : 3140.88     MB
4515.80/1285.22	c single-thread CPU time   : 4512.88     s
4515.80/1285.22	c all-threads sum CPU time : 4512.88     s
4515.80/1285.22	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-3286756-1304043303/watcher-3286756-1304043303 -o /tmp/evaluation-result-3286756-1304043303/solver-3286756-1304043303 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3286756-1304043303.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: 3.85 4.83 6.28 2/174 29783
/proc/meminfo: memFree=24885680/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=24220 CPUtime=0 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 1310 0 0 0 0 0 0 0 21 0 1 0 594560791 24801280 1249 33554432000 4194304 4797429 140734438554064 18446744073709551615 252457762571 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29783/statm: 6055 1257 341 148 0 984 0

[startup+0.0979581 s]
/proc/loadavg: 3.85 4.83 6.28 2/174 29783
/proc/meminfo: memFree=24885680/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=125920 CPUtime=0.08 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 22659 0 0 0 6 2 0 0 21 0 1 0 594560791 128942080 15795 33554432000 4194304 4797429 140734438554064 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29783/statm: 31480 15795 349 148 0 26409 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 125920

[startup+0.100927 s]
/proc/loadavg: 3.85 4.83 6.28 2/174 29783
/proc/meminfo: memFree=24885680/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=125920 CPUtime=0.09 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 22812 0 0 0 7 2 0 0 21 0 1 0 594560791 128942080 15948 33554432000 4194304 4797429 140734438554064 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29783/statm: 31480 15948 349 148 0 26409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 125920

[startup+0.30089 s]
/proc/loadavg: 3.85 4.83 6.28 2/174 29783
/proc/meminfo: memFree=24885680/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=208180 CPUtime=0.29 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 45031 0 0 0 24 5 0 0 22 0 1 0 594560791 213176320 30831 33554432000 4194304 4797429 140734438554064 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29783/statm: 52078 30832 349 148 0 47007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 208180

[startup+0.700846 s]
/proc/loadavg: 3.85 4.83 6.28 2/174 29783
/proc/meminfo: memFree=24885680/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=370560 CPUtime=0.69 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 91470 0 0 0 59 10 0 0 24 0 1 0 594560791 379453440 62558 33554432000 4194304 4797429 140734438554064 18446744073709551615 4687996 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29783/statm: 92640 62558 349 148 0 87569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 370560

[startup+1.50064 s]
/proc/loadavg: 3.85 4.83 6.28 3/178 29790
/proc/meminfo: memFree=24253496/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=671316 CPUtime=1.95 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 140191 0 0 0 180 15 0 0 18 0 4 0 594560791 687427584 110699 33554432000 4194304 4797429 140734438554064 18446744073709551615 4427262 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29783/statm: 167829 110699 376 148 0 162758 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 671316

[startup+3.10031 s]
/proc/loadavg: 3.85 4.83 6.28 9/184 29796
/proc/meminfo: memFree=23770412/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=1099924 CPUtime=8.34 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 153430 0 0 0 817 17 0 0 20 0 4 0 594560791 1126322176 119657 33554432000 4194304 4797429 140734438554064 18446744073709551615 4428396 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29783/statm: 274981 119657 383 148 0 269910 0
[pid=29783/tid=29791] ppid=29781 vsize=1099924 CPUtime=1.74 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 2666 0 0 0 174 0 0 0 25 0 4 0 594560926 1126322176 119657 33554432000 4194304 4797429 140734438554064 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=1099924 CPUtime=1.74 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) R 29781 29783 28460 0 -1 4202560 3506 0 0 0 174 0 0 0 25 0 4 0 594560926 1126322176 119657 33554432000 4194304 4797429 140734438554064 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=1099924 CPUtime=1.74 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) R 29781 29783 28460 0 -1 4202560 3973 0 0 0 174 0 0 0 20 0 4 0 594560926 1126322176 119657 33554432000 4194304 4797429 140734438554064 18446744073709551615 4427963 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 1099924

[startup+6.3007 s]
/proc/loadavg: 4.18 4.88 6.29 9/184 29796
/proc/meminfo: memFree=23732908/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=1099924 CPUtime=21.12 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 153466 0 0 0 2094 18 0 0 25 0 4 0 594560791 1126322176 119693 33554432000 4194304 4797429 140734438554064 18446744073709551615 4427902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29783/statm: 274981 119693 384 148 0 269910 0
[pid=29783/tid=29791] ppid=29781 vsize=1099924 CPUtime=4.92 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 2673 0 0 0 492 0 0 0 25 0 4 0 594560926 1126322176 119693 33554432000 4194304 4797429 140734438554064 18446744073709551615 4428011 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=1099924 CPUtime=4.94 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) R 29781 29783 28460 0 -1 4202560 3514 0 0 0 494 0 0 0 25 0 4 0 594560926 1126322176 119693 33554432000 4194304 4797429 140734438554064 18446744073709551615 4245888 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=1099924 CPUtime=4.93 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) R 29781 29783 28460 0 -1 4202560 3988 0 0 0 492 1 0 0 25 0 4 0 594560926 1126322176 119693 33554432000 4194304 4797429 140734438554064 18446744073709551615 4427914 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.12
Current children cumulated vsize (KiB) 1099924

[startup+12.7005 s]
/proc/loadavg: 4.49 4.93 6.30 9/184 29796
/proc/meminfo: memFree=21786124/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2088084 CPUtime=46.55 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 396991 0 0 0 4582 73 0 0 20 0 4 0 594560791 2138198016 356521 33554432000 4194304 4797429 140734438554064 18446744073709551615 4422962 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 522021 356521 420 148 0 516950 0
[pid=29783/tid=29791] ppid=29781 vsize=2088084 CPUtime=11.27 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 61244 0 0 0 1113 14 0 0 20 0 4 0 594560926 2138198016 356521 33554432000 4194304 4797429 140734438554064 18446744073709551615 4341464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=2088084 CPUtime=11.31 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) R 29781 29783 28460 0 -1 4202560 61199 0 0 0 1118 13 0 0 20 0 4 0 594560926 2138198016 356521 33554432000 4194304 4797429 140734438554064 18446744073709551615 4403502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=2088084 CPUtime=11.28 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) R 29781 29783 28460 0 -1 4202560 61900 0 0 0 1114 14 0 0 20 0 4 0 594560926 2138198016 356521 33554432000 4194304 4797429 140734438554064 18446744073709551615 4341464 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 46.55
Current children cumulated vsize (KiB) 2088084

[startup+25.5011 s]
/proc/loadavg: 5.26 5.08 6.32 9/184 29797
/proc/meminfo: memFree=21708256/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2088084 CPUtime=97.7 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 398812 0 0 0 9696 74 0 0 25 0 4 0 594560791 2138198016 358340 33554432000 4194304 4797429 140734438554064 18446744073709551615 4413830 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 522021 358340 420 148 0 516950 0
[pid=29783/tid=29791] ppid=29781 vsize=2088084 CPUtime=24.07 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 61551 0 0 0 2393 14 0 0 25 0 4 0 594560926 2138198016 358340 33554432000 4194304 4797429 140734438554064 18446744073709551615 4413322 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=2088084 CPUtime=24.11 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) R 29781 29783 28460 0 -1 4202560 61775 0 0 0 2398 13 0 0 25 0 4 0 594560926 2138198016 358340 33554432000 4194304 4797429 140734438554064 18446744073709551615 4341545 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=2088084 CPUtime=24.03 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) R 29781 29783 28460 0 -1 4202560 62497 0 0 0 2388 15 0 0 25 0 4 0 594560926 2138198016 358340 33554432000 4194304 4797429 140734438554064 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 97.7
Current children cumulated vsize (KiB) 2088084

[startup+51.1004 s]
/proc/loadavg: 6.28 5.33 6.37 9/184 29797
/proc/meminfo: memFree=21651596/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2088084 CPUtime=199.98 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 401628 0 0 0 19924 74 0 0 25 0 4 0 594560791 2138198016 361154 33554432000 4194304 4797429 140734438554064 18446744073709551615 4413322 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 522021 361154 421 148 0 516950 0
[pid=29783/tid=29791] ppid=29781 vsize=2088084 CPUtime=49.68 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 62536 0 0 0 4953 15 0 0 25 0 4 0 594560926 2138198016 361154 33554432000 4194304 4797429 140734438554064 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=2088084 CPUtime=49.71 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) R 29781 29783 28460 0 -1 4202560 62346 0 0 0 4958 13 0 0 25 0 4 0 594560926 2138198016 361154 33554432000 4194304 4797429 140734438554064 18446744073709551615 252457733047 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=2088084 CPUtime=49.51 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) R 29781 29783 28460 0 -1 4202560 63419 0 0 0 4936 15 0 0 25 0 4 0 594560926 2138198016 361154 33554432000 4194304 4797429 140734438554064 18446744073709551615 4341480 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (KiB) 2088084

[startup+102.307 s]
/proc/loadavg: 7.32 5.75 6.46 9/184 29799
/proc/meminfo: memFree=21586196/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2112444 CPUtime=404.57 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 415640 0 0 0 40381 76 0 0 25 0 4 0 594560791 2163142656 375157 33554432000 4194304 4797429 140734438554064 18446744073709551615 4340984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 528111 375157 422 148 0 523040 0
[pid=29783/tid=29791] ppid=29781 vsize=2112444 CPUtime=100.88 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 65763 0 0 0 10072 16 0 0 25 0 4 0 594560926 2163142656 375157 33554432000 4194304 4797429 140734438554064 18446744073709551615 4413403 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=2112444 CPUtime=100.91 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) R 29781 29783 28460 0 -1 4202560 63226 0 0 0 10078 13 0 0 25 0 4 0 594560926 2163142656 375157 33554432000 4194304 4797429 140734438554064 18446744073709551615 4413688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=2112444 CPUtime=100.48 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) R 29781 29783 28460 0 -1 4202560 72717 0 0 0 10033 15 0 0 25 0 4 0 594560926 2163142656 375157 33554432000 4194304 4797429 140734438554064 18446744073709551615 4341026 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 404.57
Current children cumulated vsize (KiB) 2112444

[startup+162.301 s]
/proc/loadavg: 7.75 6.16 6.55 9/184 29800
/proc/meminfo: memFree=21462300/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2185700 CPUtime=644.29 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 446051 0 0 0 64348 81 0 0 25 0 4 0 594560791 2238156800 401289 33554432000 4194304 4797429 140734438554064 18446744073709551615 4341480 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 546425 401289 419 148 0 541354 0
[pid=29783/tid=29791] ppid=29781 vsize=2185700 CPUtime=160.87 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 71901 0 0 0 16071 16 0 0 25 0 4 0 594560926 2238156800 401289 33554432000 4194304 4797429 140734438554064 18446744073709551615 4415821 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=2185700 CPUtime=160.91 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) R 29781 29783 28460 0 -1 4202560 64336 0 0 0 16078 13 0 0 25 0 4 0 594560926 2238156800 401289 33554432000 4194304 4797429 140734438554064 18446744073709551615 4341518 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=2185700 CPUtime=160.21 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) R 29781 29783 28460 0 -1 4202560 93519 0 0 0 16002 19 0 0 25 0 4 0 594560926 2238156800 401289 33554432000 4194304 4797429 140734438554064 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 644.29
Current children cumulated vsize (KiB) 2185700

[startup+222.301 s]
/proc/loadavg: 8.00 6.52 6.65 9/184 29802
/proc/meminfo: memFree=21429532/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2214072 CPUtime=884.02 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 515777 0 0 0 88309 93 0 0 25 0 4 0 594560791 2267209728 408729 33554432000 4194304 4797429 140734438554064 18446744073709551615 4332977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 553518 408729 419 148 0 548447 0
[pid=29783/tid=29791] ppid=29781 vsize=2214072 CPUtime=220.88 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 104776 0 0 0 22066 22 0 0 25 0 4 0 594560926 2267209728 408729 33554432000 4194304 4797429 140734438554064 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=2214072 CPUtime=220.92 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) R 29781 29783 28460 0 -1 4202560 65404 0 0 0 22078 14 0 0 25 0 4 0 594560926 2267209728 408729 33554432000 4194304 4797429 140734438554064 18446744073709551615 4413409 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=2214072 CPUtime=219.93 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) R 29781 29783 28460 0 -1 4202560 126897 0 0 0 21969 24 0 0 25 0 4 0 594560926 2267209728 408729 33554432000 4194304 4797429 140734438554064 18446744073709551615 4259304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 884.02
Current children cumulated vsize (KiB) 2214072

[startup+282.3 s]
/proc/loadavg: 8.08 6.81 6.74 9/184 29804
/proc/meminfo: memFree=21355500/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2221832 CPUtime=1123.73 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 571637 0 0 0 112267 106 0 0 25 0 4 0 594560791 2275155968 421207 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636155825848 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 555458 421207 419 148 0 550387 0
[pid=29783/tid=29791] ppid=29781 vsize=2221832 CPUtime=280.88 cores=0,2,4,6

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

/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107269 74 0 0 25 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4352.9
Current children cumulated vsize (KiB) 3210116

[startup+1182.3 s]
/proc/loadavg: 1.56 3.65 5.32 2/175 29844
/proc/meminfo: memFree=22395156/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=3210116 CPUtime=4412.91 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) S 29781 29783 28460 0 -1 4202496 1280822 0 0 0 440996 295 0 0 25 0 4 0 594560791 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 802529 625888 424 148 0 797458 0
[pid=29783/tid=29791] ppid=29781 vsize=3210116 CPUtime=1180.9 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 234503 0 0 0 118040 50 0 0 25 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 4259680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=3210116 CPUtime=1078.56 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107810 46 0 0 15 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 252469894769 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=3210116 CPUtime=1073.43 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107269 74 0 0 25 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4412.91
Current children cumulated vsize (KiB) 3210116

[startup+1242.3 s]
/proc/loadavg: 1.20 3.16 5.05 2/175 29846
/proc/meminfo: memFree=22394880/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=3210116 CPUtime=4472.91 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) S 29781 29783 28460 0 -1 4202496 1280822 0 0 0 446996 295 0 0 25 0 4 0 594560791 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 802529 625888 424 148 0 797458 0
[pid=29783/tid=29791] ppid=29781 vsize=3210116 CPUtime=1240.9 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 234503 0 0 0 124040 50 0 0 25 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 4259308 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=3210116 CPUtime=1078.56 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107810 46 0 0 15 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 252469894769 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=3210116 CPUtime=1073.43 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107269 74 0 0 25 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4472.91
Current children cumulated vsize (KiB) 3210116

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

[startup+1254.3 s]
/proc/loadavg: 1.17 3.09 5.00 2/175 29846
/proc/meminfo: memFree=22394872/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=3210116 CPUtime=4484.91 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) S 29781 29783 28460 0 -1 4202496 1280822 0 0 0 448196 295 0 0 25 0 4 0 594560791 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 802529 625888 424 148 0 797458 0
[pid=29783/tid=29791] ppid=29781 vsize=3210116 CPUtime=1252.9 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 234503 0 0 0 125240 50 0 0 25 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 4259304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=3210116 CPUtime=1078.56 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107810 46 0 0 15 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 252469894769 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=3210116 CPUtime=1073.43 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107269 74 0 0 25 0 4 0 594560926 3287158784 625888 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4484.91
Current children cumulated vsize (KiB) 3210116

[startup+1267.1 s]
/proc/loadavg: 1.13 2.99 4.94 2/175 29847
/proc/meminfo: memFree=22389288/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=3216260 CPUtime=4497.71 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) S 29781 29783 28460 0 -1 4202496 1282290 0 0 0 449476 295 0 0 25 0 4 0 594560791 3293450240 627356 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 804065 627356 424 148 0 798994 0
[pid=29783/tid=29791] ppid=29781 vsize=3216260 CPUtime=1265.7 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 235971 0 0 0 126520 50 0 0 25 0 4 0 594560926 3293450240 627356 33554432000 4194304 4797429 140734438554064 18446744073709551615 4259315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=3216260 CPUtime=1078.56 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107810 46 0 0 15 0 4 0 594560926 3293450240 627356 33554432000 4194304 4797429 140734438554064 18446744073709551615 252469894769 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=3216260 CPUtime=1073.43 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107269 74 0 0 25 0 4 0 594560926 3293450240 627356 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4497.71
Current children cumulated vsize (KiB) 3216260

[startup+1279.9 s]
/proc/loadavg: 1.11 2.92 4.90 2/175 29847
/proc/meminfo: memFree=22389272/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=3216260 CPUtime=4510.5 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) S 29781 29783 28460 0 -1 4202496 1282291 0 0 0 450755 295 0 0 25 0 4 0 594560791 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 804065 627357 424 148 0 798994 0
[pid=29783/tid=29791] ppid=29781 vsize=3216260 CPUtime=1278.49 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 235972 0 0 0 127799 50 0 0 25 0 4 0 594560926 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 4259308 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=3216260 CPUtime=1078.56 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107810 46 0 0 15 0 4 0 594560926 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 252469894769 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=3216260 CPUtime=1073.43 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107269 74 0 0 25 0 4 0 594560926 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4510.5
Current children cumulated vsize (KiB) 3216260

[startup+1283.1 s]
/proc/loadavg: 1.10 2.89 4.88 2/175 29847
/proc/meminfo: memFree=22389272/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=3216260 CPUtime=4513.7 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) S 29781 29783 28460 0 -1 4202496 1282291 0 0 0 451075 295 0 0 25 0 4 0 594560791 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 804065 627357 424 148 0 798994 0
[pid=29783/tid=29791] ppid=29781 vsize=3216260 CPUtime=1281.69 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 235972 0 0 0 128119 50 0 0 25 0 4 0 594560926 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 4259304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=3216260 CPUtime=1078.56 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107810 46 0 0 15 0 4 0 594560926 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 252469894769 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=3216260 CPUtime=1073.43 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107269 74 0 0 25 0 4 0 594560926 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4513.7
Current children cumulated vsize (KiB) 3216260

[startup+1284.7 s]
/proc/loadavg: 1.10 2.86 4.85 2/175 29847
/proc/meminfo: memFree=22389272/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=3216260 CPUtime=4515.31 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) S 29781 29783 28460 0 -1 4202496 1282291 0 0 0 451236 295 0 0 25 0 4 0 594560791 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 804065 627357 424 148 0 798994 0
[pid=29783/tid=29791] ppid=29781 vsize=3216260 CPUtime=1283.3 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) R 29781 29783 28460 0 -1 4202560 235972 0 0 0 128280 50 0 0 25 0 4 0 594560926 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=3216260 CPUtime=1078.56 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107810 46 0 0 15 0 4 0 594560926 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 252469894769 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=3216260 CPUtime=1073.43 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107269 74 0 0 25 0 4 0 594560926 3293450240 627357 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158686772 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4515.31
Current children cumulated vsize (KiB) 3216260

[startup+1285.5 s]
/proc/loadavg: 1.10 2.86 4.85 2/175 29847
/proc/meminfo: memFree=22389272/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2908104 CPUtime=4516.4 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 1282296 0 0 0 451344 296 0 0 18 0 4 0 594560791 2977898496 582462 33554432000 4194304 4797429 140734438554064 18446744073709551615 252457721863 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 727026 582462 428 148 0 721955 0
[pid=29783/tid=29791] ppid=29781 vsize=2908104 CPUtime=1283.92 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) S 29781 29783 28460 0 -1 4202560 235972 0 0 0 128342 50 0 0 25 0 4 0 594560926 2977898496 582462 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=2908104 CPUtime=1078.65 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107819 46 0 0 15 0 4 0 594560926 2977898496 582462 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=2908104 CPUtime=1073.53 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107279 74 0 0 18 0 4 0 594560926 2977898496 582462 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4516.4
Current children cumulated vsize (KiB) 2908104

[startup+1285.91 s]
/proc/loadavg: 1.10 2.86 4.85 2/175 29847
/proc/meminfo: memFree=22658228/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2590080 CPUtime=4516.81 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 1282296 0 0 0 451384 297 0 0 18 0 4 0 594560791 2652241920 542761 33554432000 4194304 4797429 140734438554064 18446744073709551615 252457715080 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 647520 542761 428 148 0 642449 0
[pid=29783/tid=29791] ppid=29781 vsize=2590080 CPUtime=1283.92 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) S 29781 29783 28460 0 -1 4202560 235972 0 0 0 128342 50 0 0 25 0 4 0 594560926 2652241920 542761 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=2590080 CPUtime=1078.65 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107819 46 0 0 15 0 4 0 594560926 2652241920 542761 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=2590080 CPUtime=1073.53 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107279 74 0 0 18 0 4 0 594560926 2652241920 542761 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4516.81
Current children cumulated vsize (KiB) 2590080

[startup+1286.1 s]
/proc/loadavg: 1.10 2.86 4.85 2/175 29847
/proc/meminfo: memFree=22658228/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=2579140 CPUtime=4517 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 1282296 0 0 0 451403 297 0 0 18 0 4 0 594560791 2641039360 534473 33554432000 4194304 4797429 140734438554064 18446744073709551615 252457722417 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 644785 534473 428 148 0 639714 0
[pid=29783/tid=29791] ppid=29781 vsize=2579140 CPUtime=1283.92 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) S 29781 29783 28460 0 -1 4202560 235972 0 0 0 128342 50 0 0 25 0 4 0 594560926 2641039360 534473 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=2579140 CPUtime=1078.65 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107819 46 0 0 15 0 4 0 594560926 2641039360 534473 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=2579140 CPUtime=1073.53 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107279 74 0 0 18 0 4 0 594560926 2641039360 534471 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4517
Current children cumulated vsize (KiB) 2579140

[startup+1286.2 s]
/proc/loadavg: 1.10 2.86 4.85 2/175 29847
/proc/meminfo: memFree=22658228/32951124 swapFree=67111348/67111528
[pid=29783] ppid=29781 vsize=1937624 CPUtime=4517.1 cores=0,2,4,6
/proc/29783/stat : 29783 (techdemo) R 29781 29783 28460 0 -1 4202496 1282296 0 0 0 451410 300 0 0 19 0 4 0 594560791 1984126976 399547 33554432000 4194304 4797429 140734438554064 18446744073709551615 252457714708 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29783/statm: 484406 399547 428 148 0 479335 0
[pid=29783/tid=29791] ppid=29781 vsize=1937624 CPUtime=1283.92 cores=0,2,4,6
/proc/29783/task/29791/stat : 29791 (techdemo) S 29781 29783 28460 0 -1 4202560 235972 0 0 0 128342 50 0 0 25 0 4 0 594560926 1984126976 399547 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 0 0 0 0
[pid=29783/tid=29792] ppid=29781 vsize=1937624 CPUtime=1078.65 cores=0,2,4,6
/proc/29783/task/29792/stat : 29792 (techdemo) S 29781 29783 28460 0 -1 4202560 186718 0 0 0 107819 46 0 0 15 0 4 0 594560926 1984126976 399547 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 4 0 0 0
[pid=29783/tid=29793] ppid=29781 vsize=1937624 CPUtime=1073.53 cores=0,2,4,6
/proc/29783/task/29793/stat : 29793 (techdemo) S 29781 29783 28460 0 -1 4202560 289111 0 0 0 107279 74 0 0 18 0 4 0 594560926 1984126976 399547 33554432000 4194304 4797429 140734438554064 18446744073709551615 47636158687178 0 0 4096 2 18446604453820364096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4517.1
Current children cumulated vsize (KiB) 1937624

Child status: 20
Real time (s): 1286.29
CPU time (s): 4517.2
CPU user time (s): 4514.12
CPU system time (s): 3.07853
CPU usage (%): 351.181
Max. virtual memory (cumulated for all children) (KiB): 3216260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4514.12
system time used= 3.07853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1282297
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= 44662
involuntary context switches= 28593

runsolver used 1.9837 second user time and 4.29935 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 04:15:03
IDJOB=3286756
IDBENCH=82435
IDSOLVER=1584
FILE ID=node111/3286756-1304043303
RUNJOBID= node111-1304043302-29769
PBS_JOBID= 13170353
Free space on /tmp= 70876 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286756-1304043303/watcher-3286756-1304043303 -o /tmp/evaluation-result-3286756-1304043303/solver-3286756-1304043303 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3286756-1304043303.cnf

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

MD5SUM BENCH= ceca868d07951273fdc2de08c57f2b6a
RANDOM SEED=1962850287

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24885960 kB
Buffers:       1267068 kB
Cached:        6242908 kB
SwapCached:        124 kB
Active:        3073892 kB
Inactive:      4503424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24885960 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           32608 kB
Writeback:           0 kB
AnonPages:       67264 kB
Mapped:          14396 kB
Slab:           424864 kB
PageTables:       4432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189672 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= 70880 MiB
End job on node111 at 2011-04-29 04:36:29