Trace number 2701431

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
PB/CT 0.1 fixedMSAT (TO) 1800.06 1800.02

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen07_10000_30r_wcsp.wbo
MD5SUM5c91a7da8edb093488f35ff23162ac3f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark101
Best CPU time to get the best result obtained on this benchmark1800.21
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2008
Total number of constraints48581
Number of soft constraints48385
Number of constraints which are clauses48385
Number of constraints which are cardinality constraints (but not clauses)196
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Top cost 448020002
Min constraint cost 1
Max constraint cost 990001
Sum of constraints costs 12702738385
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.19/0.25	c constraints 196/0 clauses 0/48385 units 0
0.19/0.25	c vars 2008
0.19/0.25	c Setting top cost 448020002
3.39/3.43	c 3.2805 277.625 1 99878
3.39/3.43	o 280170694
3.49/3.53	c 3.31549 281.25 1 149388
3.49/3.53	o 271260682
3.59/3.63	c 3.34149 281.25 5 186480
3.59/3.63	o 271260676
3.69/3.79	c 3.37949 281.379 24 275638
3.69/3.79	o 214830554
3.89/3.93	c 3.41048 281.379 30 357298
3.89/3.93	o 205920524
3.99/4.04	c 3.44148 281.508 33 387548
3.99/4.04	o 205920523
4.09/4.13	c 3.46547 281.508 33 436911
4.09/4.13	o 179190473
4.19/4.23	c 3.49547 281.508 33 486304
4.19/4.23	o 173250452
4.30/4.33	c 3.52546 281.508 33 511336
4.30/4.33	o 173250451
4.39/4.42	c 3.56246 281.508 33 560711
4.39/4.42	o 172260456
4.49/4.52	c 3.59145 281.508 33 610090
4.49/4.52	o 171270445
4.59/4.62	c 3.61545 281.508 33 659497
4.59/4.62	o 165330429
5.19/5.26	c 3.82442 281.766 133 727168
5.19/5.26	o 120780382
5.29/5.37	c 3.85441 281.766 133 776691
5.29/5.37	o 112860358
6.69/6.71	c 4.29335 282.152 443 882945
6.69/6.71	o 107910374
6.99/7.05	c 4.40333 282.152 504 903002
6.99/7.05	o 107910373
7.09/7.16	c 4.43033 282.152 507 956089
7.09/7.16	o 105930342
7.79/7.81	c 4.6273 282.281 603 1004822
7.79/7.81	o 104940355
7.90/7.92	c 4.65329 282.41 605 1056677
7.90/7.92	o 103950336
8.00/8.06	c 4.70328 282.41 607 1095375
8.00/8.06	o 102960342
8.09/8.17	c 4.73828 282.41 609 1144951
8.09/8.17	o 101970318
10.39/10.45	c 5.56315 282.668 932 1219823
10.39/10.45	o 100980340
10.59/10.60	c 5.62315 282.797 937 1262155
10.59/10.60	o 100980336
10.69/10.73	c 5.65914 282.797 942 1312071
10.69/10.73	o 100980303
10.79/10.85	c 5.69513 282.797 943 1370595
10.79/10.85	o 94050307
10.90/10.96	c 5.72513 282.797 944 1410308
10.90/10.96	o 93060327
14.30/14.32	c 6.78597 283.52 1673 1490207
14.30/14.32	o 93060326
16.29/16.36	c 7.41387 283.777 1945 1521913
16.29/16.36	o 93060325
16.69/16.74	c 7.53185 283.777 1989 1531534
16.69/16.74	o 93060324
16.79/16.88	c 7.56985 283.777 1999 1574776
16.79/16.88	o 93060318
84.79/84.80	c 27.8328 293.188 16099 2034059
84.79/84.80	o 92070337
88.00/88.08	c 28.9226 293.574 16818 2094898
88.00/88.08	o 92070330
91.89/91.91	c 29.9165 293.832 17068 2160410
91.89/91.91	o 92070325
92.70/92.78	c 30.2094 293.832 17270 2184212
92.70/92.78	o 92070324
93.19/93.29	c 30.3704 293.961 17377 2203377
93.19/93.29	o 92070323
98.29/98.34	c 32.0461 294.09 9600 2272488
98.29/98.34	o 92070322
99.49/99.56	c 32.4491 294.09 9830 2299749
99.49/99.56	o 92070321
102.20/102.24	c 33.2589 294.09 10186 2327911
102.20/102.24	o 92070320
110.79/110.84	c 35.9735 294.09 12721 2434001
110.79/110.84	o 92070319
160.10/160.13	c 50.3303 302.211 12030 2763915
160.10/160.13	o 91080347
161.90/161.97	c 50.8243 302.211 12278 2814815
161.90/161.97	o 91080339
163.09/163.17	c 51.1602 302.211 12547 2829470
163.09/163.17	o 91080338
163.20/163.28	c 51.1922 302.211 12549 2869222
163.20/163.28	o 90090358
164.00/164.06	c 51.4142 302.211 12714 2900710
164.00/164.06	o 90090357
164.09/164.17	c 51.4362 302.211 12714 2939357
164.09/164.17	o 90090345
164.19/164.29	c 51.4802 302.211 12715 2979910
164.19/164.29	o 90090341
164.40/164.41	c 51.5072 302.211 12720 2988395
164.40/164.41	o 90090340
164.60/164.65	c 51.5822 302.211 12772 3022044
164.60/164.66	o 90090339
164.70/164.77	c 51.6192 302.211 12782 3030684
164.70/164.77	o 90090338
164.80/164.88	c 51.6551 302.211 12787 3070013
164.80/164.88	o 90090336
165.70/165.70	c 51.9081 302.211 12990 3123654
165.70/165.70	o 90090323
166.30/166.32	c 52.0771 302.211 13091 3174243
166.30/166.32	o 89100342
166.40/166.45	c 52.1051 302.211 13093 3213579
166.40/166.45	o 89100314
166.50/166.57	c 52.1531 302.211 13095 3257147
166.50/166.57	o 88110322
166.79/166.89	c 52.2541 302.211 13157 3296817
166.79/166.89	o 88110311
167.11/167.12	c 52.317 302.211 13188 3305195
167.11/167.12	o 88110310
173.40/173.40	c 54.1618 302.211 14483 3383562
173.40/173.40	o 88110309
179.69/179.76	c 56.1075 302.211 16202 3455331
179.69/179.76	o 88110308
190.30/190.33	c 59.093 302.211 9591 3561764
190.30/190.33	o 88110307
214.60/214.61	c 66.7429 302.211 16560 3826832
214.60/214.61	o 88110306
219.59/219.68	c 68.1836 302.211 17481 3944854
219.59/219.68	o 88110305
220.00/220.06	c 68.2956 302.211 17511 3954524
220.00/220.06	o 88110304
222.00/222.04	c 68.9705 302.211 9072 3999190
222.00/222.04	o 88110303
311.70/311.79	c 119.652 313.859 15792 4664601
311.70/311.79	o 87120334
313.29/313.31	c 120.699 313.859 16198 4725090
313.29/313.31	o 87120326
313.40/313.47	c 120.817 313.859 16204 4764417
313.40/313.47	o 87120324
317.99/318.01	c 124.001 313.859 16874 4841225
317.99/318.01	o 87120314
327.20/327.26	c 130.55 313.859 10639 4957546
327.20/327.26	o 87120313
342.00/342.06	c 140.965 313.859 13257 5049265
342.00/342.06	o 87120312
374.39/374.47	c 163.993 313.859 12485 5336022
374.39/374.47	o 87120304
425.80/425.85	c 200.514 313.859 17297 5763166
425.80/425.85	o 86130338
426.00/426.02	c 200.642 313.859 17308 5799575
426.00/426.02	o 86130337
426.10/426.19	c 200.768 313.859 17312 5847832
426.10/426.19	o 86130285
426.30/426.33	c 200.867 313.859 17313 5888399
426.30/426.33	o 85140330
426.50/426.54	c 201.022 313.859 17318 5903763
426.50/426.54	o 85140329
426.71/426.74	c 201.175 313.859 17326 5918388
426.71/426.74	o 85140328
428.70/428.70	c 202.519 313.859 17838 6006075
428.70/428.70	o 85140327
430.60/430.62	c 203.894 313.859 9180 6064450
430.60/430.62	o 85140326
432.80/432.88	c 205.458 313.859 9495 6117001
432.80/432.88	o 85140315
443.39/443.43	c 212.829 313.859 11444 6224530
443.39/443.43	o 85140314
452.90/452.99	c 219.536 313.859 14065 6286252
452.90/452.99	o 85140313
461.00/461.00	c 225.201 313.859 15813 6390021
461.00/461.00	o 85140312
470.20/470.29	c 231.777 313.859 17638 6531988
470.20/470.29	o 85140311
515.60/515.68	c 263.439 313.859 10495 6829123
515.60/515.68	o 85140310
537.00/537.06	c 278.157 313.859 15344 6959625
537.00/537.06	o 85140309
549.00/549.03	c 286.56 313.859 9477 7088014
549.00/549.03	o 85140308
571.20/571.22	c 301.777 313.859 15317 7154228
571.20/571.22	o 85140307
652.90/652.97	c 357.61 313.859 11153 7374291
652.90/652.97	o 85140304
699.20/699.23	c 390.199 313.859 11732 7851074
699.20/699.23	o 85140303
749.50/749.52	c 425.845 313.859 12639 8141455
749.50/749.52	o 85140302
786.90/786.95	c 452.758 313.859 12130 8499303
786.90/786.95	o 85140301
851.31/851.40	c 499.169 313.859 12284 8659035
851.31/851.40	o 85140300
873.91/873.91	c 515.142 313.859 17888 8940225
873.91/873.91	o 84150323
881.01/881.01	c 520.016 313.859 10617 9053463
881.01/881.01	o 84150318
881.31/881.35	c 520.264 313.859 10738 9126633
881.31/881.35	o 84150316
885.01/885.03	c 522.99 313.859 11038 9154839
885.01/885.03	o 84150315
885.31/885.37	c 523.227 313.859 11116 9196331
885.31/885.37	o 84150302
909.81/909.88	c 540.282 313.859 10012 9407199
909.81/909.88	o 83160367
910.01/910.06	c 540.42 313.859 10020 9446377
910.01/910.06	o 83160338
916.71/916.79	c 545.273 313.859 10525 9518935
916.71/916.79	o 83160321
925.11/925.12	c 551.017 313.859 12160 9561721
925.11/925.12	o 83160320
925.32/925.33	c 551.178 313.859 12171 9601746
925.32/925.33	o 83160307
942.61/942.62	c 563.502 313.859 15904 9719195
942.61/942.62	o 83160306
970.11/970.14	c 583.081 313.859 11705 9964959
970.11/970.14	o 83160301
1046.81/1046.89	c 635.798 313.859 12366 10364533
1046.81/1046.89	o 82170336
1047.91/1047.90	c 636.491 313.859 12595 10399064
1047.91/1047.90	o 82170335
1049.21/1049.20	c 637.382 313.859 12773 10459076
1049.21/1049.20	o 82170320
1053.91/1053.92	c 640.796 313.859 14282 10507105
1053.91/1053.92	o 82170319
1054.12/1054.16	c 640.978 313.859 14299 10546270
1054.12/1054.16	o 82170308
1054.61/1054.62	c 641.324 313.859 14321 10575937
1054.61/1054.62	o 82170307
1055.01/1055.00	c 641.594 313.859 14430 10621204
1055.01/1055.00	o 82170301
1065.52/1065.58	c 649.093 313.859 17306 10744704
1065.52/1065.58	o 81180360
1067.31/1067.31	c 650.294 313.859 17874 10806092
1067.31/1067.31	o 81180333
1076.22/1076.24	c 656.63 313.859 10322 10862543
1076.22/1076.24	o 81180332
1076.41/1076.49	c 656.817 313.859 10342 10903135
1076.41/1076.49	o 81180325
1076.92/1076.93	c 657.117 313.859 10437 10942194
1076.92/1076.93	o 81180310
1084.31/1084.39	c 662.351 313.859 12350 11028818
1084.31/1084.39	o 81180309
1085.02/1085.04	c 662.818 313.859 12462 11043542
1085.02/1085.04	o 81180308
1100.41/1100.44	c 673.535 313.859 16581 11202980
1100.41/1100.44	o 81180307
1102.42/1102.41	c 674.939 313.859 16859 11229215
1102.42/1102.41	o 81180306
1112.91/1112.93	c 681.984 313.859 11044 11315533
1112.91/1112.93	o 81180305
1114.92/1114.90	c 683.355 313.859 11348 11337859
1114.92/1114.90	o 81180304
1117.52/1117.52	c 685.186 313.859 11977 11381252
1117.52/1117.52	o 81180303
1210.12/1210.17	c 750.319 313.859 10228 11669499
1210.12/1210.17	o 81180302
1248.32/1248.34	c 777.419 313.859 16789 11847363
1248.32/1248.34	o 81180301
1263.32/1263.38	c 787.953 313.859 12374 12029640
1263.32/1263.38	o 81180300
1306.42/1306.46	c 817.705 313.859 15857 12345603
1306.42/1306.46	o 81180299
1307.12/1307.11	c 818.155 313.859 15961 12391384
1307.12/1307.11	o 80190330
1307.72/1307.71	c 818.574 313.859 16067 12435751
1307.72/1307.71	o 80190324
1309.32/1309.34	c 819.685 313.859 16252 12480435
1309.32/1309.34	o 80190313
1325.42/1325.41	c 830.819 313.859 11220 12643332
1325.42/1325.41	o 80190312
1326.22/1326.20	c 831.406 313.859 11357 12661140
1326.22/1326.20	o 80190311
1484.43/1484.45	c 946.788 317.598 12691 12975348
1484.43/1484.45	o 80190310
1488.52/1488.57	c 949.679 317.598 14037 13119268
1488.52/1488.57	o 80190306
1541.42/1541.49	c 986.753 317.598 17156 13509568
1541.42/1541.49	o 80190305
1542.53/1542.53	c 987.509 317.598 17220 13518631
1542.53/1542.53	o 80190304
1579.73/1579.75	c 1012.71 317.598 14765 13710573
1579.73/1579.75	o 80190303
1582.53/1582.56	c 1014.7 317.598 15384 13750529
1582.53/1582.56	o 80190302
1591.32/1591.37	c 1020.79 317.598 9358 13837708
1591.32/1591.37	o 80190301
1638.43/1638.40	c 1054.18 317.598 18338 14032852
1638.43/1638.40	o 80190300
1648.13/1648.14	c 1060.98 317.598 11052 14149226
1648.13/1648.14	o 80190299
1648.33/1648.37	c 1061.15 317.598 11069 14159534
1648.33/1648.37	o 80190298
1653.63/1653.65	c 1064.85 317.598 12474 14218239
1653.63/1653.65	o 80190297
1684.53/1684.51	c 1086.83 317.598 11199 14472351
1684.53/1684.51	o 80190296
1686.43/1686.41	c 1088.2 317.598 11461 14487624
1686.43/1686.41	o 80190295
1714.13/1714.15	c 1107.84 317.598 10957 14706317
1714.13/1714.15	o 80190294
1714.44/1714.47	c 1108.08 317.598 11069 14789350
1714.44/1714.47	o 80190293
1738.43/1738.41	c 1124.86 317.598 17631 15008700
1738.43/1738.41	o 80190292
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008

