Trace number 41550

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS 4.1L? (TO) 1800.44 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM6db31fd4066996ff4f309d723fc2c237
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark904
Best CPU time to get the best result obtained on this benchmark1514.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 904
Optimality of the best value was proved YES
Number of variables1800
Total number of constraints215
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)215
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint72
Number of terms in the objective function 1800
Biggest coefficient in the objective function 86
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 41700
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 86
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 41700
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node91/41550-1149370430/instance-41550-1149370430.opb ......
0.50	c done parsing opb.
0.50	o 1038
9.98	o 998
24.68	o 992
92.63	o 988
129.86	o 986
138.76	o 982
143.50	o 966
671.53	o 964
892.58	o 962
1136.10	o 958
1150.79	o 940

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node91/watcher-41550-1149370430 -o ROOT/results/node91/solver-41550-1149370430 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node91/41550-1149370430/instance-41550-1149370430.opb 334996145 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1612472/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=1572 CPUtime=0
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 174 0 0 0 0 0 0 0 18 0 1 0 202681915 1609728 159 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 393 161 90 232 0 158 0

[startup+10.0025 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1604984/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=8576 CPUtime=9.99
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 2039 0 0 0 973 26 0 0 25 0 1 0 202681915 8781824 1967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552348 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 2144 1967 108 232 0 1909 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 8576

[startup+20.0085 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1603960/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=13308 CPUtime=19.99
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 2391 0 0 0 1952 47 0 0 25 0 1 0 202681915 13627392 2222 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 3327 2222 108 232 0 3092 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 13308

[startup+30.0145 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1603000/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=14496 CPUtime=29.99
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 2803 0 0 0 2932 67 0 0 25 0 1 0 202681915 14843904 2441 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 3624 2441 108 232 0 3389 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 14496

[startup+40.0204 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1601848/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=14820 CPUtime=39.99
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 3110 0 0 0 3915 84 0 0 25 0 1 0 202681915 15175680 2748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 3705 2748 108 232 0 3470 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 14820

[startup+50.0264 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1601336/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=15116 CPUtime=50
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 3242 0 0 0 4898 102 0 0 25 0 1 0 202681915 15478784 2880 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 3779 2880 108 232 0 3544 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 15116

[startup+60.0323 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1600824/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=15440 CPUtime=60
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 3369 0 0 0 5883 117 0 0 25 0 1 0 202681915 15810560 3007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 3860 3007 108 232 0 3625 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 15440

[startup+70.0383 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1600312/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=17220 CPUtime=70
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 3871 0 0 0 6863 137 0 0 25 0 1 0 202681915 17633280 3124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 4305 3124 108 232 0 4070 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 17220

[startup+80.0453 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1599800/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=17500 CPUtime=80.01
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4001 0 0 0 7843 158 0 0 25 0 1 0 202681915 17920000 3254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 4375 3254 108 232 0 4140 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 17500

[startup+90.0512 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1599160/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=17780 CPUtime=90.01
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4155 0 0 0 8825 176 0 0 25 0 1 0 202681915 18206720 3408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 4445 3408 108 232 0 4210 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 17780

[startup+100.057 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1598776/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=17932 CPUtime=100.01
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4277 0 0 0 9805 196 0 0 25 0 1 0 202681915 18362368 3530 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 4483 3530 108 232 0 4248 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 17932

[startup+110.064 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1598264/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=18264 CPUtime=110.02
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4399 0 0 0 10787 215 0 0 25 0 1 0 202681915 18702336 3652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 4566 3652 108 232 0 4331 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 18264

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1597752/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=18568 CPUtime=120.01
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4523 0 0 0 11768 233 0 0 25 0 1 0 202681915 19013632 3776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 4642 3776 108 232 0 4407 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 18568

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1597304/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=18760 CPUtime=130.02
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4640 0 0 0 12752 250 0 0 25 0 1 0 202681915 19210240 3893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 4690 3893 108 232 0 4455 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 18760

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1596664/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=22156 CPUtime=140.02
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 5556 0 0 0 13735 267 0 0 25 0 1 0 202681915 22687744 4040 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 5539 4040 108 232 0 5304 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 22156

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1595384/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=22376 CPUtime=150.02
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 5869 0 0 0 14719 283 0 0 25 0 1 0 202681915 22913024 4353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549962 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 5594 4353 108 232 0 5359 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 22376

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1594936/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=22724 CPUtime=160.02
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 5990 0 0 0 15702 300 0 0 25 0 1 0 202681915 23269376 4474 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 5681 4474 108 232 0 5446 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 22724

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1594424/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=22968 CPUtime=170.03
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 6107 0 0 0 16683 320 0 0 25 0 1 0 202681915 23519232 4591 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 5742 4591 108 232 0 5507 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 22968

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1593976/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=23228 CPUtime=180.03
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 6218 0 0 0 17664 339 0 0 25 0 1 0 202681915 23785472 4702 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 5807 4702 108 232 0 5572 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 23228

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1593528/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=23624 CPUtime=190.04
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 6338 0 0 0 18647 357 0 0 25 0 1 0 202681915 24190976 4822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 5906 4822 108 232 0 5671 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 23624

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1593016/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=23624 CPUtime=200.03
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 6463 0 0 0 19628 375 0 0 25 0 1 0 202681915 24190976 4947 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 5906 4947 108 232 0 5671 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 23624

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 14828
/proc/meminfo: memFree=1592632/2055892 swapFree=4085372/4096564

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

/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34881 0 0 0 174906 3227 0 0 25 0 1 0 202681915 104947712 22610 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22610 108 232 0 25387 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (Kb) 102488

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521784/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=102488 CPUtime=1782.33
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34889 0 0 0 175004 3229 0 0 25 0 1 0 202681915 104947712 22618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22618 108 232 0 25387 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (Kb) 102488

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521720/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=102488 CPUtime=1783.33
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34905 0 0 0 175102 3231 0 0 25 0 1 0 202681915 104947712 22634 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22634 108 232 0 25387 0
Current children cumulated CPU time (s) 1783.33
Current children cumulated vsize (Kb) 102488

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521720/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=102488 CPUtime=1784.34
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34916 0 0 0 175201 3233 0 0 25 0 1 0 202681915 104947712 22645 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22645 108 232 0 25387 0
Current children cumulated CPU time (s) 1784.34
Current children cumulated vsize (Kb) 102488

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521656/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=102488 CPUtime=1785.34
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34926 0 0 0 175299 3235 0 0 25 0 1 0 202681915 104947712 22655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22655 108 232 0 25387 0
Current children cumulated CPU time (s) 1785.34
Current children cumulated vsize (Kb) 102488

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521592/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=102488 CPUtime=1786.34
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34938 0 0 0 175397 3237 0 0 25 0 1 0 202681915 104947712 22667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22667 108 232 0 25387 0
Current children cumulated CPU time (s) 1786.34
Current children cumulated vsize (Kb) 102488

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521592/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=102488 CPUtime=1787.35
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34945 0 0 0 175496 3239 0 0 25 0 1 0 202681915 104947712 22674 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22674 108 232 0 25387 0
Current children cumulated CPU time (s) 1787.35
Current children cumulated vsize (Kb) 102488

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521528/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=102488 CPUtime=1788.35
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34956 0 0 0 175595 3240 0 0 25 0 1 0 202681915 104947712 22685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22685 108 232 0 25387 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (Kb) 102488

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521528/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=102488 CPUtime=1789.36
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34963 0 0 0 175694 3242 0 0 25 0 1 0 202681915 104947712 22692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22692 108 232 0 25387 0
Current children cumulated CPU time (s) 1789.36
Current children cumulated vsize (Kb) 102488

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521464/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=102488 CPUtime=1790.36
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34980 0 0 0 175793 3243 0 0 25 0 1 0 202681915 104947712 22709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552032 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 25622 22709 108 232 0 25387 0
Current children cumulated CPU time (s) 1790.36
Current children cumulated vsize (Kb) 102488

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521400/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1791.37
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34992 0 0 0 175892 3245 0 0 25 0 1 0 202681915 107450368 22721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22721 108 232 0 25998 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (Kb) 104932

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521400/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1792.37
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34997 0 0 0 175991 3246 0 0 25 0 1 0 202681915 107450368 22726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22726 108 232 0 25998 0
Current children cumulated CPU time (s) 1792.37
Current children cumulated vsize (Kb) 104932

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521336/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1793.37
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35010 0 0 0 176090 3247 0 0 25 0 1 0 202681915 107450368 22739 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22739 108 232 0 25998 0
Current children cumulated CPU time (s) 1793.37
Current children cumulated vsize (Kb) 104932

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521272/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1794.38
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35018 0 0 0 176189 3249 0 0 25 0 1 0 202681915 107450368 22747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22747 108 232 0 25998 0
Current children cumulated CPU time (s) 1794.38
Current children cumulated vsize (Kb) 104932

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521272/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1795.38
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35024 0 0 0 176288 3250 0 0 25 0 1 0 202681915 107450368 22753 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549936 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22753 108 232 0 25998 0
Current children cumulated CPU time (s) 1795.38
Current children cumulated vsize (Kb) 104932

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521208/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1796.39
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35037 0 0 0 176387 3252 0 0 25 0 1 0 202681915 107450368 22766 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22766 108 232 0 25998 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (Kb) 104932

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521144/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1797.4
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35051 0 0 0 176486 3254 0 0 25 0 1 0 202681915 107450368 22780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22780 108 232 0 25998 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (Kb) 104932

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521144/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1798.4
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35061 0 0 0 176585 3255 0 0 25 0 1 0 202681915 107450368 22790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22790 108 232 0 25998 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (Kb) 104932

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521080/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1799.41
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35068 0 0 0 176684 3257 0 0 25 0 1 0 202681915 107450368 22797 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22797 108 232 0 25998 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (Kb) 104932

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521016/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1800.41
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35080 0 0 0 176783 3258 0 0 25 0 1 0 202681915 107450368 22809 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22809 108 232 0 25998 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (Kb) 104932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 15025
/proc/meminfo: memFree=1521016/2055892 swapFree=4085372/4096564
[pid=14828] ppid=14826 vsize=104932 CPUtime=1800.41
/proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35081 0 0 0 176783 3258 0 0 25 0 1 0 202681915 107450368 22810 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14828/statm: 26233 22810 108 232 0 25998 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (Kb) 104932

Sending SIGTERM to -14828
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.44
CPU user time (s): 1767.83
CPU system time (s): 32.605
CPU usage (%): 99.9586
Max. virtual memory (cumulated for all children) (Kb): 104932
The end

Launcher Data (download as text)

Begin job on node91 on Sat Jun  3 21:33:50 UTC 2006


FILE ID= 41550-1149370430

PBS_JOBID= 312171

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node91/41550-1149370430/instance-41550-1149370430.opb 334996145
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node91/watcher-41550-1149370430 -o ROOT/results/node91/solver-41550-1149370430 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node91/41550-1149370430/instance-41550-1149370430.opb 334996145

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  6db31fd4066996ff4f309d723fc2c237

RANDOM SEED= 334996145


/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.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.18
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.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1612680 kB
Buffers:         30848 kB
Cached:         347056 kB
SwapCached:       2352 kB
Active:          68300 kB
Inactive:       318240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1612680 kB
SwapTotal:     4096564 kB
SwapFree:      4085372 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:          16588 kB
Slab:            43280 kB
Committed_AS:   448440 kB
PageTables:       1284 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node91 on Sat Jun  3 22:03:51 UTC 2006