Trace number 3283996

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.44 1202.14

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_19_UNKNOWN.cnf
MD5SUM4cf2a693df1b6e5a084b88e84ec5f2af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.5608
Satisfiable
(Un)Satisfiability was proved
Number of variables4020
Number of clauses466486
Sum of the clauses size1393798
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26187
Number of clauses of size 3460268
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.00/0.02	c Outputting solution to console
0.00/0.02	c This is CryptoMiniSat 2.9.0
0.00/0.02	c compiled with gcc version 4.4.5
0.00/0.02	c Using 4 thread(s)
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3283996-1304034010.cnf'
0.00/0.02	c -- header says num vars:           4020
0.00/0.02	c -- header says num clauses:      466486
0.58/0.66	c -- clauses added:            0 learnts,       466486 normals,            0 xors
0.58/0.66	c -- vars added       4020
0.58/0.66	c Parsing time:  0.60 s
0.58/0.66	c  N st     0         0      4020    460299      6187         0   1393798         0   no data   no data  --
8.75/2.77	c asymm  cl-useful: 428/25620/460299 lits-rem:1284 time: 8.39
10.33/3.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  213 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.6M T:  1.42
10.33/3.20	c Calc non-exist non-lernt bins v-fix:     0 done:   4020 time:  0.10 s
10.33/3.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.15/3.37	c Subs w/ non-existent bins:  19941 time:  0.69 s
11.53/3.48	c Replacing      213 vars Replaced    59834 lits Time:     0.42 s 
12.29/3.62	c bin-w-bin subsume rem            0 bins  time:  0.21 s
12.29/3.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
12.29/3.66	c Removed useless bin:     428  fixed:     0  bprops:   0.36M  time:  0.10 s
20.67/5.74	c lits-rem:         0  cl-subs:        0  v-elim:   1404  v-fix:    0  time:  8.30 s
20.67/5.74	c learnt bin added due to v-elim: 0
20.67/5.75	c Finding binary XORs  T:     0.02 s  found:       0
26.27/7.16	c Finding non-binary XORs:     5.55 s (found:       0, avg size: nan)
26.27/7.16	c calculated reachability. Time: 0.00
26.27/7.17	c Calc default polars -  time:   0.05 s pos:    1413 undec:    1497 neg:    1110
26.27/7.17	c =========================================================================================
26.27/7.17	c types(t): F = full restart, N = normal restart
26.27/7.17	c types(t): S = simplification begin/end, E = solution found
26.27/7.17	c restart types(rt): st = static, dy = dynamic
26.27/7.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
26.27/7.17	c  B st     0         0      2673    438796      6450         0   1330790         0   no data   no data  --
27.46/7.40	c Decided on static restart strategy
63.43/16.46	c  N dy     7     30002      2673    438796      6450     19687   1330790   3099837    165.48     35.07  --
64.61/16.74	c  S st     7     30002      2673    438796      6450     19687   1330790   3099837    165.48     35.07  --
65.81/17.01	c  S st     7     30507      2673    438796      7357     20192   1332604   3145081    165.48     35.07  --
65.81/17.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
65.81/17.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.80/19.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:    907 CBin:       0 P: 13.9M T:  7.90
73.80/19.03	c Calc non-exist non-lernt bins v-fix:     0 done:   2673 time:  0.08 s
73.80/19.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.20/19.14	c Subs w/ non-existent bins:      0 time:  0.45 s
75.00/19.31	c bin-w-bin subsume rem            0 bins  time:  0.22 s
81.80/21.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.92 s
81.80/21.07	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.09 s
953.06/239.17	c lits-rem:       312  cl-subs:     1635  v-elim:   1552  v-fix:    0  time: 871.23 s
953.06/239.17	c learnt bin added due to v-elim: 0
953.46/239.25	c vivif2 --  cl tried   438796 cl shrink        0 lits rem          0 time: 0.34
953.46/239.28	c vivif2 --  cl tried    18557 cl shrink        0 lits rem          0 time: 0.10
959.87/240.90	c asymm  cl-useful: 0/2347/438796 lits-rem:0 time: 6.49
960.27/240.92	c calculated reachability. Time: 0.00
960.27/240.92	c  N dy     7     30507      2673    438796      6450     18557   1330790   2859375    165.48     35.07  --
960.27/240.92	c  F st     7     30507      2673    438796      6450     18557   1330790   2859375    165.48     35.07  --
961.84/241.39	c Decided on static restart strategy
979.02/245.63	c  N dy    14     45761      2673    438796      6450     18358   1330790   2257390    180.06     33.89  --
979.42/245.77	c  S st    14     45761      2673    438796      6450     18358   1330790   2257390    180.06     33.89  --
980.22/245.94	c  S st    14     46266      2673    438796      6450     18862   1330790   2300819    180.06     33.89  --
980.22/245.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
980.22/245.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
987.41/247.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.7M T:  7.30
987.81/247.81	c Calc non-exist non-lernt bins v-fix:     0 done:   2673 time:  0.08 s
987.81/247.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
988.21/247.92	c Subs w/ non-existent bins:      0 time:  0.46 s
988.61/248.08	c bin-w-bin subsume rem            0 bins  time:  0.21 s
994.60/249.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.74 s
994.60/249.54	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.10 s
1408.85/353.20	c lits-rem:        40  cl-subs:      967  v-elim:   1552  v-fix:    0  time: 414.12 s
1408.85/353.20	c learnt bin added due to v-elim: 0
1409.25/353.30	c vivif2 --  cl tried   438796 cl shrink        0 lits rem          0 time: 0.36
1409.25/353.32	c vivif2 --  cl tried    17895 cl shrink        0 lits rem          0 time: 0.08
1414.05/354.57	c asymm  cl-useful: 0/1661/438796 lits-rem:0 time: 5.02
1414.05/354.60	c calculated reachability. Time: 0.00
1414.05/354.60	c  N dy    14     46266      2673    438796      6450     17895   1330790   2194090    180.06     33.89  --
1442.42/361.69	c  N dy    15     69400      2673    438796      6450     22134   1330790   2499727    159.41     33.60  --
1443.23/361.83	c  S st    15     69400      2673    438796      6450     22134   1330790   2499727    159.41     33.60  --
1444.01/362.03	c  S st    15     69904      2673    438796      6450     22638   1330790   2543662    159.41     33.60  --
1444.01/362.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1444.01/362.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1450.81/363.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.5M T:  6.76
1450.81/363.76	c Calc non-exist non-lernt bins v-fix:     0 done:   2673 time:  0.08 s
1450.81/363.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1451.21/363.89	c Subs w/ non-existent bins:      0 time:  0.50 s
1452.02/364.05	c bin-w-bin subsume rem            0 bins  time:  0.21 s
1457.59/365.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.66 s
1457.59/365.49	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.10 s
1807.55/453.10	c ORs :   3107 avg-s:  7.1 cl-sh: 220852 l-rem: 496820 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:   10.14
1837.51/460.53	c Added 28 vars  tried: 80000 time: 29.66
1838.72/460.89	c ORs :     28 avg-s:  0.0 cl-sh: 39274 l-rem:  39274 b-add:     56 v-rep:   0 cl-rem: 5930 avg s: 3.0 T:   31.12
1839.13/460.97	c lits-rem:         0  cl-subs:      983  v-elim:   1552  v-fix:    0  time: 381.44 s
1839.13/460.97	c learnt bin added due to v-elim: 0
1839.50/461.06	c vivif2 --  cl tried   432894 cl shrink        0 lits rem          0 time: 0.35
1839.50/461.09	c vivif2 --  cl tried    21655 cl shrink        0 lits rem          0 time: 0.11
1846.29/462.77	c asymm  cl-useful: 0/3826/432894 lits-rem:0 time: 6.73
1846.29/462.79	c calculated reachability. Time: 0.00
1846.29/462.79	c  N dy    15     69904      2701    432894      6506     21655   1313187   1906899    159.41     33.60  --
1846.29/462.79	c  F st    15     69904      2701    432894      6506     21655   1313187   1906899    159.41     33.60  --
1849.09/463.40	c Decided on static restart strategy
1915.41/480.01	c  N dy    22    104857      2701    432894      6513     35627   1313187   4206406    136.47     34.05  --
1916.21/480.23	c  S st    22    104857      2701    432894      6513     35627   1313187   4206406    136.47     34.05  --
1917.01/480.47	c  S st    22    105361      2701    432894      6513     36130   1313187   4244003    136.47     34.05  --
1917.41/480.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1917.41/480.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1927.79/483.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    154 BRemL:     13 BRemN:      0 CBin:       0 P: 32.6M T: 10.72
1928.19/483.20	c Calc non-exist non-lernt bins v-fix:     0 done:   2701 time:  0.08 s
1928.19/483.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1928.59/483.34	c Subs w/ non-existent bins:      0 time:  0.56 s
1929.39/483.53	c bin-w-bin subsume rem            0 bins  time:  0.21 s
1936.19/485.23	c subs with bin:        0  lits-rem:      1344  v-fix:    0  time:  6.78 s
1936.19/485.25	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.10 s
2606.56/653.08	c ORs :   3079 avg-s:  6.7 cl-sh: 20636 l-rem:  71695 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    2.24
2606.96/653.17	c lits-rem:        31  cl-subs:     2343  v-elim:   1552  v-fix:    0  time: 670.83 s
2606.96/653.17	c learnt bin added due to v-elim: 0
2607.36/653.27	c vivif2 --  cl tried   432894 cl shrink        0 lits rem          0 time: 0.36
2607.77/653.32	c vivif2 --  cl tried    33787 cl shrink      257 lits rem        831 time: 0.21
2611.36/654.24	c asymm  cl-useful: 0/1794/432894 lits-rem:0 time: 3.67
2611.36/654.26	c calculated reachability. Time: 0.00
2611.36/654.26	c  N dy    22    105361      2701    432894      6654     33787   1313163   3778577    136.47     34.05  --
2696.84/675.62	c  N dy    23    158041      2701    432894      6654     40124   1313163   4044150    149.42     35.22  --
2697.64/675.81	c  S st    23    158041      2701    432894      6654     40124   1313163   4044150    149.42     35.22  --
2698.44/676.04	c  S st    23    158546      2701    432894      6663     40628   1313163   4072383    149.42     35.22  --
2698.44/676.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
2698.44/676.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2710.02/678.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      9 BRemN:      0 CBin:       0 P: 38.2M T: 11.45
2710.02/678.95	c Calc non-exist non-lernt bins v-fix:     0 done:   2701 time:  0.08 s
2710.02/678.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2710.42/679.09	c Subs w/ non-existent bins:      0 time:  0.56 s
2711.22/679.28	c bin-w-bin subsume rem            0 bins  time:  0.21 s
2718.41/681.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.22 s
2718.81/681.11	c Removed useless bin:       0  fixed:     0  bprops:   0.19M  time:  0.09 s
3273.32/820.00	c ORs :   3034 avg-s:  6.7 cl-sh:  2049 l-rem:   6727 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.65
3273.72/820.08	c lits-rem:        50  cl-subs:    10286  v-elim:   2410  v-fix:    0  time: 555.14 s
3273.72/820.08	c learnt bin added due to v-elim: 0
3274.12/820.17	c vivif2 --  cl tried   432941 cl shrink        0 lits rem          0 time: 0.35
3274.52/820.20	c vivif2 --  cl tried    30342 cl shrink        0 lits rem          0 time: 0.14
3276.91/820.82	c asymm  cl-useful: 0/1414/432941 lits-rem:0 time: 2.45
3276.91/820.84	c calculated reachability. Time: 0.00
3276.91/820.84	c  N dy    23    158546      2690    432941      6562     30342   1329888   2948076    149.42     35.22  --
3451.09/864.50	c  N dy    24    233499      2690    432941      6562     27776   1329888   2102575    171.78     35.81  --
3455.48/865.60	c  S st    25    237820      2801    432941      7076     55156   1330388   2601502     98.99     35.68  --
3456.68/865.85	c  S st    25    238322      2801    432941      7076     55657   1330388   2634289     98.99     35.68  --
3456.68/865.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
3456.68/865.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3467.46/868.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:     12 BRemN:      8 CBin:       0 P: 53.0M T: 10.84
3467.86/868.61	c Calc non-exist non-lernt bins v-fix:     0 done:   2801 time:  0.08 s
3467.86/868.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3468.26/868.74	c Subs w/ non-existent bins:     18 time:  0.52 s
3468.26/868.78	c Replacing        1 vars Replaced      785 lits Time:     0.14 s 
3469.08/868.93	c bin-w-bin subsume rem           19 bins  time:  0.21 s
3473.47/870.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.55 s
3473.47/870.10	c Removed useless bin:      33  fixed:     0  bprops:   0.18M  time:  0.10 s
3744.74/937.96	c ORs :   3028 avg-s:  6.7 cl-sh:   107 l-rem:    254 b-add:     32 v-rep:   0 cl-rem: 88 avg s: 3.0 T:    0.38
3745.14/938.04	c lits-rem:         6  cl-subs:     3624  v-elim:   1946  v-fix:    0  time: 271.46 s
3745.14/938.04	c learnt bin added due to v-elim: 0
3745.54/938.14	c vivif2 --  cl tried   432940 cl shrink        0 lits rem          0 time: 0.37
3745.54/938.17	c vivif2 --  cl tried    51895 cl shrink        0 lits rem          0 time: 0.14
3747.94/938.79	c asymm  cl-useful: 0/1541/432940 lits-rem:0 time: 2.49
3748.34/938.82	c calculated reachability. Time: 0.00
3748.34/938.82	c  N dy    25    238322      2799    432940      7026     51895   1334622   2379443     98.99     35.68  --
4022.85/1007.51	c  N dy    26    357484      2799    432940      7026     63328   1334622   6649457    265.21     33.94  --
4023.63/1007.77	c  S st    26    357484      2799    432940      7026     63328   1334622   6649457    265.21     33.94  --
4024.82/1008.01	c  S st    26    357987      2841    432940      7270     71051   1334790   6701061    265.21     33.94  --
4024.82/1008.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4024.82/1008.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4042.00/1012.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:     36 BRemN:      4 CBin:       0 P: 49.4M T: 17.05
4042.00/1012.32	c Calc non-exist non-lernt bins v-fix:     0 done:   2841 time:  0.08 s
4042.00/1012.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4042.40/1012.48	c Subs w/ non-existent bins:      0 time:  0.63 s
4042.80/1012.51	c Replacing        1 vars Replaced       13 lits Time:     0.14 s 
4043.60/1012.75	c bin-w-bin subsume rem           32 bins  time:  0.22 s
4050.39/1014.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.75 s
4050.39/1014.46	c Removed useless bin:       0  fixed:     0  bprops:   0.18M  time:  0.10 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3283996-1304034010/watcher-3283996-1304034010 -o /tmp/evaluation-result-3283996-1304034010/solver-3283996-1304034010 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3283996-1304034010.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: 8.13 7.98 7.86 6/182 27371
/proc/meminfo: memFree=26428036/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=8652 CPUtime=0 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) D 27369 27371 26744 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 515001804 8859648 49 33554432000 4194304 4797429 140735751426944 18446744073709551615 222916856710 0 0 4096 0 18446744071562154983 0 0 17 2 0 0 0
/proc/27371/statm: 2163 49 38 148 0 44 0

