Trace number 3293656

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? (MO) 3548.52 892.74

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/2dlx_ca_bp_f_liveness.cnf
MD5SUM99cd8de7f06ce8c087a5c7fb299dfb62
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables202253
Number of clauses4313014
Sum of the clauses size12562188
Maximum clause length651
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23935640
Number of clauses of size 3199653
Number of clauses of size 410363
Number of clauses of size 55846
Number of clauses of size over 5161511

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-3293656-1304182928.cnf'
0.00/0.00	c -- header says num vars:         202253
0.00/0.00	c -- header says num clauses:     4313014
5.39/5.45	c -- clauses added:            0 learnts,      4313014 normals,            0 xors
5.39/5.45	c -- vars added     202253
5.39/5.45	c Parsing time:  5.16 s
5.39/5.45	c  N st     0         0    202253    377373   3935640         0  12562187         0   no data   no data  --
6.02/5.68	c asymm  cl-useful: 0/85/377372 lits-rem:0 time: 0.82
17.99/8.66	c Flit:   753 Blit:   2593 bXBeca:    0 bXProp:  104 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 11.40
18.39/8.79	c Cleaning up after failed var search:     0.52 s 
25.98/10.64	c Calc non-exist non-lernt bins v-fix:     0 done:   2719 time:  7.10 s
25.98/10.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
26.37/10.70	c Subs w/ non-existent bins:      0 time:  0.20 s
27.17/10.91	c Replacing      104 vars Replaced    14711 lits Time:     0.82 s 
30.73/11.81	c bin-w-bin subsume rem           23 bins  time:  2.40 s
36.73/13.33	c subs with bin:      193  lits-rem:     46275  v-fix:    0  time:  6.04 s
37.13/13.49	c Removed useless bin:      31  fixed:     0  bprops:  10.00M  time:  0.66 s
69.85/21.68	c lits-rem:         0  cl-subs:     9547  v-elim: 117438  v-fix:    0  time: 32.43 s
69.85/21.68	c learnt bin added due to v-elim: 0
70.25/21.75	c Finding binary XORs  T:     0.32 s  found:       4
71.05/21.95	c Replacing        4 vars Replaced     2607 lits Time:     0.79 s 
75.84/23.11	c Finding non-binary XORs:     3.88 s (found:       0, avg size: nan)
75.84/23.11	c Calc default polars -  time:   0.34 s pos:    6282 undec:   19110 neg:  176861
75.84/23.11	c =========================================================================================
75.84/23.11	c types(t): F = full restart, N = normal restart
75.84/23.11	c types(t): S = simplification begin/end, E = solution found
75.84/23.11	c restart types(rt): st = static, dy = dynamic
75.84/23.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
75.84/23.11	c  B st     0         0    183439    394172   3730630         0  12608982         0   no data   no data  --
87.82/26.16	c Decided on dynamic restart strategy
100.60/29.32	c  N dy    21      4069    182989    394172   3730805      3744  12608978    365656     64.71     13.41  --
124.98/35.45	c  N dy    51      8158    182765    394172   3731150      8521  12608974    697723     83.04     13.67  --
148.93/41.46	c  N dy    81     12216    182763    394172   3731594     13756  12608972   1214934    181.34     13.83  --
168.91/46.48	c  N dy   112     16336    182134    394172   3731721     17633  12608971   1649795    113.33     13.69  --
189.68/51.61	c  N dy   142     20394    182132    394172   3731803     10931  12608965    212960    115.64     13.90  --
205.28/55.60	c  N dy   171     24409    180812    390195   3692443     14597  12471803    568943    137.54     13.97  --
224.84/60.40	c  N dy   201     28491    180773    390195   3692526     18470  12471802   1117729    136.11     14.11  --
234.03/62.72	c  S st   213     30000    180551    390195   3692549     19922  12471798   1316045    128.12     14.19  --
239.62/64.19	c  S st   213     30504    180546    390195   3692606     20348  12471798   1331438    128.12     14.19  --
240.44/64.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.55
391.81/102.27	c Flit:   727 Blit:   1094 bXBeca:    0 bXProp:   31 Bin:  10751 BRemL:     65 BRemN:   5191 CBin:       0 P: 60.0M T: 151.35
392.21/102.39	c Cleaning up after failed var search:     0.46 s 
399.03/104.08	c Calc non-exist non-lernt bins v-fix:     0 done:   6257 time:  6.69 s
399.03/104.09	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.01
399.40/104.17	c Subs w/ non-existent bins:     38 time:  0.34 s
403.02/105.05	c Replacing       33 vars Replaced   340664 lits Time:     3.49 s 
406.60/105.90	c bin-w-bin subsume rem        16797 bins  time:  2.05 s
411.40/107.19	c subs with bin:       42  lits-rem:      3138  v-fix:    0  time:  5.16 s
412.22/107.35	c Removed useless bin:      29  fixed:     0  bprops:  10.04M  time:  0.64 s
490.09/126.83	c lits-rem:       102  cl-subs:     7749  v-elim:  33990  v-fix:    0  time: 77.79 s
490.09/126.83	c learnt bin added due to v-elim: 0
490.91/127.01	c asymm  cl-useful: 32/46/381164 lits-rem:4364 time: 0.72
491.31/127.11	c  N dy   213     30504    176745    381164   3619453     17126  12146698   1021671    128.12     14.19  --
491.31/127.11	c  F st   213     30504    176745    381164   3619453     17126  12146698   1021671    128.12     14.19  --
502.07/129.85	c Decided on dynamic restart strategy
512.06/132.34	c  N dy   234     34614    176745    381164   3619516     21048  12146697   1430493     63.73     14.38  --
529.24/136.66	c  N dy   263     38636    176708    381164   3619577     24864  12146693   1858180     87.77     14.88  --
548.81/141.56	c  N dy   293     42750    176589    381164   3619655     28752  12146691   2299119    151.79     15.09  --
565.20/145.68	c  S st   316     45756    176548    381164   3619764     16442  12146690    404187    110.92     15.03  --
570.41/146.96	c  S st   316     46257    176548    381164   3619795     16908  12146690    427395    110.92     15.03  --
570.79/147.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.54
705.01/180.67	c Flit:   628 Blit:    283 bXBeca:    0 bXProp:   13 Bin:   7548 BRemL:    125 BRemN:    125 CBin:       0 P: 60.0M T: 134.08
705.01/180.68	c Cleaning up after failed var search:     0.00 s 
712.19/182.48	c Calc non-exist non-lernt bins v-fix:     0 done:   3352 time:  7.10 s
712.19/182.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
713.00/182.67	c Subs w/ non-existent bins:     14 time:  0.74 s
714.20/182.98	c Replacing       13 vars Replaced    17482 lits Time:     1.23 s 
717.39/183.74	c bin-w-bin subsume rem           61 bins  time:  2.02 s
722.99/185.10	c subs with bin:       76  lits-rem:     17560  v-fix:    0  time:  5.42 s
723.39/185.26	c Removed useless bin:      26  fixed:     0  bprops:  10.03M  time:  0.63 s
759.73/194.36	c lits-rem:       685  cl-subs:     1510  v-elim:  19564  v-fix:    0  time: 36.30 s
759.73/194.36	c learnt bin added due to v-elim: 0
760.53/194.56	c asymm  cl-useful: 50/75/380994 lits-rem:8514 time: 0.78
760.93/194.65	c  N dy   316     46257    175119    380994   3601426     15509  12079393    366411    110.92     15.03  --
778.51/199.05	c  N dy   345     50270    174799    380994   3609316     20095  12079403    836538    111.11     15.16  --
798.09/203.90	c  N dy   375     54384    174588    380994   3609383     24042  12079402   1245419    141.40     15.33  --
816.85/208.69	c  N dy   404     58420    174587    380994   3609436     27872  12079396   1617590     62.20     15.40  --
836.83/213.65	c  N dy   433     62445    174587    380994   3609516     31706  12079394   2003039    117.03     15.49  --
856.40/218.51	c  N dy   463     66550    174581    380994   3609650     35502  12079390   2443662    116.40     15.53  --
873.20/222.78	c  S st   484     69386    173895    380994   3618804     20247  12079404    485841    104.71     15.59  --
877.99/223.96	c  S st   484     69887    173714    380994   3618828     20720  12079402    507670    104.71     15.59  --
878.77/224.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.54
1044.98/265.71	c Flit:   328 Blit:    831 bXBeca:    0 bXProp:   14 Bin:   8900 BRemL:    329 BRemN:     61 CBin:       0 P: 60.0M T: 165.93
1045.36/265.83	c Cleaning up after failed var search:     0.45 s 
1052.96/267.76	c Calc non-exist non-lernt bins v-fix:     0 done:   4620 time:  7.65 s
1052.96/267.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1055.35/268.30	c Subs w/ non-existent bins:     96 time:  2.12 s
1056.95/268.76	c Replacing       14 vars Replaced   149255 lits Time:     1.83 s 
1060.14/269.52	c bin-w-bin subsume rem         5715 bins  time:  2.01 s
1065.34/270.89	c subs with bin:     1671  lits-rem:     53020  v-fix:    0  time:  5.46 s
1066.14/271.04	c Removed useless bin:       0  fixed:     0  bprops:  10.01M  time:  0.62 s
1104.48/280.60	c ORs :     36 avg-s:  2.1 cl-sh:   272 l-rem:    493 b-add:     10 v-rep:   0 cl-rem: 6 avg s: 35.0 T:    0.26
1112.47/282.67	c Added 51 vars  tried: 80000 time: 8.24
1116.06/283.56	c ORs :     51 avg-s:  0.0 cl-sh: 89140 l-rem:  89140 b-add:    102 v-rep:   0 cl-rem: 162 avg s: 13.3 T:   11.83
1116.86/283.75	c lits-rem:      2492  cl-subs:     2652  v-elim:  14780  v-fix:    0  time: 50.65 s
1116.86/283.75	c learnt bin added due to v-elim: 0
1117.66/283.93	c asymm  cl-useful: 42/79/378459 lits-rem:6590 time: 0.72
1118.06/284.02	c  N dy   484     69887    172332    378459   3564721     17231  11795368    437143    104.71     15.59  --
1118.06/284.02	c  F st   484     69887    172332    378459   3564721     17231  11795368    437143    104.71     15.59  --
1128.85/286.74	c Decided on dynamic restart strategy
1142.03/290.02	c  N dy   508     74463    172331    378459   3564859     21535  11795367    888658     94.28     15.66  --
1167.62/296.49	c  N dy   543     79303    172331    378459   3564943     26169  11795366   1323214     74.95     15.59  --
1190.37/302.11	c  N dy   580     84383    172331    378459   3565046     30988  11795364   1830680     76.16     15.63  --
1197.96/304.00	c Finding binary XORs  T:     0.28 s  found:      14
1215.53/308.46	c  N dy   619     89820    172330    378459   3565104     36170  11795284   2451992    102.89     15.73  --
1247.11/316.37	c  N dy   661     95633    172329    378459   3565223     21542  11795282    534127    116.58     15.82  --
1275.06/323.33	c  N dy   706    101874    172329    378459   3565385     27423  11795275   1187919    119.52     15.84  --
1289.04/326.87	c  S st   728    104832    172329    378459   3565422     30270  11795272   1606493    139.68     15.87  --
1294.23/328.13	c  S st   728    105332    172326    378459   3565446     30738  11795271   1634831    139.68     15.87  --
1294.63/328.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.56
1350.56/342.22	c Flit:   305 Blit:    173 bXBeca:    0 bXProp:    5 Bin:   3575 BRemL:    168 BRemN:    899 CBin:       0 P: 60.0M T: 55.69
1350.56/342.22	c Cleaning up after failed var search:     0.00 s 
1358.14/344.12	c Calc non-exist non-lernt bins v-fix:     0 done:   4289 time:  7.47 s
1358.14/344.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1361.74/345.05	c Subs w/ non-existent bins:     14 time:  3.73 s
1363.75/345.58	c Replacing       19 vars Replaced    79516 lits Time:     2.07 s 
1366.94/346.39	c bin-w-bin subsume rem          614 bins  time:  2.00 s
1372.53/347.77	c subs with bin:      124  lits-rem:      9961  v-fix:    0  time:  5.54 s
1373.33/347.95	c Removed useless bin:     763  fixed:     0  bprops:  10.02M  time:  0.71 s
1464.41/370.75	c ORs :    130 avg-s:  2.9 cl-sh:   463 l-rem:    692 b-add:     15 v-rep:   0 cl-rem: 8 avg s: 9.6 T:    0.47
1465.21/370.93	c lits-rem:       413  cl-subs:     2399  v-elim:  11217  v-fix:    0  time: 91.77 s
1465.21/370.93	c learnt bin added due to v-elim: 0
1466.01/371.17	c asymm  cl-useful: 52/88/377986 lits-rem:6737 time: 0.97
1466.42/371.27	c  N dy   728    105332    171777    377986   3554967     28324  11758091   1434065    139.68     15.87  --
1499.56/379.58	c  N dy   777    112150    171761    377986   3555069     34818  11758088   2079673    135.29     15.97  --
1532.74/387.87	c  N dy   828    119373    171758    377986   3555153     41748  11758085   2814204     72.20     16.03  --
1571.06/397.44	c  N dy   883    127108    171748    377986   3555250     27667  11758077   1208276    232.39     16.15  --
1611.43/407.56	c  N dy   943    135280    171736    377986   3555393     35476  11758069   1970225    103.58     16.11  --
1651.76/417.64	c  N dy  1005    143946    171734    377986   3555523     43757  11758059   2938679    142.86     16.16  --
1698.90/429.44	c  N dy  1071    153219    171138    377986   3571253     30844  11758092   1364846     89.95     16.16  --
1724.06/435.73	c  S st  1106    157998    170120    377986   3571367     35359  11758089   1955068    109.83     16.21  --
1730.47/437.33	c  S st  1106    158500    170118    377986   3571403     35818  11758089   1980539    109.83     16.21  --
1730.85/437.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.57
2181.06/550.15	c Flit:     8 Blit:     41 bXBeca:    0 bXProp:    8 Bin:  12366 BRemL:    366 BRemN:   3751 CBin:       0 P: 60.0M T: 449.68
2190.25/552.48	c Calc non-exist non-lernt bins v-fix:     0 done:   4600 time:  8.70 s
2190.25/552.48	c Cache  BProp: 0 Set: 0 BXProp: 3 T: 0.01
2194.25/553.47	c Subs w/ non-existent bins:     61 time:  3.95 s
2196.64/554.04	c Replacing       12 vars Replaced   118290 lits Time:     2.24 s 
2199.84/554.90	c bin-w-bin subsume rem         3806 bins  time:  2.01 s
2205.43/556.28	c subs with bin:       52  lits-rem:     20008  v-fix:    0  time:  5.51 s
2206.23/556.44	c Removed useless bin:      48  fixed:     0  bprops:  10.04M  time:  0.64 s
2330.46/587.50	c ORs :    163 avg-s:  2.2 cl-sh:   195 l-rem:    200 b-add:     19 v-rep:   0 cl-rem: 4 avg s: 32.2 T:    0.43
2330.86/587.69	c lits-rem:        21  cl-subs:     4052  v-elim:   9045  v-fix:    0  time: 124.66 s
2330.86/587.69	c learnt bin added due to v-elim: 0
2332.07/587.91	c asymm  cl-useful: 35/67/375837 lits-rem:3588 time: 0.89
2332.48/588.01	c  N dy  1106    158500    169955    375837   3533896     32522  11624441   1723252    109.83     16.21  --
2383.60/600.87	c  N dy  1180    168732    169055    375837   3555609     44927  11624511   2760331     88.37     16.28  --
2408.76/607.13	c Finding binary XORs  T:     0.27 s  found:      48
2437.94/614.45	c  N dy  1259    179604    167839    374290   3505027     30070  11462932    930173    109.65     16.39  --
2494.66/628.68	c  N dy  1343    191166    167839    374290   3505201     41178  11462925   2159299    157.21     16.42  --
2556.18/644.09	c  N dy  1431    203427    167837    374290   3505358     27112  11462923    535803     88.88     16.45  --
2621.28/660.39	c  N dy  1525    216433    167022    374290   3516741     39993  11462931   2053121     79.37     16.55  --
2683.19/675.83	c  N dy  1623    230277    166694    374290   3533135     27088  11463044    495768    102.68     16.60  --
2719.16/684.85	c  S st  1676    237750    166689    374290   3533270     34130  11463031   1441960    118.00     16.63  --
2723.93/686.00	c  S st  1676    238250    166688    374290   3533295     34595  11463029   1471624    118.00     16.63  --
2724.33/686.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.56
2836.19/714.11	c Flit:    19 Blit:     17 bXBeca:    0 bXProp:    5 Bin:   7021 BRemL:    672 BRemN:     90 CBin:       0 P: 60.0M T: 111.57
2842.98/715.90	c Calc non-exist non-lernt bins v-fix:     0 done:   6589 time:  7.02 s
2843.38/715.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
2846.97/716.85	c Subs w/ non-existent bins:     30 time:  3.81 s
2848.98/717.31	c Replacing       53 vars Replaced    44079 lits Time:     1.80 s 
2852.17/718.12	c bin-w-bin subsume rem         1114 bins  time:  1.97 s
2858.16/719.60	c subs with bin:     1678  lits-rem:     21156  v-fix:    0  time:  5.92 s
2858.56/719.76	c Removed useless bin:      27  fixed:     0  bprops:  10.04M  time:  0.64 s
2934.48/738.72	c ORs :    233 avg-s:  2.2 cl-sh:    94 l-rem:     97 b-add:     24 v-rep:   0 cl-rem: 3 avg s: 33.7 T:    0.49
2935.25/738.92	c lits-rem:      4506  cl-subs:     6774  v-elim:   7700  v-fix:    0  time: 76.40 s
2935.25/738.92	c learnt bin added due to v-elim: 0
2936.06/739.13	c asymm  cl-useful: 38/66/370681 lits-rem:4714 time: 0.87
2936.46/739.23	c  N dy  1676    238250    166435    370681   3498986     29110  11329553   1228698    118.00     16.63  --
3005.56/756.52	c  N dy  1785    253529    166432    370681   3499178     43725  11329544   2762662    125.89     16.69  --
3030.75/762.84	c Finding binary XORs  T:     0.26 s  found:      32
3085.05/776.41	c  N dy  1902    269818    165981    370677   3509465     33119  11299526   1131594    112.62     16.73  --
3166.96/796.99	c  N dy  2025    287157    165978    370677   3509705     49660  11299506   2842925     77.47     16.77  --
3250.86/817.92	c  N dy  2156    305561    165975    370677   3510005     38694  11299495   1783335    227.92     16.81  --
3344.71/841.44	c  N dy  2297    325136    165972    370677   3510265     57396  11299477   3936715     87.86     16.82  --
3432.20/863.36	c  N dy  2441    345254    165732    370677   3536764     48825  11299808   2646199     80.08     16.85  --
3491.72/878.29	c  S st  2528    357375    165728    370677   3536896     60473  11299797   3927683     65.24     16.86  --
3497.71/879.78	c  S st  2528    357875    165726    370677   3536920     30570  11299797    585842     65.24     16.86  --
3498.51/879.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.56
3541.65/890.76	c Flit:     9 Blit:     11 bXBeca:    0 bXProp:    8 Bin:   5385 BRemL:    805 BRemN:     72 CBin:       0 P: 60.0M T: 43.32

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-3293656-1304182928/watcher-3293656-1304182928 -o /tmp/evaluation-result-3293656-1304182928/solver-3293656-1304182928 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3293656-1304182928.cnf 

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

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


