Trace number 351207

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-23No Cert. 1800.03 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-afiro.opb
MD5SUMd412dc68829850bad6555fa34c6ad801
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -65
Optimality of the best value was proved NO
Number of variables960
Total number of constraints27
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 constraints27
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 222156
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524394
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524468
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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/351207-1176589300/instance-351207-1176589300.opb ......
0.00/0.01	c done parsing opb.
0.00/0.01	o 80065
0.02/0.03	o 80064
4.09/4.13	o 80062
4.29/4.32	o 80059
7.49/7.52	o 80046
9.39/9.44	o 80041
11.48/11.53	o 80040
13.49/13.59	o 80039
14.19/14.28	o 80038
20.18/20.24	o 80037
82.96/83.01	o 80036
159.95/160.09	o 80035
265.32/265.47	o 80034
1225.25/1225.67	o 80033
1350.92/1351.31	o 80032
1758.71/1759.22	o 80031
1800.01/1800.50	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/351207-1176589300/instance-351207-1176589300.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/node61/watcher-351207-1176589300 -o ROOT/results/node61/solver-351207-1176589300 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351207-1176589300/PBS4 /tmp/evaluation/351207-1176589300/instance-351207-1176589300.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.94 0.99 0.99 3/64 27442
/proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=1468 CPUtime=0
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 168 0 0 0 0 0 0 0 18 0 1 0 70893652 1503232 150 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134636021 0 0 4096 0 0 0 0 17 1 0 0
/proc/27442/statm: 367 150 87 219 0 144 0

