Trace number 2682915

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.11 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot4.opb
MD5SUM3562a44ca41f194f065cdd316b346d0e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.83242
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables26494
Total number of constraints657
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 constraints657
Minimum length of a constraint10
Maximum length of a constraint1427
Number of terms in the objective function 120
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 4294967292
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 14948627381600911360
Number of bits of the biggest number in a constraint 64
Biggest sum of numbers in a constraint 99417465468392888124
Number of bits of the biggest sum of numbers67
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.49/0.55	c constraints 649/0 clauses 0/0 units 1721
0.49/0.55	c vars 26494
0.49/0.55	c objective 120 + -4294967292
1800.00/1800.50	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-2682915-1277487138/watcher-2682915-1277487138 -o /tmp/evaluation-result-2682915-1277487138/solver-2682915-1277487138 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682915-1277487138.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: 0.99 0.98 0.91 3/106 29818
/proc/meminfo: memFree=1811408/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=2268 CPUtime=0
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 279 0 0 0 0 0 0 0 18 0 1 0 90006617 2322432 198 1992294400 134512640 136421960 4294169216 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29818/statm: 567 198 146 467 0 98 0

[startup+0.0327191 s]
/proc/loadavg: 0.99 0.98 0.91 3/106 29818
/proc/meminfo: memFree=1811408/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=2664 CPUtime=0.03
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 395 0 0 0 3 0 0 0 18 0 1 0 90006617 2727936 314 1992294400 134512640 136421960 4294169216 18446744073709551615 135272650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29818/statm: 666 314 146 467 0 197 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2664

[startup+0.100725 s]
/proc/loadavg: 0.99 0.98 0.91 3/106 29818
/proc/meminfo: memFree=1811408/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=4008 CPUtime=0.09
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 708 0 0 0 9 0 0 0 21 0 1 0 90006617 4104192 627 1992294400 134512640 136421960 4294169216 18446744073709551615 135160316 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29818/statm: 1002 627 146 467 0 533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4008

[startup+0.300747 s]
/proc/loadavg: 0.99 0.98 0.91 3/106 29818
/proc/meminfo: memFree=1811408/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=7516 CPUtime=0.29
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 1574 0 0 0 29 0 0 0 21 0 1 0 90006617 7696384 1493 1992294400 134512640 136421960 4294169216 18446744073709551615 135524193 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29818/statm: 1879 1493 146 467 0 1410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7516

[startup+0.700791 s]
/proc/loadavg: 0.99 0.98 0.91 3/106 29818
/proc/meminfo: memFree=1811408/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=27732 CPUtime=0.69
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 6580 0 0 0 65 4 0 0 22 0 1 0 90006617 28397568 6499 1992294400 134512640 136421960 4294169216 18446744073709551615 134559674 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 6933 6499 195 467 0 6464 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27732

