Trace number 433174

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.26 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-swath3.opb
MD5SUM24a38adb0cf3d573eb3de1ce9ead1201
Bench CategoryOPT-BIGINT (optimisation, big 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 variables49335
Total number of constraints4902
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)209
Number of constraints which are nor clauses,nor cardinality constraints4693
Minimum length of a constraint1
Maximum length of a constraint46934
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824000000
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4776342294353942
Number of bits of the biggest sum of numbers53
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/433174-1177955970/instance-433174-1177955970.opb
0.00/0.00	c File size is 4555091 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.79/0.87	c Highest Coefficient sum: 4.77634e+15
0.79/0.87	c Parsing was ok!!
0.79/0.87	c Total parsing time: 0.866 s
0.89/0.91	c Var: 49335 Constr: 5406 610/0/4796 Lit: 539508 Watch. Lit: 162484
0.89/0.91	c Obj. Vars: 31 (0.0628357 % of total variables)
180.44/180.60	c Pre-processing Time: 180.449 s
1800.05/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.61	c        0  47013     4412   532754  120   265002  500000      0      0 180.45
1800.05/1800.61	c      101  47013     4513   802046  177   395552  550001    101      0 200.70
1800.05/1800.61	c      253  47013     4665  1224164  262   395505  605002    253      1 205.59
1800.05/1800.61	c      478  47013     4890  1813866  370   395575  665503    478      2 230.04
1800.05/1800.61	c      817  47013     5229  2753920  526   395545  732054    817      3 239.38
1800.05/1800.61	c     1326  47013     5738  4163495  725   396489  805260   1326      5 251.48
1800.05/1800.61	c     2089  47013     6501  6272608  964   398063  885787   2089      7 261.66
1800.05/1800.61	c     3235  47013     7647  9434966 1233   400365  974366   3235     10 306.46
1800.05/1800.61	c     4956  47013     9368 14176233 1513   403859  500000   4956     14 350.12
1800.05/1800.61	c     7543  47013    11955 21294845 1781   409023  550001   7543     17 442.78
1800.05/1800.61	c    11422  47013    15834 31959353 2018   416838  605002  11422     19 587.24
1800.05/1800.61	c    17244  47013    21656 51440965 2375   429264  665503  17244     23 743.94
1800.05/1800.61	c    25985  47013    30397 85152962 2801   444622  732054  25985     25 1023.02
1800.05/1800.61	c    39095  47013    43507 95056467 2184   470375  805260  39095     22 1750.11
1800.05/1800.61	c Caught signal: 15
1800.05/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.61	c   13    39258   1321   333603    43670 95512979  39258     21 1800.06
1800.05/1800.61	s UNKNOWN
1800.05/1800.61	c Total time: 1800.06 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/node4/watcher-433174-1177955970 -o ROOT/results/node4/solver-433174-1177955970 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433174-1177955970/instance-433174-1177955970.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.95 0.96 3/77 1561
/proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=16188 CPUtime=0
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 271634741 16576512 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11022104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 4047 335 280 324 0 2004 0

[startup+0.038713 s]
/proc/loadavg: 0.92 0.95 0.96 3/77 1561
/proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=9680 CPUtime=0.03
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 728 0 0 0 3 0 0 0 18 0 1 0 271634741 9912320 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 2420 699 325 324 0 377 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9680

[startup+0.101718 s]
/proc/loadavg: 0.92 0.95 0.96 3/77 1561
/proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=12160 CPUtime=0.09
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 1474 0 0 0 9 0 0 0 18 0 1 0 271634741 12451840 1325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 3040 1325 404 324 0 997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12160

[startup+0.301737 s]
/proc/loadavg: 0.92 0.95 0.96 3/77 1561
/proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=14496 CPUtime=0.29
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 2701 0 0 0 29 0 0 0 19 0 1 0 271634741 14843904 2184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 3624 2184 667 324 0 1581 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14496

[startup+0.701775 s]
/proc/loadavg: 0.92 0.95 0.96 3/77 1561
/proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=17884 CPUtime=0.69
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 4139 0 0 0 68 1 0 0 22 0 1 0 271634741 18313216 3573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 4471 3573 1213 324 0 2428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17884

