Trace number 2681937

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.2 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-maros.opb
MD5SUMa4588bb38746a3d57566a2a5df85a941
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 variables42240
Total number of constraints836
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 constraints836
Minimum length of a constraint30
Maximum length of a constraint4740
Number of terms in the objective function 10110
Biggest coefficient in the objective function 330175610880000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 14934064445704252926
Number of bits of the sum of numbers in the objective function 64
Biggest number in a constraint 330175610880000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 14934064445704252926
Number of bits of the biggest sum of numbers64
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
1.59/1.61	c constraints 813/0 clauses 0/0 units 4533
1.59/1.61	c vars 42240
1.69/1.70	c objective 9170 + -8917667353162806296
1800.07/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-2681937-1277486674/watcher-2681937-1277486674 -o /tmp/evaluation-result-2681937-1277486674/solver-2681937-1277486674 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681937-1277486674.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 2/106 28722
/proc/meminfo: memFree=1812820/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=2416 CPUtime=0
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 293 0 0 0 0 0 0 0 20 0 1 0 89958503 2473984 212 1992294400 134512640 136421960 4287256416 18446744073709551615 135161995 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28722/statm: 604 212 138 467 0 135 0

[startup+0.053164 s]
/proc/loadavg: 1.00 1.00 0.99 2/106 28722
/proc/meminfo: memFree=1812820/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=3136 CPUtime=0.05
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 499 0 0 0 5 0 0 0 23 0 1 0 89958503 3211264 385 1992294400 134512640 136421960 4287256416 18446744073709551615 135159016 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28722/statm: 784 385 146 467 0 315 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3136

[startup+0.101171 s]
/proc/loadavg: 1.00 1.00 0.99 2/106 28722
/proc/meminfo: memFree=1812820/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=4356 CPUtime=0.09
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 773 0 0 0 9 0 0 0 23 0 1 0 89958503 4460544 659 1992294400 134512640 136421960 4287256416 18446744073709551615 135380465 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28722/statm: 1089 659 146 467 0 620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4356

[startup+0.3012 s]
/proc/loadavg: 1.00 1.00 0.99 2/106 28722
/proc/meminfo: memFree=1812820/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=6636 CPUtime=0.29
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 1343 0 0 0 29 0 0 0 23 0 1 0 89958503 6795264 1229 1992294400 134512640 136421960 4287256416 18446744073709551615 134554612 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28722/statm: 1659 1229 146 467 0 1190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6636

[startup+0.701258 s]
/proc/loadavg: 1.00 1.00 0.99 2/106 28722
/proc/meminfo: memFree=1812820/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=10832 CPUtime=0.69
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 2302 0 0 0 68 1 0 0 25 0 1 0 89958503 11091968 2188 1992294400 134512640 136421960 4287256416 18446744073709551615 135380560 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28722/statm: 2708 2188 146 467 0 2239 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10832

