Trace number 2674746

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? (MO) 61.8 61.9145

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scfxm1.opb
MD5SUMb00fcca5c7683bc6e417430bf4fc75bf
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.00054
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables13710
Total number of constraints327
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 constraints327
Minimum length of a constraint30
Maximum length of a constraint1710
Number of terms in the objective function 690
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 140660178813
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 53687091200000
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 326830904793855
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

52.97/53.04	c 13710 327 0 0 0 0 0 0
52.97/53.04	c 35184372088832 ~x2303483+17592186044416 ~x2303482+8796093022208 ~x2303481+4398046511104 ~x2303480+2199023255552 ~x2303479+1099511627776 ~x2303478+549755813888 ~x2303477+274877906944 ~x2303476+137438953472 ~x2303475+68719476736 ~x2303474+34359738368 ~x2303473+17179869184 ~x2303472+8589934592 ~x2303471+4294967296 ~x2303470+2147483648 ~x2303469+1073741824 ~x2303468+536870912 ~x2303467+268435456 ~x2303466+134217728 ~x2303465+67108864 ~x2303464+33554432 ~x2303463+16777216 ~x2303462+8388608 ~x2303461+4194304 ~x2303460+2097152 ~x2303459+1048576 ~x2303458+524288 ~x2303457+262144 ~x2303456+131072 ~x2303455+65536 ~x2303454+32768 ~x2303453+16384 ~x2303452+8192 ~x2303451+4096 ~x2303450+2048 ~x2303449+1024 ~x2303448+512 ~x2303447+256 ~x2303446+128 ~x2303445+64 ~x2303444+32 ~x2303443+16 ~x2303442+8 ~x2303441+4 ~x2303440+2 ~x2303439+1 ~x2303438+261993005056 x3421+130996502528 x3420+65498251264 x3419+32749125632 x3418+16374562816 x3417+8187281408 x3416+4093640704 x3415+2046820352 x3414+1023410176 x3413+511705088 x3412+255852544 x3411+127926272 x3410+63963136 x3409+31981568 x3408+15990784 x3407+7995392 x3406+3997696 x3405+1998848 x3404+999424 x3403+499712 x3402+249856 x3401+124928 x3400+62464 x3399+31232 x3398+15616 x3397+7808 x3396+3904 x3395+1952 x3394+976 x3393+488 x3392+21474836480 x3391+10737418240 x3390+5368709120 x3389+2684354560 x3388+1342177280 x3387+671088640 x3386+335544320 x3385+167772160 x3384+83886080 x3383+41943040 x3382+20971520 x3381+10485760 x3380+5242880 x3379+2621440 x3378+1310720 x3377+655360 x3376+327680 x3375+163840 x3374+81920 x3373+40960 x3372+20480 x3371+10240 x3370+5120 x3369+2560 x3368+1280 x3367+640 x3366+320 x3365+160 x3364+80 x3363+40 x3362+206158430208 x3361+103079215104 x3360+51539607552 x3359+25769803776 x3358+12884901888 x3357+6442450944 x3356+3221225472 x3355+1610612736 x3354+805306368 x3353+402653184 x3352+201326592 x3351+100663296 x3350+50331648 x3349+25165824 x3348+12582912 x3347+6291456 x3346+3145728 x3345+1572864 x3344+786432 x3343+393216 x3342+196608 x3341+98304 x3340+49152 x3339+24576 x3338+12288 x3337+6144 x3336+3072 x3335+1536 x3334+768 x3333+384 x3332+261993005056 x3331+130996502528 x3330+65498251264 x3329+32749125632 x3328+16374562816 x3327+8187281408 x3326+4093640704 x3325+2046820352 x3324+1023410176 x3323+511705088 x3322+255852544 x3321+127926272 x3320+63963136 x3319+31981568 x3318+15990784 x3317+7995392 x3316+3997696 x3315+1998848 x3314+999424 x3313+499712 x3312+249856 x3311+124928 x3310+62464 x3309+31232 x3308+15616 x3307+7808 x3306+3904 x3305+1952 x3304+976 x3303+488 x3302+206158430208 x3301+103079215104 x3300+51539607552 x3299+25769803776 x3298+12884901888 x3297+6442450944 x3296+3221225472 x3295+1610612736 x3294+805306368 x3293+402653184 x3292+201326592 x3291+100663296 x3290+50331648 x3289+25165824 x3288+12582912 x3287+6291456 x3286+3145728 x3285+1572864 x3284+786432 x3283+393216 x3282+196608 x3281+98304 x3280+49152 x3279+24576 x3278+12288 x3277+6144 x3276+3072 x3275+1536 x3274+768 x3273+384 x3272+766651662336 x3001+383325831168 x3000+191662915584 x2999+95831457792 x2998+47915728896 x2997+23957864448 x2996+11978932224 x2995+5989466112 x2994+2994733056 x2993+1497366528 x2992+748683264 x2991+374341632 x2990+187170816 x2989+93585408 x2988+46792704 x2987+23396352 x2986+11698176 x2985+5849088 x2984+2924544 x2983+1462272 x2982+731136 x2981+365568 x2980+182784 x2979+91392 x2978+45696 x2977+22848 x2976+11424 x2975+5712 x2974+2856 x2973+1428 x2972+21474836480 x2911+10737418240 x2910+5368709120 x2909+2684354560 x2908+1342177280 x2907+671088640 x2906+335544320 x2905+167772160 x2904+83886080 x2903+41943040 x2902+20971520 x2901+10485760 x2900+5242880 x2899+2621440 x2898+1310720 x2897+655360 x2896+327680 x2895+163840 x2894+81920 x2893+40960 x2892+20480 x2891+10240 x2890+5120 x2889+2560 x2888+1280 x2887+640 x2886+320 x2885+160 x2884+80 x2883+40 x2882+6480031907840 ~x2221+3240015953920 ~x2220+1620007976960 ~x2219+810003988480 ~x2218+405001994240 ~x2217+202500997120 ~x2216+101250498560 ~x2215+50625249280 ~x2214+25312624640 ~x2213+12656312320 ~x2212+6328156160 ~x2211+3164078080 ~x2210+1582039040 ~x2209+791019520 ~x2208+395509760 ~x2207+197754880 ~x2206+98877440 ~x2205+49438720 ~x2204+24719360 ~x2203+12359680 ~x2202+6179840 ~x2201+3089920 ~x2200+1544960 ~x2199+772480 ~x2198+386240 ~x2197+193120 ~x2196+96560 ~x2195+48280 ~x2194+24140 ~x2193+12070 ~x2192+6174015488000 ~x2191+3087007744000 ~x2190+1543503872000 ~x2189+771751936000 ~x2188+385875968000 ~x2187+192937984000 ~x2186+96468992000 ~x2185+48234496000 ~x2184+24117248000 ~x2183+12058624000 ~x2182+6029312000 ~x2181+3014656000 ~x2180+1507328000 ~x2179+753664000 ~x2178+376832000 ~x2177+188416000 ~x2176+94208000 ~x2175+47104000 ~x2174+23552000 ~x2173+11776000 ~x2172+5888000 ~x2171+2944000 ~x2170+1472000 ~x2169+736000 ~x2168+368000 ~x2167+184000 ~x2166+92000 ~x2165+46000 ~x2164+23000 ~x2163+11500 ~x2162+6480031907840 ~x1831+3240015953920 ~x1830+1620007976960 ~x1829+810003988480 ~x1828+405001994240 ~x1827+202500997120 ~x1826+101250498560 ~x1825+50625249280 ~x1824+25312624640 ~x1823+12656312320 ~x1822+6328156160 ~x1821+3164078080 ~x1820+1582039040 ~x1819+791019520 ~x1818+395509760 ~x1817+197754880 ~x1816+98877440 ~x1815+49438720 ~x1814+24719360 ~x1813+12359680 ~x1812+6179840 ~x1811+3089920 ~x1810+1544960 ~x1809+772480 ~x1808+386240 ~x1807+193120 ~x1806+96560 ~x1805+48280 ~x1804+24140 ~x1803+12070 ~x1802+6174015488000 ~x1801+3087007744000 ~x1800+1543503872000 ~x1799+771751936000 ~x1798+385875968000 ~x1797+192937984000 ~x1796+96468992000 ~x1795+48234496000 ~x1794+24117248000 ~x1793+12058624000 ~x1792+6029312000 ~x1791+3014656000 ~x1790+1507328000 ~x1789+753664000 ~x1788+376832000 ~x1787+188416000 ~x1786+94208000 ~x1785+47104000 ~x1784+23552000 ~x1783+11776000 ~x1782+5888000 ~x1781+2944000 ~x1780+1472000 ~x1779+736000 ~x1778+368000 ~x1777+184000 ~x1776+92000 ~x1775+46000 ~x1774+23000 ~x1773+11500 ~x1772+697932185600 x1591+348966092800 x1590+174483046400 x1589+87241523200 x1588+43620761600 x1587+21810380800 x1586+10905190400 x1585+5452595200 x1584+2726297600 x1583+1363148800 x1582+681574400 x1581+340787200 x1580+170393600 x1579+85196800 x1578+42598400 x1577+21299200 x1576+10649600 x1575+5324800 x1574+2662400 x1573+1331200 x1572+665600 x1571+332800 x1570+166400 x1569+83200 x1568+41600 x1567+20800 x1566+10400 x1565+5200 x1564+2600 x1563+1300 x1562+697932185600 x1501+348966092800 x1500+174483046400 x1499+87241523200 x1498+43620761600 x1497+21810380800 x1496+10905190400 x1495+5452595200 x1494+2726297600 x1493+1363148800 x1492+681574400 x1491+340787200 x1490+170393600 x1489+85196800 x1488+42598400 x1487+21299200 x1486+10649600 x1485+5324800 x1484+2662400 x1483+1331200 x1482+665600 x1481+332800 x1480+166400 x1479+83200 x1478+41600 x1477+20800 x1476+10400 x1475+5200 x1474+2600 x1473+1300 x1472+687194767360 x1381+343597383680 x1380+171798691840 x1379+85899345920 x1378+42949672960 x1377+21474836480 x1376+10737418240 x1375+5368709120 x1374+2684354560 x1373+1342177280 x1372+671088640 x1371+335544320 x1370+167772160 x1369+83886080 x1368+41943040 x1367+20971520 x1366+10485760 x1365+5242880 x1364+2621440 x1363+1310720 x1362+655360 x1361+327680 x1360+163840 x1359+81920 x1358+40960 x1357+20480 x1356+10240 x1355+5120 x1354+2560 x1353+1280 x1352+687194767360 x1321+343597383680 x1320+171798691840 x1319+85899345920 x1318+42949672960 x1317+21474836480 x1316+10737418240 x1315+5368709120 x1314+2684354560 x1313+1342177280 x1312+671088640 x1311+335544320 x1310+167772160 x1309+83886080 x1308+41943040 x1307+20971520 x1306+10485760 x1305+5242880 x1304+2621440 x1303+1310720 x1302+655360 x1301+327680 x1300+163840 x1299+81920 x1298+40960 x1297+20480 x1296+10240 x1295+5120 x1294+2560 x1293+1280 x1292+4214436659200 x1171+2107218329600 x1170+1053609164800 x1169+526804582400 x1168+263402291200 x1167+131701145600 x1166+65850572800 x1165+32925286400 x1164+16462643200 x1163+8231321600 x1162+4115660800 x1161+2057830400 x1160+1028915200 x1159+514457600 x1158+257228800 x1157+128614400 x1156+64307200 x1155+32153600 x1154+16076800 x1153+8038400 x1152+4019200 x1151+2009600 x1150+1004800 x1149+502400 x1148+251200 x1147+125600 x1146+62800 x1145+31400 x1144+15700 x1143+7850 x1142+51002736640 x1111+25501368320 x1110+12750684160 x1109+6375342080 x1108+3187671040 x1107+1593835520 x1106+796917760 x1105+398458880 x1104+199229440 x1103+99614720 x1102+49807360 x1101+24903680 x1100+12451840 x1099+6225920 x1098+3112960 x1097+1556480 x1096+778240 x1095+389120 x1094+194560 x1093+97280 x1092+48640 x1091+24320 x1090+12160 x1089+6080 x1088+3040 x1087+1520 x1086+760 x1085+380 x1084+190 x1083+95 x1082+576599359488 x1051+288299679744 x1050+144149839872 x1049+72074919936 x1048+36037459968 x1047+18018729984 x1046+9009364992 x1045+4504682496 x1044+2252341248 x1043+1126170624 x1042+563085312 x1041+281542656 x1040+140771328 x1039+70385664 x1038+35192832 x1037+17596416 x1036+8798208 x1035+4399104 x1034+2199552 x1033+1099776 x1032+549888 x1031+274944 x1030+137472 x1029+68736 x1028+34368 x1027+17184 x1026+8592 x1025+4296 x1024+2148 x1023+1074 x1022+51002736640 x481+25501368320 x480+12750684160 x479+6375342080 x478+3187671040 x477+1593835520 x476+796917760 x475+398458880 x474+199229440 x473+99614720 x472+49807360 x471+24903680 x4

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-2674746-1276799951/watcher-2674746-1276799951 -o /tmp/evaluation-result-2674746-1276799951/solver-2674746-1276799951 -C 1800 -W 2000 -M 1800 run HOME/instance-2674746-1276799951.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: 1.00 1.00 1.00 3/106 22641
/proc/meminfo: memFree=1626584/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0

