Trace number 454059

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.12 1800.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_2.opb
MD5SUM9073bcbe60c862f7d64be630b0fdd227
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-71
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint60
Maximum length of a constraint109
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75286
Sum of products size (including duplicates)150572
Number of different products37643
Sum of products size75286

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/454059-1178020759/instance-454059-1178020759.opb ......
1.49/1.51	c done parsing opb.
1.49/1.51	o 951
1.49/1.58	o 950
2.59/2.61	o 949
11.28/11.34	o 948
11.28/11.39	o 946
11.38/11.45	o 945
20.58/20.69	o 944
20.68/20.77	o 940
20.79/20.81	o 939
26.39/26.45	o 938
75.27/75.37	o 937
101.05/101.18	o 935
216.93/217.14	o 934
407.77/408.02	o 933
1800.08/1800.71	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/454059-1178020759/instance-454059-1178020759.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-454059-1178020759 -o ROOT/results/node19/solver-454059-1178020759 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454059-1178020759/PBS4 /tmp/evaluation/454059-1178020759/instance-454059-1178020759.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: 1.11 1.16 1.17 3/77 8475
/proc/meminfo: memFree=1878024/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=4948 CPUtime=0
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 492 0 0 0 0 0 0 0 18 0 1 0 249993530 5066752 475 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134572935 0 0 4096 0 0 0 0 17 1 0 0
/proc/8475/statm: 1237 478 81 219 0 1014 0

[startup+0.093622 s]
/proc/loadavg: 1.11 1.16 1.17 3/77 8475
/proc/meminfo: memFree=1878024/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=8108 CPUtime=0.08
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 1841 0 0 0 8 0 0 0 18 0 1 0 249993530 8302592 1791 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134530221 0 0 4096 0 0 0 0 17 1 0 0
/proc/8475/statm: 2027 1791 88 219 0 1804 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8108

[startup+0.102623 s]
/proc/loadavg: 1.11 1.16 1.17 3/77 8475
/proc/meminfo: memFree=1878024/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=8108 CPUtime=0.09
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 1841 0 0 0 9 0 0 0 18 0 1 0 249993530 8302592 1791 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134530224 0 0 4096 0 0 0 0 17 1 0 0
/proc/8475/statm: 2027 1791 88 219 0 1804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8108

[startup+0.302645 s]
/proc/loadavg: 1.11 1.16 1.17 3/77 8475
/proc/meminfo: memFree=1878024/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=11552 CPUtime=0.29
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 2684 0 0 0 29 0 0 0 19 0 1 0 249993530 11829248 2634 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134783526 0 0 4096 0 0 0 0 17 1 0 0
/proc/8475/statm: 2888 2634 88 219 0 2665 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11552

[startup+0.701687 s]
/proc/loadavg: 1.11 1.16 1.17 3/77 8475
/proc/meminfo: memFree=1878024/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=16488 CPUtime=0.69
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 4047 0 0 0 68 1 0 0 23 0 1 0 249993530 16883712 3899 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134797992 0 0 4096 0 0 0 0 17 1 0 0
/proc/8475/statm: 4122 3899 89 219 0 3899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16488

[startup+1.50177 s]
/proc/loadavg: 1.11 1.16 1.17 2/78 8476
/proc/meminfo: memFree=1860032/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=26284 CPUtime=1.49
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 6263 0 0 0 147 2 0 0 25 0 1 0 249993530 26914816 5602 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 6571 5602 94 219 0 6348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26284

[startup+3.10195 s]
/proc/loadavg: 1.11 1.16 1.17 2/78 8476
/proc/meminfo: memFree=1852480/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=40620 CPUtime=3.09
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 8741 0 0 0 306 3 0 0 25 0 1 0 249993530 41594880 8080 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134562018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 10155 8080 104 219 0 9932 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40620

[startup+6.3013 s]
/proc/loadavg: 1.10 1.16 1.17 2/78 8476
/proc/meminfo: memFree=1833168/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=57004 CPUtime=6.29
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 12899 0 0 0 623 6 0 0 25 0 1 0 249993530 58372096 12238 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 14251 12238 104 219 0 14028 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57004

[startup+12.702 s]
/proc/loadavg: 1.10 1.16 1.17 2/78 8476
/proc/meminfo: memFree=1804648/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=89772 CPUtime=12.68
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 19586 0 0 0 1259 9 0 0 25 0 1 0 249993530 91926528 18925 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 22443 18925 104 219 0 22220 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89772