Verifier Data 

OK	80190292

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701431-1278540032/watcher-2701431-1278540032 -o /tmp/evaluation-result-2701431-1278540032/solver-2701431-1278540032 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701431-1278540032.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.21 2.16 10/195 17996
/proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=2268 CPUtime=0
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 296 0 0 0 0 0 0 0 21 0 1 0 22215795 2322432 215 4089446400 134512640 136422188 4290658928 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17996/statm: 567 215 144 467 0 98 0

[startup+0.0429621 s]
/proc/loadavg: 1.93 2.21 2.16 10/195 17996
/proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=2676 CPUtime=0.04
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 402 0 0 0 4 0 0 0 21 0 1 0 22215795 2740224 321 4089446400 134512640 136422188 4290658928 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17996/statm: 669 321 144 467 0 200 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2676

[startup+0.100923 s]
/proc/loadavg: 1.93 2.21 2.16 10/195 17996
/proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=3852 CPUtime=0.09
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 710 0 0 0 9 0 0 0 21 0 1 0 22215795 3944448 531 4089446400 134512640 136422188 4290658928 18446744073709551615 135372795 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17996/statm: 963 531 144 467 0 494 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3852

[startup+0.300919 s]
/proc/loadavg: 1.93 2.21 2.16 10/195 17996
/proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=17620 CPUtime=0.29
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 4266 0 0 0 29 0 0 0 21 0 1 0 22215795 18042880 3958 4089446400 134512640 136422188 4290658928 18446744073709551615 134707808 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 4438 3962 195 467 0 3969 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17620