[startup+0.0909051 s]
/proc/loadavg: 8.13 7.98 7.86 6/182 27371
/proc/meminfo: memFree=26428036/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=64840 CPUtime=0.06 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 5138 0 3 0 6 0 0 0 20 0 1 0 515001804 66396160 4847 33554432000 4194304 4797429 140735751426944 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 2 0 0 1
/proc/27371/statm: 16210 4853 349 148 0 11139 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 64840

[startup+0.100887 s]
/proc/loadavg: 8.13 7.98 7.86 6/182 27371
/proc/meminfo: memFree=26428036/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=65500 CPUtime=0.07 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 5584 0 3 0 7 0 0 0 20 0 1 0 515001804 67072000 5263 33554432000 4194304 4797429 140735751426944 18446744073709551615 4431173 0 0 4096 2 0 0 0 17 2 0 0 1
/proc/27371/statm: 16375 5263 349 148 0 11304 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 65500

[startup+0.300853 s]
/proc/loadavg: 8.13 7.98 7.86 6/182 27371
/proc/meminfo: memFree=26428036/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=91976 CPUtime=0.28 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 16141 0 3 0 26 2 0 0 21 0 1 0 515001804 94183424 14537 33554432000 4194304 4797429 140735751426944 18446744073709551615 222921473529 0 0 4096 2 0 0 0 17 2 0 0 1
/proc/27371/statm: 22994 14537 349 148 0 17923 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 91976

