Trace number 3281328

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.35 1207.73

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark485.526
Satisfiable
(Un)Satisfiability was proved
Number of variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

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-3281328-1304032627.cnf'
0.00/0.00	c -- header says num vars:         306095
0.00/0.00	c -- header says num clauses:     6069108
7.69/7.79	c -- clauses added:            0 learnts,      6069108 normals,            0 xors
7.69/7.79	c -- vars added     306095
7.69/7.79	c Parsing time:  7.40 s
7.69/7.79	c  N st     0         0    306095    323996   5745111         0  17675753         0   no data   no data  --
8.98/8.10	c asymm  cl-useful: 20/23/323988 lits-rem:759 time: 1.06
28.12/12.92	c Flit:     0 Blit:  75612 bXBeca:    0 bXProp:    6 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 18.54
29.31/13.24	c Cleaning up after failed var search:     1.24 s 
36.04/14.92	c Calc non-exist non-lernt bins v-fix:     0 done:  14915 time:  6.25 s
36.04/14.92	c Cache  BProp: 0 Set: 0 BXProp: 28 T: 0.01
36.41/15.00	c Subs w/ non-existent bins:      0 time:  0.29 s
38.01/15.46	c Replacing       34 vars Replaced   166886 lits Time:     1.84 s 
42.29/16.53	c bin-w-bin subsume rem            6 bins  time:  2.54 s
48.29/18.01	c subs with bin:     5507  lits-rem:     56143  v-fix:    0  time:  5.91 s
49.11/18.21	c Removed useless bin:     565  fixed:     0  bprops:  10.01M  time:  0.80 s
65.06/22.23	c lits-rem:         2  cl-subs:    24337  v-elim:  13080  v-fix:    0  time: 16.02 s
65.06/22.23	c learnt bin added due to v-elim: 0
65.46/22.34	c Finding binary XORs  T:     0.41 s  found:     215
66.28/22.56	c Replacing      215 vars Replaced     1817 lits Time:     0.89 s 
68.66/23.14	c Finding non-binary XORs:     1.54 s (found:       0, avg size: nan)
68.66/23.14	c Calc default polars -  time:   0.38 s pos:   35467 undec:   89072 neg:  181556
68.66/23.14	c =========================================================================================
68.66/23.14	c types(t): F = full restart, N = normal restart
68.66/23.14	c types(t): S = simplification begin/end, E = solution found
68.66/23.14	c restart types(rt): st = static, dy = dynamic
68.66/23.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
68.66/23.14	c  B st     0         0    217145    224129   4230558         0  12930393         0   no data   no data  --
84.25/27.01	c Decided on dynamic restart strategy
100.21/31.09	c  N dy    20      4022    217145    224129   4230624      3864  12930387    201519     53.76     20.19  --
129.37/38.36	c  N dy    48      8173    217145    224129   4232121      8133  12930361    400124     50.74     20.84  --
158.55/45.67	c  N dy    76     12303    217144    224129   4233553     12153  12930344    579488     39.24     20.66  --
182.90/51.71	c  N dy   104     16350    217144    224129   4233583     16073  12930342    793232     48.09     21.57  --
206.07/57.57	c  N dy   131     20393    217144    224129   4233600     10160  12930337    309748     54.42     22.16  --
228.85/63.21	c  N dy   159     24466    217144    224129   4233625     14084  12930330    522843     66.46     22.32  --
250.40/68.66	c  N dy   187     28544    217144    224129   4233646     18006  12930303    720466     48.28     22.69  --
260.01/71.09	c  S st   198     30000    217144    224129   4233657     19427  12930300    814759     66.60     23.05  --
266.78/72.78	c  S st   198     30500    214431    219619   4203722     19766  12827372    807454     66.60     23.05  --
267.58/72.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.66
511.25/133.90	c Flit:   146 Blit:   6392 bXBeca:    0 bXProp:  165 Bin:  15971 BRemL:     84 BRemN:   8511 CBin:       0 P: 60.2M T: 243.37
511.65/134.04	c Cleaning up after failed var search:     0.52 s 
514.48/134.75	c Calc non-exist non-lernt bins v-fix:   102 done:  25346 time:  2.76 s
514.48/134.75	c Cache  BProp: 17 Set: 14 BXProp: 251 T: 0.02
514.88/134.83	c Subs w/ non-existent bins:     79 time:  0.30 s
516.45/135.27	c Replacing      419 vars Replaced   204905 lits Time:     1.73 s 
520.04/136.16	c bin-w-bin subsume rem         8969 bins  time:  2.43 s
526.04/137.60	c subs with bin:     1326  lits-rem:     42297  v-fix:    0  time:  5.75 s
526.84/137.81	c Removed useless bin:     995  fixed:    41  bprops:  10.01M  time:  0.83 s
538.42/140.72	c lits-rem:      1734  cl-subs:     7527  v-elim:  18233  v-fix:    0  time: 11.64 s
538.42/140.72	c learnt bin added due to v-elim: 0
539.22/140.93	c asymm  cl-useful: 49/109/229540 lits-rem:3072 time: 0.74
539.62/141.03	c  N dy   198     30500    185105    229540   4016521     12612  12544353    508141     66.60     23.05  --
539.62/141.03	c  F st   198     30500    185105    229540   4016521     12612  12544353    508141     66.60     23.05  --
549.21/143.43	c Decided on dynamic restart strategy
559.20/145.92	c  N dy   218     34633    185105    229540   4016547     16607  12544343    720965     52.45     23.14  --
581.16/151.41	c  N dy   246     38655    177014    229540   4098752    137566  12669272   1311659     53.43     23.35  --
603.13/156.95	c  N dy   274     42718    176840    229540   4098766    141517  12669266   1531887     63.93     23.76  --
623.90/162.18	c  S st   295     45750    176814    210698   4011830    144254  12319615   1689665     46.31     24.16  --
631.09/163.93	c  S st   295     46250    176812    210698   4011877    144690  12319615   1694923     46.31     24.16  --
631.89/164.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.69
2697.66/681.27	c Flit:     7 Blit:    318 bXBeca:    0 bXProp:   56 Bin:  85062 BRemL:    440 BRemN:    290 CBin:       0 P: 60.0M T: 2065.45
2697.66/681.27	c Cleaning up after failed var search:     0.00 s 
2705.25/683.13	c Calc non-exist non-lernt bins v-fix:     0 done:  13163 time:  7.36 s
2705.25/683.14	c Cache  BProp: 0 Set: 0 BXProp: 103 T: 0.02
2706.84/683.60	c Subs w/ non-existent bins:   1192 time:  1.84 s
2708.84/684.05	c Replacing      160 vars Replaced   111416 lits Time:     1.77 s 
2712.83/685.04	c bin-w-bin subsume rem         3151 bins  time:  2.52 s
2718.43/686.44	c subs with bin:     6323  lits-rem:     57127  v-fix:    0  time:  5.57 s
2719.23/686.66	c Removed useless bin:    5080  fixed:     0  bprops:  10.02M  time:  0.89 s
2741.20/692.14	c lits-rem:      1991  cl-subs:   101000  v-elim:  21187  v-fix:    0  time: 21.87 s
2741.20/692.14	c learnt bin added due to v-elim: 0
2742.00/692.40	c asymm  cl-useful: 40/223/300936 lits-rem:580 time: 1.03
2742.41/692.50	c  N dy   295     46250    159727    300936   3923550     41129  12592631   1145384     46.31     24.16  --
2764.79/698.09	c  N dy   323     50269    159482    300936   4017491     91022  12629902   1614386     46.42     24.12  --
2784.35/702.99	c  N dy   350     54291    159407    300936   4017512     94913  12629877   1825410     48.15     24.31  --
2796.73/706.08	c  N dy   378     58386    159407    300936   4017537     98763  12629808   1985738     38.62     24.13  --
2803.94/707.84	c Finding binary XORs  T:     0.33 s  found:     562
2816.70/711.08	c  N dy   406     62490    159407    300321   4014143    102615  12617676   2155383     45.64     23.91  --
2834.69/715.57	c  N dy   434     66589    159407    300321   4014160    106588  12617675   2393828     45.67     23.95  --
2851.06/719.67	c  S st   454     69376    159407    300321   4014176    109265  12617675   2522790     56.58     24.01  --
2857.84/721.35	c  S st   454     69878    159402    300321   4014224    109709  12617675   2528916     56.58     24.01  --
2858.64/721.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.68
3129.90/789.49	c Flit:     2 Blit:    418 bXBeca:    0 bXProp:   20 Bin:   7042 BRemL:   3303 BRemN:   4935 CBin:       0 P: 60.4M T: 271.46
3130.30/789.50	c Cleaning up after failed var search:     0.00 s 
3138.32/791.52	c Calc non-exist non-lernt bins v-fix:     0 done:  11125 time:  8.00 s
3138.32/791.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
3141.09/792.29	c Subs w/ non-existent bins:   8063 time:  3.05 s
3143.49/792.85	c Replacing      582 vars Replaced   184067 lits Time:     2.22 s 
3147.48/793.86	c bin-w-bin subsume rem        18686 bins  time:  2.49 s
3152.67/795.15	c subs with bin:     7266  lits-rem:     43944  v-fix:    0  time:  5.14 s
3153.88/795.41	c Removed useless bin:    5829  fixed:     0  bprops:  10.00M  time:  1.07 s
3178.24/801.56	c ORs :    644 avg-s:  5.7 cl-sh:  9343 l-rem:  12013 b-add:    147 v-rep:   1 cl-rem: 583 avg s: 10.4 T:    0.98
3191.42/804.86	c Added 51 vars  tried: 80000 time: 13.17
3192.22/805.00	c ORs :     51 avg-s:  0.0 cl-sh: 26321 l-rem:  26321 b-add:    104 v-rep:   1 cl-rem: 68 avg s: 6.7 T:   13.72
3193.02/805.21	c lits-rem:       773  cl-subs:    27700  v-elim:  13264  v-fix:    0  time: 39.11 s
3193.02/805.21	c learnt bin added due to v-elim: 0
3193.82/805.41	c asymm  cl-useful: 29/217/304162 lits-rem:255 time: 0.82
3194.22/805.51	c  N dy   454     69878    149183    304162   3688208     72741  11820630   2113891     56.58     24.01  --
3194.22/805.51	c  F st   454     69878    149183    304162   3688208     72741  11820630   2113891     56.58     24.01  --
3195.03/805.71	c Replacing        2 vars Replaced     4991 lits Time:     0.78 s 
3203.83/807.98	c Decided on dynamic restart strategy
3214.99/810.76	c  N dy   477     74456    149181    304162   3688226     77106  11820618   2319656     46.23     23.82  --
3236.96/816.24	c  N dy   510     79306    149181    304162   3688253     81755  11820617   2568207     50.64     24.15  --
3262.13/822.52	c  N dy   544     84386    149181    304162   3688269     86682  11820588   2829350     43.54     24.28  --
3280.50/827.17	c  N dy   581     89821    148747    304162   3767567     96008  11821246   3243434     40.97     24.23  --
3296.10/831.08	c  N dy   621     95659    148729    304162   3767611    101414  11821147   3460446     30.33     23.96  --
3318.84/836.75	c  N dy   665    101807    148702    304162   3767663    107207  11821147   3659889     60.70     23.67  --
3334.83/840.73	c  S st   686    104817    148702    304162   3767685    110052  11821140   3803717     42.23     23.70  --
3340.82/842.28	c  S st   686    105317    148702    304162   3767716    110518  11821140   3811293     42.23     23.70  --
3341.62/842.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.67
3435.10/865.89	c Flit:    23 Blit:    348 bXBeca:    0 bXProp:   29 Bin:   1956 BRemL:  12794 BRemN:   1771 CBin:       0 P: 60.0M T: 93.66
3435.50/865.90	c Cleaning up after failed var search:     0.00 s 
3444.69/868.22	c Calc non-exist non-lernt bins v-fix:     0 done:   9805 time:  9.19 s
3444.69/868.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
3449.48/869.41	c Subs w/ non-existent bins:   7200 time:  4.72 s
3451.87/870.03	c Replacing       31 vars Replaced    69128 lits Time:     2.47 s 
3455.87/871.01	c bin-w-bin subsume rem        14280 bins  time:  2.32 s
3461.06/872.30	c subs with bin:     5832  lits-rem:     76927  v-fix:    0  time:  5.13 s
3461.86/872.55	c Removed useless bin:    6669  fixed:    14  bprops:  10.01M  time:  1.01 s
3502.63/882.79	c ORs :    811 avg-s:  5.7 cl-sh:  1534 l-rem:   2312 b-add:     22 v-rep:   0 cl-rem: 130 avg s: 8.6 T:    1.03
3503.81/883.02	c lits-rem:     16129  cl-subs:    19034  v-elim:  19649  v-fix:    0  time: 41.83 s
3503.81/883.02	c learnt bin added due to v-elim: 0
3504.61/883.28	c asymm  cl-useful: 31/261/290347 lits-rem:807 time: 0.90
3505.01/883.37	c  N dy   686    105317    142748    290341   3531192     86441  11145398   3167484     42.23     23.70  --
3531.38/889.92	c  N dy   732    112129    142744    290341   3531217     92992  11145396   3518353     63.25     23.80  --
3557.74/896.57	c  N dy   782    119421    142319    290341   3531278     99936  11145373   3903186     45.64     23.88  --
3586.52/903.73	c  N dy   837    127163    142319    290341   3531329    107235  11145373   4205222     25.17     23.71  --
3620.06/912.11	c  N dy   893    135286    142305    290341   3531380    114967  11145323   4610990     62.02     23.86  --
3625.66/913.50	c Finding binary XORs  T:     0.32 s  found:     100
3657.60/921.59	c  N dy   954    144051    142296    287555   3508789    122829  11077040   5051841     45.49     23.99  --
3697.15/931.42	c  N dy  1017    153357    142287    287555   3508841    131684  11077030   5559399     71.56     24.26  --
3720.32/937.28	c  S st  1049    157975    141809    287555   3561963    142434  11085398   5925550     71.16     24.43  --
3727.13/938.91	c  S st  1049    158476    141804    287555   3562023    142863  11085398   5933739     71.16     24.43  --
3727.51/939.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.64
3745.48/943.52	c Flit:    15 Blit:     51 bXBeca:    0 bXProp:    9 Bin:   1206 BRemL:  11384 BRemN:    731 CBin:       0 P: 60.0M T: 17.77
3752.28/945.29	c Calc non-exist non-lernt bins v-fix:     7 done:  13165 time:  6.99 s
3752.67/945.30	c Cache  BProp: 56 Set: 38 BXProp: 27 T: 0.03
3758.27/946.78	c Subs w/ non-existent bins:   7006 time:  5.90 s
3761.07/947.43	c Replacing      136 vars Replaced    94896 lits Time:     2.59 s 
3765.06/948.47	c bin-w-bin subsume rem         9910 bins  time:  2.20 s
3770.25/949.77	c subs with bin:      896  lits-rem:     62588  v-fix:    0  time:  5.20 s
3771.45/950.07	c Removed useless bin:   21722  fixed:     0  bprops:  10.00M  time:  1.21 s
3832.19/965.21	c ORs :    885 avg-s:  6.3 cl-sh:  1004 l-rem:   1695 b-add:     21 v-rep:   0 cl-rem: 26 avg s: 30.4 T:    1.15
3832.97/965.46	c lits-rem:       276  cl-subs:    26976  v-elim:  13710  v-fix:    0  time: 61.47 s
3832.97/965.46	c learnt bin added due to v-elim: 0
3834.17/965.72	c asymm  cl-useful: 33/225/276054 lits-rem:391 time: 1.04
3834.57/965.81	c  N dy  1049    158476    130117    276054   3227383    115278  10252825   5189013     71.16     24.43  --
3871.32/975.09	c  N dy  1120    168704    130117    276054   3227427    125039  10252809   5722871     66.55     24.55  --
3908.07/984.24	c  N dy  1196    179594    130117    276054   3227484    135449  10252803   6302800     60.27     24.69  --
3952.01/995.26	c  N dy  1276    191086    130116    276054   3227547    146334  10252795   6852784     56.91     24.82  --
3994.35/1005.85	c  N dy  1361    203366    130114    276054   3227614    158001  10252784   7530781     52.69     24.92  --
4043.89/1018.24	c  N dy  1450    216362    130111    276054   3227680    170348  10252780   8201871     44.15     25.04  --
4097.81/1031.71	c  N dy  1544    230308    130106    276054   3227743     93173  10252774   2558558     63.39     25.30  --
4122.61/1037.94	c  S st  1595    237715    130104    276054   3227786    100189  10252732   2958782     81.51     25.25  --
4127.78/1039.20	c  S st  1595    238216    130099    276054   3227828    100634  10252732   2969241     81.51     25.25  --
4128.18/1039.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.57
4256.00/1071.38	c Flit:     0 Blit:     21 bXBeca:    0 bXProp:    1 Bin:   5196 BRemL:   3300 BRemN:    450 CBin:       0 P: 60.0M T: 127.98
4261.20/1072.69	c Calc non-exist non-lernt bins v-fix:     7 done:  20401 time:  5.17 s
4261.60/1072.70	c Cache  BProp: 31 Set: 1 BXProp: 20 T: 0.03
4267.21/1074.16	c Subs w/ non-existent bins:  12447 time:  5.84 s
4268.79/1074.57	c Replacing       31 vars Replaced    43845 lits Time:     1.61 s 
4272.39/1075.43	c bin-w-bin subsume rem         3318 bins  time:  2.03 s
4277.58/1076.74	c subs with bin:    24472  lits-rem:     38023  v-fix:    0  time:  5.25 s
4278.38/1076.93	c Removed useless bin:    2344  fixed:     0  bprops:  10.00M  time:  0.75 s
4311.93/1085.38	c ORs :   2350 avg-s:  5.1 cl-sh:  7005 l-rem:  11501 b-add:     34 v-rep:   7 cl-rem: 57 avg s: 20.9 T:    2.72
4312.73/1085.57	c lits-rem:     11115  cl-subs:    15217  v-elim:  19950  v-fix:    0  time: 34.50 s
4312.73/1085.57	c learnt bin added due to v-elim: 0
4313.53/1085.78	c asymm  cl-useful: 35/241/247478 lits-rem:262 time: 0.84
4313.92/1085.87	c  N dy  1595    238216    127895    247478   3102801     78414   9845127   2416690     81.51     25.25  --
4371.86/1100.32	c  N dy  1699    253463    127895    247478   3102853     93085   9845097   3304885     62.18     25.50  --
4388.23/1104.48	c Finding binary XORs  T:     0.29 s  found:      60
4425.40/1113.72	c  N dy  1806    269642    127895    247478   3102887     54944   9845083   1271444     68.27     25.99  --
4483.30/1128.25	c  N dy  1923    286857    127828    247478   3152599     78250   9847953   2398738     66.14     25.93  --
4542.03/1142.94	c  N dy  2045    305290    127827    247478   3152650     54767   9847946   1534954     70.26     26.04  --
4600.75/1157.64	c  N dy  2175    324873    127827    247478   3152714     41466   9847892   1123955     56.90     26.12  --
4663.46/1173.30	c  N dy  2307    344928    127827    247478   3152777     32613   9847847    753104     55.03     26.29  --
4703.40/1183.36	c  S st  2390    357324    127827    247478   3152819     44635   9847806   1466595     74.84     26.33  --
4708.60/1184.63	c  S st  2390    357824    127826    247478   3152870     45080   9847806   1472605     74.84     26.33  --
4709.00/1184.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.53

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

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

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