[startup+0 s]
/proc/loadavg: 4.08 4.85 6.33 3/176 5922
/proc/meminfo: memFree=30384136/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=50568 CPUtime=0 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 962 0 0 0 0 0 0 0 17 0 1 0 529889538 51781632 898 33554432000 4194304 4797429 140737416664208 18446744073709551615 254500352709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5922/statm: 12642 898 348 148 0 7571 0

[startup+0.0609729 s]
/proc/loadavg: 4.08 4.85 6.33 3/176 5922
/proc/meminfo: memFree=30384136/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=62664 CPUtime=0.05 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 4267 0 0 0 5 0 0 0 17 0 1 0 529889538 64167936 3626 33554432000 4194304 4797429 140737416664208 18446744073709551615 254500352709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5922/statm: 15666 3626 348 148 0 10595 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 62664

[startup+0.100962 s]
/proc/loadavg: 4.08 4.85 6.33 3/176 5922
/proc/meminfo: memFree=30384136/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=67272 CPUtime=0.09 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 5894 0 0 0 9 0 0 0 17 0 1 0 529889538 68886528 5245 33554432000 4194304 4797429 140737416664208 18446744073709551615 254500352709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5922/statm: 16818 5250 349 148 0 11747 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67272

[startup+0.300926 s]
/proc/loadavg: 4.08 4.85 6.33 3/176 5922
/proc/meminfo: memFree=30384136/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=108748 CPUtime=0.28 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 17653 0 0 0 27 1 0 0 18 0 1 0 529889538 111357952 14206 33554432000 4194304 4797429 140737416664208 18446744073709551615 4367789 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5922/statm: 27187 14207 349 148 0 22116 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 108748

