Trace number 351870

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.05 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
MD5SUM8fd497081fcc2923cbeefd2c48cb5010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark834
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 826
Optimality of the best value was proved NO
Number of variables3300
Total number of constraints1985
Number of constraints which are clauses1364
Number of constraints which are cardinality constraints (but not clauses)621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint220
Number of terms in the objective function 2792
Biggest coefficient in the objective function 379
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526163
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 379
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 526163
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/351870-1176616207/instance-351870-1176616207.opb ......
2.69/2.70	c done parsing opb.
2.69/2.70	o 114725
2.69/2.73	o 109035
14.98/15.02	o 23881
14.98/15.07	o 23880
390.08/390.24	o 23131
390.08/390.26	o 23130
397.89/398.02	o 22755
1145.69/1146.18	o 22745
1800.01/1800.60	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/351870-1176616207/instance-351870-1176616207.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/node74/watcher-351870-1176616207 -o ROOT/results/node74/solver-351870-1176616207 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351870-1176616207/PBS4 /tmp/evaluation/351870-1176616207/instance-351870-1176616207.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.98 1.00 1.00 3/66 29750
/proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=1784 CPUtime=0
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 109535465 1826816 225 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/29750/statm: 446 225 86 219 0 223 0

[startup+0.102359 s]
/proc/loadavg: 0.98 1.00 1.00 3/66 29750
/proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=2468 CPUtime=0.09
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 435 0 0 0 9 0 0 0 18 0 1 0 109535465 2527232 417 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590705 0 0 4096 0 0 0 0 17 1 0 0
/proc/29750/statm: 617 417 87 219 0 394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2468

[startup+0.20237 s]
/proc/loadavg: 0.98 1.00 1.00 3/66 29750
/proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=2464 CPUtime=0.19
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 447 0 0 0 19 0 0 0 19 0 1 0 109535465 2523136 429 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 616 429 92 219 0 393 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2464

[startup+0.302381 s]
/proc/loadavg: 0.98 1.00 1.00 3/66 29750
/proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=2720 CPUtime=0.29
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 508 0 0 0 29 0 0 0 19 0 1 0 109535465 2785280 490 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 680 490 93 219 0 457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2720

[startup+0.702427 s]
/proc/loadavg: 0.98 1.00 1.00 3/66 29750
/proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=4436 CPUtime=0.69
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 810 0 0 0 69 0 0 0 23 0 1 0 109535465 4542464 792 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 1109 792 93 219 0 886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4436

[startup+1.50152 s]
/proc/loadavg: 0.98 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1803480/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=6484 CPUtime=1.49
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 1463 0 0 0 148 1 0 0 25 0 1 0 109535465 6639616 1445 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134561178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 1621 1445 93 219 0 1398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6484

[startup+3.1017 s]
/proc/loadavg: 0.98 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1799896/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=19004 CPUtime=3.09
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 2720 0 0 0 308 1 0 0 25 0 1 0 109535465 19460096 2702 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 4751 2702 103 219 0 4528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19004

[startup+6.30107 s]
/proc/loadavg: 0.98 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1785112/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=35520 CPUtime=6.29
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 6651 0 0 0 625 4 0 0 25 0 1 0 109535465 36372480 6633 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134532438 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 8880 6633 103 219 0 8657 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35520

[startup+12.7018 s]
/proc/loadavg: 0.98 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1756056/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=68288 CPUtime=12.69
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 13550 0 0 0 1263 6 0 0 25 0 1 0 109535465 69926912 13532 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 17072 13532 103 219 0 16849 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68288

[startup+25.5013 s]
/proc/loadavg: 0.98 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1737688/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=134948 CPUtime=25.49
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 17597 0 0 0 2532 17 0 0 25 0 1 0 109535465 138186752 17530 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 33737 17530 104 219 0 33514 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134948