[startup+0 s]
/proc/loadavg: 3.31 5.46 6.84 2/174 17189
/proc/meminfo: memFree=18375060/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=50904 CPUtime=0 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1011 0 0 0 0 0 0 0 21 0 1 0 514861080 52125696 946 33554432000 4194304 4797429 140735729124880 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17189/statm: 12770 948 348 148 0 7699 0

[startup+0.101016 s]
/proc/loadavg: 3.31 5.46 6.84 2/174 17189
/proc/meminfo: memFree=18375060/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=71176 CPUtime=0.09 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 6402 0 0 0 9 0 0 0 21 0 1 0 514861080 72884224 5641 33554432000 4194304 4797429 140735729124880 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17189/statm: 17794 5664 349 148 0 12723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 71176

[startup+0.200997 s]
/proc/loadavg: 3.31 5.46 6.84 2/174 17189
/proc/meminfo: memFree=18375060/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=85836 CPUtime=0.19 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 11124 0 0 0 18 1 0 0 21 0 1 0 514861080 87896064 9640 33554432000 4194304 4797429 140735729124880 18446744073709551615 4431169 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17189/statm: 21459 9641 349 148 0 16388 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 85836

[startup+0.300994 s]
/proc/loadavg: 3.31 5.46 6.84 2/174 17189
/proc/meminfo: memFree=18375060/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=105068 CPUtime=0.29 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 16791 0 0 0 28 1 0 0 22 0 1 0 514861080 107589632 13486 33554432000 4194304 4797429 140735729124880 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17189/statm: 26267 13487 349 148 0 21196 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 105068