[startup+0.700851 s]
/proc/loadavg: 4.08 4.85 6.33 3/176 5922
/proc/meminfo: memFree=30384136/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=170248 CPUtime=0.68 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 36265 0 0 0 64 4 0 0 18 0 1 0 529889538 174333952 29061 33554432000 4194304 4797429 140737416664208 18446744073709551615 254500388619 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5922/statm: 42562 29061 349 148 0 37491 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 170248

[startup+1.50069 s]
/proc/loadavg: 4.08 4.85 6.33 4/178 5924
/proc/meminfo: memFree=30109836/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=294232 CPUtime=1.49 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 70460 0 0 0 140 9 0 0 19 0 1 0 529889538 301293568 55890 33554432000 4194304 4797429 140737416664208 18446744073709551615 4365731 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5922/statm: 73558 55890 349 148 0 68487 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 294232

[startup+3.10037 s]
/proc/loadavg: 3.91 4.80 6.31 3/178 5924
/proc/meminfo: memFree=29701504/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=637608 CPUtime=3.09 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 137363 0 0 0 291 18 0 0 25 0 1 0 529889538 652910592 108090 33554432000 4194304 4797429 140737416664208 18446744073709551615 4549632 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5922/statm: 159402 108090 349 148 0 154331 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 637608

[startup+6.30066 s]
/proc/loadavg: 3.91 4.80 6.31 9/184 5930
/proc/meminfo: memFree=28984208/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=1476488 CPUtime=8.81 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 244493 0 0 0 844 37 0 0 19 0 4 0 529889538 1511923712 192888 33554432000 4194304 4797429 140737416664208 18446744073709551615 4430133 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 369122 192888 384 148 0 364051 0
[pid=5922/tid=5928] ppid=5918 vsize=1476488 CPUtime=0.82 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 9246 0 0 0 80 2 0 0 25 0 4 0 529890084 1511923712 192888 33554432000 4194304 4797429 140737416664208 18446744073709551615 4430173 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=1476488 CPUtime=0.84 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 9544 0 0 0 82 2 0 0 19 0 4 0 529890084 1511923712 192888 33554432000 4194304 4797429 140737416664208 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=1476488 CPUtime=0.83 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 8270 0 0 0 82 1 0 0 25 0 4 0 529890084 1511923712 192888 33554432000 4194304 4797429 140737416664208 18446744073709551615 4241772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.81
Current children cumulated vsize (KiB) 1476488