[startup+0.700879 s]
/proc/loadavg: 1.93 2.21 2.16 10/195 17996
/proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=111508 CPUtime=0.69
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 28697 0 0 0 65 4 0 0 22 0 1 0 22215795 114184192 27247 4089446400 134512640 136422188 4290658928 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 27877 27250 195 467 0 27408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 111508

[startup+1.5007 s]
/proc/loadavg: 1.93 2.21 2.16 3/196 17997
/proc/meminfo: memFree=29507496/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=276384 CPUtime=1.49
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 71632 0 0 0 141 8 0 0 25 0 1 0 22215795 283017216 67264 4089446400 134512640 136422188 4290658928 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 69096 67264 211 467 0 68627 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 276384

[startup+3.10041 s]
/proc/loadavg: 1.94 2.21 2.16 3/196 17997
/proc/meminfo: memFree=29418092/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=279480 CPUtime=3.09
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 72429 0 0 0 301 8 0 0 25 0 1 0 22215795 286187520 68061 4089446400 134512640 136422188 4290658928 18446744073709551615 135650432 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 69870 68061 211 467 0 69401 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279480

[startup+6.30084 s]
/proc/loadavg: 1.94 2.21 2.16 3/196 17997
/proc/meminfo: memFree=29410080/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=288524 CPUtime=6.29
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 74784 0 0 0 415 214 0 0 25 0 1 0 22215795 295448576 69532 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 72131 69532 239 467 0 71662 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 288524

