Trace number 352273

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.11 1801.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUMf8f4f876e372c51b5109e7995e83ce5e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark443
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 443
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 492823
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 492823
Number of bits of the biggest sum of numbers19
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/352273-1176627897/instance-352273-1176627897.opb ......
5.49/5.59	c done parsing opb.
5.49/5.59	o 9300
5.59/5.64	o 9266
5.69/5.72	o 9215
5.69/5.77	o 9164
5.79/5.81	o 9155
85.31/85.43	o 9150
85.41/85.51	o 9136
93.41/93.59	o 9130
102.01/102.13	o 9108
126.78/126.95	o 9021
157.86/158.04	o 8967
185.95/186.19	o 8943
407.86/408.21	o 8854
424.66/425.08	o 8847
1535.47/1536.69	o 8287
1800.09/1801.40	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/352273-1176627897/instance-352273-1176627897.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/node67/watcher-352273-1176627897 -o ROOT/results/node67/solver-352273-1176627897 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352273-1176627897/PBS4 /tmp/evaluation/352273-1176627897/instance-352273-1176627897.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.91 0.95 0.95 2/64 9199
/proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=2704 CPUtime=0
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 458 0 0 0 0 0 0 0 18 0 1 0 138779283 2768896 440 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 0 0 0
/proc/9199/statm: 676 441 86 219 0 453 0

[startup+0.0264111 s]
/proc/loadavg: 0.91 0.95 0.95 2/64 9199
/proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=3012 CPUtime=0.02
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 552 0 0 0 2 0 0 0 18 0 1 0 138779283 3084288 534 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134792855 0 0 4096 0 0 0 0 17 0 0 0
/proc/9199/statm: 753 534 86 219 0 530 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3012

[startup+0.101424 s]
/proc/loadavg: 0.91 0.95 0.95 2/64 9199
/proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=3284 CPUtime=0.09
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 613 0 0 0 9 0 0 0 18 0 1 0 138779283 3362816 595 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588268 0 0 4096 0 0 0 0 17 0 0 0
/proc/9199/statm: 821 595 87 219 0 598 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3284

[startup+0.30146 s]
/proc/loadavg: 0.91 0.95 0.95 2/64 9199
/proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=3444 CPUtime=0.29
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 653 0 0 0 29 0 0 0 19 0 1 0 138779283 3526656 635 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588877 0 0 4096 0 0 0 0 17 0 0 0
/proc/9199/statm: 861 635 87 219 0 638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3444

[startup+0.701534 s]
/proc/loadavg: 0.91 0.95 0.95 2/64 9199
/proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=4876 CPUtime=0.69
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 1182 0 0 0 69 0 0 0 23 0 1 0 138779283 4993024 974 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 0 0 0
/proc/9199/statm: 1219 974 89 219 0 996 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4876

[startup+1.50168 s]
/proc/loadavg: 0.91 0.95 0.95 2/65 9200
/proc/meminfo: memFree=1504488/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=12772 CPUtime=1.49
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 3515 0 0 0 148 1 0 0 25 0 1 0 138779283 13078528 2729 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134530221 0 0 4096 0 0 0 0 17 0 0 0
/proc/9199/statm: 3193 2729 89 219 0 2970 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12772

[startup+3.10198 s]
/proc/loadavg: 0.91 0.95 0.95 2/65 9200
/proc/meminfo: memFree=1494376/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=30176 CPUtime=3.08
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 9279 0 0 0 304 4 0 0 25 0 1 0 138779283 30900224 6187 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134529780 0 0 4096 0 0 0 0 17 0 0 0
/proc/9199/statm: 7544 6187 89 219 0 7321 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30176

[startup+6.30156 s]
/proc/loadavg: 0.92 0.95 0.95 2/65 9200
/proc/meminfo: memFree=1468136/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=54564 CPUtime=6.28
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 17164 0 0 0 607 21 0 0 25 0 1 0 138779283 55873536 10979 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 13641 10979 104 219 0 13418 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 54564