[startup+12.7064 s]
/proc/loadavg: 4.54 4.91 6.33 10/184 5931
/proc/meminfo: memFree=27512740/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=2484800 CPUtime=34.35 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 460402 0 0 0 3363 72 0 0 20 0 4 0 529889538 2544435200 408589 33554432000 4194304 4797429 140737416664208 18446744073709551615 4519264 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 621200 408589 398 148 0 616129 0
[pid=5922/tid=5928] ppid=5918 vsize=2484800 CPUtime=7.18 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 75505 0 0 0 705 13 0 0 20 0 4 0 529890084 2544435200 408589 33554432000 4194304 4797429 140737416664208 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=2484800 CPUtime=7.23 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 42568 0 0 0 715 8 0 0 20 0 4 0 529890084 2544435200 408589 33554432000 4194304 4797429 140737416664208 18446744073709551615 4611587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=2484800 CPUtime=7.22 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 59914 0 0 0 711 11 0 0 20 0 4 0 529890084 2544435200 408589 33554432000 4194304 4797429 140737416664208 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34.35
Current children cumulated vsize (KiB) 2484800

[startup+25.5008 s]
/proc/loadavg: 5.07 5.01 6.34 9/184 5931
/proc/meminfo: memFree=27188124/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=2721716 CPUtime=85.42 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 511266 0 0 0 8443 99 0 0 25 0 4 0 529889538 2787037184 456013 33554432000 4194304 4797429 140737416664208 18446744073709551615 4423672 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 680429 456013 720 148 0 675358 0
[pid=5922/tid=5928] ppid=5918 vsize=2721716 CPUtime=19.91 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 88797 0 0 0 1970 21 0 0 25 0 4 0 529890084 2787037184 456013 33554432000 4194304 4797429 140737416664208 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=2721716 CPUtime=20.02 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 54935 0 0 0 1989 13 0 0 25 0 4 0 529890084 2787037184 456013 33554432000 4194304 4797429 140737416664208 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=2721716 CPUtime=20 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 72487 0 0 0 1981 19 0 0 25 0 4 0 529890084 2787037184 456013 33554432000 4194304 4797429 140737416664208 18446744073709551615 4423712 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 85.42
Current children cumulated vsize (KiB) 2721716