[startup+0.700738 s]
/proc/loadavg: 8.13 7.98 7.86 6/182 27371
/proc/meminfo: memFree=26428036/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=350388 CPUtime=0.77 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 35463 0 3 0 73 4 0 0 23 0 4 0 515001804 358797312 31789 33554432000 4194304 4797429 140735751426944 18446744073709551615 4427942 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 87597 31789 374 148 0 82526 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 350388

[startup+1.50059 s]
/proc/loadavg: 8.13 7.98 7.86 9/186 27375
/proc/meminfo: memFree=26302088/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=350388 CPUtime=3.97 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 35468 0 3 0 393 4 0 0 25 0 4 0 515001804 358797312 31794 33554432000 4194304 4797429 140735751426944 18446744073709551615 4428504 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 87597 31794 376 148 0 82526 0
[pid=27371/tid=27373] ppid=27369 vsize=350388 CPUtime=0.82 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 7 0 0 0 82 0 0 0 25 0 4 0 515001871 358797312 31794 33554432000 4194304 4797429 140735751426944 18446744073709551615 4428646 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=350388 CPUtime=0.83 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 7 0 0 0 83 0 0 0 19 0 4 0 515001871 358797312 31794 33554432000 4194304 4797429 140735751426944 18446744073709551615 4428567 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=350388 CPUtime=0.83 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 11 0 0 0 83 0 0 0 25 0 4 0 515001871 358797312 31794 33554432000 4194304 4797429 140735751426944 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 350388