[startup+12.7007 s]
/proc/loadavg: 2.35 2.28 2.19 3/196 17997
/proc/meminfo: memFree=29405900/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=289924 CPUtime=12.69
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 75099 0 0 0 619 650 0 0 25 0 1 0 22215795 296882176 69835 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 72481 69835 239 467 0 72012 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 289924

[startup+25.5003 s]
/proc/loadavg: 2.81 2.39 2.22 3/196 17998
/proc/meminfo: memFree=29399348/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=290848 CPUtime=25.49
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 75350 0 0 0 1024 1525 0 0 25 0 1 0 22215795 297828352 70082 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 72712 70082 239 467 0 72243 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 290848

[startup+51.1007 s]
/proc/loadavg: 2.93 2.44 2.24 5/196 18007
/proc/meminfo: memFree=29382456/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=295072 CPUtime=51.09
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 76401 0 0 0 1804 3305 0 0 25 0 1 0 22215795 302153728 71133 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 73768 71133 239 467 0 73299 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 295072

[startup+102.307 s]
/proc/loadavg: 2.73 2.44 2.25 3/196 18009
/proc/meminfo: memFree=29351228/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=301144 CPUtime=102.3
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 77928 0 0 0 3328 6902 0 0 25 0 1 0 22215795 308371456 72652 4089446400 134512640 136422188 4290658928 18446744073709551615 135237800 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 75286 72652 239 467 0 74817 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 301144