[startup+51.1007 s]
/proc/loadavg: 6.14 5.26 6.39 9/184 5932
/proc/meminfo: memFree=27008408/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=2766144 CPUtime=187.71 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 536814 0 0 0 18665 106 0 0 25 0 4 0 529889538 2832531456 481405 33554432000 4194304 4797429 140737416664208 18446744073709551615 4345040 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 691536 481405 666 148 0 686465 0
[pid=5922/tid=5928] ppid=5918 vsize=2766144 CPUtime=45.37 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 94674 0 0 0 4515 22 0 0 25 0 4 0 529890084 2832531456 481405 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=2766144 CPUtime=45.63 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 64589 0 0 0 4548 15 0 0 25 0 4 0 529890084 2832531456 481405 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259096 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=2766144 CPUtime=45.61 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 79267 0 0 0 4540 21 0 0 25 0 4 0 529890084 2832531456 481405 33554432000 4194304 4797429 140737416664208 18446744073709551615 4236528 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 187.71
Current children cumulated vsize (KiB) 2766144

[startup+102.301 s]
/proc/loadavg: 7.39 5.75 6.49 9/184 5933
/proc/meminfo: memFree=25457916/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=3687492 CPUtime=392.21 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 709361 0 0 0 39092 129 0 0 25 0 4 0 529889538 3775991808 642052 33554432000 4194304 4797429 140737416664208 18446744073709551615 4223288 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 921873 642052 464 148 0 916802 0
[pid=5922/tid=5928] ppid=5918 vsize=3687492 CPUtime=96.29 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 150371 0 0 0 9600 29 0 0 25 0 4 0 529890084 3775991808 642052 33554432000 4194304 4797429 140737416664208 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=3687492 CPUtime=96.82 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 115914 0 0 0 9660 22 0 0 25 0 4 0 529890084 3775991808 642052 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=3687492 CPUtime=96.8 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 132505 0 0 0 9652 28 0 0 25 0 4 0 529890084 3775991808 642052 33554432000 4194304 4797429 140737416664208 18446744073709551615 4567894 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 392.21
Current children cumulated vsize (KiB) 3687492

