Trace number 2674575

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
PBPASSolver 2010-06-13? (TO) 1800.01 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM4dd9ac2644c29d272d2675c7fc366ed6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark307
Best CPU time to get the best result obtained on this benchmark0.334949
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved YES
Number of variables319
Total number of constraints6
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint186
Maximum length of a constraint231
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.11	c 319 6 0 0 0 0 0 0
0.00/0.11	c 16384 ~x335+8192 ~x334+4096 ~x333+2048 ~x332+1024 ~x331+512 ~x330+256 ~x329+128 ~x328+64 ~x327+32 ~x326+16 ~x325+8 ~x324+4 ~x323+2 ~x322+1 ~x321+4450 x317+2000 x316+4115 x315+2704 x314+3888 x313+3217 x312+2000 x311+7500 x310+6498 x309+3684 x308+4689 x300+6529 x299+2000 x298+4291 x297+2763 x296+3889 x295+3595 x294+2000 x293+6498 x292+3793 x291+7500 x288+5235 x286+2258 x285+4722 x284+3089 x283+2000 x282+6999 x281+4099 x280+5524 x278+7421 x277+2281 x276+4545 x275+3730 x274+4350 x273+4020 x272+2000 x271+6998 x270+4218 x269+6260 x267+6936 x266+2696 x265+4995 x264+4123 x263+2000 x262+7499 x261+4585 x260+6877 x258+2797 x257+4994 x256+7500 x255+4613 x254+2198 x253+7498 x252+4801 x251+3399 x249+7500 x248+3249 x247+5267 x246+2000 x245+3345 x244+2000 x243+3210 x242+2172 x241+3112 x240+2603 x239+3057 x238+2845 x237+2000 x236+6229 x235+5497 x234+3019 x233+4113 x224+7500 x223+3496 x219+2189 x218+3616 x217+2000 x216+3446 x215+2361 x214+3324 x213+5586 x212+2794 x211+2000 x210+5997 x209+3209 x208+4629 x201+3593 x197+2198 x196+3731 x195+2000 x194+3538 x193+2383 x192+3324 x191+5266 x190+3092 x189+2000 x188+5997 x187+3272 x186+4885 x179+3888 x175+2419 x174+4061 x173+2000 x172+3819 x171+2605 x170+2000 x169+2697 x168+6497 x167+3491 x166+3995 x158+7500 x157+2442 x156+4189 x155+2000 x154+3730 x153+3114 x152+3628 x151+3374 x150+2000 x149+6497 x148+3557 x147+5056 x146+4350 x136+7034 x135+2705 x134+4594 x133+2207 x132+4022 x131+3375 x130+2000 x129+6999 x128+3809 x127+4710 x124+4546 x118+2763 x117+4835 x116+2226 x115+4022 x114+6205 x113+7500 x112+3738 x111+2000 x110+6998 x109+3923 x108+4995 x103+3089 x102+5169 x101+5361 x100+2549 x99+2000 x98+7499 x97+4224 x96+4800 x94+3017 x93+4676 x92+3216 x91+3898 x90+4381 x89+3688 x88+4224 x87+3940 x86+2000 x85+7498 x84+4115 x83+7500 x79+5267 x76+3360 x75+5112 x74+3556 x73+4749 x72+4016 x71+2000 x70+7500 x69+5540 x68+4426 x67+5586 x65+3493 x64+5401 x63+3700 x62+4749 x61+4428 x60+2000 x59+7500 x58+7500 x57+4598 x56+6205 x54+3941 x53+5972 x52+4138 x51+2000 x50+7500 x49+4979 x48+5103 x46+6582 x45+4114 x44+5685 x43+4777 x42+5372 x41+5008 x40+2698 x39+7500 x38+5164 x37+7422 x36+6205 x35+4710 x34+6277 x33+5299 x32+3899 x31+7500 x30+5632 x29+7500 x28+5104 x27+6278 x26+7500 x25+5752 x24+5969 x23+7500 x22+6583 x21+4036 x20+2000 x19+3773 x18+2442 x17+3593 x16+2955 x15+3496 x14+7600 x13+3234 x12+2000 x11+5997 x10+3429 x9+5886 x2-0=54767
1.19/1.27	c 1024 ~x52088+512 ~x52087+256 ~x52086+128 ~x52085+64 ~x52084+32 ~x52083+16 ~x52082+8 ~x52081+4 ~x52080+2 ~x52079+1 ~x52078+500 x320+924 x318+842 x300+500 x298+791 x297+597 x296+500 x295+879 x293+500 x292+728 x291+500 x289+1048 x287+948 x278+500 x277+536 x276+824 x275+720 x274+500 x273+1007 x271+500 x270+782 x269+1128 x266+1121 x258+601 x257+500 x256+500 x252+856 x251+658 x247+500 x245+671 x244+500 x243+653 x242+522 x241+641 x240+577 x239+500 x238+682 x236+1038 x235+500 x234+630 x233+889 x232+641 x231+937 x230+571 x229+870 x228+668 x227+826 x226+731 x225+769 x224+500 x222+787 x220+956 x212+835 x201+702 x197+525 x196+720 x195+500 x194+695 x193+549 x192+500 x191+500 x190+736 x188+500 x187+662 x186+1005 x185+711 x184+1083 x183+636 x182+977 x181+738 x180+500 x178+856 x176+754 x158+566 x157+556 x156+779 x155+500 x154+720 x153+642 x152+500 x151+803 x149+500 x148+698 x147+889 x146+1159 x145+804 x144+729 x142+1017 x141+890 x140+500 x139+937 x137+823 x118+597 x117+860 x116+529 x115+500 x114+897 x110+500 x109+745 x108+962 x106+500 x105+1057 x104+856 x94+629 x93+840 x92+655 x91+803 x89+715 x88+500 x87+937 x85+500 x84+769 x83+500 x78+1097 x77+956 x65+690 x64+932 x63+716 x62+500 x61+1083 x59+548 x58+831 x56+895 x46+1083 x45+769 x44+969 x43+853 x42+500 x41+620 x38+903 x37+500 x35+895 x27+500 x26+750 x25+1005 x23+758 x20+500 x19+725 x18+556 x17+702 x16+622 x15+500 x14+689 x13+782 x11+500 x10+682 x9+685 x7+1108 x6+804 x5+1006 x4+871 x3+995 x2-0=3247
1.79/1.87	c 2048 ~x78470+1024 ~x78469+512 ~x78468+256 ~x78467+128 ~x78466+64 ~x78465+32 ~x78464+16 ~x78463+8 ~x78462+4 ~x78461+2 ~x78460+1 ~x78459+1543 x320+1421 x319+1470 x318+1212 x317+500 x316+1115 x315+705 x314+500 x313+1282 x311+500 x309+990 x308+1161 x306+1403 x304+500 x303+1630 x301+1298 x288+1525 x278+2077 x277+582 x276+500 x275+1184 x273+1088 x272+1659 x271+500 x270+1145 x269+1739 x267+1936 x266+703 x265+500 x264+1919 x262+500 x261+1252 x260+863 x247+500 x245+891 x244+500 x243+852 x242+550 x241+500 x240+807 x238+746 x237+918 x236+1730 x235+500 x234+796 x233+1388 x232+823 x231+1499 x230+663 x229+1345 x228+884 x227+500 x226+1115 x224+1192 x222+1104 x221+1157 x220+935 x219+554 x218+970 x217+500 x216+920 x215+605 x214+500 x213+500 x212+1003 x210+500 x209+852 x208+1543 x207+934 x206+1685 x205+776 x204+1489 x203+995 x202+500 x200+1256 x198+1450 x190+1339 x179+1080 x158+650 x157+629 x156+1136 x155+500 x154+500 x153+973 x151+900 x150+1191 x149+500 x148+953 x147+1389 x146+2006 x145+1195 x144+1023 x142+500 x141+1571 x139+1456 x138+1500 x137+1183 x136+1964 x135+705 x134+1254 x133+560 x132+500 x131+1324 x129+500 x128+1026 x127+1403 x125+1288 x124+1252 x122+500 x121+1655 x119+500 x113+1314 x94+796 x93+1278 x92+854 x91+500 x89+1147 x87+1064 x86+1500 x85+500 x84+1115 x83+797 x80+847 x79+1981 x78+1864 x77+1450 x76+896 x75+1405 x74+953 x73+500 x72+1685 x70+598 x69+1530 x68+1206 x67+2080 x66+1833 x45+1115 x44+500 x43+1481 x41+1375 x40+775 x38+1420 x37+2077 x36+1289 x34+500 x33+970 x30+1557 x29+1092 x20+500 x19+1016 x18+629 x17+500 x16+935 x14+859 x12+1146 x11+500 x10+916 x9+922 x7+1891 x6+1195 x5+500 x4-0=6195
2.49/2.52	c 4096 ~x106524+2048 ~x106523+1024 ~x106522+512 ~x106521+256 ~x106520+128 ~x106519+64 ~x106518+32 ~x106517+16 ~x106516+8 ~x106515+4 ~x106514+2 ~x106513+1 ~x106512+2956 x320+2728 x319+2818 x318+2336 x317+1000 x316+1000 x315+4000 x314+2030 x313+1664 x312+2467 x311+2499 x310+1000 x309+1918 x308+4000 x307+2238 x306+1299 x305+4000 x304+3565 x303+2934 x302+3120 x301+2467 x300+3471 x299+1000 x298+1000 x297+4000 x296+2030 x295+1870 x294+2626 x293+1000 x292+1978 x291+2199 x290+3565 x289+3349 x287+2764 x286+1141 x285+1000 x284+4000 x283+2973 x282+1000 x281+2145 x280+3763 x279+1681 x247+1000 x245+1734 x244+1000 x243+1000 x242+4000 x241+1606 x240+1329 x239+1576 x238+1461 x237+1783 x236+1000 x235+1000 x234+1556 x233+2666 x232+1605 x231+2875 x230+1306 x229+1000 x228+4000 x227+2398 x226+1991 x225+4000 x224+2299 x222+2133 x221+2231 x220+1816 x219+1101 x218+1882 x217+1000 x216+1000 x215+4000 x214+1722 x213+2956 x212+1433 x211+1944 x210+1000 x209+1659 x208+2956 x207+1815 x206+3222 x205+1518 x204+1000 x203+4000 x202+2434 x201+2621 x200+2189 x199+2417 x198+1869 x197+1108 x196+1944 x195+1000 x194+1000 x193+4000 x192+1722 x191+2781 x190+1596 x189+2016 x188+1000 x187+1694 x186+3168 x185+1903 x184+3499 x183+1582 x182+1000 x181+4000 x180+2573 x179+2621 x178+2432 x177+2525 x176+2030 x175+1228 x174+2124 x173+1000 x172+1000 x171+4000 x170+2216 x169+4000 x168+1000 x167+1813 x166+3565 x165+2183 x164+3999 x163+1876 x162+1000 x161+4000 x160+2757 x159+1281 x157+2667 x146+1000 x135+4000 x124+3293 x113+2729 x101+2527 x94+1555 x93+1000 x92+4000 x91+4000 x90+2298 x89+1921 x88+2212 x87+2058 x86+2874 x85+1000 x84+2154 x83+4000 x82+2697 x81+4000 x80+1651 x79+3777 x78+3557 x77+2782 x76+1742 x75+1000 x74+4000 x73+2499 x72+2099 x71+3221 x70+1184 x69+2931 x68+2324 x67+3963 x66+2956 x65+1815 x64+1000 x63+4000 x62+2499 x61+2324 x60+3499 x59+1207 x58+1298 x57+2417 x56+4000 x55+3294 x54+2058 x53+1000 x52+4000 x51+4000 x50+1461 x49+2625 x48+4000 x47+4000 x46+3293 x35+3046 x24+2111 x20+1000 x19+1000 x18+4000 x17+1869 x16+1521 x15+1816 x14+1809 x13+1673 x12+2212 x11+1000 x10+1779 x9+4000 x8+1791 x7+1000 x6+4000 x5+3168 x4+2590 x3+3120 x2-0=13191
3.29/3.35	c 8192 ~x143110+4096 ~x143109+2048 ~x143108+1024 ~x143107+512 ~x143106+256 ~x143105+128 ~x143104+64 ~x143103+32 ~x143102+16 ~x143101+8 ~x143100+4 ~x143099+2 ~x143098+1 ~x143097+4999 x320+4649 x319+4788 x318+2000 x317+6498 x316+3769 x315+2589 x314+3580 x313+3018 x312+4249 x311+2000 x309+3408 x308+3899 x307+6600 x306+6600 x305+4596 x304+5934 x303+4965 x302+5250 x301+2000 x300+6498 x298+3916 x297+2638 x296+3579 x295+3334 x294+4493 x293+2000 x292+3500 x291+6600 x290+5934 x289+5602 x287+2000 x286+6600 x285+4277 x284+2910 x283+5026 x282+2000 x281+3756 x280+6237 x279+2000 x278+6600 x276+4129 x275+3447 x274+3965 x273+3690 x272+5332 x271+2000 x270+3855 x269+6600 x268+2000 x267+6600 x265+4504 x264+3776 x263+6080 x262+2000 x261+4162 x260+6600 x259+2000 x258+6600 x257+4504 x256+4185 x254+6600 x253+2000 x252+4343 x251+6600 x250+6600 x249+2499 x248+3045 x247+4733 x246+2000 x245+2000 x244+5497 x243+3012 x242+2144 x241+2930 x240+2504 x239+2884 x238+2707 x237+3200 x236+2000 x234+2852 x233+4555 x232+2928 x231+2000 x230+6600 x229+4432 x228+3105 x227+4144 x226+3520 x225+3992 x222+3738 x221+3888 x220+3251 x219+2156 x218+2000 x217+5997 x216+3209 x215+2302 x214+3107 x213+2664 x211+3448 x210+2000 x209+3011 x208+4999 x207+3249 x206+2000 x205+6600 x204+4845 x203+3422 x202+4486 x200+3823 x199+4173 x198+3333 x197+2166 x196+2000 x195+5997 x194+3286 x193+2321 x192+3108 x191+2914 x189+3558 x188+2000 x187+3064 x186+5324 x185+3384 x184+2000 x183+6600 x182+5135 x181+3567 x180+4485 x178+4195 x177+4339 x176+3579 x175+2350 x174+2000 x173+6497 x172+3521 x171+2506 x170+3864 x169+2000 x167+3247 x166+5933 x165+3815 x164+2000 x163+6600 x162+5690 x161+3987 x160+4694 x159+3668 x158+2370 x156+2000 x155+6497 x154+3446 x153+2932 x152+3361 x151+3149 x150+3989 x149+2000 x148+3302 x147+6331 x145+3998 x144+2697 x143+6600 x142+5396 x141+4560 x140+5081 x139+4749 x138+4875 x137+3966 x136+2589 x134+2000 x133+6600 x132+3691 x131+3150 x130+4371 x129+2000 x128+3513 x127+6600 x126+4595 x125+3898 x123+6600 x122+5974 x121+5066 x120+5320 x119+4129 x118+2638 x117+2000 x116+6600 x115+3691 x114+3454 x111+4613 x110+2000 x109+3608 x108+6600 x107+5037 x106+5975 x105+5659 x104+4504 x103+2910 x102+2000 x100+6600 x99+5123 x98+2000 x97+3860 x96+6259 x95+2000 x20+5997 x19+3483 x18+2370 x17+3332 x16+2799 x15+3251 x14+3032 x12+3857 x11+2000 x10+3195 x9+2698 x8+6600 x7+5999 x6+3999 x5+5324 x4+4437 x3-0=28383
4.39/4.46	c 2048 ~x192632+1024 ~x192631+512 ~x192630+256 ~x192629+128 ~x192628+64 ~x192627+32 ~x192626+16 ~x192625+8 ~x192624+4 ~x192623+2 ~x192622+1 ~x192621+500 x247+3997 x245+1356 x244+500 x243+1270 x242+609 x241+1208 x240+884 x239+1173 x238+1038 x237+1414 x236+500 x234+1148 x233+500 x232+2687 x230+857 x229+2350 x228+1341 x227+2131 x226+1656 x225+2015 x222+1822 x221+1937 x220+500 x219+1529 x217+500 x216+1421 x215+730 x214+1343 x213+1005 x211+1602 x210+500 x209+1269 x208+500 x207+3092 x205+1104 x204+2664 x203+1582 x202+2391 x200+1887 x199+2154 x198+500 x197+1602 x195+500 x194+1479 x193+744 x192+1343 x191+1195 x189+1686 x188+500 x187+1309 x186+500 x185+3415 x183+1179 x182+2885 x181+1692 x180+2391 x178+2170 x177+2280 x176+500 x175+1811 x173+500 x172+1657 x171+885 x170+1918 x169+500 x167+1449 x166+500 x165+3999 x163+1522 x162+3308 x161+2011 x160+2550 x159+500 x158+1893 x155+500 x154+1601 x153+1209 x152+1536 x151+1374 x150+2014 x149+500 x148+1491 x147+500 x145+1645 x142+3084 x141+2448 x140+2845 x139+2592 x138+2687 x137+500 x136+2151 x133+632 x132+1786 x131+1375 x130+2304 x129+500 x128+1651 x127+1298 x126+2146 x122+3524 x121+2832 x120+3026 x119+500 x118+2303 x116+644 x115+1786 x114+1606 x111+2488 x110+500 x109+1724 x108+2199 x107+3524 x105+3284 x104+500 x103+2638 x100+850 x99+2876 x98+500 x97+1915 x96+3741 x95+500 x94+2203 x92+1274 x91+2015 x89+1574 x88+1915 x87+1735 x86+2687 x85+500 x84+1846 x83+2697 x82+3739 x78+3483 x77+500 x76+2481 x74+1490 x73+2250 x72+1783 x71+3092 x70+715 x69+2044 x67+3957 x66+500 x65+2664 x63+1582 x62+2249 x61+2045 x60+3416 x59+742 x58+2154 x56+500 x54+3027 x52+1861 x51+3999 x50+1038 x49+2396 x48+500 x45+2845 x43+2267 x42+2646 x41+2414 x40+1102 x38+2513 x37+500 x36+3222 x33+2600 x32+1529 x30+2811 x29+1299 x28+3221 x26+1749 x25+3026 x23+2499 x22+341

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674575-1276792824/watcher-2674575-1276792824 -o /tmp/evaluation-result-2674575-1276792824/solver-2674575-1276792824 -C 1800 -W 2000 -M 1800 run HOME/instance-2674575-1276792824.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.92 0.98 0.99 3/105 25062
/proc/meminfo: memFree=1668144/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0