[startup+25.5014 s]
/proc/loadavg: 1.07 1.15 1.16 2/78 8476
/proc/meminfo: memFree=1773480/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=157676 CPUtime=25.48
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 27592 0 0 0 2534 14 0 0 25 0 1 0 249993530 161460224 26475 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 39419 26475 104 219 0 39196 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 157676

[startup+51.1012 s]
/proc/loadavg: 1.05 1.14 1.16 2/78 8476
/proc/meminfo: memFree=1757608/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=160872 CPUtime=51.08
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 32796 0 0 0 5088 20 0 0 25 0 1 0 249993530 164732928 30463 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 40218 30463 104 219 0 39995 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 160872

[startup+102.307 s]
/proc/loadavg: 1.02 1.11 1.15 2/84 8502
/proc/meminfo: memFree=1723768/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=165920 CPUtime=102.26
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 43244 0 0 0 10196 30 0 0 25 0 1 0 249993530 169902080 38246 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 41480 38246 104 219 0 41257 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 165920

[startup+162.301 s]
/proc/loadavg: 1.00 1.09 1.14 2/78 8674
/proc/meminfo: memFree=1722216/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=168300 CPUtime=162.15
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 46345 0 0 0 16178 37 0 0 25 0 1 0 249993530 172339200 38839 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 42075 38839 104 219 0 41852 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 168300

[startup+222.302 s]
/proc/loadavg: 1.00 1.07 1.12 2/78 8674
/proc/meminfo: memFree=1719848/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=170576 CPUtime=222.13
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 49469 0 0 0 22169 44 0 0 25 0 1 0 249993530 174669824 39455 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 42644 39455 104 219 0 42421 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 170576

[startup+282.302 s]
/proc/loadavg: 1.00 1.06 1.11 2/78 8674
/proc/meminfo: memFree=1718312/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=174804 CPUtime=282.11
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 52982 0 0 0 28161 50 0 0 25 0 1 0 249993530 178999296 39843 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551069 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 43701 39843 104 219 0 43478 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 174804

[startup+342.303 s]
/proc/loadavg: 1.00 1.04 1.10 2/78 8674
/proc/meminfo: memFree=1716328/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=176376 CPUtime=342.09
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 55808 0 0 0 34153 56 0 0 25 0 1 0 249993530 180609024 40313 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 44094 40313 104 219 0 43871 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 176376

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.09 2/78 8674
/proc/meminfo: memFree=1714728/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=177552 CPUtime=402.07
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 58562 0 0 0 40144 63 0 0 25 0 1 0 249993530 181813248 40711 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 44388 40711 104 219 0 44165 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 177552

