Trace number 2682307

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 NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1 fixedSAT (TO)1537291343024 1800.04 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-glass4.opb
MD5SUM9d32bc57adc83bca41f939562e4ccfd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1228810444800
Best CPU time to get the best result obtained on this benchmark24.7712
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1228810444800
Optimality of the best value was proved YES
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 1073761158741413
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 71583145981965762560
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 303620978593259231065
Number of bits of the biggest sum of numbers69
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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.04/0.09	c constraints 401/0 clauses 0/0 units 4
0.04/0.09	c vars 780
0.04/0.09	c objective 478 + 0
2.20/2.24	c 2.11068 112.91 74 2085
2.20/2.24	o 335549850809669
2.89/2.92	c 2.78158 115.371 143 4312
2.89/2.92	o 270799503068828
3.09/3.19	c 3.04254 115.371 157 5071
3.09/3.19	o 270537351311262
3.29/3.38	c 3.23951 115.371 164 5746
3.29/3.38	o 270537348710246
3.59/3.62	c 3.46947 115.371 183 6279
3.59/3.62	o 270537307511735
3.79/3.89	c 3.73843 115.371 222 6780
3.79/3.89	o 269222792629426
4.19/4.26	c 4.10338 115.5 256 7700
4.19/4.26	o 269222552502380
8.38/8.46	c 8.26374 115.629 1114 9704
8.38/8.46	o 268440172203160
8.69/8.78	c 8.5767 115.629 1120 10657
8.69/8.78	o 268440051627936
8.89/8.94	c 8.74167 115.629 1124 11059
8.89/8.94	o 268440045544937
9.19/9.22	c 9.01363 115.758 1155 11612
9.19/9.22	o 265294331177496
9.38/9.42	c 9.2136 115.758 1177 12140
9.38/9.42	o 134217782092710
9.58/9.65	c 9.44056 115.758 1178 12725
9.58/9.65	o 16777265186098
9.90/9.93	c 9.71652 115.758 1205 13246
9.90/9.93	o 12582961315749
10.09/10.13	c 9.91049 115.758 1231 13722
10.09/10.13	o 12582946500139
10.29/10.32	c 10.0985 115.758 1252 14263
10.29/10.32	o 5242918549746
10.49/10.58	c 10.3544 115.758 271 14969
10.49/10.58	o 5242907171030
10.68/10.80	c 10.5654 115.758 308 15479
10.68/10.80	o 5237823540967
11.00/11.04	c 10.8094 115.758 334 16116
11.00/11.04	o 5210655913270
11.19/11.24	c 11.0093 115.758 386 16544
11.19/11.24	o 2300946994425
11.39/11.42	c 11.1873 115.758 392 16959
11.39/11.42	o 2300945768274
11.59/11.62	c 11.3873 115.758 406 17457
11.59/11.62	o 2300166672791
11.69/11.77	c 11.5312 115.758 417 17842
11.69/11.77	o 2299985722382
12.29/12.38	c 12.1282 115.758 623 18729
12.29/12.38	o 2291728398919
12.98/13.05	c 12.7881 115.758 868 19836
12.98/13.05	o 2289683363136
13.48/13.53	c 13.265 115.758 992 20677
13.48/13.53	o 2289682537941
13.78/13.87	c 13.5949 115.758 1084 21287
13.78/13.87	o 2289681127127
14.59/14.60	c 14.3148 115.887 1342 22361
14.59/14.60	o 2244625406569
15.08/15.13	c 14.8407 115.887 1493 23015
15.08/15.13	o 2160657058539
15.30/15.40	c 15.1027 115.887 1514 23324
15.30/15.40	o 2158737180534
15.49/15.59	c 15.2897 115.887 1533 23649
15.49/15.59	o 2158613548139
15.78/15.85	c 15.5456 115.887 1582 24046
15.78/15.85	o 2158613354671
15.99/16.06	c 15.7506 115.887 1604 24337
15.99/16.06	o 2158612213756
16.68/16.79	c 16.4835 116.016 1823 25276
16.68/16.79	o 2146319660646
17.08/17.15	c 16.8374 116.016 1903 25988
17.08/17.15	o 2015247102687
18.69/18.78	c 18.4482 116.145 2581 28127
18.69/18.78	o 2014223666237
20.79/20.87	c 20.5069 116.402 3305 30846
20.79/20.87	o 2007056263295
21.78/21.89	c 21.5107 116.402 3638 31971
21.78/21.89	o 2007055414484
34.38/34.48	c 33.9348 118.078 8454 43033
34.38/34.48	o 1984465573981
34.57/34.63	c 34.0818 118.078 8457 43397
34.57/34.63	o 1972239070466
45.77/45.89	c 45.2031 119.109 12144 52743
45.77/45.89	o 1971733209008
47.88/47.96	c 47.2478 119.238 12802 54291
47.88/47.96	o 1971225946316
48.28/48.35	c 47.6298 119.367 12877 54786
48.28/48.35	o 1971216188104
49.97/50.00	c 49.2585 119.367 13338 56457
49.97/50.00	o 1966093302828
50.07/50.13	c 49.3955 119.367 13339 56681
50.07/50.13	o 1966093302734
50.17/50.29	c 49.5465 119.496 13350 56929
50.17/50.29	o 1966090532089
50.48/50.56	c 49.8184 119.496 13403 57272
50.48/50.56	o 1961614586637
52.78/52.82	c 52.0491 119.625 14292 59787
52.78/52.82	o 1961487280251
59.28/59.31	c 58.4731 120.012 16046 63584
59.28/59.31	o 1916942728079
60.57/60.60	c 59.7559 120.27 16584 64926
60.57/60.60	o 1900542826213
74.36/74.40	c 73.4448 121.082 19743 69505
74.36/74.40	o 1900429585989
74.56/74.64	c 73.6748 121.082 19760 69852
74.56/74.64	o 1900429574891
74.67/74.78	c 73.8158 121.082 19760 70108
74.67/74.78	o 1900429565655
74.87/74.92	c 73.9578 121.082 19761 70358
74.87/74.92	o 1900397571349
74.96/75.06	c 74.0977 121.082 19763 70604
74.96/75.06	o 1900397570182
75.16/75.21	c 74.2377 121.082 19765 70842
75.16/75.21	o 1900365585613
75.26/75.39	c 74.4187 121.082 19792 71156
75.26/75.39	o 1884173464278
82.16/82.20	c 81.1687 121.469 21840 74651
82.16/82.20	o 1882126288182
104.36/104.44	c 103.197 122.629 13400 88814
104.36/104.45	o 1880144370301
105.85/105.99	c 104.724 122.629 14051 90641
105.85/105.99	o 1877967585603
121.75/121.85	c 120.406 122.629 19544 100741
121.75/121.85	o 1877967157097
122.05/122.16	c 120.717 122.629 19592 101151
122.05/122.16	o 1877901150756
156.73/156.87	c 155.086 122.887 12661 117462
156.73/156.87	o 1877004843959
166.43/166.55	c 164.655 122.887 16260 124541
166.43/166.55	o 1863181070609
169.43/169.54	c 167.598 122.887 17411 128121
169.43/169.54	o 1852435657716
170.53/170.67	c 168.714 122.887 17835 129323
170.53/170.67	o 1794059601717
192.92/193.00	c 190.777 123.66 23796 138852
192.92/193.00	o 1794034979668
212.61/212.71	c 210.238 124.176 14581 153774
212.61/212.71	o 1762350789333
239.10/239.23	c 236.469 124.176 23641 168111
239.10/239.23	o 1761357640375
277.38/277.51	c 274.269 124.176 21747 199120
277.38/277.51	o 1761325889579
287.89/288.05	c 284.701 124.176 24760 203689
287.89/288.05	o 1753101394079
297.68/297.86	c 294.408 124.176 12969 210390
297.68/297.86	o 1753100028967
297.89/298.00	c 294.548 124.176 12969 210606
297.89/298.00	o 1750028037263
297.99/298.14	c 294.685 124.176 12970 210814
297.99/298.14	o 1750024038173
298.27/298.40	c 294.943 124.176 13019 211167
298.27/298.40	o 1750024007678
304.18/304.35	c 300.839 124.176 14957 216182
304.18/304.35	o 1736460457030
307.68/307.85	c 304.295 124.176 15983 218899
307.68/307.85	o 1724412796363
337.47/337.62	c 333.733 124.176 25107 237072
337.47/337.62	o 1723917679083
363.45/363.69	c 359.52 124.176 18872 252860
363.45/363.69	o 1720336068556
387.95/388.14	c 383.735 124.176 26306 269424
387.95/388.14	o 1720335893379
394.84/395.00	c 390.513 124.176 28552 274277
394.84/395.00	o 1716093918995
396.64/396.86	c 392.336 124.176 13330 275417
396.64/396.86	o 1716084039222
396.95/397.19	c 392.671 124.176 13418 275814
396.95/397.19	o 1716083126749
436.02/436.20	c 431.27 124.176 24426 296108
436.02/436.20	o 1715981070298
436.12/436.36	c 431.427 124.176 24427 296422
436.12/436.36	o 1707795053542
436.33/436.52	c 431.587 124.176 24432 296761
436.33/436.52	o 1707789045029
453.42/453.66	c 448.578 124.176 13820 304398
453.42/453.66	o 1707785828605
473.32/473.50	c 468.225 124.176 19153 316296
473.32/473.50	o 1654796726754
489.01/489.28	c 483.891 124.176 21628 320484
489.01/489.28	o 1646605564809
530.39/530.65	c 524.872 124.176 18063 340890
530.39/530.65	o 1634313110966
678.13/678.47	c 671.251 124.176 15741 414340
678.13/678.47	o 1622283679703
679.13/679.46	c 672.232 124.176 15888 414953
679.13/679.46	o 1622283650385
679.33/679.66	c 672.424 124.176 15893 415201
679.33/679.66	o 1622059649940
679.73/680.01	c 672.778 124.176 15980 415666
679.73/680.01	o 1617930534415
680.13/680.45	c 673.206 124.176 16073 416188
680.13/680.45	o 1605642807367
911.55/911.97	c 902.535 125.594 17581 533672
911.55/911.97	o 1601547268236
1747.23/1747.93	c 1731.09 128.434 28323 864247
1747.23/1747.93	o 1539073360166
1747.42/1748.12	c 1731.28 128.434 12367 864522
1747.42/1748.12	o 1538955357608
1747.52/1748.27	c 1731.43 128.434 12370 864746
1747.52/1748.27	o 1538955357029
1747.72/1748.41	c 1731.57 128.434 12371 864984
1747.72/1748.41	o 1538571354694
1747.82/1748.55	c 1731.7 128.434 12372 865208
1747.82/1748.55	o 1538571354668
1747.92/1748.69	c 1731.85 128.434 12374 865407
1747.92/1748.69	o 1538043354295
1748.12/1748.83	c 1731.98 128.434 12374 865600
1748.12/1748.83	o 1538031346636
1748.23/1748.97	c 1732.12 128.434 12375 865821
1748.23/1748.97	o 1538029349520
1748.42/1749.11	c 1732.26 128.434 12375 866056
1748.42/1749.11	o 1538027352675
1748.52/1749.25	c 1732.4 128.434 12375 866280
1748.52/1749.25	o 1538027352353
1748.62/1749.39	c 1732.53 128.434 12375 866506
1748.62/1749.39	o 1538027352000
1748.82/1749.53	c 1732.67 128.434 12375 866686
1748.82/1749.53	o 1538027351999
1748.92/1749.67	c 1732.81 128.434 12376 866927
1748.92/1749.67	o 1537995392727
1749.12/1749.81	c 1732.95 128.434 12378 867159
1749.12/1749.81	o 1537787350449
1749.23/1749.95	c 1733.09 128.434 12379 867373
1749.23/1749.95	o 1537779351765
1749.33/1750.10	c 1733.24 128.434 12382 867638
1749.33/1750.10	o 1537291343024
1800.02/1800.71	s SATISFIABLE
1800.02/1800.71	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