[startup+3.1003 s]
/proc/loadavg: 8.13 7.98 7.86 9/186 27375
/proc/meminfo: memFree=26297748/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=821640 CPUtime=10.33 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 62652 0 3 0 1024 9 0 0 18 0 4 0 515001804 841359360 37941 33554432000 4194304 4797429 140735751426944 18446744073709551615 4427379 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 205410 37941 384 148 0 200339 0
[pid=27371/tid=27373] ppid=27369 vsize=821640 CPUtime=2.41 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 6347 0 0 0 240 1 0 0 25 0 4 0 515001871 841359360 37941 33554432000 4194304 4797429 140735751426944 18446744073709551615 4427390 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=821640 CPUtime=2.42 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 6591 0 0 0 242 0 0 0 22 0 4 0 515001871 841359360 37941 33554432000 4194304 4797429 140735751426944 18446744073709551615 4428600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=821640 CPUtime=2.42 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 7312 0 0 0 242 0 0 0 18 0 4 0 515001871 841359360 37941 33554432000 4194304 4797429 140735751426944 18446744073709551615 4428646 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.33
Current children cumulated vsize (KiB) 821640

[startup+6.30072 s]
/proc/loadavg: 8.12 7.98 7.86 9/185 27375
/proc/meminfo: memFree=26093776/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=894568 CPUtime=23.07 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 95057 0 3 0 2291 16 0 0 19 0 4 0 515001804 916037632 70201 33554432000 4194304 4797429 140735751426944 18446744073709551615 4344778 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 223642 70201 407 148 0 218571 0
[pid=27371/tid=27373] ppid=27369 vsize=894568 CPUtime=5.57 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 15258 0 0 0 555 2 0 0 23 0 4 0 515001871 916037632 70201 33554432000 4194304 4797429 140735751426944 18446744073709551615 4344867 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=894568 CPUtime=5.62 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 15127 0 0 0 560 2 0 0 23 0 4 0 515001871 916037632 70201 33554432000 4194304 4797429 140735751426944 18446744073709551615 4344778 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=894568 CPUtime=5.61 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 14240 0 0 0 559 2 0 0 19 0 4 0 515001871 916037632 70201 33554432000 4194304 4797429 140735751426944 18446744073709551615 4345376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.07
Current children cumulated vsize (KiB) 894568