[startup+0.0742891 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22641
/proc/meminfo: memFree=1626584/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101288 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22641
/proc/meminfo: memFree=1626584/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300282 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22641
/proc/meminfo: memFree=1626584/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701271 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22641
/proc/meminfo: memFree=1626584/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50025 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22644
/proc/meminfo: memFree=1463260/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
[pid=22643] ppid=22641 vsize=241220 CPUtime=1.49
/proc/22643/stat : 22643 (PBPASSolver) R 22641 22641 22535 0 -1 4202496 59768 0 0 0 57 92 0 0 25 0 1 0 21287796 247009280 59680 1992294400 134512640 134902295 4293956016 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22643/statm: 60305 59689 256 96 0 59517 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 249920

[startup+3.1002 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22644
/proc/meminfo: memFree=1300820/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
[pid=22643] ppid=22641 vsize=464548 CPUtime=3.09
/proc/22643/stat : 22643 (PBPASSolver) R 22641 22641 22535 0 -1 4202496 115718 0 0 0 132 177 0 0 25 0 1 0 21287796 475697152 115502 1992294400 134512640 134902295 4293956016 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22643/statm: 116137 115502 256 96 0 115349 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 473248

[startup+6.30011 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22644
/proc/meminfo: memFree=900920/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
[pid=22643] ppid=22641 vsize=744840 CPUtime=6.29
/proc/22643/stat : 22643 (PBPASSolver) R 22641 22641 22535 0 -1 4202496 187208 0 0 0 349 280 0 0 25 0 1 0 21287796 762716160 185215 1992294400 134512640 134902295 4293956016 18446744073709551615 134565226 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22643/statm: 186210 185215 262 96 0 185422 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 753540

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22646
/proc/meminfo: memFree=780516/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
[pid=22643] ppid=22641 vsize=872204 CPUtime=12.68
/proc/22643/stat : 22643 (PBPASSolver) R 22641 22641 22535 0 -1 4202496 221011 0 0 0 974 294 0 0 25 0 1 0 21287796 893136896 215201 1992294400 134512640 134902295 4293956016 18446744073709551615 134635582 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22643/statm: 218051 215201 262 96 0 217263 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 880904

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22646
/proc/meminfo: memFree=544916/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
[pid=22643] ppid=22641 vsize=1097016 CPUtime=25.48
/proc/22643/stat : 22643 (PBPASSolver) R 22641 22641 22535 0 -1 4202496 285704 0 0 0 2224 324 0 0 25 0 1 0 21287796 1123344384 271309 1992294400 134512640 134902295 4293956016 18446744073709551615 4159926952 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22643/statm: 274254 271309 262 96 0 273466 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1105716

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22646
/proc/meminfo: memFree=53380/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
[pid=22643] ppid=22641 vsize=1606048 CPUtime=51.06
/proc/22643/stat : 22643 (PBPASSolver) R 22641 22641 22535 0 -1 4202496 417658 0 0 0 4724 382 0 0 25 0 1 0 21287796 1644593152 395257 1992294400 134512640 134902295 4293956016 18446744073709551615 4159927279 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22643/statm: 401512 395257 262 96 0 400724 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1614748



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+61.9005 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22646
/proc/meminfo: memFree=10540/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
[pid=22643] ppid=22641 vsize=1835616 CPUtime=61.8
/proc/22643/stat : 22643 (PBPASSolver) R 22641 22641 22535 0 -1 4202496 469771 0 0 0 5771 409 0 0 25 0 1 0 21287796 1879670784 440042 1992294400 134512640 134902295 4293956016 18446744073709551615 13030908 0 0 4096 17608 0 0 0 17 0 0 0 1
/proc/22643/statm: 458912 440047 262 96 0 458124 0
Current children cumulated CPU time (s) 61.8
Current children cumulated vsize (KiB) 1844316

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

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

[startup+61.9005 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22646
/proc/meminfo: memFree=10540/2059040 swapFree=4192888/4192956
[pid=22641] ppid=22639 vsize=8700 CPUtime=0
/proc/22641/stat : 22641 (run) S 22639 22641 22535 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21287796 8908800 251 1992294400 4194304 4922060 140735819605712 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22641/statm: 2175 251 211 178 0 68 0
[pid=22643] ppid=22641 vsize=1835616 CPUtime=61.8
/proc/22643/stat : 22643 (PBPASSolver) R 22641 22641 22535 0 -1 4202496 469771 0 0 0 5771 409 0 0 25 0 1 0 21287796 1879670784 440042 1992294400 134512640 134902295 4293956016 18446744073709551615 13030908 0 0 4096 17608 0 0 0 17 0 0 0 1
/proc/22643/statm: 458912 440047 262 96 0 458124 0
Current children cumulated CPU time (s) 61.8
Current children cumulated vsize (KiB) 1844316

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 61.9145
CPU time (s): 61.8
CPU user time (s): 57.71
CPU system time (s): 4.09
CPU usage (%): 99.8151
Max. virtual memory (cumulated for all children) (KiB): 1844316

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

runsolver used 0.153976 second user time and 0.314952 second system time

The end

Launcher Data 

Begin job on node041 at 2010-06-17 20:39:11
IDJOB=2674746
IDBENCH=2444
IDSOLVER=1174
FILE ID=node041/2674746-1276799951
PBS_JOBID= 11176631
Free space on /tmp= 62028 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674746-1276799951/watcher-2674746-1276799951 -o /tmp/evaluation-result-2674746-1276799951/solver-2674746-1276799951 -C 1800 -W 2000 -M 1800  run HOME/instance-2674746-1276799951.opb

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

MD5SUM BENCH= b00fcca5c7683bc6e417430bf4fc75bf
RANDOM SEED=269698273

node041.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.251
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.50
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.251
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.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1626980 kB
Buffers:        105616 kB
Cached:         188252 kB
SwapCached:         64 kB
Active:         155504 kB
Inactive:       197920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1626980 kB
SwapTotal:     4192956 kB
SwapFree:      4192888 kB
Dirty:            1756 kB
Writeback:           4 kB
AnonPages:       59396 kB
Mapped:          15440 kB
Slab:            56804 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181804 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= 62028 MiB
End job on node041 at 2010-06-17 20:40:15