[startup+0.700916 s]
/proc/loadavg: 3.31 5.46 6.84 2/174 17189
/proc/meminfo: memFree=18375060/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=172092 CPUtime=0.69 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 36161 0 0 0 65 4 0 0 23 0 1 0 514861080 176222208 29138 33554432000 4194304 4797429 140735729124880 18446744073709551615 228122371830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17189/statm: 43023 29138 349 148 0 37952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 172092

[startup+1.50076 s]
/proc/loadavg: 3.31 5.46 6.84 2/174 17189
/proc/meminfo: memFree=18375060/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=295016 CPUtime=1.49 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 70891 0 0 0 140 9 0 0 25 0 1 0 514861080 302096384 56465 33554432000 4194304 4797429 140735729124880 18446744073709551615 228122374853 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17189/statm: 73754 56466 349 148 0 68683 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 295016

[startup+3.10047 s]
/proc/loadavg: 3.31 5.46 6.84 3/175 17190
/proc/meminfo: memFree=17880108/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=648824 CPUtime=3.09 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 140263 0 0 0 292 17 0 0 25 0 1 0 514861080 664395776 111169 33554432000 4194304 4797429 140735729124880 18446744073709551615 228122410763 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17189/statm: 162206 111169 349 148 0 157135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 648824

[startup+6.30089 s]
/proc/loadavg: 3.37 5.44 6.82 3/178 17196
/proc/meminfo: memFree=17261556/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=1125416 CPUtime=6.29 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 274524 0 0 0 595 34 0 0 25 0 1 0 514861080 1152425984 216111 33554432000 4194304 4797429 140735729124880 18446744073709551615 4687996 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17189/statm: 281354 216111 349 148 0 276283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1125416