[startup+162.307 s]
/proc/loadavg: 8.19 6.26 6.62 9/184 5938
/proc/meminfo: memFree=24847080/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=4013580 CPUtime=631.92 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 851432 0 0 0 63048 144 0 0 25 0 4 0 529889538 4109905920 702414 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 1003395 702414 465 148 0 998324 0
[pid=5922/tid=5928] ppid=5918 vsize=4013580 CPUtime=155.97 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 155967 0 0 0 15568 29 0 0 25 0 4 0 529890084 4109905920 702414 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=4013580 CPUtime=156.82 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 150179 0 0 0 15658 24 0 0 25 0 4 0 529890084 4109905920 702414 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=4013580 CPUtime=156.82 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 147753 0 0 0 15652 30 0 0 25 0 4 0 529890084 4109905920 702414 33554432000 4194304 4797429 140737416664208 18446744073709551615 4236512 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 631.92
Current children cumulated vsize (KiB) 4013580

[startup+222.301 s]
/proc/loadavg: 8.18 6.60 6.71 9/184 5939
/proc/meminfo: memFree=23709336/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=5118780 CPUtime=871.59 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 1070694 0 0 0 86983 176 0 0 25 0 4 0 529889538 5241630720 913252 33554432000 4194304 4797429 140737416664208 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 1279695 913252 465 148 0 1274624 0
[pid=5922/tid=5928] ppid=5918 vsize=5118780 CPUtime=215.65 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 212864 0 0 0 21527 38 0 0 25 0 4 0 529890084 5241630720 913252 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259112 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=5118780 CPUtime=216.83 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 206569 0 0 0 21650 33 0 0 25 0 4 0 529890084 5241630720 913252 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259112 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=5118780 CPUtime=216.82 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 197213 0 0 0 21646 36 0 0 25 0 4 0 529890084 5241630720 913252 33554432000 4194304 4797429 140737416664208 18446744073709551615 4236512 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 871.59
Current children cumulated vsize (KiB) 5118780

[startup+282.301 s]
/proc/loadavg: 8.17 6.89 6.80 9/184 5941
/proc/meminfo: memFree=22383980/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=6480336 CPUtime=1111.27 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 1403390 0 0 0 110905 222 0 0 25 0 4 0 529889538 6635864064 1182290 33554432000 4194304 4797429 140737416664208 18446744073709551615 4495518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 1620084 1182290 468 148 0 1615013 0
[pid=5922/tid=5928] ppid=5918 vsize=6480336 CPUtime=275.33 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 273458 0 0 0 27486 47 0 0 25 0 4 0 529890084 6635864064 1182290 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=6480336 CPUtime=276.82 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 341866 0 0 0 27632 50 0 0 25 0 4 0 529890084 6635864064 1182290 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=6480336 CPUtime=276.82 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 274119 0 0 0 27634 48 0 0 25 0 4 0 529890084 6635864064 1182290 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259149 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1111.27

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

[pid=5922/tid=5928] ppid=5918 vsize=9259396 CPUtime=454.36 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 492024 0 0 0 45361 75 0 0 25 0 4 0 529890084 9481621504 1717036 33554432000 4194304 4797429 140737416664208 18446744073709551615 4567910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=9259396 CPUtime=456.83 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 462390 0 0 0 45617 66 0 0 25 0 4 0 529890084 9481621504 1717036 33554432000 4194304 4797429 140737416664208 18446744073709551615 4504008 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=9259396 CPUtime=456.83 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 438982 0 0 0 45609 74 0 0 25 0 4 0 529890084 9481621504 1717036 33554432000 4194304 4797429 140737416664208 18446744073709551615 4422982 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1830.32
Current children cumulated vsize (KiB) 9259396

[startup+522.301 s]
/proc/loadavg: 8.05 7.52 7.07 9/184 5947
/proc/meminfo: memFree=19161480/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=9955748 CPUtime=2070 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 2157499 0 0 0 206672 328 0 0 25 0 4 0 529889538 10194685952 1855291 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 2488937 1855291 466 148 0 2483866 0
[pid=5922/tid=5928] ppid=5918 vsize=9955748 CPUtime=514.03 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 526328 0 0 0 51324 79 0 0 25 0 4 0 529890084 10194685952 1855291 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259092 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=9955748 CPUtime=516.83 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 520785 0 0 0 51610 73 0 0 25 0 4 0 529890084 10194685952 1855291 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=9955748 CPUtime=516.83 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 494530 0 0 0 51602 81 0 0 25 0 4 0 529890084 10194685952 1855291 33554432000 4194304 4797429 140737416664208 18446744073709551615 4427996 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2070
Current children cumulated vsize (KiB) 9955748