[startup+12.7005 s]
/proc/loadavg: 8.11 7.98 7.86 9/184 27376
/proc/meminfo: memFree=26021128/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=901488 CPUtime=48.63 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 114491 0 3 0 4843 20 0 0 25 0 4 0 515001804 923123712 84541 33554432000 4194304 4797429 140735751426944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 225372 84541 418 148 0 220301 0
[pid=27371/tid=27373] ppid=27369 vsize=901488 CPUtime=11.94 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 20082 0 0 0 1191 3 0 0 25 0 4 0 515001871 923123712 84541 33554432000 4194304 4797429 140735751426944 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=901488 CPUtime=12.02 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 20086 0 0 0 1199 3 0 0 21 0 4 0 515001871 923123712 84541 33554432000 4194304 4797429 140735751426944 18446744073709551615 4506608 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=901488 CPUtime=12.01 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 18580 0 0 0 1198 3 0 0 25 0 4 0 515001871 923123712 84541 33554432000 4194304 4797429 140735751426944 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.63
Current children cumulated vsize (KiB) 901488

[startup+25.5002 s]
/proc/loadavg: 8.15 7.99 7.87 9/184 27376
/proc/meminfo: memFree=26008984/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=916184 CPUtime=99.77 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 123932 0 3 0 9954 23 0 0 25 0 4 0 515001804 938172416 88088 33554432000 4194304 4797429 140735751426944 18446744073709551615 4524072 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 229046 88088 418 148 0 223975 0
[pid=27371/tid=27373] ppid=27369 vsize=916184 CPUtime=24.68 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 20090 0 0 0 2465 3 0 0 25 0 4 0 515001871 938172416 88088 33554432000 4194304 4797429 140735751426944 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=916184 CPUtime=24.82 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 20095 0 0 0 2479 3 0 0 25 0 4 0 515001871 938172416 88088 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=916184 CPUtime=24.81 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 18606 0 0 0 2478 3 0 0 25 0 4 0 515001871 938172416 88088 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.77
Current children cumulated vsize (KiB) 916184

[startup+51.1005 s]
/proc/loadavg: 8.10 7.99 7.87 9/184 27377
/proc/meminfo: memFree=26001724/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=916184 CPUtime=202.03 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 123945 0 3 0 20180 23 0 0 25 0 4 0 515001804 938172416 88100 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 229046 88100 418 148 0 223975 0
[pid=27371/tid=27373] ppid=27369 vsize=916184 CPUtime=50.14 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 20090 0 0 0 5011 3 0 0 25 0 4 0 515001871 938172416 88100 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=916184 CPUtime=50.42 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 20095 0 0 0 5039 3 0 0 25 0 4 0 515001871 938172416 88100 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=916184 CPUtime=50.4 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 18608 0 0 0 5037 3 0 0 25 0 4 0 515001871 938172416 88100 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.03
Current children cumulated vsize (KiB) 916184

[startup+102.306 s]
/proc/loadavg: 8.09 8.01 7.88 9/184 27378
/proc/meminfo: memFree=25963652/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=918072 CPUtime=406.58 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 124866 0 3 0 40634 24 0 0 25 0 4 0 515001804 940105728 89021 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 229518 89021 419 148 0 224447 0
[pid=27371/tid=27373] ppid=27369 vsize=918072 CPUtime=101.08 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 20118 0 0 0 10105 3 0 0 25 0 4 0 515001871 940105728 89021 33554432000 4194304 4797429 140735751426944 18446744073709551615 4415744 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=918072 CPUtime=101.62 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 20573 0 0 0 10159 3 0 0 25 0 4 0 515001871 940105728 89021 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=918072 CPUtime=101.61 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 19014 0 0 0 10157 4 0 0 25 0 4 0 515001871 940105728 89021 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.58
Current children cumulated vsize (KiB) 918072

