Trace number 2682112

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1 fixed? (TO) 1800.21 1800.71

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUMb1cb8dfc9613a6d80968091d3346a684
Bench CategoryOPT-MEDINT (optimisation, medium 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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5507
Optimality of the best value was proved NO
Number of variables23384
Total number of constraints2806
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint14
Maximum length of a constraint1202
Number of terms in the objective function 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7037881
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.19/0.28	c constraints 2806/0 clauses 0/0 units 0
0.19/0.28	c vars 23384
0.19/0.28	c objective 1364 + 0
1800.10/1800.61	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682112-1277477087/watcher-2682112-1277477087 -o /tmp/evaluation-result-2682112-1277477087/solver-2682112-1277477087 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682112-1277477087.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 30038
/proc/meminfo: memFree=1738740/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=2280 CPUtime=0
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 283 0 0 0 0 0 0 0 25 0 1 0 89001863 2334720 203 1992294400 134512640 136421960 4289578592 18446744073709551615 135203776 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30038/statm: 570 204 145 467 0 101 0

[startup+0.014975 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 30038
/proc/meminfo: memFree=1738740/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=2412 CPUtime=0.01
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 329 0 0 0 1 0 0 0 25 0 1 0 89001863 2469888 249 1992294400 134512640 136421960 4289578592 18446744073709551615 134523850 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30038/statm: 603 250 145 467 0 134 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412

[startup+0.100985 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 30038
/proc/meminfo: memFree=1738740/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=4788 CPUtime=0.09
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 906 0 0 0 9 0 0 0 25 0 1 0 89001863 4902912 826 1992294400 134512640 136421960 4289578592 18446744073709551615 135160361 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30038/statm: 1197 827 145 467 0 728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4788

[startup+0.30101 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 30038
/proc/meminfo: memFree=1738740/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=13136 CPUtime=0.29
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 2818 0 0 0 28 1 0 0 25 0 1 0 89001863 13451264 2738 1992294400 134512640 136421960 4289578592 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 3284 2739 193 467 0 2815 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13136

[startup+0.701058 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 30038
/proc/meminfo: memFree=1738740/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=52168 CPUtime=0.69
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 12804 0 0 0 63 6 0 0 25 0 1 0 89001863 53420032 12285 1992294400 134512640 136421960 4289578592 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 13042 12286 193 467 0 12573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52168

[startup+1.50116 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 30039
/proc/meminfo: memFree=1662472/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=126028 CPUtime=1.49
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 32305 0 0 0 134 15 0 0 25 0 1 0 89001863 129052672 30852 1992294400 134512640 136421960 4289578592 18446744073709551615 135818484 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 31507 30853 193 467 0 31038 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126028

[startup+3.10135 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 30039
/proc/meminfo: memFree=1575920/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=227912 CPUtime=3.09
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 59708 0 0 0 284 25 0 0 25 0 1 0 89001863 233381888 54535 1992294400 134512640 136421960 4289578592 18446744073709551615 135801268 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 56978 54536 193 467 0 56509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 227912

[startup+6.30075 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 30039
/proc/meminfo: memFree=1360160/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=415608 CPUtime=6.29
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 108340 0 0 0 581 48 0 0 25 0 1 0 89001863 425582592 99879 1992294400 134512640 136421960 4289578592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 103902 99879 215 467 0 103433 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 415608

[startup+12.7015 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 30039
/proc/meminfo: memFree=1332268/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=422824 CPUtime=12.69
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 110105 0 0 0 1161 108 0 0 25 0 1 0 89001863 432971776 101644 1992294400 134512640 136421960 4289578592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 105706 101644 215 467 0 105237 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 422824

[startup+25.5011 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 30039
/proc/meminfo: memFree=1326192/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=428404 CPUtime=25.48
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 111526 0 0 0 2329 219 0 0 25 0 1 0 89001863 438685696 103065 1992294400 134512640 136421960 4289578592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 107101 103065 215 467 0 106632 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 428404

[startup+51.1012 s]
/proc/loadavg: 1.00 0.97 0.83 2/106 30041
/proc/meminfo: memFree=1311312/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=443548 CPUtime=51.08
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 115184 0 0 0 4679 429 0 0 25 0 1 0 89001863 454193152 106723 1992294400 134512640 136421960 4289578592 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 110887 106723 215 467 0 110418 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 443548

[startup+102.309 s]
/proc/loadavg: 1.00 0.97 0.83 2/106 30041
/proc/meminfo: memFree=1279692/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=475144 CPUtime=102.27
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 123069 0 0 0 9450 777 0 0 25 0 1 0 89001863 486547456 114608 1992294400 134512640 136421960 4289578592 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 118786 114608 215 467 0 118317 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 475144

[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.84 2/106 30043
/proc/meminfo: memFree=1250428/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=504356 CPUtime=162.25
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 130352 0 0 0 15075 1150 0 0 25 0 1 0 89001863 516460544 121891 1992294400 134512640 136421960 4289578592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 126089 121891 215 467 0 125620 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 504356

[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.84 2/106 30045
/proc/meminfo: memFree=1235920/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=518532 CPUtime=222.23
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 133947 0 0 0 20777 1446 0 0 25 0 1 0 89001863 530976768 125486 1992294400 134512640 136421960 4289578592 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 129633 125486 215 467 0 129164 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 518532

[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.85 2/106 30047
/proc/meminfo: memFree=1211740/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=543080 CPUtime=282.21
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 140043 0 0 0 26473 1748 0 0 25 0 1 0 89001863 556113920 131582 1992294400 134512640 136421960 4289578592 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 135770 131582 215 467 0 135301 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 543080

[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.85 2/106 30049
/proc/meminfo: memFree=1192024/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=562628 CPUtime=342.2
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 144881 0 0 0 32201 2019 0 0 25 0 1 0 89001863 576131072 136420 1992294400 134512640 136421960 4289578592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 140657 136420 215 467 0 140188 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 562628

[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.86 2/106 30049
/proc/meminfo: memFree=1175532/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=579364 CPUtime=402.18
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 149044 0 0 0 37951 2267 0 0 25 0 1 0 89001863 593268736 140583 1992294400 134512640 136421960 4289578592 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 144841 140583 215 467 0 144372 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 579364

[startup+462.301 s]
/proc/loadavg: 1.00 0.97 0.87 2/106 30051
/proc/meminfo: memFree=1158916/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=596060 CPUtime=462.17
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 153174 0 0 0 43725 2492 0 0 25 0 1 0 89001863 610365440 144713 1992294400 134512640 136421960 4289578592 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 149015 144713 215 467 0 148546 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 596060

[startup+522.301 s]
/proc/loadavg: 1.00 0.97 0.87 2/106 30053
/proc/meminfo: memFree=1141556/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=613648 CPUtime=522.15
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 157495 0 0 0 49506 2709 0 0 25 0 1 0 89001863 628375552 149034 1992294400 134512640 136421960 4289578592 18446744073709551615 134640935 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 153412 149034 215 467 0 152943 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 613648

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.88 2/106 30055
/proc/meminfo: memFree=1117128/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=638104 CPUtime=582.13
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 163606 0 0 0 55297 2916 0 0 25 0 1 0 89001863 653418496 155145 1992294400 134512640 136421960 4289578592 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 159526 155145 215 467 0 159057 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 638104

[startup+642.301 s]
/proc/loadavg: 1.00 0.97 0.88 2/106 30057
/proc/meminfo: memFree=1098032/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=656940 CPUtime=642.12
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 168311 0 0 0 61107 3105 0 0 25 0 1 0 89001863 672706560 159850 1992294400 134512640 136421960 4289578592 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 164235 159850 215 467 0 163766 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 656940

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 0.97 0.90 2/106 30061
/proc/meminfo: memFree=1046324/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=709096 CPUtime=822.07
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 181186 0 0 0 78563 3644 0 0 25 0 1 0 89001863 726114304 172725 1992294400 134512640 136421960 4289578592 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 177274 172725 215 467 0 176805 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 709096

[startup+882.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30063
/proc/meminfo: memFree=1026484/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=728960 CPUtime=882.05
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 186114 0 0 0 84390 3815 0 0 25 0 1 0 89001863 746455040 177653 1992294400 134512640 136421960 4289578592 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 182240 177653 215 467 0 181771 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 728960

[startup+942.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30065
/proc/meminfo: memFree=1006768/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=748744 CPUtime=942.04
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 191057 0 0 0 90225 3979 0 0 25 0 1 0 89001863 766713856 182596 1992294400 134512640 136421960 4289578592 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 187186 182596 215 467 0 186717 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 748744

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30074
/proc/meminfo: memFree=990028/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=765316 CPUtime=1002
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 195171 0 0 0 96061 4139 0 0 25 0 1 0 89001863 783683584 186710 1992294400 134512640 136421960 4289578592 18446744073709551615 135686762 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 191329 186710 215 467 0 190860 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 765316

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30076
/proc/meminfo: memFree=969196/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=786284 CPUtime=1061.99
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 200391 0 0 0 101884 4315 0 0 25 0 1 0 89001863 805154816 191930 1992294400 134512640 136421960 4289578592 18446744073709551615 134597574 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 196571 191930 215 467 0 196102 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 786284

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30078
/proc/meminfo: memFree=947496/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=808316 CPUtime=1121.98
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 205851 0 0 0 107720 4478 0 0 25 0 1 0 89001863 827715584 197390 1992294400 134512640 136421960 4289578592 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 202079 197390 215 467 0 201610 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 808316

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30080
/proc/meminfo: memFree=924680/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=831192 CPUtime=1181.95
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 211561 0 0 0 113550 4645 0 0 25 0 1 0 89001863 851140608 203100 1992294400 134512640 136421960 4289578592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 207798 203100 215 467 0 207329 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 831192

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30082
/proc/meminfo: memFree=900376/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=855584 CPUtime=1241.94
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 217530 0 0 0 119380 4814 0 0 25 0 1 0 89001863 876118016 209069 1992294400 134512640 136421960 4289578592 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 213896 209069 215 467 0 213427 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 855584

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30082
/proc/meminfo: memFree=876940/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=878896 CPUtime=1301.93
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 223326 0 0 0 125212 4981 0 0 25 0 1 0 89001863 899989504 214865 1992294400 134512640 136421960 4289578592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 219724 214865 215 467 0 219255 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 878896

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30084
/proc/meminfo: memFree=854372/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=901668 CPUtime=1361.9
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 229011 0 0 0 131057 5133 0 0 25 0 1 0 89001863 923308032 220550 1992294400 134512640 136421960 4289578592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 225417 220550 215 467 0 224948 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 901668

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30086
/proc/meminfo: memFree=838872/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=917036 CPUtime=1421.9
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 232827 0 0 0 136903 5287 0 0 25 0 1 0 89001863 939044864 224366 1992294400 134512640 136421960 4289578592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 229259 224366 215 467 0 228790 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 917036

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30088
/proc/meminfo: memFree=820396/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=935816 CPUtime=1481.87
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 237469 0 0 0 142744 5443 0 0 25 0 1 0 89001863 958275584 229008 1992294400 134512640 136421960 4289578592 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 233954 229008 215 467 0 233485 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 935816

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30090
/proc/meminfo: memFree=804276/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=951864 CPUtime=1541.86
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 241459 0 0 0 148601 5585 0 0 25 0 1 0 89001863 974708736 232998 1992294400 134512640 136421960 4289578592 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 237966 232998 215 467 0 237497 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 951864

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30090
/proc/meminfo: memFree=783568/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=972648 CPUtime=1601.84
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 246644 0 0 0 154458 5726 0 0 25 0 1 0 89001863 995991552 238183 1992294400 134512640 136421960 4289578592 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 243162 238183 215 467 0 242693 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 972648

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30092
/proc/meminfo: memFree=761868/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=994416 CPUtime=1661.82
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 252025 0 0 0 160308 5874 0 0 25 0 1 0 89001863 1018281984 243564 1992294400 134512640 136421960 4289578592 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 248604 243564 215 467 0 248135 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 994416

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30094
/proc/meminfo: memFree=739672/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=1018544 CPUtime=1721.81
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 258057 0 0 0 166170 6011 0 0 25 0 1 0 89001863 1042989056 249596 1992294400 134512640 136421960 4289578592 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 254636 249596 215 467 0 254167 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1018544

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30096
/proc/meminfo: memFree=712516/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=1043628 CPUtime=1781.8
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 264310 0 0 0 172017 6163 0 0 25 0 1 0 89001863 1068675072 255849 1992294400 134512640 136421960 4289578592 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 260907 255849 215 467 0 260438 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1043628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 30096
/proc/meminfo: memFree=704208/2059040 swapFree=4139732/4192956
[pid=30038] ppid=30036 vsize=1051772 CPUtime=1800.1
/proc/30038/stat : 30038 (pbct) R 30036 30038 29924 0 -1 4202496 266328 0 0 0 173802 6208 0 0 25 0 1 0 89001863 1077014528 257867 1992294400 134512640 136421960 4289578592 18446744073709551615 135026187 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30038/statm: 262943 257867 215 467 0 262474 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1051772

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

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

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.21
CPU user time (s): 1738.02
CPU system time (s): 62.1855
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1051772

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

runsolver used 3.18851 second user time and 8.29174 second system time

The end

Launcher Data 

Begin job on node080 at 2010-06-25 16:44:47
IDJOB=2682112
IDBENCH=1520
IDSOLVER=1192
FILE ID=node080/2682112-1277477087
PBS_JOBID= 11190488
Free space on /tmp= 62284 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682112-1277477087/watcher-2682112-1277477087 -o /tmp/evaluation-result-2682112-1277477087/solver-2682112-1277477087 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2682112-1277477087.opb

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

MD5SUM BENCH= b1cb8dfc9613a6d80968091d3346a684
RANDOM SEED=655629810

node080.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1739144 kB
Buffers:         53080 kB
Cached:         166884 kB
SwapCached:       6228 kB
Active:          79360 kB
Inactive:       154388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1739144 kB
SwapTotal:     4192956 kB
SwapFree:      4139732 kB
Dirty:            2888 kB
Writeback:           0 kB
AnonPages:       12372 kB
Mapped:          12036 kB
Slab:            64324 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184804 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62284 MiB
End job on node080 at 2010-06-25 17:14:50