[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.95 2/65 9200
/proc/meminfo: memFree=1465832/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=55620 CPUtime=12.69
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 17538 0 0 0 1194 75 0 0 25 0 1 0 138779283 56954880 11353 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 13905 11353 104 219 0 13682 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55620

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.95 2/65 9200
/proc/meminfo: memFree=1461672/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=73720 CPUtime=25.47
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 18613 0 0 0 2444 103 0 0 25 0 1 0 138779283 75489280 12428 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 18430 12428 104 219 0 18207 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 73720

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.95 2/65 9200
/proc/meminfo: memFree=1454312/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=75152 CPUtime=51.04
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 20445 0 0 0 4958 146 0 0 25 0 1 0 138779283 76955648 14260 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 18788 14260 104 219 0 18565 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 75152

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.95 2/65 9200
/proc/meminfo: memFree=1442536/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=79496 CPUtime=102.21
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 23348 0 0 0 9929 292 0 0 25 0 1 0 138779283 81403904 17163 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 19874 17163 104 219 0 19651 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 79496

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1440616/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=81264 CPUtime=162.17
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 23825 0 0 0 15705 512 0 0 25 0 1 0 138779283 83214336 17640 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 20316 17640 104 219 0 20093 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 81264

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1438504/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=83256 CPUtime=222.11
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 24365 0 0 0 21414 797 0 0 25 0 1 0 138779283 85254144 18180 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 20814 18180 104 219 0 20591 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 83256

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1437608/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=84324 CPUtime=282.07
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 24613 0 0 0 27185 1022 0 0 25 0 1 0 138779283 86347776 18428 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 21081 18428 104 219 0 20858 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 84324

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1436648/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=85244 CPUtime=342.02
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 24873 0 0 0 32942 1260 0 0 25 0 1 0 138779283 87289856 18688 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 21311 18688 104 219 0 21088 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 85244

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1435880/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=86032 CPUtime=401.97
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25083 0 0 0 38729 1468 0 0 25 0 1 0 138779283 88096768 18898 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9199/statm: 21508 18898 104 219 0 21285 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 86032

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1434664/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=86976 CPUtime=461.93
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25370 0 0 0 44418 1775 0 0 25 0 1 0 138779283 89063424 19185 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 21744 19185 104 219 0 21521 0
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (KiB) 86976

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1433768/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=87916 CPUtime=521.89
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25597 0 0 0 50149 2040 0 0 25 0 1 0 138779283 90025984 19412 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 21979 19412 104 219 0 21756 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 87916

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1433192/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=88340 CPUtime=581.85
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25735 0 0 0 55966 2219 0 0 25 0 1 0 138779283 90460160 19550 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 22085 19550 104 219 0 21862 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 88340

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1432808/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=88656 CPUtime=641.81
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25834 0 0 0 61754 2427 0 0 25 0 1 0 138779283 90783744 19649 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 22164 19649 104 219 0 21941 0
Current children cumulated CPU time (s) 641.81
Current children cumulated vsize (KiB) 88656


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1430120/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=91144 CPUtime=821.68
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 26482 0 0 0 78866 3302 0 0 25 0 1 0 138779283 93331456 20297 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 22786 20297 104 219 0 22563 0
Current children cumulated CPU time (s) 821.68
Current children cumulated vsize (KiB) 91144

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1429480/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=91524 CPUtime=881.63
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 26648 0 0 0 84655 3508 0 0 25 0 1 0 138779283 93720576 20463 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 22881 20463 104 219 0 22658 0
Current children cumulated CPU time (s) 881.63
Current children cumulated vsize (KiB) 91524

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1428904/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=92220 CPUtime=941.59
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 26797 0 0 0 90375 3784 0 0 25 0 1 0 138779283 94433280 20612 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23055 20612 104 219 0 22832 0
Current children cumulated CPU time (s) 941.59
Current children cumulated vsize (KiB) 92220

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1428392/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=92620 CPUtime=1001.55
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 26923 0 0 0 96121 4034 0 0 25 0 1 0 138779283 94842880 20738 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23155 20738 104 219 0 22932 0
Current children cumulated CPU time (s) 1001.55
Current children cumulated vsize (KiB) 92620

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1427880/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=92892 CPUtime=1061.5
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27067 0 0 0 101854 4296 0 0 25 0 1 0 138779283 95121408 20882 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23223 20882 104 219 0 23000 0
Current children cumulated CPU time (s) 1061.5
Current children cumulated vsize (KiB) 92892

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1427304/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=93228 CPUtime=1121.46
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27199 0 0 0 107585 4561 0 0 25 0 1 0 138779283 95465472 21014 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23307 21014 104 219 0 23084 0
Current children cumulated CPU time (s) 1121.46
Current children cumulated vsize (KiB) 93228

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1426728/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=93888 CPUtime=1181.43
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27352 0 0 0 113293 4850 0 0 25 0 1 0 138779283 96141312 21167 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23472 21167 104 219 0 23249 0
Current children cumulated CPU time (s) 1181.43
Current children cumulated vsize (KiB) 93888

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1426344/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=93964 CPUtime=1241.35
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27408 0 0 0 119140 4995 0 0 25 0 1 0 138779283 96219136 21223 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23491 21223 104 219 0 23268 0
Current children cumulated CPU time (s) 1241.35
Current children cumulated vsize (KiB) 93964

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1426088/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=94140 CPUtime=1301.33
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27456 0 0 0 124974 5159 0 0 25 0 1 0 138779283 96399360 21271 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23535 21271 104 219 0 23312 0
Current children cumulated CPU time (s) 1301.33
Current children cumulated vsize (KiB) 94140

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1425640/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=94760 CPUtime=1361.29
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27596 0 0 0 130761 5368 0 0 25 0 1 0 138779283 97034240 21411 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23690 21411 104 219 0 23467 0
Current children cumulated CPU time (s) 1361.29
Current children cumulated vsize (KiB) 94760

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1425320/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=94948 CPUtime=1421.24
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27675 0 0 0 136518 5606 0 0 25 0 1 0 138779283 97226752 21490 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23737 21490 104 219 0 23514 0
Current children cumulated CPU time (s) 1421.24
Current children cumulated vsize (KiB) 94948

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1424808/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=95332 CPUtime=1481.2
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27808 0 0 0 142243 5877 0 0 25 0 1 0 138779283 97619968 21623 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23833 21623 104 219 0 23610 0
Current children cumulated CPU time (s) 1481.2
Current children cumulated vsize (KiB) 95332

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1424232/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=95628 CPUtime=1541.16
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27942 0 0 0 147989 6127 0 0 25 0 1 0 138779283 97923072 21757 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 23907 21757 104 219 0 23684 0
Current children cumulated CPU time (s) 1541.16
Current children cumulated vsize (KiB) 95628

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1423848/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=96168 CPUtime=1601.11
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28039 0 0 0 153763 6348 0 0 25 0 1 0 138779283 98476032 21854 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 24042 21854 104 219 0 23819 0
Current children cumulated CPU time (s) 1601.11
Current children cumulated vsize (KiB) 96168

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1423336/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=96532 CPUtime=1661.07
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28152 0 0 0 159480 6627 0 0 25 0 1 0 138779283 98848768 21967 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549780 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 24133 21967 104 219 0 23910 0
Current children cumulated CPU time (s) 1661.07
Current children cumulated vsize (KiB) 96532

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1422952/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=96756 CPUtime=1721.04
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28279 0 0 0 165218 6886 0 0 25 0 1 0 138779283 99078144 22094 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 24189 22094 104 219 0 23966 0
Current children cumulated CPU time (s) 1721.04
Current children cumulated vsize (KiB) 96756

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1422184/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=97036 CPUtime=1781
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28402 0 0 0 170969 7131 0 0 25 0 1 0 138779283 99364864 22217 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 24259 22217 104 219 0 24036 0
Current children cumulated CPU time (s) 1781
Current children cumulated vsize (KiB) 97036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 9200
/proc/meminfo: memFree=1422120/2055920 swapFree=4183904/4192956
[pid=9199] ppid=9197 vsize=97456 CPUtime=1800.09
/proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28426 0 0 0 172803 7206 0 0 25 0 1 0 138779283 99794944 22241 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9199/statm: 24364 22241 104 219 0 24141 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 97456

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

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

Child status: 0
Real time (s): 1801.42
CPU time (s): 1800.11
CPU user time (s): 1728.03
CPU system time (s): 72.082
CPU usage (%): 99.9273
Max. virtual memory (cumulated for all children) (KiB): 97456

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

runsolver used 1.66975 second user time and 4.89226 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Sun Apr 15 09:04:58 UTC 2007

IDJOB= 352273
IDBENCH= 1963
IDSOLVER= 157
FILE ID= node67/352273-1176627897

PBS_JOBID= 4559783

Free space on /tmp= 66547 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
COMMAND LINE= /tmp/evaluation/352273-1176627897/PBS4 /tmp/evaluation/352273-1176627897/instance-352273-1176627897.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-352273-1176627897 -o ROOT/results/node67/conversion-352273-1176627897 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352273-1176627897/instance-352273-1176627897.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  f8f4f876e372c51b5109e7995e83ce5e

RANDOM SEED= 166240019

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1511176 kB
Buffers:         21960 kB
Cached:         424720 kB
SwapCached:       3140 kB
Active:         109216 kB
Inactive:       347364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1511176 kB
SwapTotal:     4192956 kB
SwapFree:      4183904 kB
Dirty:           17964 kB
Writeback:           0 kB
Mapped:          15876 kB
Slab:            74136 kB
Committed_AS:   162120 kB
PageTables:       1452 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= 66547 MiB

End job on node67 on Sun Apr 15 09:35:01 UTC 2007