[startup+582.301 s]
/proc/loadavg: 8.02 7.60 7.13 9/184 5949
/proc/meminfo: memFree=17668260/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=11236936 CPUtime=2309.69 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 2428571 0 0 0 230604 365 0 0 25 0 4 0 529889538 11506622464 2108544 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 2809234 2108544 466 148 0 2804163 0
[pid=5922/tid=5928] ppid=5918 vsize=11236936 CPUtime=573.71 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 626489 0 0 0 57279 92 0 0 25 0 4 0 529890084 11506622464 2108544 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=11236936 CPUtime=576.84 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 549140 0 0 0 57607 77 0 0 25 0 4 0 529890084 11506622464 2108544 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259149 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=11236936 CPUtime=576.83 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 593217 0 0 0 57589 94 0 0 25 0 4 0 529890084 11506622464 2108544 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2309.69
Current children cumulated vsize (KiB) 11236936

[startup+642.301 s]
/proc/loadavg: 8.04 7.69 7.18 9/184 5950
/proc/meminfo: memFree=16656988/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=11892484 CPUtime=2549.38 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 2603135 0 0 0 254547 391 0 0 25 0 4 0 529889538 12177903616 2260631 33554432000 4194304 4797429 140737416664208 18446744073709551615 4404790 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 2973121 2260631 466 148 0 2968050 0
[pid=5922/tid=5928] ppid=5918 vsize=11892484 CPUtime=633.38 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 685397 0 0 0 63238 100 0 0 25 0 4 0 529890084 12177903616 2260631 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=11892484 CPUtime=636.84 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 597489 0 0 0 63600 84 0 0 25 0 4 0 529890084 12177903616 2260631 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259112 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=11892484 CPUtime=636.83 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 647280 0 0 0 63582 101 0 0 25 0 4 0 529890084 12177903616 2260631 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568007 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2549.38
Current children cumulated vsize (KiB) 11892484

[startup+702.301 s]
/proc/loadavg: 8.18 7.79 7.25 9/184 5952
/proc/meminfo: memFree=15756816/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=12808232 CPUtime=2789.07 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 2788108 0 0 0 278490 417 0 0 25 0 4 0 529889538 13115629568 2413573 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259680 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 3202058 2413573 466 148 0 3196987 0
[pid=5922/tid=5928] ppid=5918 vsize=12808232 CPUtime=693.06 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 746298 0 0 0 69198 108 0 0 25 0 4 0 529890084 13115629568 2413573 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259083 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=12808232 CPUtime=696.84 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 684325 0 0 0 69589 95 0 0 25 0 4 0 529890084 13115629568 2413573 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=12808232 CPUtime=696.84 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 661180 0 0 0 69581 103 0 0 25 0 4 0 529890084 13115629568 2413573 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2789.07
Current children cumulated vsize (KiB) 12808232

[startup+762.301 s]
/proc/loadavg: 8.17 7.85 7.30 9/184 5954
/proc/meminfo: memFree=14658504/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=13878372 CPUtime=3028.74 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 3012787 0 0 0 302425 449 0 0 25 0 4 0 529889538 14211452928 2625542 33554432000 4194304 4797429 140737416664208 18446744073709551615 4423623 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 3469593 2625542 466 148 0 3464522 0
[pid=5922/tid=5928] ppid=5918 vsize=13878372 CPUtime=752.74 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 851405 0 0 0 75150 124 0 0 25 0 4 0 529890084 14211452928 2625542 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=13878372 CPUtime=756.84 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 719558 0 0 0 75584 100 0 0 25 0 4 0 529890084 14211452928 2625542 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259099 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=13878372 CPUtime=756.83 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 702795 0 0 0 75576 107 0 0 25 0 4 0 529890084 14211452928 2625542 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259099 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3028.74
Current children cumulated vsize (KiB) 13878372

[startup+822.306 s]
/proc/loadavg: 8.09 7.89 7.35 9/184 5955
/proc/meminfo: memFree=13703420/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=14863420 CPUtime=3268.43 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 3287899 0 0 0 326353 490 0 0 25 0 4 0 529889538 15220142080 2815163 33554432000 4194304 4797429 140737416664208 18446744073709551615 4331615 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 3715855 2815163 466 148 0 3710784 0
[pid=5922/tid=5928] ppid=5918 vsize=14863420 CPUtime=812.41 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 931485 0 0 0 81105 136 0 0 25 0 4 0 529890084 15220142080 2815163 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=14863420 CPUtime=816.85 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 803159 0 0 0 81572 113 0 0 25 0 4 0 529890084 15220142080 2815163 33554432000 4194304 4797429 140737416664208 18446744073709551615 4642788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=14863420 CPUtime=816.84 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 794358 0 0 0 81566 118 0 0 25 0 4 0 529890084 15220142080 2815163 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3268.43
Current children cumulated vsize (KiB) 14863420