[startup+462.303 s]
/proc/loadavg: 1.00 1.02 1.08 2/78 8674
/proc/meminfo: memFree=1710696/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=178288 CPUtime=462.05
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 61770 0 0 0 46135 70 0 0 25 0 1 0 249993530 182566912 41715 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134562044 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 44572 41715 104 219 0 44349 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 178288

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.08 2/78 8674
/proc/meminfo: memFree=1709416/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=179216 CPUtime=522.04
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 64285 0 0 0 52129 75 0 0 25 0 1 0 249993530 183517184 42026 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 44804 42026 104 219 0 44581 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 179216

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.07 2/78 8674
/proc/meminfo: memFree=1708264/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=180200 CPUtime=582.02
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 66697 0 0 0 58122 80 0 0 25 0 1 0 249993530 184524800 42310 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 45050 42310 104 219 0 44827 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 180200

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.07 2/78 8674
/proc/meminfo: memFree=1706984/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=187208 CPUtime=642.01
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 70734 0 0 0 64115 86 0 0 25 0 1 0 249993530 191700992 42606 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 46802 42606 104 219 0 46579 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 187208


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/78 8674
/proc/meminfo: memFree=1702184/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=189568 CPUtime=881.94
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 80303 0 0 0 88085 109 0 0 25 0 1 0 249993530 194117632 43739 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 47392 43739 104 219 0 47169 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 189568

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/78 8674
/proc/meminfo: memFree=1701416/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=190592 CPUtime=941.92
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 82550 0 0 0 94079 113 0 0 25 0 1 0 249993530 195166208 43934 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 47648 43934 104 219 0 47425 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 190592

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 8674
/proc/meminfo: memFree=1699624/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=191552 CPUtime=1001.9
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 85187 0 0 0 100071 119 0 0 25 0 1 0 249993530 196149248 44367 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 47888 44367 104 219 0 47665 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 191552

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 8674
/proc/meminfo: memFree=1698600/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=192468 CPUtime=1061.88
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 87638 0 0 0 106063 125 0 0 25 0 1 0 249993530 197087232 44614 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 48117 44614 104 219 0 47894 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 192468

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 8674
/proc/meminfo: memFree=1697384/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=192628 CPUtime=1121.86
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 90214 0 0 0 112055 131 0 0 25 0 1 0 249993530 197251072 44910 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559426 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 48157 44910 104 219 0 47934 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 192628

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 8674
/proc/meminfo: memFree=1696360/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=193764 CPUtime=1181.85
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 92680 0 0 0 118048 137 0 0 25 0 1 0 249993530 198414336 45172 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 48441 45172 104 219 0 48218 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 193764

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 8674
/proc/meminfo: memFree=1695336/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=193764 CPUtime=1241.83
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 95125 0 0 0 124040 143 0 0 25 0 1 0 249993530 198414336 45413 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 48441 45413 104 219 0 48218 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 193764

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1693928/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=195280 CPUtime=1301.81
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 97600 0 0 0 130034 147 0 0 25 0 1 0 249993530 199966720 45760 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 48820 45760 104 219 0 48597 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 195280

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1692520/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=195732 CPUtime=1361.79
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 100129 0 0 0 136027 152 0 0 25 0 1 0 249993530 200429568 46085 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 48933 46085 104 219 0 48710 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 195732

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1691432/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=209280 CPUtime=1421.78
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 105653 0 0 0 142019 159 0 0 25 0 1 0 249993530 214302720 46332 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 52320 46332 104 219 0 52097 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 209280

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1690408/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=209280 CPUtime=1481.76
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 108025 0 0 0 148012 164 0 0 25 0 1 0 249993530 214302720 46576 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 52320 46576 104 219 0 52097 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 209280

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1689512/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=209280 CPUtime=1541.75
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 110303 0 0 0 154006 169 0 0 25 0 1 0 249993530 214302720 46802 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 52320 46802 104 219 0 52097 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 209280

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1688296/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=210768 CPUtime=1601.73
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 112734 0 0 0 160000 173 0 0 25 0 1 0 249993530 215826432 47105 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 52692 47105 104 219 0 52469 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 210768

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1687208/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=210768 CPUtime=1661.71
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 115052 0 0 0 165992 179 0 0 25 0 1 0 249993530 215826432 47371 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 52692 47371 104 219 0 52469 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 210768

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1686248/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=212172 CPUtime=1721.69
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 117398 0 0 0 171984 185 0 0 25 0 1 0 249993530 217264128 47589 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552810 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 53043 47589 104 219 0 52820 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 212172

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1685096/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=212492 CPUtime=1781.68
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 119705 0 0 0 177977 191 0 0 25 0 1 0 249993530 217591808 47844 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 53123 47844 104 219 0 52900 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 212492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1684776/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=212492 CPUtime=1800.08
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 120382 0 0 0 179816 192 0 0 25 0 1 0 249993530 217591808 47913 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 53123 47913 104 219 0 52900 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 212492

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8674
/proc/meminfo: memFree=1684776/2055920 swapFree=4153596/4192956
[pid=8475] ppid=8473 vsize=212492 CPUtime=1800.08
/proc/8475/stat : 8475 (PBS4) R 8473 8475 8409 0 -1 4194304 120382 0 0 0 179816 192 0 0 25 0 1 0 249993530 217591808 47913 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8475/statm: 53123 47913 104 219 0 52900 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 212492

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.12
CPU user time (s): 1798.16
CPU system time (s): 1.9567
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 212492

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

runsolver used 1.39079 second user time and 3.9584 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Tue May  1 11:59:19 UTC 2007

IDJOB= 454059
IDBENCH= 48172
IDSOLVER= 157
FILE ID= node19/454059-1178020759

PBS_JOBID= 4728380

Free space on /tmp= 66563 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_2.opb
COMMAND LINE= /tmp/evaluation/454059-1178020759/PBS4 /tmp/evaluation/454059-1178020759/instance-454059-1178020759.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-454059-1178020759 -o ROOT/results/node19/conversion-454059-1178020759 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454059-1178020759/instance-454059-1178020759.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  9073bcbe60c862f7d64be630b0fdd227

RANDOM SEED= 405111196

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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:       1878560 kB
Buffers:         42060 kB
Cached:          54032 kB
SwapCached:       7608 kB
Active:          65448 kB
Inactive:        53124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1878560 kB
SwapTotal:     4192956 kB
SwapFree:      4153596 kB
Dirty:            4564 kB
Writeback:           0 kB
Mapped:          29244 kB
Slab:            44304 kB
Committed_AS:  7273700 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node19 on Tue May  1 12:29:24 UTC 2007