[startup+1.50185 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 1562
/proc/meminfo: memFree=1829264/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=24924 CPUtime=1.49
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7136 0 0 0 147 2 0 0 25 0 1 0 271634741 25522176 5457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 6231 5457 304 324 0 5301 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24924

[startup+3.102 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 1562
/proc/meminfo: memFree=1828368/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=25056 CPUtime=3.09
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7141 0 0 0 307 2 0 0 25 0 1 0 271634741 25657344 5462 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 6264 5462 304 324 0 5334 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25056

[startup+6.30131 s]
/proc/loadavg: 1.01 0.97 0.96 2/78 1562
/proc/meminfo: memFree=1827984/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=25188 CPUtime=6.28
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7179 0 0 0 626 2 0 0 25 0 1 0 271634741 25792512 5500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 6297 5500 304 324 0 5367 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25188

[startup+12.7029 s]
/proc/loadavg: 1.01 0.97 0.96 2/78 1562
/proc/meminfo: memFree=1828112/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=25188 CPUtime=12.68
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7179 0 0 0 1266 2 0 0 25 0 1 0 271634741 25792512 5500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 6297 5500 304 324 0 5367 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25188

[startup+25.5011 s]
/proc/loadavg: 1.00 0.97 0.96 2/78 1562
/proc/meminfo: memFree=1828240/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=25188 CPUtime=25.48
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7189 0 0 0 2546 2 0 0 25 0 1 0 271634741 25792512 5510 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 6297 5510 304 324 0 5367 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25188

[startup+51.1016 s]
/proc/loadavg: 1.06 0.99 0.97 2/78 1562
/proc/meminfo: memFree=1828240/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=25188 CPUtime=51.06
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7198 0 0 0 5104 2 0 0 25 0 1 0 271634741 25792512 5519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 6297 5519 304 324 0 5367 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 25188

[startup+102.306 s]
/proc/loadavg: 1.02 0.99 0.97 2/84 1638
/proc/meminfo: memFree=1826720/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=25452 CPUtime=102.23
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7245 0 0 0 10220 3 0 0 25 0 1 0 271634741 26062848 5566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 6363 5566 304 324 0 5433 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 25452

[startup+162.301 s]
/proc/loadavg: 1.01 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1827600/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=25584 CPUtime=162.14
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7278 0 0 0 16211 3 0 0 25 0 1 0 271634741 26198016 5599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 6396 5599 304 324 0 5466 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 25584

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1813328/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=39788 CPUtime=222.13
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 10957 0 0 0 22208 5 0 0 25 0 1 0 271634741 40742912 9181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 9947 9181 309 324 0 9017 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 39788

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1730448/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=123028 CPUtime=282.12
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 31775 0 0 0 28196 16 0 0 25 0 1 0 271634741 125980672 29999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 30757 29999 309 324 0 29827 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 123028

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1656656/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=196212 CPUtime=342.1
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 50083 0 0 0 34187 23 0 0 25 0 1 0 271634741 200921088 48307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 49053 48307 309 324 0 48123 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 196212

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1592080/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=260868 CPUtime=402.09
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 66234 0 0 0 40177 32 0 0 25 0 1 0 271634741 267128832 64458 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 65217 64458 309 324 0 64287 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 260868

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1544912/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=307928 CPUtime=462.07
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 77992 0 0 0 46170 37 0 0 25 0 1 0 271634741 315318272 76216 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 76982 76216 309 324 0 76052 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 307928

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1486416/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=367064 CPUtime=522.05
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 92793 0 0 0 52162 43 0 0 25 0 1 0 271634741 375873536 91017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 91766 91017 309 324 0 90836 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 367064

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1431312/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=421628 CPUtime=582.05
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 106434 0 0 0 58155 50 0 0 25 0 1 0 271634741 431747072 104658 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 105407 104658 309 324 0 104477 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 421628

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1395344/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=457152 CPUtime=642.03
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 115307 0 0 0 64150 53 0 0 25 0 1 0 271634741 468123648 113531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 114288 113531 309 324 0 113358 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 457152


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1143184/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=708748 CPUtime=881.96
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 178238 0 0 0 88114 82 0 0 25 0 1 0 271634741 725757952 176462 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 177187 176462 309 324 0 176257 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 708748

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=1132496/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=719432 CPUtime=941.95
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 180919 0 0 0 94111 84 0 0 25 0 1 0 271634741 736698368 179143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 179858 179143 309 324 0 178928 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 719432

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=856976/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=996028 CPUtime=1001.93
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 250060 0 0 0 100083 110 0 0 25 0 1 0 271634741 1019932672 248284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 249007 248284 309 324 0 248077 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 996028

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=741840/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1109412 CPUtime=1061.92
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 278397 0 0 0 106070 122 0 0 25 0 1 0 271634741 1136037888 276621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 277353 276621 309 324 0 276423 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1109412

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=731088/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1120048 CPUtime=1121.91
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 281058 0 0 0 112068 123 0 0 25 0 1 0 271634741 1146929152 279282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 280012 279282 309 324 0 279082 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1120048

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=720720/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1130448 CPUtime=1181.9
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 283669 0 0 0 118065 125 0 0 25 0 1 0 271634741 1157578752 281893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 282612 281893 309 324 0 281682 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1130448

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=707088/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1143888 CPUtime=1241.88
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 287030 0 0 0 124061 127 0 0 25 0 1 0 271634741 1171341312 285254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 285972 285254 309 324 0 285042 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1143888

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=697424/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1153488 CPUtime=1301.87
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 289410 0 0 0 130058 129 0 0 25 0 1 0 271634741 1181171712 287634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 288372 287634 309 324 0 287442 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1153488

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=685072/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1165812 CPUtime=1361.85
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 292513 0 0 0 136053 132 0 0 25 0 1 0 271634741 1193791488 290737 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 291453 290737 309 324 0 290523 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1165812

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=672528/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1178304 CPUtime=1421.84
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 295631 0 0 0 142050 134 0 0 25 0 1 0 271634741 1206583296 293855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 294576 293855 309 324 0 293646 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1178304

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=663376/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1187528 CPUtime=1481.82
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 297933 0 0 0 148046 136 0 0 25 0 1 0 271634741 1216028672 296157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 296882 296157 309 324 0 295952 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1187528

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=652816/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1197952 CPUtime=1541.8
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 300548 0 0 0 154043 137 0 0 25 0 1 0 271634741 1226702848 298772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 299488 298772 309 324 0 298558 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1197952

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=639120/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1211792 CPUtime=1601.78
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 303988 0 0 0 160039 139 0 0 25 0 1 0 271634741 1240875008 302212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 302948 302212 309 324 0 302018 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1211792

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=629904/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1220876 CPUtime=1661.77
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 306268 0 0 0 166036 141 0 0 25 0 1 0 271634741 1250177024 304492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 305219 304492 309 324 0 304289 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1220876

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=621136/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1229692 CPUtime=1721.76
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 308471 0 0 0 172034 142 0 0 25 0 1 0 271634741 1259204608 306695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 307423 306695 309 324 0 306493 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1229692

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=615696/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1234980 CPUtime=1781.74
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 309788 0 0 0 178031 143 0 0 25 0 1 0 271634741 1264619520 308012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 308745 308012 309 324 0 307815 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1234980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=611728/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=1238928 CPUtime=1800.05
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 310775 0 0 0 179861 144 0 0 25 0 1 0 271634741 1268662272 308999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 309732 308999 309 324 0 308802 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1238928

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 1766
/proc/meminfo: memFree=611728/2055920 swapFree=4141160/4192956
[pid=1561] ppid=1559 vsize=0 CPUtime=1800.24
/proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194308 310779 0 0 0 179861 163 0 0 25 0 1 0 271634741 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/1561/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.81
CPU time (s): 1800.26
CPU user time (s): 1798.61
CPU system time (s): 1.64275
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1238928

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

runsolver used 1.44078 second user time and 3.69344 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Mon Apr 30 17:59:30 UTC 2007

IDJOB= 433174
IDBENCH= 2326
IDSOLVER= 199
FILE ID= node4/433174-1177955970

PBS_JOBID= 4727703

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  24a38adb0cf3d573eb3de1ce9ead1201

RANDOM SEED= 66678537

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1849584 kB
Buffers:         33964 kB
Cached:          86276 kB
SwapCached:      14808 kB
Active:          46360 kB
Inactive:        96552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849584 kB
SwapTotal:     4192956 kB
SwapFree:      4141160 kB
Dirty:           11180 kB
Writeback:           0 kB
Mapped:          29588 kB
Slab:            48752 kB
Committed_AS:  6428624 kB
PageTables:       1816 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= 66554 MiB

End job on node4 on Mon Apr 30 18:29:33 UTC 2007