[startup+882.3 s]
/proc/loadavg: 8.11 7.93 7.39 9/184 5957
/proc/meminfo: memFree=12661400/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=15806656 CPUtime=3508.09 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 3493795 0 0 0 350289 520 0 0 25 0 4 0 529889538 16186015744 2988522 33554432000 4194304 4797429 140737416664208 18446744073709551615 4428900 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 3951664 2988522 466 148 0 3946593 0
[pid=5922/tid=5928] ppid=5918 vsize=15806656 CPUtime=872.09 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 990119 0 0 0 87065 144 0 0 25 0 4 0 529890084 16186015744 2988522 33554432000 4194304 4797429 140737416664208 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=15806656 CPUtime=876.84 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 879594 0 0 0 87559 125 0 0 25 0 4 0 529890084 16186015744 2988522 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=15806656 CPUtime=876.84 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 843937 0 0 0 87560 124 0 0 25 0 4 0 529890084 16186015744 2988522 33554432000 4194304 4797429 140737416664208 18446744073709551615 4528781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3508.09
Current children cumulated vsize (KiB) 15806656



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+892.3 s]
/proc/loadavg: 8.09 7.93 7.40 9/184 5957
/proc/meminfo: memFree=12538632/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=15880288 CPUtime=3548.06 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) R 5918 5922 5302 0 -1 4202496 3564898 0 0 0 354276 530 0 0 25 0 4 0 529889538 16261414912 3017561 33554432000 4194304 4797429 140737416664208 18446744073709551615 254500735111 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 3970072 3017561 466 148 0 3965001 0
[pid=5922/tid=5928] ppid=5918 vsize=15880288 CPUtime=882.04 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4202560 990632 0 0 0 88060 144 0 0 25 0 4 0 529890084 16261414912 3017561 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5922/tid=5929] ppid=5918 vsize=15880288 CPUtime=886.85 cores=1,3,5,7
/proc/5922/task/5929/stat : 5929 (techdemo) R 5918 5922 5302 0 -1 4202560 879594 0 0 0 88560 125 0 0 25 0 4 0 529890084 16261414912 3017561 33554432000 4194304 4797429 140737416664208 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5922/tid=5930] ppid=5918 vsize=15880288 CPUtime=886.85 cores=1,3,5,7
/proc/5922/task/5930/stat : 5930 (techdemo) R 5918 5922 5302 0 -1 4202560 844575 0 0 0 88561 124 0 0 25 0 4 0 529890084 16261414912 3017561 33554432000 4194304 4797429 140737416664208 18446744073709551615 4259664 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3548.06
Current children cumulated vsize (KiB) 15880288

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

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

[startup+892.411 s]
/proc/loadavg: 8.09 7.93 7.40 9/184 5957
/proc/meminfo: memFree=12538632/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=0 CPUtime=3548.18 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) Z 5918 5922 5302 0 -1 4203548 3565359 0 0 0 354278 540 0 0 25 0 2 0 529889538 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 0 0 0 0 0 0 0
[pid=5922/tid=5928] ppid=5918 vsize=0 CPUtime=882.14 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4203588 990632 0 0 0 88060 154 0 0 25 0 2 0 529890084 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3548.18
Current children cumulated vsize (KiB) 0

[startup+892.6 s]
/proc/loadavg: 8.09 7.93 7.40 6/183 5958
/proc/meminfo: memFree=20572800/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=0 CPUtime=3548.38 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) Z 5918 5922 5302 0 -1 4203548 3565359 0 0 0 354278 560 0 0 25 0 2 0 529889538 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 0 0 0 0 0 0 0
[pid=5922/tid=5928] ppid=5918 vsize=0 CPUtime=882.33 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4203588 990632 0 0 0 88060 173 0 0 25 0 2 0 529890084 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3548.38
Current children cumulated vsize (KiB) 0

[startup+892.706 s]
/proc/loadavg: 8.09 7.93 7.40 6/183 5958
/proc/meminfo: memFree=20572800/32950928 swapFree=67111464/67111528
[pid=5922] ppid=5918 vsize=0 CPUtime=3548.48 cores=1,3,5,7
/proc/5922/stat : 5922 (techdemo) Z 5918 5922 5302 0 -1 4203548 3565359 0 0 0 354278 570 0 0 25 0 2 0 529889538 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5922/statm: 0 0 0 0 0 0 0
[pid=5922/tid=5928] ppid=5918 vsize=0 CPUtime=882.43 cores=1,3,5,7
/proc/5922/task/5928/stat : 5928 (techdemo) R 5918 5922 5302 0 -1 4203588 990632 0 0 0 88060 183 0 0 25 0 2 0 529890084 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3548.48
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 892.74
CPU time (s): 3548.52
CPU user time (s): 3542.79
CPU system time (s): 5.73413
CPU usage (%): 397.486
Max. virtual memory (cumulated for all children) (KiB): 15880288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3542.79
system time used= 5.73413
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3565359
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= 18831
involuntary context switches= 17156

runsolver used 1.44978 second user time and 3.41548 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-30 19:02:08
IDJOB=3293656
IDBENCH=88165
IDSOLVER=1584
FILE ID=node149/3293656-1304182928
RUNJOBID= node149-1304182928-5906
PBS_JOBID= 13172449
Free space on /tmp= 73152 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293656-1304182928/watcher-3293656-1304182928 -o /tmp/evaluation-result-3293656-1304182928/solver-3293656-1304182928 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3293656-1304182928.cnf

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

MD5SUM BENCH= 99cd8de7f06ce8c087a5c7fb299dfb62
RANDOM SEED=85840483

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30384324 kB
Buffers:        517364 kB
Cached:        1604304 kB
SwapCached:         60 kB
Active:         376452 kB
Inactive:      1809396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30384324 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:          189736 kB
Writeback:           0 kB
AnonPages:       63500 kB
Mapped:          14484 kB
Slab:           317504 kB
PageTables:       4752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   184356 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= 73140 MiB
End job on node149 at 2011-04-30 19:17:03