Trace number 2668376

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? (TO) 1800.08 1800.54

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb
MD5SUM70ac8fda673b8cd0297ec54288f810c6
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 variables9818
Total number of constraints291
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 constraints291
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 9818
Biggest coefficient in the objective function 22009559908352000000
Number of bits for the biggest coefficient in the objective function 65
Sum of the numbers in the objective function 1485172925553747181346
Number of bits of the sum of numbers in the objective function 71
Biggest number in a constraint 22009559908352000000
Number of bits of the biggest number in a constraint 65
Biggest sum of numbers in a constraint 1485172925553747181346
Number of bits of the biggest sum of numbers71
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 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.09/0.13	c constraints 291/0 clauses 0/0 units 980
0.09/0.13	c vars 9818
0.09/0.15	c objective 9328 + 0
1800.04/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-2668376-1276570917/watcher-2668376-1276570917 -o /tmp/evaluation-result-2668376-1276570917/solver-2668376-1276570917 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668376-1276570917.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.01 1.02 1.00 3/106 2536
/proc/meminfo: memFree=1643080/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=2488 CPUtime=0
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 303 0 0 0 0 0 0 0 17 0 1 0 32693077 2547712 225 1992294400 134512640 136485738 4289631952 18446744073709551615 134524699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2536/statm: 622 225 151 482 0 138 0

[startup+0.0642299 s]
/proc/loadavg: 1.01 1.02 1.00 3/106 2536
/proc/meminfo: memFree=1643080/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=3340 CPUtime=0.06
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 538 0 0 0 6 0 0 0 17 0 1 0 32693077 3420160 427 1992294400 134512640 136485738 4289631952 18446744073709551615 134541569 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2536/statm: 835 427 157 482 0 351 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3340

[startup+0.101232 s]
/proc/loadavg: 1.01 1.02 1.00 3/106 2536
/proc/meminfo: memFree=1643080/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=4132 CPUtime=0.09
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 730 0 0 0 9 0 0 0 17 0 1 0 32693077 4231168 619 1992294400 134512640 136485738 4289631952 18446744073709551615 135688681 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2536/statm: 1033 619 157 482 0 549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4132

[startup+0.301251 s]
/proc/loadavg: 1.01 1.02 1.00 3/106 2536
/proc/meminfo: memFree=1643080/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=18072 CPUtime=0.29
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 4201 0 0 0 27 2 0 0 17 0 1 0 32693077 18505728 4090 1992294400 134512640 136485738 4289631952 18446744073709551615 135359995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 4518 4091 197 482 0 4034 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18072

[startup+0.701288 s]
/proc/loadavg: 1.01 1.02 1.00 3/106 2536
/proc/meminfo: memFree=1643080/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=48664 CPUtime=0.69
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 12058 0 0 0 64 5 0 0 17 0 1 0 32693077 49831936 11574 1992294400 134512640 136485738 4289631952 18446744073709551615 135848966 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 12166 11575 197 482 0 11682 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48664