[startup+12.7067 s]
/proc/loadavg: 3.50 5.43 6.81 6/181 17199
/proc/meminfo: memFree=16097812/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=2022440 CPUtime=27.34 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 357799 0 0 0 2678 56 0 0 25 0 4 0 514861080 2070978560 272466 33554432000 4194304 4797429 140735729124880 18446744073709551615 4427914 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 505610 272466 384 148 0 500539 0
[pid=17189/tid=17197] ppid=17187 vsize=2022440 CPUtime=4.86 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 10815 0 0 0 482 4 0 0 25 0 4 0 514861860 2070978560 272466 33554432000 4194304 4797429 140735729124880 18446744073709551615 4427203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=2022440 CPUtime=4.88 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 11960 0 0 0 484 4 0 0 25 0 4 0 514861860 2070978560 272466 33554432000 4194304 4797429 140735729124880 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=2022440 CPUtime=4.89 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 10637 0 0 0 485 4 0 0 25 0 4 0 514861860 2070978560 272466 33554432000 4194304 4797429 140735729124880 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 27.34
Current children cumulated vsize (KiB) 2022440

[startup+25.5004 s]
/proc/loadavg: 3.83 5.41 6.78 9/184 17203
/proc/meminfo: memFree=13498752/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=2844212 CPUtime=78.24 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 545586 0 0 0 7709 115 0 0 25 0 4 0 514861080 2912473088 456433 33554432000 4194304 4797429 140735729124880 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 711053 456433 413 148 0 705982 0
[pid=17189/tid=17197] ppid=17187 vsize=2844212 CPUtime=17.56 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 49558 0 0 0 1741 15 0 0 25 0 4 0 514861860 2912473088 456433 33554432000 4194304 4797429 140735729124880 18446744073709551615 4426222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=2844212 CPUtime=17.62 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 58927 0 0 0 1748 14 0 0 25 0 4 0 514861860 2912473088 456433 33554432000 4194304 4797429 140735729124880 18446744073709551615 4488440 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=2844212 CPUtime=17.62 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 63874 0 0 0 1739 23 0 0 25 0 4 0 514861860 2912473088 456433 33554432000 4194304 4797429 140735729124880 18446744073709551615 4424652 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 78.24
Current children cumulated vsize (KiB) 2844212