[startup+0.0259259 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 27442
/proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=1780 CPUtime=0.02
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 238 0 0 0 2 0 0 0 18 0 1 0 70893652 1822720 220 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 445 220 102 219 0 222 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1780

[startup+0.101932 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 27442
/proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=1780 CPUtime=0.1
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 265 0 0 0 10 0 0 0 18 0 1 0 70893652 1822720 247 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 445 247 102 219 0 222 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1780

[startup+0.301951 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 27442
/proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=2548 CPUtime=0.29
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 394 0 0 0 29 0 0 0 19 0 1 0 70893652 2609152 376 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 637 376 103 219 0 414 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2548

[startup+0.701988 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 27442
/proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=3964 CPUtime=0.69
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 729 0 0 0 69 0 0 0 22 0 1 0 70893652 4059136 711 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 991 711 103 219 0 768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3964

[startup+1.50107 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1762168/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=6152 CPUtime=1.49
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 1046 0 0 0 148 1 0 0 25 0 1 0 70893652 6299648 1028 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 1538 1028 103 219 0 1315 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6152

[startup+3.10122 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1760760/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=6608 CPUtime=3.09
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 1350 0 0 0 307 2 0 0 25 0 1 0 70893652 6766592 1283 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 1652 1283 104 219 0 1429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6608

[startup+6.30152 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1758968/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=10968 CPUtime=6.29
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 1827 0 0 0 625 4 0 0 25 0 1 0 70893652 11231232 1760 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 2742 1760 104 219 0 2519 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10968

[startup+12.7011 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1757240/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=11884 CPUtime=12.69
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 2221 0 0 0 1262 7 0 0 25 0 1 0 70893652 12169216 2057 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 2971 2057 104 219 0 2748 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11884

[startup+25.5014 s]
/proc/loadavg: 0.96 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1752568/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=20612 CPUtime=25.49
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 3366 0 0 0 2538 11 0 0 25 0 1 0 70893652 21106688 3202 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 5153 3202 104 219 0 4930 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20612

[startup+51.1018 s]
/proc/loadavg: 0.97 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1746808/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=22828 CPUtime=51.08
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 5065 0 0 0 5091 17 0 0 25 0 1 0 70893652 23375872 4708 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 5707 4708 104 219 0 5484 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22828

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1741304/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=42092 CPUtime=102.27
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 6733 0 0 0 10201 26 0 0 25 0 1 0 70893652 43102208 5991 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 10523 5991 104 219 0 10300 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42092

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1736504/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=43364 CPUtime=162.24
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 7977 0 0 0 16186 38 0 0 25 0 1 0 70893652 44404736 7235 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 10841 7235 104 219 0 10618 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 43364

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1732216/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=44148 CPUtime=222.23
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 8978 0 0 0 22176 47 0 0 25 0 1 0 70893652 45207552 8236 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 11037 8236 104 219 0 10814 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 44148

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1729016/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=48140 CPUtime=282.22
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 10577 0 0 0 28166 56 0 0 25 0 1 0 70893652 49295360 9066 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 12035 9066 104 219 0 11812 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 48140

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1726264/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=48940 CPUtime=342.19
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 11216 0 0 0 34154 65 0 0 25 0 1 0 70893652 50114560 9705 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 12235 9705 104 219 0 12012 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 48940

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27443
/proc/meminfo: memFree=1723768/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=49836 CPUtime=402.18
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 11869 0 0 0 40146 72 0 0 25 0 1 0 70893652 51032064 10358 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 12459 10358 104 219 0 12236 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49836

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1718264/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=50780 CPUtime=462.16
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 13211 0 0 0 46134 82 0 0 25 0 1 0 70893652 51998720 11700 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 12695 11700 104 219 0 12472 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 50780

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1714552/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=84448 CPUtime=522.15
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 14121 0 0 0 52127 88 0 0 25 0 1 0 70893652 86474752 12610 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 21112 12610 104 219 0 20889 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 84448

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1713336/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=85504 CPUtime=582.13
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 14439 0 0 0 58118 95 0 0 25 0 1 0 70893652 87556096 12928 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 21376 12928 104 219 0 21153 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 85504

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1712248/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=86140 CPUtime=642.12
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 14687 0 0 0 64112 100 0 0 25 0 1 0 70893652 88207360 13176 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 21535 13176 104 219 0 21312 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 86140


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1709112/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=93988 CPUtime=882.05
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17009 0 0 0 88079 126 0 0 25 0 1 0 70893652 96243712 13961 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 23497 13961 104 219 0 23274 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 93988

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1708664/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=94348 CPUtime=942.03
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17127 0 0 0 94072 131 0 0 25 0 1 0 70893652 96612352 14079 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 23587 14079 104 219 0 23364 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 94348

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1708088/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=94348 CPUtime=1002.01
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17262 0 0 0 100066 135 0 0 25 0 1 0 70893652 96612352 14214 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 23587 14214 104 219 0 23364 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 94348

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1706424/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=95116 CPUtime=1061.99
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17692 0 0 0 106058 141 0 0 25 0 1 0 70893652 97398784 14644 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 23779 14644 104 219 0 23556 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 95116

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1705400/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=95524 CPUtime=1121.98
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17929 0 0 0 112052 146 0 0 25 0 1 0 70893652 97816576 14881 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 23881 14881 104 219 0 23658 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 95524

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1704056/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=95716 CPUtime=1181.97
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 18250 0 0 0 118046 151 0 0 25 0 1 0 70893652 98013184 15202 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 23929 15202 104 219 0 23706 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 95716

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1701496/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=96472 CPUtime=1241.95
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 18879 0 0 0 124038 157 0 0 25 0 1 0 70893652 98787328 15831 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 24118 15831 104 219 0 23895 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 96472

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1700920/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=96932 CPUtime=1301.94
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 19021 0 0 0 130032 162 0 0 25 0 1 0 70893652 99258368 15973 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 24233 15973 104 219 0 24010 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 96932

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1700408/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=96932 CPUtime=1361.92
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 19163 0 0 0 136025 167 0 0 25 0 1 0 70893652 99258368 16115 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 24233 16115 104 219 0 24010 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 96932

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1699768/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=97744 CPUtime=1421.9
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 19306 0 0 0 142019 171 0 0 25 0 1 0 70893652 100089856 16258 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 24436 16258 104 219 0 24213 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 97744

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1695928/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=97876 CPUtime=1481.88
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 20260 0 0 0 148011 177 0 0 25 0 1 0 70893652 100225024 17212 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 24469 17212 104 219 0 24246 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 97876

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1691512/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=98644 CPUtime=1541.87
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 21357 0 0 0 154003 184 0 0 25 0 1 0 70893652 101011456 18309 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 24661 18309 104 219 0 24438 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 98644

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1690488/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=99296 CPUtime=1601.86
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 21626 0 0 0 159996 190 0 0 25 0 1 0 70893652 101679104 18578 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 24824 18578 104 219 0 24601 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 99296

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1689912/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=100040 CPUtime=1661.83
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 21743 0 0 0 165990 193 0 0 25 0 1 0 70893652 102440960 18695 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 25010 18695 104 219 0 24787 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 100040

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1689336/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=100040 CPUtime=1721.82
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 21903 0 0 0 171985 197 0 0 25 0 1 0 70893652 102440960 18855 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 25010 18855 104 219 0 24787 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 100040

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1688760/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=100040 CPUtime=1781.81
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 22019 0 0 0 177979 202 0 0 25 0 1 0 70893652 102440960 18971 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 25010 18971 104 219 0 24787 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 100040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1688632/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=100040 CPUtime=1800.01
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 22053 0 0 0 179798 203 0 0 25 0 1 0 70893652 102440960 19005 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 25010 19005 104 219 0 24787 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 100040

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 0.99 0.99 2/65 27445
/proc/meminfo: memFree=1688632/2055920 swapFree=4191892/4192956
[pid=27442] ppid=27440 vsize=100040 CPUtime=1800.01
/proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 22053 0 0 0 179798 203 0 0 25 0 1 0 70893652 102440960 19005 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27442/statm: 25010 19005 104 219 0 24787 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 100040

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1797.98
CPU system time (s): 2.04469
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 100040

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

runsolver used 1.46678 second user time and 3.47947 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Apr 14 22:21:40 UTC 2007

IDJOB= 351207
IDBENCH= 1700
IDSOLVER= 157
FILE ID= node61/351207-1176589300

PBS_JOBID= 4556943

Free space on /tmp= 66563 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-afiro.opb
COMMAND LINE= /tmp/evaluation/351207-1176589300/PBS4 /tmp/evaluation/351207-1176589300/instance-351207-1176589300.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-351207-1176589300 -o ROOT/results/node61/conversion-351207-1176589300 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351207-1176589300/instance-351207-1176589300.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  d412dc68829850bad6555fa34c6ad801

RANDOM SEED= 852652581

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1765656 kB
Buffers:          2752 kB
Cached:         175568 kB
SwapCached:        384 kB
Active:          34500 kB
Inactive:       159244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1765656 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            1160 kB
Writeback:           0 kB
Mapped:          24240 kB
Slab:            82584 kB
Committed_AS:   115468 kB
PageTables:       1388 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= 66563 MiB

End job on node61 on Sat Apr 14 22:51:43 UTC 2007