[startup+162.301 s]
/proc/loadavg: 2.66 2.45 2.26 3/196 18010
/proc/meminfo: memFree=29313476/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=309460 CPUtime=162.3
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 80033 0 0 0 5091 11139 0 0 25 0 1 0 22215795 316887040 74754 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 77365 74754 239 467 0 76896 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 309460

[startup+222.301 s]
/proc/loadavg: 3.32 2.62 2.33 3/196 18012
/proc/meminfo: memFree=29247452/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=309460 CPUtime=222.3
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 80057 0 0 0 6907 15323 0 0 25 0 1 0 22215795 316887040 74756 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17996/statm: 77365 74756 239 467 0 76896 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 309460

[startup+282.301 s]
/proc/loadavg: 2.51 2.51 2.31 2/196 18013
/proc/meminfo: memFree=29217260/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=319144 CPUtime=282.3
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 82456 0 0 0 9893 18337 0 0 25 0 1 0 22215795 326803456 77155 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 79786 77155 239 467 0 79317 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 319144

[startup+342.302 s]
/proc/loadavg: 2.45 2.51 2.32 3/196 18015
/proc/meminfo: memFree=29193884/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=342.29
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83033 0 0 0 14112 20117 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77726 239 467 0 79878 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 321388

[startup+402.301 s]
/proc/loadavg: 2.18 2.42 2.30 7/196 18017
/proc/meminfo: memFree=29173820/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=402.3
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83034 0 0 0 18372 21858 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77726 239 467 0 79878 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 321388