[startup+51.1008 s]
/proc/loadavg: 5.25 5.61 6.81 9/184 17203
/proc/meminfo: memFree=11283336/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=2914232 CPUtime=180.52 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 577049 0 0 0 17931 121 0 0 25 0 4 0 514861080 2984173568 484655 33554432000 4194304 4797429 140735729124880 18446744073709551615 4426003 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 728558 484655 418 148 0 723487 0
[pid=17189/tid=17197] ppid=17187 vsize=2914232 CPUtime=43.02 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 57044 0 0 0 4286 16 0 0 25 0 4 0 514861860 2984173568 484655 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=2914232 CPUtime=43.24 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 71174 0 0 0 4308 16 0 0 25 0 4 0 514861860 2984173568 484655 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259129 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=2914232 CPUtime=43.22 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 73816 0 0 0 4297 25 0 0 25 0 4 0 514861860 2984173568 484655 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 180.52
Current children cumulated vsize (KiB) 2914232

[startup+102.3 s]
/proc/loadavg: 6.81 5.98 6.87 9/184 17205
/proc/meminfo: memFree=10994488/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=3145080 CPUtime=385.02 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 848462 0 0 0 38347 155 0 0 25 0 4 0 514861080 3220561920 548522 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259149 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 786270 548522 452 148 0 781199 0
[pid=17189/tid=17197] ppid=17187 vsize=3145080 CPUtime=93.94 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 90633 0 0 0 9373 21 0 0 25 0 4 0 514861860 3220561920 548522 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259099 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=3145080 CPUtime=94.42 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 254391 0 0 0 9405 37 0 0 25 0 4 0 514861860 3220561920 548522 33554432000 4194304 4797429 140735729124880 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=3145080 CPUtime=94.42 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 111346 0 0 0 9412 30 0 0 25 0 4 0 514861860 3220561920 548522 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259149 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 385.02
Current children cumulated vsize (KiB) 3145080

