Trace number 41483

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.67 1801.2

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb
MD5SUM8e26f63addeab9c605a48fae9909490e
Bench CategoryOPT-SMALLINT (optimisation, small 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 benchmark11.2703
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables107520
Total number of constraints3312
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 constraints3312
Minimum length of a constraint50
Maximum length of a constraint820
Number of terms in the objective function 41280
Biggest coefficient in the objective function 2704
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 560432
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261600
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 560432
Number of bits of the biggest sum of numbers20
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/node90/41483-1149363353/instance-41483-1149363353.opb ......

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/node90/watcher-41483-1149363353 -o ROOT/results/node90/solver-41483-1149363353 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node90/41483-1149363353/instance-41483-1149363353.opb 347381707 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.05 1.06 1.00 2/67 26323
/proc/meminfo: memFree=1652536/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=11484 CPUtime=0
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 201974270 11759616 182 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 2871 184 90 232 0 2636 0

[startup+10.0029 s]
/proc/loadavg: 1.04 1.05 1.00 2/67 26323
/proc/meminfo: memFree=1624960/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=29312 CPUtime=9.99
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 9376 0 0 0 996 3 0 0 25 0 1 0 201974270 30015488 6993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 7328 6993 99 232 0 7093 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 29312

[startup+20.009 s]
/proc/loadavg: 1.04 1.05 1.00 2/67 26323
/proc/meminfo: memFree=1617216/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=47320 CPUtime=19.99
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 14237 0 0 0 1991 8 0 0 25 0 1 0 201974270 48455680 8976 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 11830 8976 105 232 0 11595 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 47320

[startup+30.0151 s]
/proc/loadavg: 1.03 1.05 1.00 2/67 26323
/proc/meminfo: memFree=1616896/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=47320 CPUtime=30
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 14532 0 0 0 2988 12 0 0 25 0 1 0 201974270 48455680 9060 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 11830 9060 105 232 0 11595 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 47320

[startup+40.0202 s]
/proc/loadavg: 1.03 1.05 1.00 2/67 26323
/proc/meminfo: memFree=1616576/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=48344 CPUtime=40
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 14624 0 0 0 3986 14 0 0 25 0 1 0 201974270 49504256 9152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 12086 9152 105 232 0 11851 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 48344

[startup+50.0263 s]
/proc/loadavg: 1.02 1.05 1.00 2/67 26323
/proc/meminfo: memFree=1615872/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=48344 CPUtime=50
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 15399 0 0 0 4984 16 0 0 25 0 1 0 201974270 49504256 9294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 12086 9294 105 232 0 11851 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 48344

[startup+60.0323 s]
/proc/loadavg: 1.02 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1615232/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=50392 CPUtime=60
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 15964 0 0 0 5982 18 0 0 25 0 1 0 201974270 51601408 9437 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 12598 9437 105 232 0 12363 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 50392

[startup+70.0384 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1614912/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=50392 CPUtime=70
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 16941 0 0 0 6979 21 0 0 25 0 1 0 201974270 51601408 9570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 12598 9570 105 232 0 12363 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 50392

[startup+80.0445 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1614400/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=50392 CPUtime=80.01
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 17505 0 0 0 7977 24 0 0 25 0 1 0 201974270 51601408 9712 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 12598 9712 105 232 0 12363 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 50392

[startup+90.0506 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1613760/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=54488 CPUtime=90.02
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 18078 0 0 0 8974 28 0 0 25 0 1 0 201974270 55795712 9863 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 13622 9863 105 232 0 13387 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 54488

[startup+100.057 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1613056/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=55260 CPUtime=100.02
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 18467 0 0 0 9971 31 0 0 25 0 1 0 201974270 56586240 10041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 13815 10041 105 232 0 13580 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 55260

[startup+110.063 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1612480/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=55260 CPUtime=110.02
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 18987 0 0 0 10969 33 0 0 25 0 1 0 201974270 56586240 10139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 13815 10139 105 232 0 13580 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 55260

[startup+120.069 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 26323
/proc/meminfo: memFree=1611968/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=55260 CPUtime=120.03
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 19533 0 0 0 11967 36 0 0 25 0 1 0 201974270 56586240 10263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 13815 10263 105 232 0 13580 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 55260

[startup+130.075 s]
/proc/loadavg: 1.08 1.05 1.00 2/67 26323
/proc/meminfo: memFree=1611776/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=55260 CPUtime=130.03
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 19809 0 0 0 12965 38 0 0 25 0 1 0 201974270 56586240 10328 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 13815 10328 105 232 0 13580 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 55260

[startup+140.081 s]
/proc/loadavg: 1.06 1.05 1.00 2/67 26323
/proc/meminfo: memFree=1611136/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=55260 CPUtime=140.03
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 20405 0 0 0 13962 41 0 0 25 0 1 0 201974270 56586240 10502 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551507 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 13815 10502 105 232 0 13580 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 55260

[startup+150.087 s]
/proc/loadavg: 1.05 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1610432/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=55260 CPUtime=150.04
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 21174 0 0 0 14960 44 0 0 25 0 1 0 201974270 56586240 10638 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 13815 10638 105 232 0 13580 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 55260

[startup+160.092 s]
/proc/loadavg: 1.05 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1610112/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=55260 CPUtime=160.03
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 21722 0 0 0 15957 46 0 0 25 0 1 0 201974270 56586240 10764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 13815 10764 105 232 0 13580 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 55260

[startup+170.098 s]
/proc/loadavg: 1.04 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1609472/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=55260 CPUtime=170.04
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 22485 0 0 0 16955 49 0 0 25 0 1 0 201974270 56586240 10894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 13815 10894 105 232 0 13580 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 55260

[startup+180.104 s]
/proc/loadavg: 1.03 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1608768/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=63452 CPUtime=180.04
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 23310 0 0 0 17952 52 0 0 25 0 1 0 201974270 64974848 11086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 15863 11086 105 232 0 15628 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 63452

[startup+190.11 s]
/proc/loadavg: 1.03 1.04 1.00 2/67 26323
/proc/meminfo: memFree=1608064/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=64220 CPUtime=190.05
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 24331 0 0 0 18950 55 0 0 25 0 1 0 201974270 65761280 11281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551667 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 16055 11281 105 232 0 15820 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 64220

[startup+200.117 s]
/proc/loadavg: 1.02 1.03 1.00 2/67 26323
/proc/meminfo: memFree=1606976/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=64220 CPUtime=200.06
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 25393 0 0 0 19948 58 0 0 25 0 1 0 201974270 65761280 11499 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 16055 11499 105 232 0 15820 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 64220

[startup+210.124 s]
/proc/loadavg: 1.02 1.03 1.00 2/67 26323
/proc/meminfo: memFree=1606592/2055888 swapFree=4085308/4096564

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

/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112406 0 0 0 177726 429 0 0 25 0 1 0 201974270 204386304 31044 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31044 105 232 0 49664 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 199596

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1528384/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1782.55
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112429 0 0 0 177826 429 0 0 25 0 1 0 201974270 204386304 31067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31067 105 232 0 49664 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 199596

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1528320/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1783.55
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112439 0 0 0 177926 429 0 0 25 0 1 0 201974270 204386304 31077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134543463 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31077 105 232 0 49664 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 199596

[startup+1785.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1528320/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1784.55
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112447 0 0 0 178026 429 0 0 25 0 1 0 201974270 204386304 31085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31085 105 232 0 49664 0
Current children cumulated CPU time (s) 1784.55
Current children cumulated vsize (Kb) 199596

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1528064/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1785.56
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112672 0 0 0 178126 430 0 0 25 0 1 0 201974270 204386304 31099 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31099 105 232 0 49664 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 199596

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1528064/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1786.57
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112711 0 0 0 178227 430 0 0 25 0 1 0 201974270 204386304 31138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31138 105 232 0 49664 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 199596

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1528000/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1787.57
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112739 0 0 0 178327 430 0 0 25 0 1 0 201974270 204386304 31166 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31166 105 232 0 49664 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 199596

[startup+1789.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527936/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1788.57
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112757 0 0 0 178427 430 0 0 25 0 1 0 201974270 204386304 31184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31184 105 232 0 49664 0
Current children cumulated CPU time (s) 1788.57
Current children cumulated vsize (Kb) 199596

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527872/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1789.58
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112769 0 0 0 178528 430 0 0 25 0 1 0 201974270 204386304 31196 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31196 105 232 0 49664 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 199596

[startup+1791.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527808/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1790.59
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 112780 0 0 0 178628 431 0 0 25 0 1 0 201974270 204386304 31207 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31207 105 232 0 49664 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 199596

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527616/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1791.59
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113006 0 0 0 178728 431 0 0 25 0 1 0 201974270 204386304 31222 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546671 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31222 105 232 0 49664 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 199596

[startup+1793.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527616/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1792.6
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113023 0 0 0 178829 431 0 0 25 0 1 0 201974270 204386304 31239 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31239 105 232 0 49664 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 199596

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527616/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1793.6
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113046 0 0 0 178929 431 0 0 25 0 1 0 201974270 204386304 31262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31262 105 232 0 49664 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 199596

[startup+1795.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527552/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199596 CPUtime=1794.6
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113063 0 0 0 179029 431 0 0 25 0 1 0 201974270 204386304 31279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49899 31279 105 232 0 49664 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 199596

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527296/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199756 CPUtime=1795.61
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113280 0 0 0 179130 431 0 0 25 0 1 0 201974270 204550144 31285 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49939 31285 105 232 0 49704 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 199756

[startup+1797.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527296/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199756 CPUtime=1796.62
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113287 0 0 0 179230 432 0 0 25 0 1 0 201974270 204550144 31292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49939 31292 105 232 0 49704 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 199756

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527296/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199756 CPUtime=1797.62
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113292 0 0 0 179330 432 0 0 25 0 1 0 201974270 204550144 31297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49939 31297 105 232 0 49704 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 199756

[startup+1799.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527296/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199756 CPUtime=1798.62
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113306 0 0 0 179430 432 0 0 25 0 1 0 201974270 204550144 31311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49939 31311 105 232 0 49704 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 199756

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527168/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199756 CPUtime=1799.63
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113536 0 0 0 179530 433 0 0 25 0 1 0 201974270 204550144 31330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134543356 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49939 31330 105 232 0 49704 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 199756

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527168/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199756 CPUtime=1800.63
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113547 0 0 0 179630 433 0 0 25 0 1 0 201974270 204550144 31341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49939 31341 105 232 0 49704 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 199756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26520
/proc/meminfo: memFree=1527168/2055888 swapFree=4085308/4096564
[pid=26323] ppid=26321 vsize=199756 CPUtime=1800.64
/proc/26323/stat : 26323 (PBS4L) R 26321 26323 26277 0 -1 4194304 113547 0 0 0 179631 433 0 0 25 0 1 0 201974270 204550144 31341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26323/statm: 49939 31341 105 232 0 49704 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 199756

Sending SIGTERM to -26323
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.2
CPU time (s): 1800.67
CPU user time (s): 1796.31
CPU system time (s): 4.35434
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (Kb): 199756
The end

Launcher Data (download as text)

Begin job on node90 on Sat Jun  3 19:35:53 UTC 2006


FILE ID= 41483-1149363353

PBS_JOBID= 311644

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  8e26f63addeab9c605a48fae9909490e

RANDOM SEED= 347381707


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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1652744 kB
Buffers:         27412 kB
Cached:         311376 kB
SwapCached:       2436 kB
Active:          42804 kB
Inactive:       304616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1652744 kB
SwapTotal:     4096564 kB
SwapFree:      4085308 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          16060 kB
Slab:            42476 kB
Committed_AS:   382008 kB
PageTables:       1268 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node90 on Sat Jun  3 20:05:54 UTC 2006