Trace number 348852

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.16? (TO) 1800.25 1800.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-khb05250.opb
MD5SUM0abc7673c35064c54cd6e972f16047d8
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 variables38297
Total number of constraints102
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 constraints102
Minimum length of a constraint23
Maximum length of a constraint1530
Number of terms in the objective function 37494
Biggest coefficient in the objective function 580
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 555190
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260900
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 555190
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/348852-1176600944/instance-348852-1176600944.opb
0.00/0.00	c File size is 1178326 bytes.
0.19/0.26	c Highest Coefficient sum: 555190
0.19/0.26	c Parsing was ok!!
0.19/0.26	c Total parsing time: 0.256 s
0.19/0.27	c Var: 38297 Constr: 179 5/0/174 Lit: 153859 Watch. Lit: 48718
0.19/0.27	c Obj. Vars: 37494 (97.9032 % of total variables)
56.87/56.92	c Pre-processing Time: 56.902 s
56.87/56.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
56.87/56.92	c        0  25040      179   153465  857   103650  299431      0      0 56.90
56.87/56.92	c Switching off LPR mode.
1800.00/1800.70	c      100  25040      279   194227  696   103842  329375    100      1 57.25
1800.00/1800.70	c      250  25040      429   253502  590   104160  362313    250      4 57.60
1800.00/1800.70	c      477  25040      656   341190  520   104627  398545    477      8 57.96
1800.00/1800.70	c      816  25040      995   470769  473   105315  438400    816     13 58.37
1800.00/1800.70	c     1324  25040     1503   660519  439   106382  482241   1324     22 58.89
1800.00/1800.70	c     2087  25040     2266   947885  418   107910  530466   2087     35 59.46
1800.00/1800.70	c     3234  25040     3413  1380963  404   110227  583513   3234     53 60.36
1800.00/1800.70	c     4956  25040     5135  2032953  395   113708  641865   4956     80 61.79
1800.00/1800.70	c     7540  25040     7719  3016471  390   118901  706052   7540    118 63.59
1800.00/1800.70	c    11419  25040    11598  4488471  387   126657  776658  11419    172 66.11
1800.00/1800.70	c    17241  25040    17420  6695594  384   138302  854324  17241    245 70.17
1800.00/1800.70	c    25978  25040    26157 10121041  386   155820  939757  25978    337 77.02
1800.00/1800.70	c    39088  25040    39267 15248038  388   182041  500000  39088    433 90.15
1800.00/1800.70	c    58758  25040    58937 22957712  389   221379  550001  58758    527 111.48
1800.00/1800.70	c    88270  25040    88449 34563931  390   280604  605002  88270    594 148.50
1800.00/1800.70	c   132540  25040   132719 52026778  392   369157  665503 132540    623 212.60
1800.00/1800.70	c   198950  25040   199129 87751000  440   502317  732054 198950    287 692.55
1800.00/1800.70	c Caught signal: 15
1800.00/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.70	c   17   267982   6750   394992   268161 123355259 267982    148 1800.01
1800.00/1800.70	s UNKNOWN
1800.00/1800.70	c Total time: 1800.01 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-348852-1176600944 -o ROOT/results/node11/solver-348852-1176600944 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348852-1176600944/instance-348852-1176600944.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.92 0.98 0.99 3/77 10791
/proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=12888 CPUtime=0
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 101143380 13197312 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 3222 339 282 324 0 2003 0