[startup+51.1012 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1736600/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=135860 CPUtime=51.07
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 17847 0 0 0 5068 39 0 0 25 0 1 0 109535465 139120640 17780 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 33965 17780 104 219 0 33742 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 135860

[startup+102.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1735768/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=136836 CPUtime=102.27
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18148 0 0 0 10153 74 0 0 25 0 1 0 109535465 140120064 17984 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 34209 17984 104 219 0 33986 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 136836

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1734808/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=138360 CPUtime=162.25
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18571 0 0 0 16133 92 0 0 25 0 1 0 109535465 141680640 18214 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559447 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 34590 18214 104 219 0 34367 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 138360

[startup+222.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1734424/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=138732 CPUtime=222.23
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18696 0 0 0 22129 94 0 0 25 0 1 0 109535465 142061568 18339 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 34683 18339 104 219 0 34460 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 138732

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1733720/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=139128 CPUtime=282.22
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18845 0 0 0 28124 98 0 0 25 0 1 0 109535465 142467072 18488 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 34782 18488 104 219 0 34559 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 139128

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1733272/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=139420 CPUtime=342.2
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18957 0 0 0 34114 106 0 0 25 0 1 0 109535465 142766080 18600 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 34855 18600 104 219 0 34632 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 139420

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1732568/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=140052 CPUtime=402.18
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 19126 0 0 0 40107 111 0 0 25 0 1 0 109535465 143413248 18769 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 35013 18769 104 219 0 34790 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 140052

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1731928/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=141924 CPUtime=462.17
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 19665 0 0 0 46098 119 0 0 25 0 1 0 109535465 145330176 18923 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 35481 18923 104 219 0 35258 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 141924

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1731480/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=142236 CPUtime=522.15
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 19773 0 0 0 52091 124 0 0 25 0 1 0 109535465 145649664 19031 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 35559 19031 104 219 0 35336 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 142236

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1730648/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=142892 CPUtime=582.14
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 19971 0 0 0 58078 136 0 0 25 0 1 0 109535465 146321408 19229 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 35723 19229 104 219 0 35500 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 142892

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29751
/proc/meminfo: memFree=1730264/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=143016 CPUtime=642.12
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20067 0 0 0 64072 140 0 0 25 0 1 0 109535465 146448384 19325 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 35754 19325 104 219 0 35531 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 143016


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

[startup+882.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1728344/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=144124 CPUtime=881.96
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20455 0 0 0 88033 163 0 0 25 0 1 0 109535465 147582976 19713 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 36031 19713 104 219 0 35808 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 144124

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1727832/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=144564 CPUtime=941.94
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20578 0 0 0 94025 169 0 0 25 0 1 0 109535465 148033536 19836 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 36141 19836 104 219 0 35918 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 144564

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1727640/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=144564 CPUtime=1001.92
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20627 0 0 0 100018 174 0 0 25 0 1 0 109535465 148033536 19885 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 36141 19885 104 219 0 35918 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 144564

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1727448/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=144876 CPUtime=1061.91
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20694 0 0 0 106013 178 0 0 25 0 1 0 109535465 148353024 19952 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 36219 19952 104 219 0 35996 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 144876

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1727128/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=144988 CPUtime=1121.89
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20766 0 0 0 112004 185 0 0 25 0 1 0 109535465 148467712 20024 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 36247 20024 104 219 0 36024 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 144988

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1726616/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=148536 CPUtime=1181.88
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21661 0 0 0 117998 190 0 0 25 0 1 0 109535465 152100864 20150 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37134 20150 104 219 0 36911 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 148536

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1726232/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=148652 CPUtime=1241.86
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21762 0 0 0 123989 197 0 0 25 0 1 0 109535465 152219648 20251 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37163 20251 104 219 0 36940 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 148652

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1725912/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=148884 CPUtime=1301.84
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21832 0 0 0 129984 200 0 0 25 0 1 0 109535465 152457216 20321 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37221 20321 104 219 0 36998 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 148884

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1725784/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=148884 CPUtime=1361.83
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21868 0 0 0 135981 202 0 0 25 0 1 0 109535465 152457216 20357 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37221 20357 104 219 0 36998 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 148884

[startup+1422.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1725336/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=149240 CPUtime=1421.81
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21961 0 0 0 141973 208 0 0 25 0 1 0 109535465 152821760 20450 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37310 20450 104 219 0 37087 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 149240

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1725144/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=149240 CPUtime=1481.8
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 22009 0 0 0 147967 213 0 0 25 0 1 0 109535465 152821760 20498 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37310 20498 104 219 0 37087 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 149240

[startup+1542.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1724760/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=149628 CPUtime=1541.78
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 22104 0 0 0 153962 216 0 0 25 0 1 0 109535465 153219072 20593 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37407 20593 104 219 0 37184 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 149628

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1724248/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=149760 CPUtime=1601.76
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 22227 0 0 0 159956 220 0 0 25 0 1 0 109535465 153354240 20716 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37440 20716 104 219 0 37217 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 149760

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1724056/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=149760 CPUtime=1661.74
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 22276 0 0 0 165952 222 0 0 25 0 1 0 109535465 153354240 20765 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37440 20765 104 219 0 37217 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 149760

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1695832/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=150148 CPUtime=1721.73
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 29313 0 0 0 171945 228 0 0 25 0 1 0 109535465 153751552 27802 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37537 27802 104 219 0 37314 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 150148

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1695512/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=150444 CPUtime=1781.72
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 29386 0 0 0 177941 231 0 0 25 0 1 0 109535465 154054656 27875 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37611 27875 104 219 0 37388 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 150444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1695512/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=150444 CPUtime=1800.01
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 29397 0 0 0 179770 231 0 0 25 0 1 0 109535465 154054656 27886 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37611 27886 104 219 0 37388 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 150444

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 29949
/proc/meminfo: memFree=1695512/2055920 swapFree=4191892/4192956
[pid=29750] ppid=29748 vsize=150444 CPUtime=1800.01
/proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 29397 0 0 0 179770 231 0 0 25 0 1 0 109535465 154054656 27886 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29750/statm: 37611 27886 104 219 0 37388 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 150444

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.05
CPU user time (s): 1797.71
CPU system time (s): 2.33564
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 150444

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

runsolver used 1.46578 second user time and 3.84241 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Sun Apr 15 05:50:07 UTC 2007

IDJOB= 351870
IDBENCH= 1843
IDSOLVER= 157
FILE ID= node74/351870-1176616207

PBS_JOBID= 4557019

Free space on /tmp= 103244 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
COMMAND LINE= /tmp/evaluation/351870-1176616207/PBS4 /tmp/evaluation/351870-1176616207/instance-351870-1176616207.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-351870-1176616207 -o ROOT/results/node74/conversion-351870-1176616207 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351870-1176616207/instance-351870-1176616207.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  8fd497081fcc2923cbeefd2c48cb5010

RANDOM SEED= 143164015

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1808056 kB
Buffers:         14448 kB
Cached:         116816 kB
SwapCached:        384 kB
Active:          32448 kB
Inactive:       116208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808056 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            1352 kB
Writeback:           0 kB
Mapped:          26480 kB
Slab:            85020 kB
Committed_AS:  1451612 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103244 MiB

End job on node74 on Sun Apr 15 06:20:10 UTC 2007