[startup+162.301 s]
/proc/loadavg: 8.08 8.02 7.89 9/184 27379
/proc/meminfo: memFree=25973792/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=920984 CPUtime=646.25 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 125943 0 3 0 64600 25 0 0 25 0 4 0 515001804 943087616 90092 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 230246 90092 419 148 0 225175 0
[pid=27371/tid=27373] ppid=27369 vsize=920984 CPUtime=160.77 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 20511 0 0 0 16074 3 0 0 25 0 4 0 515001871 943087616 90092 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=920984 CPUtime=161.62 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 20613 0 0 0 16159 3 0 0 25 0 4 0 515001871 943087616 90092 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=920984 CPUtime=161.61 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 19645 0 0 0 16157 4 0 0 25 0 4 0 515001871 943087616 90092 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 646.25
Current children cumulated vsize (KiB) 920984

[startup+222.301 s]
/proc/loadavg: 8.07 8.03 7.90 9/184 27381
/proc/meminfo: memFree=25939708/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=924996 CPUtime=885.95 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 127441 0 3 0 88569 26 0 0 25 0 4 0 515001804 947195904 91585 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 231249 91585 421 148 0 226178 0
[pid=27371/tid=27373] ppid=27369 vsize=924996 CPUtime=220.45 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 20999 0 0 0 22042 3 0 0 25 0 4 0 515001871 947195904 91585 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=924996 CPUtime=221.63 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 21099 0 0 0 22159 4 0 0 25 0 4 0 515001871 947195904 91585 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=924996 CPUtime=221.61 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 20169 0 0 0 22157 4 0 0 25 0 4 0 515001871 947195904 91585 33554432000 4194304 4797429 140735751426944 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 885.95
Current children cumulated vsize (KiB) 924996

[startup+282.3 s]

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

[pid=27371] ppid=27369 vsize=1000624 CPUtime=2803.5 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 200274 0 3 0 280305 45 0 0 25 0 4 0 515001804 1024638976 111342 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 250156 111342 422 148 0 245085 0
[pid=27371/tid=27373] ppid=27369 vsize=1000624 CPUtime=698.04 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 25008 0 0 0 69799 5 0 0 25 0 4 0 515001871 1024638976 111342 33554432000 4194304 4797429 140735751426944 18446744073709551615 4352546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1000624 CPUtime=701.64 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 28018 0 0 0 70158 6 0 0 25 0 4 0 515001871 1024638976 111342 33554432000 4194304 4797429 140735751426944 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1000624 CPUtime=701.62 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 28621 0 0 0 70155 7 0 0 25 0 4 0 515001871 1024638976 111342 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2803.5
Current children cumulated vsize (KiB) 1000624

[startup+762.306 s]
/proc/loadavg: 8.13 8.07 7.95 9/184 27396
/proc/meminfo: memFree=25350648/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1003224 CPUtime=3043.23 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 205680 0 3 0 304276 47 0 0 25 0 4 0 515001804 1027301376 116317 33554432000 4194304 4797429 140735751426944 18446744073709551615 4567816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 250806 116317 429 148 0 245735 0
[pid=27371/tid=27373] ppid=27369 vsize=1003224 CPUtime=757.75 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 28444 0 0 0 75769 6 0 0 25 0 4 0 515001871 1027301376 116317 33554432000 4194304 4797429 140735751426944 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1003224 CPUtime=761.65 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 29770 0 0 0 76159 6 0 0 25 0 4 0 515001871 1027301376 116317 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1003224 CPUtime=761.62 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 28839 0 0 0 76155 7 0 0 25 0 4 0 515001871 1027301376 116317 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.23
Current children cumulated vsize (KiB) 1003224

[startup+822.3 s]
/proc/loadavg: 8.11 8.07 7.96 9/184 27397
/proc/meminfo: memFree=25234916/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1006140 CPUtime=3282.9 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 212405 0 3 0 328242 48 0 0 25 0 4 0 515001804 1030287360 118710 33554432000 4194304 4797429 140735751426944 18446744073709551615 4352347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 251535 118710 429 148 0 246464 0
[pid=27371/tid=27373] ppid=27369 vsize=1006140 CPUtime=817.44 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 28976 0 0 0 81738 6 0 0 25 0 4 0 515001871 1030287360 118710 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1006140 CPUtime=821.64 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 30937 0 0 0 82158 6 0 0 25 0 4 0 515001871 1030287360 118710 33554432000 4194304 4797429 140735751426944 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1006140 CPUtime=821.62 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 33220 0 0 0 82154 8 0 0 25 0 4 0 515001871 1030287360 118710 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.9
Current children cumulated vsize (KiB) 1006140