[startup+162.307 s]
/proc/loadavg: 7.56 6.35 6.94 9/184 17206
/proc/meminfo: memFree=10646408/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=3493012 CPUtime=624.72 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 949199 0 0 0 62301 171 0 0 25 0 4 0 514861080 3576844288 618464 33554432000 4194304 4797429 140735729124880 18446744073709551615 4331663 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 873253 618464 452 148 0 868182 0
[pid=17189/tid=17197] ppid=17187 vsize=3493012 CPUtime=153.63 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 123413 0 0 0 15334 29 0 0 25 0 4 0 514861860 3576844288 618464 33554432000 4194304 4797429 140735729124880 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=3493012 CPUtime=154.43 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 278934 0 0 0 15402 41 0 0 25 0 4 0 514861860 3576844288 618464 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259126 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=3493012 CPUtime=154.42 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 122299 0 0 0 15411 31 0 0 25 0 4 0 514861860 3576844288 618464 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 624.72
Current children cumulated vsize (KiB) 3493012

[startup+222.301 s]
/proc/loadavg: 7.96 6.68 7.02 9/184 17208
/proc/meminfo: memFree=10225788/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=3742264 CPUtime=864.39 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1024321 0 0 0 86254 185 0 0 25 0 4 0 514861080 3832078336 686265 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259274 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 935566 686265 419 148 0 930495 0
[pid=17189/tid=17197] ppid=17187 vsize=3742264 CPUtime=213.31 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 127948 0 0 0 21301 30 0 0 25 0 4 0 514861860 3832078336 686265 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=3742264 CPUtime=214.43 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 279732 0 0 0 21402 41 0 0 25 0 4 0 514861860 3832078336 686265 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259683 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=3742264 CPUtime=214.42 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 181269 0 0 0 21400 42 0 0 25 0 4 0 514861860 3832078336 686265 33554432000 4194304 4797429 140735729124880 18446744073709551615 4506535 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 864.39
Current children cumulated vsize (KiB) 3742264

[startup+282.301 s]
/proc/loadavg: 8.10 6.95 7.08 9/184 17209
/proc/meminfo: memFree=9792648/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=3941908 CPUtime=1104.09 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1060901 0 0 0 110218 191 0 0 25 0 4 0 514861080 4036513792 717129 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259099 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 985477 717129 421 148 0 980406 0
[pid=17189/tid=17197] ppid=17187 vsize=3941908 CPUtime=273 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 133787 0 0 0 27269 31 0 0 25 0 4 0 514861860 4036513792 717129 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=3941908 CPUtime=274.44 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 295782 0 0 0 27400 44 0 0 25 0 4 0 514861860 4036513792 717129 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236512 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=3941908 CPUtime=274.42 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 191031 0 0 0 27398 44 0 0 25 0 4 0 514861860 4036513792 717129 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236528 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1104.09
Current children cumulated vsize (KiB) 3941908

[startup+342.301 s]
/proc/loadavg: 8.14 7.16 7.15 9/184 17211
/proc/meminfo: memFree=9561008/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=3950496 CPUtime=1343.78 cores=1,3,5,7

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

[pid=17189/tid=17199] ppid=17187 vsize=5286664 CPUtime=694.43 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 239275 0 0 0 69391 52 0 0 25 0 4 0 514861860 5413543936 988442 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259135 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2781.97
Current children cumulated vsize (KiB) 5286664

[startup+762.301 s]
/proc/loadavg: 8.14 7.86 7.48 9/184 17222
/proc/meminfo: memFree=7150792/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=5553036 CPUtime=3021.64 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1409139 0 0 0 301920 244 0 0 25 0 4 0 514861080 5686308864 1035532 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259274 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 1388259 1035532 531 148 0 1383188 0
[pid=17189/tid=17197] ppid=17187 vsize=5553036 CPUtime=750.54 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 263700 0 0 0 75004 50 0 0 25 0 4 0 514861860 5686308864 1035532 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259083 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=5553036 CPUtime=754.44 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 389079 0 0 0 75387 57 0 0 25 0 4 0 514861860 5686308864 1035532 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=5553036 CPUtime=754.43 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 260410 0 0 0 75387 56 0 0 25 0 4 0 514861860 5686308864 1035532 33554432000 4194304 4797429 140735729124880 18446744073709551615 4568172 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3021.64
Current children cumulated vsize (KiB) 5553036