[startup+0.063279 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 25062
/proc/meminfo: memFree=1668144/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101283 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 25062
/proc/meminfo: memFree=1668144/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301308 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 25062
/proc/meminfo: memFree=1668144/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701359 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 25062
/proc/meminfo: memFree=1668144/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50146 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 25065
/proc/meminfo: memFree=1631052/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=48848 CPUtime=1.49
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 12976 0 0 0 141 8 0 0 25 0 1 0 20573799 50020352 11287 1992294400 134512640 134902295 4294650192 18446744073709551615 4160648214 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 12212 11287 262 96 0 11424 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57548

[startup+3.10166 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 25065
/proc/meminfo: memFree=1613072/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=76124 CPUtime=3.09
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 22025 0 0 0 297 12 0 0 25 0 1 0 20573799 77950976 18233 1992294400 134512640 134902295 4294650192 18446744073709551615 4160674173 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 19031 18233 262 96 0 18243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84824

[startup+6.30106 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 25065
/proc/meminfo: memFree=1563100/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=110392 CPUtime=6.28
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 34182 0 0 0 611 17 0 0 25 0 1 0 20573799 113041408 26265 1992294400 134512640 134902295 4294650192 18446744073709551615 4160665726 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 27598 26265 269 96 0 26810 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 119092

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 25065
/proc/meminfo: memFree=1562604/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=111040 CPUtime=12.68
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 34334 0 0 0 1251 17 0 0 25 0 1 0 20573799 113704960 26417 1992294400 134512640 134902295 4294650192 18446744073709551615 4160665726 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 27760 26417 269 96 0 26972 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 119740

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 25067
/proc/meminfo: memFree=1559504/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=114136 CPUtime=25.48
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 35107 0 0 0 2530 18 0 0 25 0 1 0 20573799 116875264 27190 1992294400 134512640 134902295 4294650192 18446744073709551615 4160635573 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 28534 27190 269 96 0 27746 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122836

[startup+51.1007 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 25067
/proc/meminfo: memFree=1556280/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=117392 CPUtime=51.07
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 35930 0 0 0 5088 19 0 0 25 0 1 0 20573799 120209408 28013 1992294400 134512640 134902295 4294650192 18446744073709551615 4160665810 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 29348 28013 269 96 0 28560 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126092

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 25069
/proc/meminfo: memFree=1546856/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=126612 CPUtime=102.26
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 38203 0 0 0 10205 21 0 0 25 0 1 0 20573799 129650688 30286 1992294400 134512640 134902295 4294650192 18446744073709551615 4160668637 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 31653 30286 269 96 0 30865 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135312

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25069
/proc/meminfo: memFree=1538176/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=135236 CPUtime=162.23
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 40363 0 0 0 16200 23 0 0 25 0 1 0 20573799 138481664 32446 1992294400 134512640 134902295 4294650192 18446744073709551615 4160666088 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 33809 32446 269 96 0 33021 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 143936

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25071
/proc/meminfo: memFree=1531728/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=141576 CPUtime=222.22
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 41949 0 0 0 22197 25 0 0 25 0 1 0 20573799 144973824 34032 1992294400 134512640 134902295 4294650192 18446744073709551615 4160665895 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 35394 34032 269 96 0 34606 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 150276

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25073
/proc/meminfo: memFree=1524660/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=148704 CPUtime=282.2
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 43759 0 0 0 28193 27 0 0 25 0 1 0 20573799 152272896 35842 1992294400 134512640 134902295 4294650192 18446744073709551615 4160665885 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 37176 35842 269 96 0 36388 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 157404

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25075
/proc/meminfo: memFree=1514616/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=158784 CPUtime=342.18
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 46261 0 0 0 34189 29 0 0 25 0 1 0 20573799 162594816 38344 1992294400 134512640 134902295 4294650192 18446744073709551615 4160654712 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 39696 38344 269 96 0 38908 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 167484

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25077
/proc/meminfo: memFree=1507176/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=166324 CPUtime=402.17
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 48128 0 0 0 40185 32 0 0 25 0 1 0 20573799 170315776 40211 1992294400 134512640 134902295 4294650192 18446744073709551615 4160657597 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 41581 40211 269 96 0 40793 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 175024

[startup+462.301 s]

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

/proc/25064/statm: 58474 57039 269 96 0 57686 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 242596

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25097
/proc/meminfo: memFree=1434388/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=238780 CPUtime=1181.91
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 66196 0 0 0 118138 53 0 0 25 0 1 0 20573799 244510720 58279 1992294400 134512640 134902295 4294650192 18446744073709551615 4160654529 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 59695 58279 269 96 0 58907 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 247480

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25108
/proc/meminfo: memFree=1429180/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=243152 CPUtime=1241.87
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 67289 0 0 0 124132 55 0 0 25 0 1 0 20573799 248987648 59372 1992294400 134512640 134902295 4294650192 18446744073709551615 4160668629 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 60788 59372 269 96 0 60000 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 251852

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25110
/proc/meminfo: memFree=1425460/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=247128 CPUtime=1301.86
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 68300 0 0 0 130130 56 0 0 25 0 1 0 20573799 253059072 60383 1992294400 134512640 134902295 4294650192 18446744073709551615 4160665726 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 61782 60383 269 96 0 60994 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 255828

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25110
/proc/meminfo: memFree=1420748/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=251884 CPUtime=1361.83
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 69494 0 0 0 136126 57 0 0 25 0 1 0 20573799 257929216 61577 1992294400 134512640 134902295 4294650192 18446744073709551615 4160668641 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 62971 61577 269 96 0 62183 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 260584

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25112
/proc/meminfo: memFree=1417152/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=255504 CPUtime=1421.82
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 70386 0 0 0 142124 58 0 0 25 0 1 0 20573799 261636096 62469 1992294400 134512640 134902295 4294650192 18446744073709551615 4160665726 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 63876 62469 269 96 0 63088 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 264204

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25114
/proc/meminfo: memFree=1414052/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=258672 CPUtime=1481.8
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 71180 0 0 0 148120 60 0 0 25 0 1 0 20573799 264880128 63263 1992294400 134512640 134902295 4294650192 18446744073709551615 4160668567 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 64668 63263 269 96 0 63880 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 267372

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25116
/proc/meminfo: memFree=1410828/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=261776 CPUtime=1541.78
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 71969 0 0 0 154117 61 0 0 25 0 1 0 20573799 268058624 64052 1992294400 134512640 134902295 4294650192 18446744073709551615 4160654169 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 65444 64052 269 96 0 64656 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 270476

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25118
/proc/meminfo: memFree=1407728/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=265116 CPUtime=1601.75
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 72783 0 0 0 160114 61 0 0 25 0 1 0 20573799 271478784 64866 1992294400 134512640 134902295 4294650192 18446744073709551615 4160665726 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 66279 64866 269 96 0 65491 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 273816

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25118
/proc/meminfo: memFree=1404504/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=268168 CPUtime=1661.74
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 73569 0 0 0 166112 62 0 0 25 0 1 0 20573799 274604032 65652 1992294400 134512640 134902295 4294650192 18446744073709551615 4160654540 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 67042 65652 269 96 0 66254 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 276868

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25120
/proc/meminfo: memFree=1400040/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=272680 CPUtime=1721.72
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 74686 0 0 0 172109 63 0 0 25 0 1 0 20573799 279224320 66769 1992294400 134512640 134902295 4294650192 18446744073709551615 4160665726 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 68170 66769 269 96 0 67382 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 281380

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25122
/proc/meminfo: memFree=1395452/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=277532 CPUtime=1781.71
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 75771 0 0 0 178107 64 0 0 25 0 1 0 20573799 284192768 67854 1992294400 134512640 134902295 4294650192 18446744073709551615 4160654607 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 69383 67854 269 96 0 68595 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 286232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25122
/proc/meminfo: memFree=1394336/2059040 swapFree=4140540/4192956
[pid=25062] ppid=25060 vsize=8700 CPUtime=0
/proc/25062/stat : 25062 (run) S 25060 25062 24620 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 20573799 8908800 250 1992294400 4194304 4922060 140733463911152 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25062/statm: 2175 250 211 178 0 68 0
[pid=25064] ppid=25062 vsize=278588 CPUtime=1800.01
/proc/25064/stat : 25064 (PBPASSolver) R 25062 25062 24620 0 -1 4202496 76035 0 0 0 179937 64 0 0 25 0 1 0 20573799 285274112 68118 1992294400 134512640 134902295 4294650192 18446744073709551615 4160654194 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25064/statm: 69647 68118 269 96 0 68859 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 287288

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25062 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.01
CPU user time (s): 1799.37
CPU system time (s): 0.64
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 287288

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

runsolver used 2.96255 second user time and 8.5187 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-17 18:40:24
IDJOB=2674575
IDBENCH=1854
IDSOLVER=1174
FILE ID=node054/2674575-1276792824
PBS_JOBID= 11176578
Free space on /tmp= 62476 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674575-1276792824/watcher-2674575-1276792824 -o /tmp/evaluation-result-2674575-1276792824/solver-2674575-1276792824 -C 1800 -W 2000 -M 1800  run HOME/instance-2674575-1276792824.opb

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

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=110721415

node054.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.217
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.43
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.217
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:       1668664 kB
Buffers:        148956 kB
Cached:         157184 kB
SwapCached:       6892 kB
Active:         131980 kB
Inactive:       188068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1668664 kB
SwapTotal:     4192956 kB
SwapFree:      4140540 kB
Dirty:             632 kB
Writeback:           0 kB
AnonPages:       11188 kB
Mapped:          12896 kB
Slab:            48748 kB
PageTables:       3960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180896 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node054 at 2010-06-17 19:10:27