Trace number 348742

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
PBS4 2007-03-23? (TO) 1800.04 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb
MD5SUMcbc7f776eebadde6a6228c5e168c70a1
Bench CategoryOPT-SMALLINT (optimisation, small 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 variables60930
Total number of constraints2157
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 constraints2157
Minimum length of a constraint30
Maximum length of a constraint450
Number of terms in the objective function 31770
Biggest coefficient in the objective function 2474
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 550404
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 550404
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/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/348742-1176596070/instance-348742-1176596070.opb ......
1800.02/1800.50	c done parsing opb.
1800.02/1800.50	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/348742-1176596070/instance-348742-1176596070.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node21/watcher-348742-1176596070 -o ROOT/results/node21/solver-348742-1176596070 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/348742-1176596070/PBS4 /tmp/evaluation/348742-1176596070/instance-348742-1176596070.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.01 0.99 3/77 29506
/proc/meminfo: memFree=1403176/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=7040 CPUtime=0
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 502 0 0 0 0 0 0 0 18 0 1 0 107524313 7208960 484 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134572935 0 0 4096 0 0 0 0 17 1 0 0
/proc/29506/statm: 1760 488 81 219 0 1537 0

[startup+0.0859769 s]
/proc/loadavg: 0.92 1.01 0.99 3/77 29506
/proc/meminfo: memFree=1403176/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=10272 CPUtime=0.07
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 2391 0 0 0 7 0 0 0 18 0 1 0 107524313 10518528 2340 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0
/proc/29506/statm: 2568 2340 87 219 0 2345 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10272

[startup+0.101978 s]
/proc/loadavg: 0.92 1.01 0.99 3/77 29506
/proc/meminfo: memFree=1403176/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=10704 CPUtime=0.09
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 2458 0 0 0 9 0 0 0 18 0 1 0 107524313 10960896 2407 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134530224 0 0 4096 0 0 0 0 17 1 0 0
/proc/29506/statm: 2676 2407 87 219 0 2453 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10704

[startup+0.302001 s]
/proc/loadavg: 0.92 1.01 0.99 3/77 29506
/proc/meminfo: memFree=1403176/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=11316 CPUtime=0.29
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 2656 0 0 0 29 0 0 0 19 0 1 0 107524313 11587584 2605 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588362 0 0 4096 0 0 0 0 17 1 0 0
/proc/29506/statm: 2829 2605 88 219 0 2606 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11316

[startup+0.701043 s]
/proc/loadavg: 0.92 1.01 0.99 3/77 29506
/proc/meminfo: memFree=1403176/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=11316 CPUtime=0.68
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 2656 0 0 0 68 0 0 0 23 0 1 0 107524313 11587584 2605 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588386 0 0 4096 0 0 0 0 17 1 0 0
/proc/29506/statm: 2829 2605 88 219 0 2606 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11316

[startup+1.50113 s]
/proc/loadavg: 0.92 1.01 0.99 2/78 29507
/proc/meminfo: memFree=1393056/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=11316 CPUtime=1.48
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 2656 0 0 0 148 0 0 0 25 0 1 0 107524313 11587584 2605 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588274 0 0 4096 0 0 0 0 17 1 0 0
/proc/29506/statm: 2829 2605 88 219 0 2606 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11316

[startup+3.10131 s]
/proc/loadavg: 0.92 1.01 0.99 2/78 29507
/proc/meminfo: memFree=1392928/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=11816 CPUtime=3.09
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 2781 0 0 0 308 1 0 0 25 0 1 0 107524313 12099584 2730 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588889 0 0 4096 0 0 0 0 17 1 0 0
/proc/29506/statm: 2954 2730 88 219 0 2731 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11816

[startup+6.30166 s]
/proc/loadavg: 0.93 1.01 0.99 2/78 29507
/proc/meminfo: memFree=1392224/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=21024 CPUtime=6.29
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 6754 0 0 0 627 2 0 0 25 0 1 0 107524313 21528576 5045 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784102 0 0 4096 0 0 0 0 17 1 0 0
/proc/29506/statm: 5256 5045 88 219 0 5033 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21024

[startup+12.7014 s]
/proc/loadavg: 0.93 1.01 0.99 2/78 29507
/proc/meminfo: memFree=1379872/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=29884 CPUtime=12.69
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 9119 0 0 0 1264 5 0 0 25 0 1 0 107524313 30601216 5798 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 7471 5798 93 219 0 7248 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29884

[startup+25.5018 s]
/proc/loadavg: 0.95 1.01 0.99 2/78 29507
/proc/meminfo: memFree=1379040/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=30652 CPUtime=25.48
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 9597 0 0 0 2542 6 0 0 25 0 1 0 107524313 31387648 6036 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 7663 6036 94 219 0 7440 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30652

[startup+51.1016 s]
/proc/loadavg: 0.96 1.01 0.99 2/78 29507
/proc/meminfo: memFree=1375136/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=35036 CPUtime=51.07
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 12036 0 0 0 5094 13 0 0 25 0 1 0 107524313 35876864 6986 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548069 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 8759 6986 94 219 0 8536 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35036

[startup+102.305 s]
/proc/loadavg: 0.98 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1371616/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=40316 CPUtime=102.26
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 14227 0 0 0 10205 21 0 0 25 0 1 0 107524313 41283584 7880 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 10079 7880 94 219 0 9856 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40316

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1370080/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=40860 CPUtime=162.24
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 15794 0 0 0 16195 29 0 0 25 0 1 0 107524313 41840640 8247 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548050 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 10215 8247 94 219 0 9992 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 40860

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1367776/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=49956 CPUtime=222.22
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 17683 0 0 0 22184 38 0 0 25 0 1 0 107524313 51154944 8863 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 12489 8863 94 219 0 12266 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49956

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1366048/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=50700 CPUtime=282.21
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 19161 0 0 0 28175 46 0 0 25 0 1 0 107524313 51916800 9261 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548041 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 12675 9261 94 219 0 12452 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 50700

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1364320/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=50984 CPUtime=342.2
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 20661 0 0 0 34167 53 0 0 25 0 1 0 107524313 52207616 9681 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548050 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 12746 9681 94 219 0 12523 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 50984

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1361824/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=51424 CPUtime=402.18
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 22356 0 0 0 40159 59 0 0 25 0 1 0 107524313 52658176 10296 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 12856 10296 94 219 0 12633 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 51424

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1360224/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=51712 CPUtime=462.16
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 23981 0 0 0 46147 69 0 0 25 0 1 0 107524313 52953088 10721 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 12928 10721 94 219 0 12705 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 51712

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1359520/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=54020 CPUtime=522.15
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 25391 0 0 0 52137 78 0 0 25 0 1 0 107524313 55316480 10906 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 13505 10906 94 219 0 13282 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 54020

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1358816/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=54284 CPUtime=582.13
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 26263 0 0 0 58123 90 0 0 25 0 1 0 107524313 55586816 11058 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 13571 11058 94 219 0 13348 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 54284

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1358240/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=54548 CPUtime=642.12
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 27160 0 0 0 64115 97 0 0 25 0 1 0 107524313 55857152 11235 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 13637 11235 94 219 0 13414 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 54548


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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1356384/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=55732 CPUtime=882.05
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 30755 0 0 0 88078 127 0 0 25 0 1 0 107524313 57069568 11710 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 13933 11710 94 219 0 13710 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 55732

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1355424/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=55864 CPUtime=942.04
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 31484 0 0 0 94070 134 0 0 25 0 1 0 107524313 57204736 11959 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 13966 11959 94 219 0 13743 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 55864

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1354976/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=55864 CPUtime=1002.02
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 32139 0 0 0 100062 140 0 0 25 0 1 0 107524313 57204736 12014 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 13966 12014 94 219 0 13743 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 55864

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1354848/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=55996 CPUtime=1062
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 32552 0 0 0 106054 146 0 0 25 0 1 0 107524313 57339904 12067 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 13999 12067 94 219 0 13776 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 55996

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1354528/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=55996 CPUtime=1121.99
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 32986 0 0 0 112047 152 0 0 25 0 1 0 107524313 57339904 12141 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 13999 12141 94 219 0 13776 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 55996

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1353696/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=57396 CPUtime=1181.97
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 33723 0 0 0 118040 157 0 0 25 0 1 0 107524313 58773504 12398 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 14349 12398 94 219 0 14126 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 57396

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1353120/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=57396 CPUtime=1241.96
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 34300 0 0 0 124032 164 0 0 25 0 1 0 107524313 58773504 12495 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 14349 12495 94 219 0 14126 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 57396

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1352928/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=57396 CPUtime=1301.95
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 34946 0 0 0 130025 170 0 0 25 0 1 0 107524313 58773504 12541 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 14349 12541 94 219 0 14126 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 57396

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29507
/proc/meminfo: memFree=1352800/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=57396 CPUtime=1361.93
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 35450 0 0 0 136017 176 0 0 25 0 1 0 107524313 58773504 12565 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 14349 12565 94 219 0 14126 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 57396

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29509
/proc/meminfo: memFree=1352096/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=76852 CPUtime=1421.92
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 36880 0 0 0 142009 183 0 0 25 0 1 0 107524313 78696448 12746 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551783 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 19213 12746 94 219 0 18990 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 76852

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29509
/proc/meminfo: memFree=1351328/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=76852 CPUtime=1481.89
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 37558 0 0 0 148000 189 0 0 25 0 1 0 107524313 78696448 12944 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 19213 12944 94 219 0 18990 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 76852

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29509
/proc/meminfo: memFree=1350368/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=77012 CPUtime=1541.88
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 38294 0 0 0 153993 195 0 0 25 0 1 0 107524313 78860288 13200 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 19253 13200 94 219 0 19030 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 77012

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29509
/proc/meminfo: memFree=1349536/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=77572 CPUtime=1601.87
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 38986 0 0 0 159986 201 0 0 25 0 1 0 107524313 79433728 13412 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 19393 13412 94 219 0 19170 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 77572

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29509
/proc/meminfo: memFree=1348384/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=77836 CPUtime=1661.85
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 39604 0 0 0 165979 206 0 0 25 0 1 0 107524313 79704064 13670 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 19459 13670 94 219 0 19236 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 77836

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29509
/proc/meminfo: memFree=1347104/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=77836 CPUtime=1721.83
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 40645 0 0 0 171971 212 0 0 25 0 1 0 107524313 79704064 13991 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 19459 13991 94 219 0 19236 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 77836

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29509
/proc/meminfo: memFree=1346976/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=78432 CPUtime=1781.82
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 41158 0 0 0 177963 219 0 0 25 0 1 0 107524313 80314368 14024 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 19608 14024 94 219 0 19385 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 78432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29509
/proc/meminfo: memFree=1346848/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=78432 CPUtime=1800.02
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 41295 0 0 0 179781 221 0 0 25 0 1 0 107524313 80314368 14041 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 19608 14041 94 219 0 19385 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 78432

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: 0.99 1.00 0.99 2/78 29509
/proc/meminfo: memFree=1346848/2055920 swapFree=4192812/4192956
[pid=29506] ppid=29504 vsize=78432 CPUtime=1800.02
/proc/29506/stat : 29506 (PBS4) R 29504 29506 29200 0 -1 4194304 41295 0 0 0 179781 221 0 0 25 0 1 0 107524313 80314368 14041 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29506/statm: 19608 14041 94 219 0 19385 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 78432

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1797.81
CPU system time (s): 2.22366
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 78432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.81
system time used= 2.22366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41296
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= 8
involuntary context switches= 17560

runsolver used 2.07268 second user time and 4.47432 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Sun Apr 15 00:14:30 UTC 2007

IDJOB= 348742
IDBENCH= 1724
IDSOLVER= 157
FILE ID= node21/348742-1176596070

PBS_JOBID= 4556989

Free space on /tmp= 66560 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb
COMMAND LINE= /tmp/evaluation/348742-1176596070/PBS4 /tmp/evaluation/348742-1176596070/instance-348742-1176596070.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node21/convwatcher-348742-1176596070 -o ROOT/results/node21/conversion-348742-1176596070 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/348742-1176596070/instance-348742-1176596070.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-348742-1176596070 -o ROOT/results/node21/solver-348742-1176596070 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/348742-1176596070/PBS4 /tmp/evaluation/348742-1176596070/instance-348742-1176596070.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  cbc7f776eebadde6a6228c5e168c70a1

RANDOM SEED= 364186661

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1403584 kB
Buffers:         63204 kB
Cached:         405656 kB
SwapCached:          0 kB
Active:         309864 kB
Inactive:       204120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1403584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4112 kB
Writeback:           0 kB
Mapped:          62996 kB
Slab:           123908 kB
Committed_AS:   336524 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node21 on Sun Apr 15 00:44:33 UTC 2007