[startup+1.50036 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 2537
/proc/meminfo: memFree=1583180/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=98104 CPUtime=1.49
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 25128 0 0 0 138 11 0 0 18 0 1 0 32693077 100458496 23903 1992294400 134512640 136485738 4289631952 18446744073709551615 134651003 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 24526 23903 197 482 0 24042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98104

[startup+3.10051 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 2537
/proc/meminfo: memFree=1484352/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=179772 CPUtime=3.09
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 46169 0 0 0 288 21 0 0 21 0 1 0 32693077 184086528 42808 1992294400 134512640 136485738 4289631952 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 44943 42808 228 482 0 44459 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 179772

[startup+6.30081 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 2537
/proc/meminfo: memFree=1466620/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=186516 CPUtime=6.29
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 47861 0 0 0 598 31 0 0 25 0 1 0 32693077 190992384 44500 1992294400 134512640 136485738 4289631952 18446744073709551615 135293797 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 46629 44501 228 482 0 46145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 186516

[startup+12.7014 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 2537
/proc/meminfo: memFree=1459056/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=193196 CPUtime=12.69
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 49529 0 0 0 1223 46 0 0 25 0 1 0 32693077 197832704 46168 1992294400 134512640 136485738 4289631952 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 48299 46168 228 482 0 47815 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 193196

[startup+25.5016 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 2537
/proc/meminfo: memFree=1450500/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=201484 CPUtime=25.48
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 51574 0 0 0 2483 65 0 0 25 0 1 0 32693077 206319616 48213 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 50371 48213 228 482 0 49887 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 201484

[startup+51.101 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 2539
/proc/meminfo: memFree=1447028/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=204772 CPUtime=51.07
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 52397 0 0 0 5002 105 0 0 25 0 1 0 32693077 209686528 49036 1992294400 134512640 136485738 4289631952 18446744073709551615 134880529 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 51193 49036 228 482 0 50709 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 204772

[startup+102.309 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 2539
/proc/meminfo: memFree=1438968/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=213212 CPUtime=102.26
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 54380 0 0 0 10054 172 0 0 25 0 1 0 32693077 218329088 51019 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 53303 51019 228 482 0 52819 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 213212

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2541
/proc/meminfo: memFree=1432148/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=220128 CPUtime=162.24
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 56053 0 0 0 15980 244 0 0 25 0 1 0 32693077 225411072 52692 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 55032 52692 228 482 0 54548 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 220128

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2543
/proc/meminfo: memFree=1432024/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=220344 CPUtime=222.22
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 56087 0 0 0 21911 311 0 0 25 0 1 0 32693077 225632256 52726 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 55086 52726 228 482 0 54602 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 220344

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2545
/proc/meminfo: memFree=1428676/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=224008 CPUtime=282.22
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 56918 0 0 0 27847 375 0 0 25 0 1 0 32693077 229384192 53557 1992294400 134512640 136485738 4289631952 18446744073709551615 135173316 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 56002 53557 228 482 0 55518 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 224008

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2545
/proc/meminfo: memFree=1425452/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=227436 CPUtime=342.2
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 57747 0 0 0 33776 444 0 0 25 0 1 0 32693077 232894464 54386 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 56859 54386 228 482 0 56375 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 227436

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2547
/proc/meminfo: memFree=1424584/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=228576 CPUtime=402.18
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 57965 0 0 0 39706 512 0 0 25 0 1 0 32693077 234061824 54604 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 57144 54604 228 482 0 56660 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 228576

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2549
/proc/meminfo: memFree=1424088/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=228976 CPUtime=462.17
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 58079 0 0 0 45648 569 0 0 25 0 1 0 32693077 234471424 54718 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 57244 54718 228 482 0 56760 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 228976

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2551
/proc/meminfo: memFree=1423964/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=229136 CPUtime=522.15
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 58117 0 0 0 51584 631 0 0 25 0 1 0 32693077 234635264 54756 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 57284 54756 228 482 0 56800 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 229136

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2553
/proc/meminfo: memFree=1415780/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=237612 CPUtime=582.13
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 60185 0 0 0 57540 673 0 0 25 0 1 0 32693077 243314688 56824 1992294400 134512640 136485738 4289631952 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 59403 56824 228 482 0 58919 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 237612

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2553
/proc/meminfo: memFree=1414912/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=238272 CPUtime=642.13
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 60371 0 0 0 63472 741 0 0 25 0 1 0 32693077 243990528 57010 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 59568 57010 228 482 0 59084 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 238272

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2564
/proc/meminfo: memFree=1411688/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=240976 CPUtime=882.06
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 61050 0 0 0 87233 973 0 0 25 0 1 0 32693077 246759424 57689 1992294400 134512640 136485738 4289631952 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 60244 57689 228 482 0 59760 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 240976

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2564
/proc/meminfo: memFree=1411688/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=240976 CPUtime=942.04
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 61050 0 0 0 93166 1038 0 0 25 0 1 0 32693077 246759424 57689 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 60244 57689 228 482 0 59760 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 240976

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 2566
/proc/meminfo: memFree=1411316/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=241376 CPUtime=1002.03
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 61137 0 0 0 99109 1094 0 0 25 0 1 0 32693077 247169024 57776 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 60344 57776 228 482 0 59860 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 241376

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 2568
/proc/meminfo: memFree=1411316/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=241376 CPUtime=1062.01
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 61137 0 0 0 105052 1149 0 0 25 0 1 0 32693077 247169024 57776 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 60344 57776 228 482 0 59860 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 241376

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2570
/proc/meminfo: memFree=1410448/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=242416 CPUtime=1122
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 61380 0 0 0 110996 1204 0 0 25 0 1 0 32693077 248233984 58019 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 60604 58019 228 482 0 60120 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 242416

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2572
/proc/meminfo: memFree=1410448/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=242416 CPUtime=1181.99
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 61380 0 0 0 116941 1258 0 0 25 0 1 0 32693077 248233984 58019 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 60604 58019 228 482 0 60120 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 242416

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2572
/proc/meminfo: memFree=1410448/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=242416 CPUtime=1241.97
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 61388 0 0 0 122882 1315 0 0 25 0 1 0 32693077 248233984 58027 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 60604 58027 228 482 0 60120 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 242416

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2574
/proc/meminfo: memFree=1410200/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=242656 CPUtime=1301.96
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 61449 0 0 0 128823 1373 0 0 25 0 1 0 32693077 248479744 58088 1992294400 134512640 136485738 4289631952 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 60664 58088 228 482 0 60180 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 242656

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2576
/proc/meminfo: memFree=1404868/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=248208 CPUtime=1361.94
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 62786 0 0 0 134782 1412 0 0 25 0 1 0 32693077 254164992 59425 1992294400 134512640 136485738 4289631952 18446744073709551615 134876017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 62052 59425 228 482 0 61568 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 248208

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2578
/proc/meminfo: memFree=1404868/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=248208 CPUtime=1421.93
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 62786 0 0 0 140718 1475 0 0 25 0 1 0 32693077 254164992 59425 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 62052 59425 228 482 0 61568 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 248208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2580
/proc/meminfo: memFree=1403380/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=249932 CPUtime=1481.91
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 63141 0 0 0 146673 1518 0 0 25 0 1 0 32693077 255930368 59780 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 62483 59780 228 482 0 61999 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 249932

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2580
/proc/meminfo: memFree=1399164/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=254512 CPUtime=1541.9
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 64195 0 0 0 152619 1571 0 0 25 0 1 0 32693077 260620288 60834 1992294400 134512640 136485738 4289631952 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 63628 60834 228 482 0 63144 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 254512

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2582
/proc/meminfo: memFree=1399164/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=254512 CPUtime=1601.88
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 64197 0 0 0 158562 1626 0 0 25 0 1 0 32693077 260620288 60836 1992294400 134512640 136485738 4289631952 18446744073709551615 135725088 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 63628 60836 228 482 0 63144 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 254512

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2584
/proc/meminfo: memFree=1397924/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=255832 CPUtime=1661.86
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 64529 0 0 0 164515 1671 0 0 25 0 1 0 32693077 261971968 61168 1992294400 134512640 136485738 4289631952 18446744073709551615 134669713 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 63958 61168 228 482 0 63474 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 255832

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2586
/proc/meminfo: memFree=1397800/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=255832 CPUtime=1721.85
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 64529 0 0 0 170451 1734 0 0 25 0 1 0 32693077 261971968 61168 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 63958 61168 228 482 0 63474 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 255832

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2588
/proc/meminfo: memFree=1397552/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=255832 CPUtime=1781.84
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 64531 0 0 0 176402 1782 0 0 25 0 1 0 32693077 261971968 61170 1992294400 134512640 136485738 4289631952 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 63958 61170 228 482 0 63474 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 255832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2588
/proc/meminfo: memFree=1397552/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=255832 CPUtime=1800.04
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 64535 0 0 0 178210 1794 0 0 25 0 1 0 32693077 261971968 61174 1992294400 134512640 136485738 4289631952 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 63958 61174 228 482 0 63474 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 255832

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 1.00 2/107 2588
/proc/meminfo: memFree=1397552/2059040 swapFree=4135896/4192956
[pid=2536] ppid=2534 vsize=255832 CPUtime=1800.04
/proc/2536/stat : 2536 (pbct) R 2534 2536 1526 0 -1 4202496 64535 0 0 0 178210 1794 0 0 25 0 1 0 32693077 261971968 61174 1992294400 134512640 136485738 4289631952 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2536/statm: 63958 61174 228 482 0 63474 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 255832

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.08
CPU user time (s): 1782.11
CPU system time (s): 17.9713
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 255832

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

runsolver used 2.94055 second user time and 8.5377 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-15 05:01:58
IDJOB=2668376
IDBENCH=2524
IDSOLVER=1170
FILE ID=node015/2668376-1276570917
PBS_JOBID= 11173511
Free space on /tmp= 62584 MiB

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

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

MD5SUM BENCH= 70ac8fda673b8cd0297ec54288f810c6
RANDOM SEED=549392042

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1643732 kB
Buffers:        172280 kB
Cached:         161852 kB
SwapCached:      11036 kB
Active:         101368 kB
Inactive:       246960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1643732 kB
SwapTotal:     4192956 kB
SwapFree:      4135896 kB
Dirty:            2520 kB
Writeback:           0 kB
AnonPages:       12216 kB
Mapped:           9240 kB
Slab:            45252 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180596 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= 62580 MiB
End job on node015 at 2010-06-15 05:32:00