[startup+822.306 s]
/proc/loadavg: 8.15 7.91 7.52 9/184 17224
/proc/meminfo: memFree=6817960/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=5938116 CPUtime=3261.34 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1501872 0 0 0 325875 259 0 0 25 0 4 0 514861080 6080630784 1117368 33554432000 4194304 4797429 140735729124880 18446744073709551615 4426388 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 1484529 1117368 422 148 0 1479458 0
[pid=17189/tid=17197] ppid=17187 vsize=5938116 CPUtime=810.23 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 267250 0 0 0 80973 50 0 0 25 0 4 0 514861860 6080630784 1117368 33554432000 4194304 4797429 140735729124880 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=5938116 CPUtime=814.45 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 424527 0 0 0 81383 62 0 0 25 0 4 0 514861860 6080630784 1117368 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=5938116 CPUtime=814.43 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 268797 0 0 0 81386 57 0 0 25 0 4 0 514861860 6080630784 1117368 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259680 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3261.34
Current children cumulated vsize (KiB) 5938116

[startup+882.3 s]
/proc/loadavg: 8.15 7.96 7.56 9/184 17225
/proc/meminfo: memFree=6559648/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=6204620 CPUtime=3501.01 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1570063 0 0 0 349831 270 0 0 25 0 4 0 514861080 6353530880 1173358 33554432000 4194304 4797429 140735729124880 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 1551155 1173358 422 148 0 1546084 0
[pid=17189/tid=17197] ppid=17187 vsize=6204620 CPUtime=869.92 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 293407 0 0 0 86937 55 0 0 25 0 4 0 514861860 6353530880 1173358 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=6204620 CPUtime=874.44 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 430200 0 0 0 87381 63 0 0 25 0 4 0 514861860 6353530880 1173358 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236528 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=6204620 CPUtime=874.44 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 276912 0 0 0 87385 59 0 0 25 0 4 0 514861860 6353530880 1173358 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259106 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3501.01
Current children cumulated vsize (KiB) 6204620

[startup+942.301 s]
/proc/loadavg: 8.14 7.99 7.59 9/184 17227
/proc/meminfo: memFree=5831368/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=6811352 CPUtime=3740.69 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1707597 0 0 0 373776 293 0 0 25 0 4 0 514861080 6974824448 1302491 33554432000 4194304 4797429 140735729124880 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 1702838 1302491 422 148 0 1697767 0
[pid=17189/tid=17197] ppid=17187 vsize=6811352 CPUtime=929.59 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 336586 0 0 0 92897 62 0 0 25 0 4 0 514861860 6974824448 1302491 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259126 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=6811352 CPUtime=934.45 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 479612 0 0 0 93374 71 0 0 25 0 4 0 514861860 6974824448 1302491 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=6811352 CPUtime=934.43 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 317568 0 0 0 93379 64 0 0 23 0 4 0 514861860 6974824448 1302491 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3740.69
Current children cumulated vsize (KiB) 6811352

[startup+1002.3 s]
/proc/loadavg: 8.10 8.01 7.62 9/184 17229
/proc/meminfo: memFree=5367164/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=7075444 CPUtime=3980.38 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1773810 0 0 0 397734 304 0 0 25 0 4 0 514861080 7245254656 1363636 33554432000 4194304 4797429 140735729124880 18446744073709551615 4423629 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 1768861 1363636 422 148 0 1763790 0
[pid=17189/tid=17197] ppid=17187 vsize=7075444 CPUtime=989.27 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 346380 0 0 0 98864 63 0 0 25 0 4 0 514861860 7245254656 1363636 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259112 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=7075444 CPUtime=994.44 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 499390 0 0 0 99371 73 0 0 25 0 4 0 514861860 7245254656 1363636 33554432000 4194304 4797429 140735729124880 18446744073709551615 4503840 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=7075444 CPUtime=994.43 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 321375 0 0 0 99378 65 0 0 25 0 4 0 514861860 7245254656 1363636 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259274 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3980.38
Current children cumulated vsize (KiB) 7075444

[startup+1062.3 s]
/proc/loadavg: 8.08 8.02 7.65 9/184 17230
/proc/meminfo: memFree=5149992/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=7082192 CPUtime=4220.05 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1790843 0 0 0 421698 307 0 0 25 0 4 0 514861080 7252164608 1356801 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236524 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 1770548 1356801 422 148 0 1765477 0
[pid=17189/tid=17197] ppid=17187 vsize=7082192 CPUtime=1048.95 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 348258 0 0 0 104831 64 0 0 25 0 4 0 514861860 7252164608 1356801 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259119 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=7082192 CPUtime=1054.45 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 501564 0 0 0 105371 74 0 0 25 0 4 0 514861860 7252164608 1356801 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259099 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=7082192 CPUtime=1054.44 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 324014 0 0 0 105378 66 0 0 25 0 4 0 514861860 7252164608 1356801 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259288 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4220.05
Current children cumulated vsize (KiB) 7082192

[startup+1122.3 s]
/proc/loadavg: 8.03 8.01 7.66 9/184 17232
/proc/meminfo: memFree=4477184/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=7438916 CPUtime=4459.73 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1880798 0 0 0 445652 321 0 0 25 0 4 0 514861080 7617449984 1431506 33554432000 4194304 4797429 140735729124880 18446744073709551615 4397128 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 1859729 1431506 422 148 0 1854658 0
[pid=17189/tid=17197] ppid=17187 vsize=7438916 CPUtime=1108.63 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 392273 0 0 0 110792 71 0 0 25 0 4 0 514861860 7617449984 1431506 33554432000 4194304 4797429 140735729124880 18446744073709551615 4642192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=7438916 CPUtime=1114.46 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 505868 0 0 0 111371 75 0 0 25 0 4 0 514861860 7617449984 1431506 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259126 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=7438916 CPUtime=1114.44 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 345363 0 0 0 111376 68 0 0 25 0 4 0 514861860 7617449984 1431506 33554432000 4194304 4797429 140735729124880 18446744073709551615 4687033 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4459.73
Current children cumulated vsize (KiB) 7438916