[startup+882.3 s]
/proc/loadavg: 8.10 8.07 7.96 9/184 27399
/proc/meminfo: memFree=25103664/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1017652 CPUtime=3522.6 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 245633 0 3 0 352202 58 0 0 25 0 4 0 515001804 1042075648 119828 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 254413 119828 429 148 0 249342 0
[pid=27371/tid=27373] ppid=27369 vsize=1017652 CPUtime=877.14 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 29378 0 0 0 87708 6 0 0 25 0 4 0 515001871 1042075648 119828 33554432000 4194304 4797429 140735751426944 18446744073709551615 4557675 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1017652 CPUtime=881.64 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 34274 0 0 0 88157 7 0 0 25 0 4 0 515001871 1042075648 119828 33554432000 4194304 4797429 140735751426944 18446744073709551615 4423072 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1017652 CPUtime=881.62 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 33666 0 0 0 88154 8 0 0 25 0 4 0 515001871 1042075648 119828 33554432000 4194304 4797429 140735751426944 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3522.6
Current children cumulated vsize (KiB) 1017652

[startup+942.3 s]
/proc/loadavg: 7.77 8.00 7.95 5/175 27418
/proc/meminfo: memFree=28403176/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1017652 CPUtime=3762.32 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 249249 0 3 0 376172 60 0 0 25 0 4 0 515001804 1042075648 122739 33554432000 4194304 4797429 140735751426944 18446744073709551615 4351840 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 254413 122739 429 148 0 249342 0
[pid=27371/tid=27373] ppid=27369 vsize=1017652 CPUtime=936.87 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 30041 0 0 0 93680 7 0 0 25 0 4 0 515001871 1042075648 122739 33554432000 4194304 4797429 140735751426944 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1017652 CPUtime=941.64 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 35143 0 0 0 94157 7 0 0 25 0 4 0 515001871 1042075648 122739 33554432000 4194304 4797429 140735751426944 18446744073709551615 4426348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1017652 CPUtime=941.62 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 34279 0 0 0 94154 8 0 0 25 0 4 0 515001871 1042075648 122739 33554432000 4194304 4797429 140735751426944 18446744073709551615 4567997 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.32
Current children cumulated vsize (KiB) 1017652

[startup+1002.3 s]
/proc/loadavg: 5.38 7.27 7.70 5/175 27420
/proc/meminfo: memFree=28391820/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1015080 CPUtime=4002.05 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 280413 0 3 0 400133 72 0 0 25 0 4 0 515001804 1039441920 125505 33554432000 4194304 4797429 140735751426944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 253770 125505 429 148 0 248699 0
[pid=27371/tid=27373] ppid=27369 vsize=1015080 CPUtime=996.6 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 30333 0 0 0 99653 7 0 0 25 0 4 0 515001871 1039441920 125505 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1015080 CPUtime=1001.65 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 35758 0 0 0 100157 8 0 0 25 0 4 0 515001871 1039441920 125505 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1015080 CPUtime=1001.63 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 34768 0 0 0 100154 9 0 0 25 0 4 0 515001871 1039441920 125505 33554432000 4194304 4797429 140735751426944 18446744073709551615 4647984 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.05
Current children cumulated vsize (KiB) 1015080

[startup+1062.3 s]
/proc/loadavg: 4.55 6.69 7.47 5/175 27421
/proc/meminfo: memFree=28370796/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1082496 CPUtime=4241.79 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 291278 0 3 0 424103 76 0 0 25 0 4 0 515001804 1108475904 130713 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 270624 130713 422 148 0 265553 0
[pid=27371/tid=27373] ppid=27369 vsize=1082496 CPUtime=1056.33 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 35833 0 0 0 105625 8 0 0 25 0 4 0 515001871 1108475904 130713 33554432000 4194304 4797429 140735751426944 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1082496 CPUtime=1061.64 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 36233 0 0 0 106156 8 0 0 25 0 4 0 515001871 1108475904 130713 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1082496 CPUtime=1061.63 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 35126 0 0 0 106154 9 0 0 25 0 4 0 515001871 1108475904 130713 33554432000 4194304 4797429 140735751426944 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4241.79
Current children cumulated vsize (KiB) 1082496

[startup+1122.3 s]
/proc/loadavg: 4.24 6.21 7.25 5/175 27423
/proc/meminfo: memFree=28366396/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1147180 CPUtime=4481.52 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 301135 0 3 0 448074 78 0 0 25 0 4 0 515001804 1174712320 131907 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 286795 131907 422 148 0 281724 0
[pid=27371/tid=27373] ppid=27369 vsize=1147180 CPUtime=1116.06 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 36348 0 0 0 111597 9 0 0 25 0 4 0 515001871 1174712320 131907 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1147180 CPUtime=1121.65 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 41536 0 0 0 112156 9 0 0 25 0 4 0 515001871 1174712320 131907 33554432000 4194304 4797429 140735751426944 18446744073709551615 4428635 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1147180 CPUtime=1121.64 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 39165 0 0 0 112154 10 0 0 25 0 4 0 515001871 1174712320 131907 33554432000 4194304 4797429 140735751426944 18446744073709551615 4427390 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.52
Current children cumulated vsize (KiB) 1147180