[startup+462.304 s]
/proc/loadavg: 2.82 2.61 2.37 3/196 18018
/proc/meminfo: memFree=29151560/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=462.3
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83046 0 0 0 22612 23618 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77726 239 467 0 79878 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 321388

[startup+522.301 s]
/proc/loadavg: 2.82 2.65 2.40 3/197 18232
/proc/meminfo: memFree=30067892/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=522.29
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83048 0 0 0 26804 25425 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77726 239 467 0 79878 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 321388

[startup+582.301 s]
/proc/loadavg: 2.28 2.52 2.37 3/197 18233
/proc/meminfo: memFree=30066328/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=582.3
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83051 0 0 0 30934 27296 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 134968816 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77726 239 467 0 79878 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 321388

[startup+642.301 s]
/proc/loadavg: 2.14 2.44 2.35 3/197 18235
/proc/meminfo: memFree=30065644/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=642.31
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83051 0 0 0 35027 29204 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77726 239 467 0 79878 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 321388

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.25 2.28 3/197 18240
/proc/meminfo: memFree=30064668/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=822.3
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83056 0 0 0 47814 34416 0 0 25 0 1 0 22215795 329101312 77727 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77727 239 467 0 79878 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 321388

[startup+882.301 s]
/proc/loadavg: 2.04 2.21 2.27 3/197 18241
/proc/meminfo: memFree=30064724/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=882.31
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83060 0 0 0 52097 36134 0 0 25 0 1 0 22215795 329101312 77727 4089446400 134512640 136422188 4290658928 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77727 239 467 0 79878 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 321388

[startup+942.301 s]
/proc/loadavg: 2.01 2.17 2.25 3/197 18243
/proc/meminfo: memFree=30064652/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=942.31
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83067 0 0 0 56327 37904 0 0 25 0 1 0 22215795 329101312 77727 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77727 239 467 0 79878 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 321388

[startup+1002.3 s]
/proc/loadavg: 2.00 2.14 2.23 3/197 18245
/proc/meminfo: memFree=30064576/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=1002.32
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83069 0 0 0 60513 39719 0 0 25 0 1 0 22215795 329101312 77727 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77727 239 467 0 79878 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 321388

[startup+1062.3 s]
/proc/loadavg: 2.05 2.13 2.22 3/197 18246
/proc/meminfo: memFree=30064372/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=1062.32
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83084 0 0 0 64671 41561 0 0 25 0 1 0 22215795 329101312 77735 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77735 239 467 0 79878 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 321388