[startup+1182.3 s]
/proc/loadavg: 8.01 8.00 7.68 9/184 17233
/proc/meminfo: memFree=4170032/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=7475360 CPUtime=4699.41 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1916137 0 0 0 469611 330 0 0 25 0 4 0 514861080 7654768640 1449549 33554432000 4194304 4797429 140735729124880 18446744073709551615 4422982 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 1868840 1449549 422 148 0 1863769 0
[pid=17189/tid=17197] ppid=17187 vsize=7475360 CPUtime=1168.3 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 395730 0 0 0 116759 71 0 0 25 0 4 0 514861860 7654768640 1449549 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=7475360 CPUtime=1174.46 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 519487 0 0 0 117368 78 0 0 25 0 4 0 514861860 7654768640 1449549 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236512 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=7475360 CPUtime=1174.44 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 353721 0 0 0 117375 69 0 0 25 0 4 0 514861860 7654768640 1449549 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259686 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4699.41
Current children cumulated vsize (KiB) 7475360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.5 s]
/proc/loadavg: 8.00 8.00 7.69 9/184 17234
/proc/meminfo: memFree=4128496/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=7495520 CPUtime=4800.1 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) R 17187 17189 16792 0 -1 4202496 1921946 0 0 0 479679 331 0 0 25 0 4 0 514861080 7675412480 1453945 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259135 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 1873880 1453945 422 148 0 1868809 0
[pid=17189/tid=17197] ppid=17187 vsize=7495520 CPUtime=1193.37 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4202560 397739 0 0 0 119266 71 0 0 25 0 4 0 514861860 7675412480 1453945 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259083 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17189/tid=17198] ppid=17187 vsize=7495520 CPUtime=1199.66 cores=1,3,5,7
/proc/17189/task/17198/stat : 17198 (techdemo) R 17187 17189 16792 0 -1 4202560 519931 0 0 0 119888 78 0 0 25 0 4 0 514861860 7675412480 1453945 33554432000 4194304 4797429 140735729124880 18446744073709551615 4259081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17189/tid=17199] ppid=17187 vsize=7495520 CPUtime=1199.64 cores=1,3,5,7
/proc/17189/task/17199/stat : 17199 (techdemo) R 17187 17189 16792 0 -1 4202560 353809 0 0 0 119895 69 0 0 25 0 4 0 514861860 7675412480 1453945 33554432000 4194304 4797429 140735729124880 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 7495520

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

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

[startup+1207.61 s]
/proc/loadavg: 8.00 8.00 7.69 9/184 17234
/proc/meminfo: memFree=4128496/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=0 CPUtime=4800.23 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) Z 17187 17189 16792 0 -1 4203548 1921946 0 0 0 479682 341 0 0 25 0 2 0 514861080 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 0 0 0 0 0 0 0
[pid=17189/tid=17197] ppid=17187 vsize=0 CPUtime=1193.47 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4203588 397739 0 0 0 119266 81 0 0 25 0 2 0 514861860 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 0

[startup+1207.7 s]
/proc/loadavg: 8.00 8.00 7.69 9/184 17234
/proc/meminfo: memFree=4128496/32951124 swapFree=67111528/67111528
[pid=17189] ppid=17187 vsize=0 CPUtime=4800.32 cores=1,3,5,7
/proc/17189/stat : 17189 (techdemo) Z 17187 17189 16792 0 -1 4203548 1921946 0 0 0 479682 350 0 0 25 0 2 0 514861080 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17189/statm: 0 0 0 0 0 0 0
[pid=17189/tid=17197] ppid=17187 vsize=0 CPUtime=1193.56 cores=1,3,5,7
/proc/17189/task/17197/stat : 17197 (techdemo) R 17187 17189 16792 0 -1 4203588 397739 0 0 0 119266 90 0 0 25 0 2 0 514861860 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1207.73
CPU time (s): 4800.35
CPU user time (s): 4796.82
CPU system time (s): 3.52946
CPU usage (%): 397.468
Max. virtual memory (cumulated for all children) (KiB): 7638200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.82
system time used= 3.52946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1921946
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= 12720
involuntary context switches= 33692

runsolver used 1.85872 second user time and 4.50531 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-29 01:17:11
IDJOB=3281328
IDBENCH=20580
IDSOLVER=1584
FILE ID=node138/3281328-1304032627
RUNJOBID= node138-1304032627-17176
PBS_JOBID= 13170314
Free space on /tmp= 71556 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281328-1304032627/watcher-3281328-1304032627 -o /tmp/evaluation-result-3281328-1304032627/solver-3281328-1304032627 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3281328-1304032627.cnf

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=1532173305

node138.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.854
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.70
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.854
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.854
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.82
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.854
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.854
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.80
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.854
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.854
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.854
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:     32951124 kB
MemFree:      18375588 kB
Buffers:       2040644 kB
Cached:       11895964 kB
SwapCached:          0 kB
Active:        3416432 kB
Inactive:     10587680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18375588 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          276540 kB
Writeback:           0 kB
AnonPages:       67108 kB
Mapped:          14496 kB
Slab:           507036 kB
PageTables:       4596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190624 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= 71372 MiB
End job on node138 at 2011-04-29 01:37:21