Verifier Data 

OK	1537291343024

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682307-1277485335/watcher-2682307-1277485335 -o /tmp/evaluation-result-2682307-1277485335/solver-2682307-1277485335 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682307-1277485335.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 22738
/proc/meminfo: memFree=1857340/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=2268 CPUtime=0
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 122189840 2322432 202 1992294400 134512640 136421960 4288280992 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22738/statm: 567 203 146 467 0 98 0

[startup+0.04441 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 22738
/proc/meminfo: memFree=1857340/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=3060 CPUtime=0.04
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 488 0 0 0 4 0 0 0 20 0 1 0 122189840 3133440 408 1992294400 134512640 136421960 4288280992 18446744073709551615 135810035 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22738/statm: 765 409 146 467 0 296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3060

[startup+0.10142 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 22738
/proc/meminfo: memFree=1857340/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=5160 CPUtime=0.09
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 1007 0 0 0 9 0 0 0 20 0 1 0 122189840 5283840 927 1992294400 134512640 136421960 4288280992 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 1290 929 194 467 0 821 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5160

[startup+0.301457 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 22738
/proc/meminfo: memFree=1857340/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=18536 CPUtime=0.29
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 4342 0 0 0 28 1 0 0 20 0 1 0 122189840 18980864 4196 1992294400 134512640 136421960 4288280992 18446744073709551615 134723384 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 4634 4196 195 467 0 4165 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18536

[startup+0.701531 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 22738
/proc/meminfo: memFree=1857340/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=41472 CPUtime=0.69
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 10582 0 0 0 64 5 0 0 21 0 1 0 122189840 42467328 9966 1992294400 134512640 136421960 4288280992 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 10368 9966 195 467 0 9899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41472

[startup+1.50168 s]
/proc/loadavg: 0.93 0.98 0.92 2/107 22739
/proc/meminfo: memFree=1800912/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=105732 CPUtime=1.49
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 27329 0 0 0 137 12 0 0 23 0 1 0 122189840 108269568 25371 1992294400 134512640 136421960 4288280992 18446744073709551615 134914487 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 26433 25371 205 467 0 25964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105732

[startup+3.10098 s]
/proc/loadavg: 0.93 0.98 0.92 2/107 22739
/proc/meminfo: memFree=1746600/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=118136 CPUtime=3.09
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 30461 0 0 0 295 14 0 0 25 0 1 0 122189840 120971264 27903 1992294400 134512640 136421960 4288280992 18446744073709551615 135018984 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 29534 27903 238 467 0 29065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118136

[startup+6.30158 s]
/proc/loadavg: 0.93 0.98 0.92 2/107 22739
/proc/meminfo: memFree=1745484/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=118268 CPUtime=6.29
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 30487 0 0 0 612 17 0 0 25 0 1 0 122189840 121106432 27924 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 29567 27924 239 467 0 29098 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 118268

[startup+12.7018 s]
/proc/loadavg: 0.94 0.98 0.92 2/107 22739
/proc/meminfo: memFree=1745360/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=118532 CPUtime=12.69
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 30586 0 0 0 1244 25 0 0 25 0 1 0 122189840 121376768 28006 1992294400 134512640 136421960 4288280992 18446744073709551615 135821878 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 29633 28006 239 467 0 29164 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118532

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.92 2/107 22739
/proc/meminfo: memFree=1744244/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=119720 CPUtime=25.48
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 30900 0 0 0 2506 42 0 0 25 0 1 0 122189840 122593280 28306 1992294400 134512640 136421960 4288280992 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 29930 28306 239 467 0 29461 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 119720

[startup+51.1009 s]
/proc/loadavg: 0.97 0.98 0.92 2/107 22739
/proc/meminfo: memFree=1741516/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=122360 CPUtime=51.07
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 31561 0 0 0 5034 73 0 0 25 0 1 0 122189840 125296640 28958 1992294400 134512640 136421960 4288280992 18446744073709551615 134643257 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 30590 28958 239 467 0 30121 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 122360

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.92 2/107 22741
/proc/meminfo: memFree=1738044/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=125568 CPUtime=102.26
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32400 0 0 0 10107 119 0 0 25 0 1 0 122189840 128581632 29786 1992294400 134512640 136421960 4288280992 18446744073709551615 135241783 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31392 29786 239 467 0 30923 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 125568

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22743
/proc/meminfo: memFree=1737920/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=125832 CPUtime=162.23
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32431 0 0 0 16045 178 0 0 25 0 1 0 122189840 128851968 29812 1992294400 134512640 136421960 4288280992 18446744073709551615 134870295 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31458 29812 239 467 0 30989 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 125832

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22743
/proc/meminfo: memFree=1736556/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=127152 CPUtime=222.2
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32771 0 0 0 21972 248 0 0 25 0 1 0 122189840 130203648 30147 1992294400 134512640 136421960 4288280992 18446744073709551615 135818289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31788 30147 239 467 0 31319 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 127152

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22745
/proc/meminfo: memFree=1736432/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=127152 CPUtime=282.19
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32783 0 0 0 27900 319 0 0 25 0 1 0 122189840 130203648 30157 1992294400 134512640 136421960 4288280992 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31788 30157 239 467 0 31319 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 127152

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22747
/proc/meminfo: memFree=1736432/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=127152 CPUtime=342.16
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32791 0 0 0 33835 381 0 0 25 0 1 0 122189840 130203648 30157 1992294400 134512640 136421960 4288280992 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31788 30157 239 467 0 31319 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 127152

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22749
/proc/meminfo: memFree=1736308/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=127152 CPUtime=402.14
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32797 0 0 0 39771 443 0 0 25 0 1 0 122189840 130203648 30158 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31788 30158 239 467 0 31319 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 127152

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22751
/proc/meminfo: memFree=1736308/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=127152 CPUtime=462.11
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32801 0 0 0 45712 499 0 0 25 0 1 0 122189840 130203648 30158 1992294400 134512640 136421960 4288280992 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31788 30158 239 467 0 31319 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 127152

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22751
/proc/meminfo: memFree=1736184/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=127152 CPUtime=522.09
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32803 0 0 0 51657 552 0 0 25 0 1 0 122189840 130203648 30158 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31788 30158 239 467 0 31319 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 127152

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22753
/proc/meminfo: memFree=1736184/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=127152 CPUtime=582.07
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32804 0 0 0 57599 608 0 0 25 0 1 0 122189840 130203648 30158 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31788 30158 239 467 0 31319 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 127152

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22755
/proc/meminfo: memFree=1736060/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=127152 CPUtime=642.05
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 32804 0 0 0 63542 663 0 0 25 0 1 0 122189840 130203648 30158 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 31788 30158 239 467 0 31319 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 127152

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22761
/proc/meminfo: memFree=1734324/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=128604 CPUtime=881.95
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33183 0 0 0 87313 882 0 0 25 0 1 0 122189840 131690496 30532 1992294400 134512640 136421960 4288280992 18446744073709551615 135801367 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32151 30532 239 467 0 31682 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 128604

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22763
/proc/meminfo: memFree=1734324/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=128604 CPUtime=941.93
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33184 0 0 0 93255 938 0 0 25 0 1 0 122189840 131690496 30532 1992294400 134512640 136421960 4288280992 18446744073709551615 135820640 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32151 30532 239 467 0 31682 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 128604

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22765
/proc/meminfo: memFree=1734324/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=128604 CPUtime=1001.9
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33184 0 0 0 99196 994 0 0 25 0 1 0 122189840 131690496 30532 1992294400 134512640 136421960 4288280992 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32151 30532 239 467 0 31682 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 128604

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22767
/proc/meminfo: memFree=1734324/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=128604 CPUtime=1061.89
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33184 0 0 0 105146 1043 0 0 25 0 1 0 122189840 131690496 30532 1992294400 134512640 136421960 4288280992 18446744073709551615 135237645 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32151 30532 239 467 0 31682 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 128604

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22767
/proc/meminfo: memFree=1734324/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=128604 CPUtime=1121.86
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33186 0 0 0 111095 1091 0 0 25 0 1 0 122189840 131690496 30534 1992294400 134512640 136421960 4288280992 18446744073709551615 135821914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32151 30534 239 467 0 31682 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 128604

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22769
/proc/meminfo: memFree=1734200/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=128604 CPUtime=1181.84
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33186 0 0 0 117043 1141 0 0 25 0 1 0 122189840 131690496 30534 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32151 30534 239 467 0 31682 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 128604

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22771
/proc/meminfo: memFree=1732216/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=130584 CPUtime=1241.82
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33662 0 0 0 122993 1189 0 0 25 0 1 0 122189840 133718016 31010 1992294400 134512640 136421960 4288280992 18446744073709551615 135820622 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32646 31010 239 467 0 32177 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 130584

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22773
/proc/meminfo: memFree=1731348/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131376 CPUtime=1301.8
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33874 0 0 0 128939 1241 0 0 25 0 1 0 122189840 134529024 31222 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32844 31222 239 467 0 32375 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 131376

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 22775
/proc/meminfo: memFree=1731224/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1361.77
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33892 0 0 0 134902 1275 0 0 25 0 1 0 122189840 134668288 31240 1992294400 134512640 136421960 4288280992 18446744073709551615 135028852 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31240 239 467 0 32409 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 131512

[startup+1422.31 s]
/proc/loadavg: 1.03 1.00 0.93 2/107 22775
/proc/meminfo: memFree=1731100/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1421.75
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33910 0 0 0 140866 1309 0 0 25 0 1 0 122189840 134668288 31258 1992294400 134512640 136421960 4288280992 18446744073709551615 135241783 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31258 239 467 0 32409 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 131512

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/107 22777
/proc/meminfo: memFree=1731100/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1481.72
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33911 0 0 0 146804 1368 0 0 25 0 1 0 122189840 134668288 31259 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31259 239 467 0 32409 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 131512

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22779
/proc/meminfo: memFree=1730976/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1541.71
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33911 0 0 0 152746 1425 0 0 25 0 1 0 122189840 134668288 31259 1992294400 134512640 136421960 4288280992 18446744073709551615 135162719 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31259 239 467 0 32409 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 131512

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22781
/proc/meminfo: memFree=1730976/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1601.68
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33911 0 0 0 158694 1474 0 0 25 0 1 0 122189840 134668288 31259 1992294400 134512640 136421960 4288280992 18446744073709551615 135805345 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31259 239 467 0 32409 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 131512

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22783
/proc/meminfo: memFree=1730852/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1661.65
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33911 0 0 0 164633 1532 0 0 25 0 1 0 122189840 134668288 31259 1992294400 134512640 136421960 4288280992 18446744073709551615 135274860 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31259 239 467 0 32409 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 131512

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 0.93 2/107 22783
/proc/meminfo: memFree=1730852/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1721.63
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33911 0 0 0 170571 1592 0 0 25 0 1 0 122189840 134668288 31259 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31259 239 467 0 32409 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 131512

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 22785
/proc/meminfo: memFree=1730852/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1781.61
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33927 0 0 0 176514 1647 0 0 25 0 1 0 122189840 134668288 31259 1992294400 134512640 136421960 4288280992 18446744073709551615 135166048 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31259 239 467 0 32409 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 131512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 22787
/proc/meminfo: memFree=1730852/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1800.02
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33927 0 0 0 178341 1661 0 0 25 0 1 0 122189840 134668288 31259 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31259 239 467 0 32409 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 131512

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

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

[startup+1800.71 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 22787
/proc/meminfo: memFree=1730852/2059040 swapFree=4140004/4192956
[pid=22738] ppid=22736 vsize=131512 CPUtime=1800.02
/proc/22738/stat : 22738 (pbct) R 22736 22738 21868 0 -1 4202496 33927 0 0 0 178341 1661 0 0 25 0 1 0 122189840 134668288 31259 1992294400 134512640 136421960 4288280992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22738/statm: 32878 31259 239 467 0 32409 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 131512

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.04
CPU user time (s): 1783.42
CPU system time (s): 16.6255
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 131512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.42
system time used= 16.6255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33928
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= 6911

runsolver used 2.76758 second user time and 8.71567 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-25 19:02:15
IDJOB=2682307
IDBENCH=2347
IDSOLVER=1192
FILE ID=node019/2682307-1277485335
PBS_JOBID= 11190518
Free space on /tmp= 62272 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682307-1277485335/watcher-2682307-1277485335 -o /tmp/evaluation-result-2682307-1277485335/solver-2682307-1277485335 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2682307-1277485335.opb

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

MD5SUM BENCH= 9d32bc57adc83bca41f939562e4ccfd8
RANDOM SEED=1994485181

node019.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1857860 kB
Buffers:         32200 kB
Cached:          83912 kB
SwapCached:       5532 kB
Active:          61832 kB
Inactive:        67316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1857860 kB
SwapTotal:     4192956 kB
SwapFree:      4140004 kB
Dirty:            2184 kB
Writeback:           0 kB
AnonPages:       11748 kB
Mapped:          11848 kB
Slab:            49980 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62272 MiB
End job on node019 at 2010-06-25 19:32:18