[startup+1.50137 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28723
/proc/meminfo: memFree=1799172/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=24324 CPUtime=1.49
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 5541 0 0 0 146 3 0 0 25 0 1 0 89958503 24907776 5427 1992294400 134512640 136421960 4287256416 18446744073709551615 135161809 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28722/statm: 6081 5427 147 467 0 5612 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24324

[startup+3.10061 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28723
/proc/meminfo: memFree=1752920/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=146112 CPUtime=3.09
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 37255 0 0 0 292 17 0 0 25 0 1 0 89958503 149618688 35834 1992294400 134512640 136421960 4287256416 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 36528 35835 195 467 0 36059 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 146112

[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28723
/proc/meminfo: memFree=1543360/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=326564 CPUtime=6.29
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 85479 0 0 0 592 37 0 0 25 0 1 0 89958503 334401536 79825 1992294400 134512640 136421960 4287256416 18446744073709551615 134784055 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 81641 79825 195 467 0 81172 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 326564

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28723
/proc/meminfo: memFree=1200880/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=658536 CPUtime=12.69
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 176362 0 0 0 1194 75 0 0 25 0 1 0 89958503 674340864 162699 1992294400 134512640 136421960 4287256416 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 164634 162700 195 467 0 164165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 658536

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28723
/proc/meminfo: memFree=721620/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1150508 CPUtime=25.48
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 303919 0 0 0 2411 137 0 0 25 0 1 0 89958503 1178120192 272331 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 287627 272331 217 467 0 287158 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1150508

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28723
/proc/meminfo: memFree=718272/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1154060 CPUtime=51.08
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 304791 0 0 0 4905 203 0 0 25 0 1 0 89958503 1181757440 273203 1992294400 134512640 136421960 4287256416 18446744073709551615 135238888 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 288515 273203 217 467 0 288046 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1154060

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28725
/proc/meminfo: memFree=704880/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1167192 CPUtime=102.26
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 308089 0 0 0 9900 326 0 0 25 0 1 0 89958503 1195204608 276501 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 291798 276501 217 467 0 291329 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1167192

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28727
/proc/meminfo: memFree=695704/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1176204 CPUtime=162.25
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 310378 0 0 0 15765 460 0 0 25 0 1 0 89958503 1204432896 278790 1992294400 134512640 136421960 4287256416 18446744073709551615 135154945 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 294051 278790 217 467 0 293582 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1176204

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28729
/proc/meminfo: memFree=681940/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1190432 CPUtime=222.23
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 313940 0 0 0 21624 599 0 0 25 0 1 0 89958503 1219002368 282223 1992294400 134512640 136421960 4287256416 18446744073709551615 135028857 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 297608 282223 217 467 0 297139 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1190432

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28729
/proc/meminfo: memFree=666564/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1206032 CPUtime=282.2
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 317810 0 0 0 27491 729 0 0 25 0 1 0 89958503 1234976768 286093 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 301508 286093 217 467 0 301039 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1206032

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28731
/proc/meminfo: memFree=644864/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1228040 CPUtime=342.19
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 323191 0 0 0 33333 886 0 0 25 0 1 0 89958503 1257512960 291474 1992294400 134512640 136421960 4287256416 18446744073709551615 135023978 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 307010 291474 217 467 0 306541 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1228040

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28733
/proc/meminfo: memFree=637920/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1234792 CPUtime=402.18
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 324941 0 0 0 39177 1041 0 0 25 0 1 0 89958503 1264427008 293224 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 308698 293224 217 467 0 308229 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1234792

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28735
/proc/meminfo: memFree=631348/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1241264 CPUtime=462.16
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 326576 0 0 0 45009 1207 0 0 25 0 1 0 89958503 1271054336 294859 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 310316 294859 217 467 0 309847 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1241264

[startup+522.301 s]
/proc/loadavg: 1.05 1.01 0.99 2/107 28737
/proc/meminfo: memFree=625892/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1246548 CPUtime=522.14
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 327916 0 0 0 50877 1337 0 0 25 0 1 0 89958503 1276465152 296199 1992294400 134512640 136421960 4287256416 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 311637 296199 217 467 0 311168 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1246548

[startup+582.301 s]
/proc/loadavg: 1.02 1.01 0.99 2/107 28740
/proc/meminfo: memFree=620064/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1252176 CPUtime=582.12
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 329182 0 0 0 56759 1453 0 0 25 0 1 0 89958503 1282228224 297465 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 313044 297465 217 467 0 312575 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1252176

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28742
/proc/meminfo: memFree=615600/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1256648 CPUtime=642.11
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 330292 0 0 0 62646 1565 0 0 25 0 1 0 89958503 1286807552 298575 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 314162 298575 217 467 0 313693 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1256648

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28748
/proc/meminfo: memFree=600844/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1271288 CPUtime=882.03
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 333990 0 0 0 86268 1935 0 0 25 0 1 0 89958503 1301798912 302273 1992294400 134512640 136421960 4287256416 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 317822 302273 217 467 0 317353 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1271288

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28750
/proc/meminfo: memFree=598116/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1274012 CPUtime=942.01
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 334679 0 0 0 92178 2023 0 0 25 0 1 0 89958503 1304588288 302962 1992294400 134512640 136421960 4287256416 18446744073709551615 135006000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 318503 302962 217 467 0 318034 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1274012

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28752
/proc/meminfo: memFree=595264/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1276852 CPUtime=1001.99
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 335389 0 0 0 98091 2108 0 0 25 0 1 0 89958503 1307496448 303672 1992294400 134512640 136421960 4287256416 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 319213 303672 217 467 0 318744 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1276852

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28754
/proc/meminfo: memFree=592288/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1279840 CPUtime=1061.98
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 336111 0 0 0 104011 2187 0 0 25 0 1 0 89958503 1310556160 304394 1992294400 134512640 136421960 4287256416 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 319960 304394 217 467 0 319491 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1279840

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28756
/proc/meminfo: memFree=589436/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1282664 CPUtime=1121.95
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 336828 0 0 0 109933 2262 0 0 25 0 1 0 89958503 1313447936 305111 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 320666 305111 217 467 0 320197 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1282664

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28756
/proc/meminfo: memFree=586584/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1285436 CPUtime=1181.94
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 337532 0 0 0 115855 2339 0 0 25 0 1 0 89958503 1316286464 305815 1992294400 134512640 136421960 4287256416 18446744073709551615 134861940 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 321359 305815 217 467 0 320890 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1285436

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28758
/proc/meminfo: memFree=583980/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1288840 CPUtime=1241.92
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 338165 0 0 0 121781 2411 0 0 25 0 1 0 89958503 1319772160 306448 1992294400 134512640 136421960 4287256416 18446744073709551615 135163000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 322210 306448 217 467 0 321741 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1288840

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28760
/proc/meminfo: memFree=581624/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1291244 CPUtime=1301.91
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 338754 0 0 0 127710 2481 0 0 25 0 1 0 89958503 1322233856 307037 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 322811 307037 217 467 0 322342 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1291244

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28762
/proc/meminfo: memFree=579392/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1293388 CPUtime=1361.88
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 339318 0 0 0 133635 2553 0 0 25 0 1 0 89958503 1324429312 307601 1992294400 134512640 136421960 4287256416 18446744073709551615 135238888 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 323347 307601 217 467 0 322878 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1293388

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28764
/proc/meminfo: memFree=577036/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1295796 CPUtime=1421.87
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 339914 0 0 0 139565 2622 0 0 25 0 1 0 89958503 1326895104 308197 1992294400 134512640 136421960 4287256416 18446744073709551615 135028875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 323949 308197 217 467 0 323480 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1295796

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28764
/proc/meminfo: memFree=574556/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1298168 CPUtime=1481.85
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 340527 0 0 0 145495 2690 0 0 25 0 1 0 89958503 1329324032 308810 1992294400 134512640 136421960 4287256416 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 324542 308810 217 467 0 324073 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1298168

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28766
/proc/meminfo: memFree=572076/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1300472 CPUtime=1541.83
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 341128 0 0 0 151422 2761 0 0 25 0 1 0 89958503 1331683328 309411 1992294400 134512640 136421960 4287256416 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 325118 309411 217 467 0 324649 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1300472

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28768
/proc/meminfo: memFree=569720/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1302936 CPUtime=1601.81
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 341728 0 0 0 157358 2823 0 0 25 0 1 0 89958503 1334206464 310011 1992294400 134512640 136421960 4287256416 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 325734 310011 217 467 0 325265 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1302936

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28770
/proc/meminfo: memFree=567240/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1305384 CPUtime=1661.8
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 342346 0 0 0 163293 2887 0 0 25 0 1 0 89958503 1336713216 310629 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 326346 310629 217 467 0 325877 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1305384

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28772
/proc/meminfo: memFree=564760/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1308032 CPUtime=1721.77
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 342984 0 0 0 169227 2950 0 0 25 0 1 0 89958503 1339424768 311267 1992294400 134512640 136421960 4287256416 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 327008 311267 217 467 0 326539 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1308032

[startup+1782.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 28772
/proc/meminfo: memFree=562280/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1310360 CPUtime=1781.76
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 343555 0 0 0 175154 3022 0 0 25 0 1 0 89958503 1341808640 311838 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 327590 311838 217 467 0 327121 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1310360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 28774
/proc/meminfo: memFree=561660/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=1311068 CPUtime=1800.07
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4202496 343710 0 0 0 176964 3043 0 0 25 0 1 0 89958503 1342533632 311993 1992294400 134512640 136421960 4287256416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28722/statm: 327767 311993 217 467 0 327298 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1311068

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

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

[startup+1800.72 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 28774
/proc/meminfo: memFree=561660/2059040 swapFree=4140520/4192956
[pid=28722] ppid=28720 vsize=0 CPUtime=1800.17
/proc/28722/stat : 28722 (pbct) R 28720 28722 28115 0 -1 4194308 343712 0 0 0 176964 3053 0 0 25 0 1 0 89958503 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/28722/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.2
CPU user time (s): 1769.65
CPU system time (s): 30.5534
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1311068

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

runsolver used 2.84257 second user time and 8.63669 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-25 19:24:35
IDJOB=2681937
IDBENCH=2406
IDSOLVER=1192
FILE ID=node052/2681937-1277486674
PBS_JOBID= 11190494
Free space on /tmp= 62244 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681937-1277486674/watcher-2681937-1277486674 -o /tmp/evaluation-result-2681937-1277486674/solver-2681937-1277486674 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2681937-1277486674.opb

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

MD5SUM BENCH= a4588bb38746a3d57566a2a5df85a941
RANDOM SEED=1136603746

node052.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.262
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.52
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.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1813224 kB
Buffers:         35408 kB
Cached:         113756 kB
SwapCached:       5528 kB
Active:          63124 kB
Inactive:        99028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1813224 kB
SwapTotal:     4192956 kB
SwapFree:      4140520 kB
Dirty:            6460 kB
Writeback:           0 kB
AnonPages:       11672 kB
Mapped:          11884 kB
Slab:            61780 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180408 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= 62244 MiB
End job on node052 at 2010-06-25 19:54:38