[startup+1122.3 s]
/proc/loadavg: 2.02 2.10 2.20 3/197 18251
/proc/meminfo: memFree=30063744/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=1122.31
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83098 0 0 0 68850 43381 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77737 239 467 0 79878 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 321388

[startup+1182.3 s]
/proc/loadavg: 2.07 2.10 2.19 3/197 18252
/proc/meminfo: memFree=30063732/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=1182.32
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83098 0 0 0 73032 45200 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77737 239 467 0 79878 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 321388

[startup+1242.3 s]
/proc/loadavg: 2.02 2.07 2.17 3/197 18254
/proc/meminfo: memFree=30063424/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=1242.32
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83099 0 0 0 77301 46931 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77737 239 467 0 79878 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 321388

[startup+1302.3 s]
/proc/loadavg: 2.01 2.06 2.16 3/197 18256
/proc/meminfo: memFree=30063236/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=1302.32
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83101 0 0 0 81484 48748 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77737 239 467 0 79878 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 321388

[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 2.15 3/197 18257
/proc/meminfo: memFree=30063044/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=1362.32
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83107 0 0 0 85758 50474 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77737 239 467 0 79878 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 321388

[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.14 3/197 18259
/proc/meminfo: memFree=30062732/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=321388 CPUtime=1422.33
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83107 0 0 0 90088 52145 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 80347 77737 239 467 0 79878 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 321388

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.13 3/197 18260
/proc/meminfo: memFree=30058820/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=325216 CPUtime=1482.33
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84056 0 0 0 94517 53716 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 81304 78686 239 467 0 80835 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 325216

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/197 18262
/proc/meminfo: memFree=30058744/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=325216 CPUtime=1542.32
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84059 0 0 0 98733 55499 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 81304 78686 239 467 0 80835 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 325216

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.11 3/197 18264
/proc/meminfo: memFree=30058680/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=325216 CPUtime=1602.33
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84063 0 0 0 102847 57386 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 81304 78686 239 467 0 80835 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 325216

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.10 3/197 18265
/proc/meminfo: memFree=30058616/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=325216 CPUtime=1662.33
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84067 0 0 0 107099 59134 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 81304 78686 239 467 0 80835 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 325216

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.09 3/197 18267
/proc/meminfo: memFree=30059044/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=325216 CPUtime=1722.33
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84071 0 0 0 111352 60881 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 81304 78686 239 467 0 80835 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 325216

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.09 3/197 18268
/proc/meminfo: memFree=30059104/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=325216 CPUtime=1782.34
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84072 0 0 0 115550 62684 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 81304 78686 239 467 0 80835 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 325216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.02 2.08 3/197 18269
/proc/meminfo: memFree=30058968/32951124 swapFree=67111528/67111528
[pid=17996] ppid=17994 vsize=325216 CPUtime=1800.04
/proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84072 0 0 0 116776 63228 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17996/statm: 81304 78686 239 467 0 80835 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 325216

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

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

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1167.77
CPU system time (s): 632.293
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 325216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1167.77
system time used= 632.293
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84073
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= 1
involuntary context switches= 2936

runsolver used 2.68859 second user time and 5.97009 second system time

The end

Launcher Data 

Begin job on node137 at 2010-07-08 00:00:33
IDJOB=2701431
IDBENCH=79578
IDSOLVER=1212
FILE ID=node137/2701431-1278540032
PBS_JOBID= 11239204
Free space on /tmp= 73564 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen07_10000_30r_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701431-1278540032/watcher-2701431-1278540032 -o /tmp/evaluation-result-2701431-1278540032/solver-2701431-1278540032 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701431-1278540032.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5c91a7da8edb093488f35ff23162ac3f
RANDOM SEED=1286456965

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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	: 5246.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29689020 kB
Buffers:        144012 kB
Cached:        2230356 kB
SwapCached:          0 kB
Active:        1844928 kB
Inactive:      1271896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29689020 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3172 kB
Writeback:           0 kB
AnonPages:      742880 kB
Mapped:          20192 kB
Slab:            79248 kB
PageTables:       6204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1638908 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= 73604 MiB
End job on node137 at 2010-07-08 00:30:35