[startup+0.100357 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10791
/proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=16260 CPUtime=0.09
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 1370 0 0 0 8 1 0 0 18 0 1 0 101143380 16650240 1298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 4065 1298 392 324 0 2846 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16260

[startup+0.201368 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10791
/proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=9632 CPUtime=0.19
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 1776 0 0 0 18 1 0 0 18 0 1 0 101143380 9863168 1704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 2408 1704 508 324 0 1189 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9632

[startup+0.301379 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10791
/proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=14068 CPUtime=0.29
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3239 0 0 0 28 1 0 0 19 0 1 0 101143380 14405632 2805 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 3517 2805 306 324 0 2586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14068

[startup+0.701429 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10791
/proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=14344 CPUtime=0.69
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3317 0 0 0 68 1 0 0 22 0 1 0 101143380 14688256 2883 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 3586 2883 306 324 0 2655 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14344

[startup+1.50252 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 10792
/proc/meminfo: memFree=1747328/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=14344 CPUtime=1.49
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3318 0 0 0 148 1 0 0 25 0 1 0 101143380 14688256 2884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 3586 2884 306 324 0 2655 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14344

[startup+3.10171 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10792
/proc/meminfo: memFree=1747200/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=14344 CPUtime=3.1
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3318 0 0 0 308 2 0 0 25 0 1 0 101143380 14688256 2884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 3586 2884 306 324 0 2655 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 14344

[startup+6.3011 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10792
/proc/meminfo: memFree=1747008/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=14344 CPUtime=6.29
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3318 0 0 0 627 2 0 0 25 0 1 0 101143380 14688256 2884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 3586 2884 306 324 0 2655 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14344

[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 10792
/proc/meminfo: memFree=1746944/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=14344 CPUtime=12.69
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3318 0 0 0 1266 3 0 0 25 0 1 0 101143380 14688256 2884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 3586 2884 306 324 0 2655 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14344

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 10792
/proc/meminfo: memFree=1745280/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=16096 CPUtime=25.49
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 4139 0 0 0 2544 5 0 0 25 0 1 0 101143380 16482304 3330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540882 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 4024 3330 308 324 0 3093 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16096

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 10792
/proc/meminfo: memFree=1745280/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=16096 CPUtime=51.08
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 4139 0 0 0 5101 7 0 0 25 0 1 0 101143380 16482304 3330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 4024 3330 308 324 0 3093 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16096

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 10792
/proc/meminfo: memFree=1492608/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=268372 CPUtime=102.26
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 67199 0 0 0 10185 41 0 0 25 0 1 0 101143380 274812928 66390 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 67093 66390 312 324 0 66162 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 268372

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10792
/proc/meminfo: memFree=1240960/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=521732 CPUtime=162.24
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 130561 0 0 0 16141 83 0 0 25 0 1 0 101143380 534253568 129752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 130433 129752 312 324 0 129502 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 521732

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10792
/proc/meminfo: memFree=1053504/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=706744 CPUtime=222.22
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 176797 0 0 0 22109 113 0 0 25 0 1 0 101143380 723705856 175988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 176686 175988 312 324 0 175755 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 706744

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10792
/proc/meminfo: memFree=963584/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=797132 CPUtime=282.21
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 199384 0 0 0 28094 127 0 0 25 0 1 0 101143380 816263168 198575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 199283 198575 312 324 0 198352 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 797132

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10792
/proc/meminfo: memFree=898880/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=860864 CPUtime=342.19
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 215329 0 0 0 34080 139 0 0 25 0 1 0 101143380 881524736 214520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 215216 214520 312 324 0 214285 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 860864

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=860096/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=900060 CPUtime=402.17
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 225124 0 0 0 40073 144 0 0 25 0 1 0 101143380 921661440 224315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 225015 224315 312 324 0 224084 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 900060

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=821376/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=938208 CPUtime=462.15
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 234684 0 0 0 46066 149 0 0 25 0 1 0 101143380 960724992 233875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 234552 233875 312 324 0 233621 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 938208

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=747328/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1012756 CPUtime=522.13
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 253318 0 0 0 52051 162 0 0 25 0 1 0 101143380 1037062144 252509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 253189 252509 312 324 0 252258 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1012756

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=692736/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1066648 CPUtime=582.11
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 266784 0 0 0 58039 172 0 0 25 0 1 0 101143380 1092247552 265975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 266662 265975 312 324 0 265731 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1066648

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=644480/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1115376 CPUtime=642.1
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 278971 0 0 0 64027 183 0 0 25 0 1 0 101143380 1142145024 278162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8413025 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 278844 278162 312 324 0 277913 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1115376


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

[startup+882.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=508160/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1250588 CPUtime=882.03
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 312775 0 0 0 87994 209 0 0 25 0 1 0 101143380 1280602112 311966 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 312647 311966 312 324 0 311716 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1250588

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=482880/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1276048 CPUtime=942.01
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 319142 0 0 0 93987 214 0 0 25 0 1 0 101143380 1306673152 318333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 319012 318333 312 324 0 318081 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1276048

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=459648/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1299008 CPUtime=1001.99
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 324886 0 0 0 99980 219 0 0 25 0 1 0 101143380 1330184192 324077 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 324752 324077 312 324 0 323821 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1299008

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=433856/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1324916 CPUtime=1061.97
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 331358 0 0 0 105972 225 0 0 25 0 1 0 101143380 1356713984 330549 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 331229 330549 312 324 0 330298 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1324916

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=408768/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1349740 CPUtime=1121.95
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 337580 0 0 0 111965 230 0 0 25 0 1 0 101143380 1382133760 336771 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 337435 336771 312 324 0 336504 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1349740

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=385024/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1373656 CPUtime=1181.94
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 343559 0 0 0 117959 235 0 0 25 0 1 0 101143380 1406623744 342750 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 343414 342750 312 324 0 342483 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1373656

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=359616/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1398868 CPUtime=1241.92
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 349861 0 0 0 123951 241 0 0 25 0 1 0 101143380 1432440832 349052 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 349717 349052 312 324 0 348786 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1398868

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=336128/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1422548 CPUtime=1301.91
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 355769 0 0 0 129944 247 0 0 25 0 1 0 101143380 1456689152 354960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 355637 354960 312 324 0 354706 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1422548

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=312896/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1445616 CPUtime=1361.88
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 361525 0 0 0 135935 253 0 0 25 0 1 0 101143380 1480310784 360716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 361404 360716 312 324 0 360473 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1445616

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=289600/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1468592 CPUtime=1421.87
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 367280 0 0 0 141928 259 0 0 25 0 1 0 101143380 1503838208 366471 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 367148 366471 312 324 0 366217 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1468592

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10794
/proc/meminfo: memFree=265472/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1492908 CPUtime=1481.85
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 373350 0 0 0 147920 265 0 0 25 0 1 0 101143380 1528737792 372541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 373227 372541 312 324 0 372296 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1492908

[startup+1542.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 10916
/proc/meminfo: memFree=241528/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1515244 CPUtime=1541.77
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 378952 0 0 0 153907 270 0 0 25 0 1 0 101143380 1551609856 378143 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 378811 378143 312 324 0 377880 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1515244

[startup+1602.3 s]
/proc/loadavg: 1.45 1.12 1.04 2/78 11472
/proc/meminfo: memFree=184952/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1538892 CPUtime=1601.65
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 384863 0 0 0 159889 276 0 0 25 0 1 0 101143380 1575825408 384054 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 384723 384054 312 324 0 383792 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1538892

[startup+1662.3 s]
/proc/loadavg: 1.15 1.09 1.03 2/78 11472
/proc/meminfo: memFree=162680/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1561100 CPUtime=1661.63
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 390400 0 0 0 165881 282 0 0 25 0 1 0 101143380 1598566400 389591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 390275 389591 312 324 0 389344 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1561100

[startup+1722.3 s]
/proc/loadavg: 1.06 1.08 1.03 2/78 11472
/proc/meminfo: memFree=141752/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1582180 CPUtime=1721.62
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 395678 0 0 0 171876 286 0 0 25 0 1 0 101143380 1620152320 394869 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 395545 394869 312 324 0 394614 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1582180

[startup+1782.3 s]
/proc/loadavg: 1.02 1.06 1.02 2/78 11472
/proc/meminfo: memFree=121208/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1602532 CPUtime=1781.6
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 400752 0 0 0 177869 291 0 0 25 0 1 0 101143380 1640992768 399943 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 400633 399943 312 324 0 399702 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 1602532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.01 1.05 1.02 2/78 11472
/proc/meminfo: memFree=113592/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=1610028 CPUtime=1800
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 402625 0 0 0 179708 292 0 0 25 0 1 0 101143380 1648668672 401816 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 402507 401816 312 324 0 401576 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1610028

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

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

[startup+1800.9 s]
/proc/loadavg: 1.01 1.05 1.02 2/78 11472
/proc/meminfo: memFree=113592/2055920 swapFree=4146224/4192956
[pid=10791] ppid=10789 vsize=0 CPUtime=1800.19
/proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194308 402626 0 0 0 179708 311 0 0 25 0 1 0 101143380 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/10791/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.95
CPU time (s): 1800.25
CPU user time (s): 1797.08
CPU system time (s): 3.16852
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 1610028

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

runsolver used 2.09868 second user time and 4.26535 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sun Apr 15 01:35:44 UTC 2007

IDJOB= 348852
IDBENCH= 1762
IDSOLVER= 163
FILE ID= node11/348852-1176600944

PBS_JOBID= 4556815

Free space on /tmp= 66465 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-khb05250.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348852-1176600944/instance-348852-1176600944.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-348852-1176600944 -o ROOT/results/node11/solver-348852-1176600944 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348852-1176600944/instance-348852-1176600944.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  0abc7673c35064c54cd6e972f16047d8

RANDOM SEED= 538539975

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1758112 kB
Buffers:         47020 kB
Cached:         185104 kB
SwapCached:      15124 kB
Active:          95180 kB
Inactive:       163588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1758112 kB
SwapTotal:     4192956 kB
SwapFree:      4146224 kB
Dirty:            5560 kB
Writeback:           0 kB
Mapped:          30432 kB
Slab:            24500 kB
Committed_AS:  5566200 kB
PageTables:       1848 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= 66465 MiB

End job on node11 on Sun Apr 15 02:05:47 UTC 2007