[startup+1182.3 s]
/proc/loadavg: 4.12 5.82 7.05 5/175 27425
/proc/meminfo: memFree=28364112/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1147180 CPUtime=4721.25 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 302495 0 3 0 472046 79 0 0 25 0 4 0 515001804 1174712320 132515 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 286795 132515 422 148 0 281724 0
[pid=27371/tid=27373] ppid=27369 vsize=1147180 CPUtime=1175.79 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 36693 0 0 0 117570 9 0 0 25 0 4 0 515001871 1174712320 132515 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1147180 CPUtime=1181.66 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 41973 0 0 0 118156 10 0 0 25 0 4 0 515001871 1174712320 132515 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1147180 CPUtime=1181.63 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 39743 0 0 0 118153 10 0 0 25 0 4 0 515001871 1174712320 132515 33554432000 4194304 4797429 140735751426944 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.25
Current children cumulated vsize (KiB) 1147180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 4.16 5.72 6.99 5/175 27425
/proc/meminfo: memFree=28363084/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1147180 CPUtime=4800.38 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 302736 0 3 0 479959 79 0 0 25 0 4 0 515001804 1174712320 132636 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 286795 132636 422 148 0 281724 0
[pid=27371/tid=27373] ppid=27369 vsize=1147180 CPUtime=1195.5 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 36767 0 0 0 119541 9 0 0 25 0 4 0 515001871 1174712320 132636 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1147180 CPUtime=1201.46 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 42067 0 0 0 120136 10 0 0 25 0 4 0 515001871 1174712320 132636 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1147180 CPUtime=1201.44 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 39816 0 0 0 120134 10 0 0 25 0 4 0 515001871 1174712320 132636 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 1147180

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

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

[startup+1202.1 s]
/proc/loadavg: 4.16 5.72 6.99 5/175 27425
/proc/meminfo: memFree=28363084/32951124 swapFree=67111356/67111528
[pid=27371] ppid=27369 vsize=1147180 CPUtime=4800.38 cores=0,2,4,6
/proc/27371/stat : 27371 (techdemo) R 27369 27371 26744 0 -1 4202496 302736 0 3 0 479959 79 0 0 25 0 4 0 515001804 1174712320 132636 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 1
/proc/27371/statm: 286795 132636 422 148 0 281724 0
[pid=27371/tid=27373] ppid=27369 vsize=1147180 CPUtime=1195.5 cores=0,2,4,6
/proc/27371/task/27373/stat : 27373 (techdemo) R 27369 27371 26744 0 -1 4202560 36767 0 0 0 119541 9 0 0 25 0 4 0 515001871 1174712320 132636 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27371/tid=27374] ppid=27369 vsize=1147180 CPUtime=1201.46 cores=0,2,4,6
/proc/27371/task/27374/stat : 27374 (techdemo) R 27369 27371 26744 0 -1 4202560 42067 0 0 0 120136 10 0 0 25 0 4 0 515001871 1174712320 132636 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27371/tid=27375] ppid=27369 vsize=1147180 CPUtime=1201.44 cores=0,2,4,6
/proc/27371/task/27375/stat : 27375 (techdemo) R 27369 27371 26744 0 -1 4202560 39816 0 0 0 120134 10 0 0 25 0 4 0 515001871 1174712320 132636 33554432000 4194304 4797429 140735751426944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 1147180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.14
CPU time (s): 4800.44
CPU user time (s): 4799.62
CPU system time (s): 0.824874
CPU usage (%): 399.325
Max. virtual memory (cumulated for all children) (KiB): 1201724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.62
system time used= 0.824874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302736
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5274
involuntary context switches= 36743

runsolver used 1.83172 second user time and 4.13537 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-29 01:40:10
IDJOB=3283996
IDBENCH=71095
IDSOLVER=1584
FILE ID=node109/3283996-1304034010
RUNJOBID= node109-1304032529-27215
PBS_JOBID= 13170343
Free space on /tmp= 72320 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283996-1304034010/watcher-3283996-1304034010 -o /tmp/evaluation-result-3283996-1304034010/solver-3283996-1304034010 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3283996-1304034010.cnf

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

MD5SUM BENCH= 4cf2a693df1b6e5a084b88e84ec5f2af
RANDOM SEED=18940575

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26428200 kB
Buffers:        848720 kB
Cached:        2723204 kB
SwapCached:        168 kB
Active:        3213416 kB
Inactive:      2867236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26428200 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           15528 kB
Writeback:          80 kB
AnonPages:     2508488 kB
Mapped:          15672 kB
Slab:           369056 kB
PageTables:       9800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3336768 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= 72368 MiB
End job on node109 at 2011-04-29 02:00:15