[startup+1.50088 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29819
/proc/meminfo: memFree=1760684/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=86952 CPUtime=1.49
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 22096 0 0 0 137 12 0 0 25 0 1 0 90006617 89038848 20835 1992294400 134512640 136421960 4294169216 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 21738 20836 195 467 0 21269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86952

[startup+3.10105 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29819
/proc/meminfo: memFree=1695212/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=173180 CPUtime=3.09
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 45044 0 0 0 290 19 0 0 25 0 1 0 90006617 177336320 42306 1992294400 134512640 136421960 4294169216 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 43295 42307 195 467 0 42826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 173180

[startup+6.3014 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29819
/proc/meminfo: memFree=1510080/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=351448 CPUtime=6.29
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 93102 0 0 0 587 42 0 0 25 0 1 0 90006617 359882752 86646 1992294400 134512640 136421960 4294169216 18446744073709551615 135642853 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 87862 86647 195 467 0 87393 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 351448

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29819
/proc/meminfo: memFree=1236040/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=604836 CPUtime=12.69
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 157708 0 0 0 1191 78 0 0 25 0 1 0 90006617 619352064 143695 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 151209 143695 216 467 0 150740 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 604836

[startup+25.5005 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29821
/proc/meminfo: memFree=1231576/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=609192 CPUtime=25.48
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 158814 0 0 0 2449 99 0 0 25 0 1 0 90006617 623812608 144801 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 152298 144801 217 467 0 151829 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 609192

[startup+51.1003 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29821
/proc/meminfo: memFree=1222896/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=618056 CPUtime=51.08
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 161003 0 0 0 4974 134 0 0 25 0 1 0 90006617 632889344 146990 1992294400 134512640 136421960 4294169216 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 154514 146991 217 467 0 154045 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 618056

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29823
/proc/meminfo: memFree=1202684/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=637872 CPUtime=102.27
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 165977 0 0 0 10027 200 0 0 25 0 1 0 90006617 653180928 151964 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 159468 151964 217 467 0 158999 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 637872

[startup+162.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29823
/proc/meminfo: memFree=1182348/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=658360 CPUtime=162.24
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 171072 0 0 0 15955 269 0 0 25 0 1 0 90006617 674160640 157059 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 164590 157059 217 467 0 164121 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 658360

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29825
/proc/meminfo: memFree=1166228/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=674352 CPUtime=222.24
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 175050 0 0 0 21886 338 0 0 25 0 1 0 90006617 690536448 161037 1992294400 134512640 136421960 4294169216 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 168588 161037 217 467 0 168119 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 674352

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29827
/proc/meminfo: memFree=1150480/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=690092 CPUtime=282.22
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 179016 0 0 0 27820 402 0 0 25 0 1 0 90006617 706654208 165003 1992294400 134512640 136421960 4294169216 18446744073709551615 135818454 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 172523 165003 217 467 0 172054 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 690092

[startup+342.3 s]
/proc/loadavg: 1.03 1.00 0.91 2/107 29829
/proc/meminfo: memFree=1133368/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=707168 CPUtime=342.2
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 183254 0 0 0 33757 463 0 0 25 0 1 0 90006617 724140032 169241 1992294400 134512640 136421960 4294169216 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 176792 169241 217 467 0 176323 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 707168

[startup+402.301 s]
/proc/loadavg: 1.01 1.00 0.91 2/107 29831
/proc/meminfo: memFree=1116504/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=724228 CPUtime=402.18
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 187516 0 0 0 39698 520 0 0 25 0 1 0 90006617 741609472 173503 1992294400 134512640 136421960 4294169216 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 181057 173503 217 467 0 180588 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 724228

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29831
/proc/meminfo: memFree=1099268/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=741168 CPUtime=462.16
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 191764 0 0 0 45642 574 0 0 25 0 1 0 90006617 758956032 177751 1992294400 134512640 136421960 4294169216 18446744073709551615 135165424 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 185292 177751 217 467 0 184823 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 741168

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29833
/proc/meminfo: memFree=1083024/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=757436 CPUtime=522.15
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 195865 0 0 0 51581 634 0 0 25 0 1 0 90006617 775614464 181852 1992294400 134512640 136421960 4294169216 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 189359 181852 217 467 0 188890 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 757436

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29835
/proc/meminfo: memFree=1074096/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=766440 CPUtime=582.14
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 198058 0 0 0 57517 697 0 0 25 0 1 0 90006617 784834560 184045 1992294400 134512640 136421960 4294169216 18446744073709551615 135020784 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 191610 184045 217 467 0 191141 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 766440

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29837
/proc/meminfo: memFree=1060456/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=779684 CPUtime=642.13
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 201376 0 0 0 63463 750 0 0 25 0 1 0 90006617 798396416 187363 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 194921 187363 217 467 0 194452 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 779684

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29843
/proc/meminfo: memFree=1009368/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=830736 CPUtime=882.05
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 214093 0 0 0 87223 982 0 0 25 0 1 0 90006617 850673664 200080 1992294400 134512640 136421960 4294169216 18446744073709551615 134861995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 207684 200080 217 467 0 207215 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 830736

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29845
/proc/meminfo: memFree=999324/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=840692 CPUtime=942.04
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 216608 0 0 0 93173 1031 0 0 25 0 1 0 90006617 860868608 202595 1992294400 134512640 136421960 4294169216 18446744073709551615 135028852 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 210173 202595 217 467 0 209704 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 840692

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29847
/proc/meminfo: memFree=990148/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=849824 CPUtime=1002.02
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 218879 0 0 0 99123 1079 0 0 25 0 1 0 90006617 870219776 204866 1992294400 134512640 136421960 4294169216 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 212456 204866 217 467 0 211987 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 849824

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29847
/proc/meminfo: memFree=980600/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=859348 CPUtime=1062.01
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 221288 0 0 0 105080 1121 0 0 25 0 1 0 90006617 879972352 207275 1992294400 134512640 136421960 4294169216 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 214837 207275 217 467 0 214368 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 859348

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29849
/proc/meminfo: memFree=969688/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=870072 CPUtime=1121.99
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 223963 0 0 0 111038 1161 0 0 25 0 1 0 90006617 890953728 209950 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 217518 209950 217 467 0 217049 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 870072

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29851
/proc/meminfo: memFree=957784/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=882048 CPUtime=1181.98
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 226963 0 0 0 116997 1201 0 0 25 0 1 0 90006617 903217152 212950 1992294400 134512640 136421960 4294169216 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 220512 212950 217 467 0 220043 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 882048

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29853
/proc/meminfo: memFree=946252/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=893304 CPUtime=1241.97
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 229784 0 0 0 122956 1241 0 0 25 0 1 0 90006617 914743296 215771 1992294400 134512640 136421960 4294169216 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 223326 215771 217 467 0 222857 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 893304

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29855
/proc/meminfo: memFree=934844/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=904552 CPUtime=1301.95
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 232602 0 0 0 128914 1281 0 0 25 0 1 0 90006617 926261248 218589 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 226138 218589 217 467 0 225669 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 904552

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29855
/proc/meminfo: memFree=926412/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=913036 CPUtime=1361.93
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 234732 0 0 0 134867 1326 0 0 25 0 1 0 90006617 934948864 220719 1992294400 134512640 136421960 4294169216 18446744073709551615 134862061 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 228259 220719 217 467 0 227790 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 913036

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29857
/proc/meminfo: memFree=919096/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=920904 CPUtime=1421.92
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 236552 0 0 0 140817 1375 0 0 25 0 1 0 90006617 943005696 222539 1992294400 134512640 136421960 4294169216 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 230226 222539 217 467 0 229757 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 920904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29859
/proc/meminfo: memFree=908184/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=931768 CPUtime=1481.89
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 239297 0 0 0 146769 1420 0 0 25 0 1 0 90006617 954130432 225284 1992294400 134512640 136421960 4294169216 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 232942 225284 217 467 0 232473 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 931768

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29861
/proc/meminfo: memFree=896652/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=943144 CPUtime=1541.88
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 242113 0 0 0 152727 1461 0 0 25 0 1 0 90006617 965779456 228100 1992294400 134512640 136421960 4294169216 18446744073709551615 134862075 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 235786 228100 217 467 0 235317 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 943144

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29863
/proc/meminfo: memFree=889584/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=950148 CPUtime=1601.86
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 243910 0 0 0 158687 1499 0 0 25 0 1 0 90006617 972951552 229897 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 237537 229897 217 467 0 237068 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 950148

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 3/107 29863
/proc/meminfo: memFree=878796/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=960904 CPUtime=1661.85
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 246595 0 0 0 164649 1536 0 0 25 0 1 0 90006617 983965696 232582 1992294400 134512640 136421960 4294169216 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 240226 232582 217 467 0 239757 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 960904

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29865
/proc/meminfo: memFree=868628/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=971020 CPUtime=1721.82
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 249130 0 0 0 170616 1566 0 0 25 0 1 0 90006617 994324480 235117 1992294400 134512640 136421960 4294169216 18446744073709551615 135020787 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/29818/statm: 242755 235117 217 467 0 242286 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 971020

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29876
/proc/meminfo: memFree=858336/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=981096 CPUtime=1781.8
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 251629 0 0 0 176575 1605 0 0 25 0 1 0 90006617 1004642304 237616 1992294400 134512640 136421960 4294169216 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 245274 237616 217 467 0 244805 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 981096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29876
/proc/meminfo: memFree=856228/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=983076 CPUtime=1800
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 252130 0 0 0 178383 1617 0 0 25 0 1 0 90006617 1006669824 238117 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 245769 238117 217 467 0 245300 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 983076

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29876
/proc/meminfo: memFree=856228/2059040 swapFree=4140312/4192956
[pid=29818] ppid=29816 vsize=983076 CPUtime=1800
/proc/29818/stat : 29818 (pbct) R 29816 29818 29145 0 -1 4202496 252130 0 0 0 178383 1617 0 0 25 0 1 0 90006617 1006669824 238117 1992294400 134512640 136421960 4294169216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29818/statm: 245769 238117 217 467 0 245300 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 983076

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.11
CPU user time (s): 1783.84
CPU system time (s): 16.2725
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 983076

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

runsolver used 3.04754 second user time and 8.42972 second system time

The end

Launcher Data 

Begin job on node038 at 2010-06-25 19:32:19
IDJOB=2682915
IDBENCH=2424
IDSOLVER=1192
FILE ID=node038/2682915-1277487138
PBS_JOBID= 11190506
Free space on /tmp= 62460 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-pilot4.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682915-1277487138/watcher-2682915-1277487138 -o /tmp/evaluation-result-2682915-1277487138/solver-2682915-1277487138 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2682915-1277487138.opb

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

MD5SUM BENCH= 3562a44ca41f194f065cdd316b346d0e
RANDOM SEED=1071735647

node038.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.222
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.44
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.222
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1811936 kB
Buffers:         46072 kB
Cached:          94732 kB
SwapCached:       5416 kB
Active:          66464 kB
Inactive:        87276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1811936 kB
SwapTotal:     4192956 kB
SwapFree:      4140312 kB
Dirty:            6136 kB
Writeback:           0 kB
AnonPages:       11596 kB
Mapped:          11948 kB
Slab:            71392 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181520 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= 62456 MiB
End job on node038 at 2010-06-25 20:02:21