Trace number 432586

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, and are wall clock time (not CPU 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
bsolo 3.0.17? (TO) 1800.22 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb
MD5SUMab5e35dff8e81ea7a1176a4145ab1bff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13736
Total number of constraints597
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints592
Minimum length of a constraint7
Maximum length of a constraint390
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524564
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432586-1177945571/instance-432586-1177945571.opb
0.00/0.00	c File size is 547513 bytes.
0.09/0.10	c Highest Coefficient sum: 524564
0.09/0.10	c Parsing was ok!!
0.09/0.10	c Total parsing time: 0.105 s
0.09/0.11	c Var: 13736 Constr: 725 0/10/715 Lit: 88837 Watch. Lit: 18243
0.09/0.11	c Obj. Vars: 30 (0.218404 % of total variables)
2.29/2.33	c Pre-processing Time: 2.327 s
2.29/2.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.33	c        0   8048      725    88837  122    72978  177615      0      0 2.33
2.29/2.33	c Switching off LPR mode.
1800.04/1800.71	c      100   8048      825   101405  122    73184  195377    100     31 3.14
1800.04/1800.71	c      250   8048      975   128868  132    73372  214915    250     59 4.18
1800.04/1800.71	c      477   8048     1202   179332  149    73826  236407    477    104 4.55
1800.04/1800.71	c      815   8048     1540   254982  165    74502  260048    815    154 5.26
1800.04/1800.71	c     1324   8048     2049   376609  183    75516  286053   1324    217 6.08
1800.04/1800.71	c     2087   8048     2812   573629  203    78772  314659   2087    245 8.51
1800.04/1800.71	c     3233   8048     3958   777348  196    80725  346125   3233    321 10.05
1800.04/1800.71	c     4964   8048     5689   991997  174    84161  380738   4964    346 14.34
1800.04/1800.71	c     7556   8048     8281  1749872  211    89334  418812   7556    401 18.81
1800.04/1800.71	c    11435   8048    12160  2558171  210    97088  460694  11435    534 21.39
1800.04/1800.71	c    17263   8048    17988  3869060  215   108744  506764  17263    651 26.51
1800.04/1800.71	c    26002   8048    26727  5869230  219   126073  557441  26002    754 34.44
1800.04/1800.71	c    39113   8048    39838  9515194  238   152300  613186  39113    665 58.73
1800.04/1800.71	c    58784   8048    59509 16581360  278   191537  674505  58784    589 99.78
1800.04/1800.71	c    88295   8048    89020 27952690  314   250792  741956  88295    387 227.62
1800.04/1800.71	c   132565   8048   133290 38105215  285   339674  816152 132565    394 335.97
1800.04/1800.71	c   198978   8048   199703 64649581  323   472403  897768 198978    248 800.54
1800.04/1800.71	c Caught signal: 15
1800.04/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.71	c   17   257336  23368   450987   258061 83433405 257336    142 1800.05
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	c Total time: 1800.05 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node42/watcher-432586-1177945571 -o ROOT/results/node42/solver-432586-1177945571 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432586-1177945571/instance-432586-1177945571.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 1.03 0.94 3/77 13922
/proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=12272 CPUtime=0
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 242468995 12566528 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 3068 337 281 324 0 2004 0

[startup+0.09945 s]
/proc/loadavg: 0.93 1.03 0.94 3/77 13922
/proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=6500 CPUtime=0.09
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 975 0 0 0 9 0 0 0 18 0 1 0 242468995 6656000 945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 1625 945 400 324 0 561 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6500

[startup+0.10145 s]
/proc/loadavg: 0.93 1.03 0.94 3/77 13922
/proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=6500 CPUtime=0.09
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 982 0 0 0 9 0 0 0 18 0 1 0 242468995 6656000 952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 1625 952 403 324 0 561 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6500

[startup+0.301487 s]
/proc/loadavg: 0.93 1.03 0.94 3/77 13922
/proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=9088 CPUtime=0.29
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 1740 0 0 0 28 1 0 0 19 0 1 0 242468995 9306112 1576 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 2272 1576 304 324 0 1342 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9088

[startup+0.701563 s]
/proc/loadavg: 0.93 1.03 0.94 3/77 13922
/proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=9892 CPUtime=0.69
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 2077 0 0 0 68 1 0 0 22 0 1 0 242468995 10129408 1805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 2473 1805 306 324 0 1543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9892

[startup+1.50172 s]
/proc/loadavg: 0.93 1.03 0.94 2/78 13923
/proc/meminfo: memFree=1855784/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=9892 CPUtime=1.49
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 2077 0 0 0 148 1 0 0 25 0 1 0 242468995 10129408 1805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 2473 1805 306 324 0 1543 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9892

[startup+3.10202 s]
/proc/loadavg: 0.93 1.03 0.94 2/78 13923
/proc/meminfo: memFree=1855656/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=9496 CPUtime=3.1
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 2157 0 0 0 308 2 0 0 25 0 1 0 242468995 9723904 1693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 2374 1693 310 324 0 1444 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 9496

[startup+6.30163 s]
/proc/loadavg: 0.93 1.03 0.94 2/78 13923
/proc/meminfo: memFree=1854056/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=13160 CPUtime=6.29
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 3095 0 0 0 627 2 0 0 25 0 1 0 242468995 13475840 2631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 3290 2631 310 324 0 2360 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13160

[startup+12.7018 s]
/proc/loadavg: 0.94 1.03 0.94 2/78 13923
/proc/meminfo: memFree=1846640/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=18856 CPUtime=12.69
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 4525 0 0 0 1266 3 0 0 25 0 1 0 242468995 19308544 4061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 4714 4061 310 324 0 3784 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18856

[startup+25.5013 s]
/proc/loadavg: 0.95 1.03 0.94 2/78 13923
/proc/meminfo: memFree=1810680/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=55696 CPUtime=25.48
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 13719 0 0 0 2541 7 0 0 25 0 1 0 242468995 57032704 13255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 13924 13255 310 324 0 12994 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55696

[startup+51.1011 s]
/proc/loadavg: 1.05 1.04 0.94 2/78 13923
/proc/meminfo: memFree=1742328/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=123804 CPUtime=51.07
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 30741 0 0 0 5092 15 0 0 25 0 1 0 242468995 126775296 30277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 30951 30277 310 324 0 30021 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 123804

[startup+102.306 s]
/proc/loadavg: 1.15 1.08 0.96 2/78 13923
/proc/meminfo: memFree=1634680/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=231220 CPUtime=102.26
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 57591 0 0 0 10192 34 0 0 25 0 1 0 242468995 236769280 57127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 57805 57127 310 324 0 56875 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 231220

[startup+162.301 s]
/proc/loadavg: 1.16 1.09 0.97 2/78 13923
/proc/meminfo: memFree=1541816/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=323676 CPUtime=162.23
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 80712 0 0 0 16175 48 0 0 25 0 1 0 242468995 331444224 80248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 80919 80248 310 324 0 79989 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 323676

[startup+222.302 s]
/proc/loadavg: 1.13 1.09 0.97 2/78 13923
/proc/meminfo: memFree=1494520/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=370344 CPUtime=222.21
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 92390 0 0 0 22165 56 0 0 25 0 1 0 242468995 379232256 91926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 92586 91926 310 324 0 91656 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 370344

[startup+282.302 s]
/proc/loadavg: 1.05 1.07 0.97 2/78 13923
/proc/meminfo: memFree=1405688/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=459752 CPUtime=282.19
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 114746 0 0 0 28145 74 0 0 25 0 1 0 242468995 470786048 114282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 114938 114282 310 324 0 114008 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 459752

[startup+342.301 s]
/proc/loadavg: 1.02 1.06 0.97 2/78 13923
/proc/meminfo: memFree=1336120/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=529148 CPUtime=342.16
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 132082 0 0 0 34131 85 0 0 25 0 1 0 242468995 541847552 131618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 132287 131618 310 324 0 131357 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 529148

[startup+402.302 s]
/proc/loadavg: 1.00 1.04 0.97 2/78 13923
/proc/meminfo: memFree=1251064/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=614168 CPUtime=402.14
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 153351 0 0 0 40113 101 0 0 25 0 1 0 242468995 628908032 152887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 153542 152887 310 324 0 152612 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 614168

[startup+462.301 s]
/proc/loadavg: 1.00 1.03 0.97 2/78 13923
/proc/meminfo: memFree=1200120/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=664268 CPUtime=462.12
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 165865 0 0 0 46102 110 0 0 25 0 1 0 242468995 680210432 165401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 166067 165401 310 324 0 165137 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 664268

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 0.97 2/78 13923
/proc/meminfo: memFree=1161336/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=703588 CPUtime=522.1
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 175683 0 0 0 52091 119 0 0 25 0 1 0 242468995 720474112 175219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 175897 175219 310 324 0 174967 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 703588

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 0.97 2/78 13923
/proc/meminfo: memFree=1122104/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=742216 CPUtime=582.08
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 185345 0 0 0 58079 129 0 0 25 0 1 0 242468995 760029184 184881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 185554 184881 310 324 0 184624 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 742216

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/78 13923
/proc/meminfo: memFree=1090168/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=773844 CPUtime=642.06
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 193264 0 0 0 64070 136 0 0 25 0 1 0 242468995 792416256 192800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 193461 192800 310 324 0 192531 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 773844


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

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=985528/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=878184 CPUtime=881.97
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 219348 0 0 0 88038 159 0 0 25 0 1 0 242468995 899260416 218884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 219546 218884 310 324 0 218616 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 878184

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=968952/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=895052 CPUtime=941.94
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 223544 0 0 0 94031 163 0 0 25 0 1 0 242468995 916533248 223080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 223763 223080 310 324 0 222833 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 895052

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=952440/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=911312 CPUtime=1001.92
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 227629 0 0 0 100024 168 0 0 25 0 1 0 242468995 933183488 227165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 227828 227165 310 324 0 226898 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 911312

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=935736/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=928324 CPUtime=1061.9
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 231866 0 0 0 106017 173 0 0 25 0 1 0 242468995 950603776 231402 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 232081 231402 310 324 0 231151 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 928324

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=919032/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=944668 CPUtime=1121.88
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 235971 0 0 0 112011 177 0 0 25 0 1 0 242468995 967340032 235507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 236167 235507 310 324 0 235237 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 944668

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=905336/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=958412 CPUtime=1181.85
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 239413 0 0 0 118005 180 0 0 25 0 1 0 242468995 981413888 238949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 239603 238949 310 324 0 238673 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 958412

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=891512/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=972160 CPUtime=1241.83
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 242828 0 0 0 123999 184 0 0 25 0 1 0 242468995 995491840 242364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 243040 242364 310 324 0 242110 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 972160

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=876920/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=986504 CPUtime=1301.82
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 246424 0 0 0 129994 188 0 0 25 0 1 0 242468995 1010180096 245960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 246626 245960 310 324 0 245696 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 986504

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=859128/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=1004352 CPUtime=1361.79
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 250898 0 0 0 135986 193 0 0 25 0 1 0 242468995 1028456448 250434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 251088 250434 310 324 0 250158 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1004352

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=844216/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=1019172 CPUtime=1421.78
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 254586 0 0 0 141981 197 0 0 25 0 1 0 242468995 1043632128 254122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 254793 254122 310 324 0 253863 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1019172

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=831096/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=1032276 CPUtime=1481.75
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 257875 0 0 0 147974 201 0 0 25 0 1 0 242468995 1057050624 257411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 258069 257411 310 324 0 257139 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1032276

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=817656/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=1045604 CPUtime=1541.72
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 261196 0 0 0 153969 203 0 0 25 0 1 0 242468995 1070698496 260732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840801 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 261401 260732 310 324 0 260471 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1045604

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=806328/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=1057056 CPUtime=1601.71
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 264053 0 0 0 159965 206 0 0 25 0 1 0 242468995 1082425344 263589 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 264264 263589 310 324 0 263334 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1057056

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=794360/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=1068892 CPUtime=1661.68
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 267022 0 0 0 165959 209 0 0 25 0 1 0 242468995 1094545408 266558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 267223 266558 310 324 0 266293 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1068892

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=783032/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=1080184 CPUtime=1721.66
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 269850 0 0 0 171953 213 0 0 25 0 1 0 242468995 1106108416 269386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 270046 269386 310 324 0 269116 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1080184

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=770744/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=1092448 CPUtime=1781.64
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 272919 0 0 0 177948 216 0 0 25 0 1 0 242468995 1118666752 272455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 273112 272455 310 324 0 272182 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1092448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=765944/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=1097208 CPUtime=1800.04
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 274090 0 0 0 179788 216 0 0 25 0 1 0 242468995 1123540992 273626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 274302 273626 310 324 0 273372 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1097208

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 13923
/proc/meminfo: memFree=765944/2055920 swapFree=4147488/4192956
[pid=13922] ppid=13920 vsize=0 CPUtime=1800.14
/proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194308 274094 0 0 0 179788 226 0 0 25 0 1 0 242468995 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/13922/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.88
CPU time (s): 1800.22
CPU user time (s): 1797.88
CPU system time (s): 2.33664
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 1097208

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

runsolver used 1.43578 second user time and 4.20436 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Mon Apr 30 15:06:11 UTC 2007

IDJOB= 432586
IDBENCH= 1583
IDSOLVER= 199
FILE ID= node42/432586-1177945571

PBS_JOBID= 4727674

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432586-1177945571/instance-432586-1177945571.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-432586-1177945571 -o ROOT/results/node42/solver-432586-1177945571 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432586-1177945571/instance-432586-1177945571.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  ab5e35dff8e81ea7a1176a4145ab1bff

RANDOM SEED= 732015912

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.277
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.277
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1862280 kB
Buffers:         29992 kB
Cached:          71312 kB
SwapCached:      14500 kB
Active:          51900 kB
Inactive:        72920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862280 kB
SwapTotal:     4192956 kB
SwapFree:      4147488 kB
Dirty:            7196 kB
Writeback:           0 kB
Mapped:          30656 kB
Slab:            54196 kB
Committed_AS:  3715756 kB
PageTables:       1912 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node42 on Mon Apr 30 15:36:14 UTC 2007