Trace number 455544

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.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_2.opb
MD5SUMb5a23f46b7c8ffe564ae87cb51d69480
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-59
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 -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

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/455544-1178045279/instance-455544-1178045279.opb ......
0.49/0.58	c done parsing opb.
0.49/0.58	o 173
0.59/0.69	o 168
0.79/0.82	o 167
0.89/0.90	o 163
1.00/1.04	o 159
1.59/1.65	o 158
10.49/10.60	o 157
26.08/26.14	o 156
48.17/48.28	o 155
600.13/600.33	o 154
1800.02/1800.61	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/455544-1178045279/instance-455544-1178045279.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-455544-1178045279 -o ROOT/results/node9/solver-455544-1178045279 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455544-1178045279/PBS4 /tmp/evaluation/455544-1178045279/instance-455544-1178045279.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.94 0.95 3/77 15036
/proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=1732 CPUtime=0
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 280565460 1773568 216 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/15036/statm: 433 216 87 219 0 210 0

[startup+0.067004 s]
/proc/loadavg: 0.91 0.94 0.95 3/77 15036
/proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=2720 CPUtime=0.06
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 477 0 0 0 6 0 0 0 18 0 1 0 280565460 2785280 427 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134593268 0 0 4096 0 0 0 0 17 1 0 0
/proc/15036/statm: 680 427 88 219 0 457 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2720

[startup+0.102007 s]
/proc/loadavg: 0.91 0.94 0.95 3/77 15036
/proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=2716 CPUtime=0.09
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 497 0 0 0 9 0 0 0 18 0 1 0 280565460 2781184 447 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 679 447 93 219 0 456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2716

[startup+0.30103 s]
/proc/loadavg: 0.91 0.94 0.95 3/77 15036
/proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=2716 CPUtime=0.29
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 497 0 0 0 29 0 0 0 19 0 1 0 280565460 2781184 447 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 679 447 93 219 0 456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2716

[startup+0.701075 s]
/proc/loadavg: 0.91 0.94 0.95 3/77 15036
/proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=2848 CPUtime=0.69
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 549 0 0 0 69 0 0 0 23 0 1 0 280565460 2916352 499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 712 499 103 219 0 489 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2848

[startup+1.50216 s]
/proc/loadavg: 0.91 0.94 0.95 2/78 15037
/proc/meminfo: memFree=1838032/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=3368 CPUtime=1.49
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 715 0 0 0 147 2 0 0 25 0 1 0 280565460 3448832 665 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 842 665 104 219 0 619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3368

[startup+3.10135 s]
/proc/loadavg: 0.91 0.94 0.95 2/78 15037
/proc/meminfo: memFree=1837008/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=5100 CPUtime=3.09
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 1021 0 0 0 306 3 0 0 25 0 1 0 280565460 5222400 971 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 1275 971 104 219 0 1052 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5100

[startup+6.30171 s]
/proc/loadavg: 0.92 0.94 0.95 2/78 15037
/proc/meminfo: memFree=1831440/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=11700 CPUtime=6.29
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 2794 0 0 0 625 4 0 0 25 0 1 0 280565460 11980800 2695 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 2925 2695 104 219 0 2702 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11700

[startup+12.7014 s]
/proc/loadavg: 0.93 0.94 0.95 2/78 15037
/proc/meminfo: memFree=1821840/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=20732 CPUtime=12.69
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 5062 0 0 0 1260 9 0 0 25 0 1 0 280565460 21229568 4963 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 5183 4963 104 219 0 4960 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20732

[startup+25.5019 s]
/proc/loadavg: 0.94 0.94 0.95 2/78 15037
/proc/meminfo: memFree=1819152/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=21764 CPUtime=25.48
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 5439 0 0 0 2534 14 0 0 25 0 1 0 280565460 22286336 5243 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 5441 5243 104 219 0 5218 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21764

[startup+51.1018 s]
/proc/loadavg: 0.96 0.94 0.95 2/78 15037
/proc/meminfo: memFree=1818000/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=23432 CPUtime=51.08
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 5940 0 0 0 5088 20 0 0 25 0 1 0 280565460 23994368 5551 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 5858 5551 104 219 0 5635 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23432

[startup+102.306 s]
/proc/loadavg: 0.98 0.95 0.95 2/78 15037
/proc/meminfo: memFree=1805392/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=42724 CPUtime=102.27
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 9449 0 0 0 10195 32 0 0 25 0 1 0 280565460 43749376 8675 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 10681 8675 104 219 0 10458 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42724

[startup+162.301 s]
/proc/loadavg: 0.99 0.96 0.95 2/78 15037
/proc/meminfo: memFree=1764304/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=78480 CPUtime=162.24
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 19715 0 0 0 16176 48 0 0 25 0 1 0 280565460 80363520 18941 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 19620 18941 104 219 0 19397 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 78480

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.95 2/78 15037
/proc/meminfo: memFree=1759568/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=82984 CPUtime=222.23
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 20862 0 0 0 22166 57 0 0 25 0 1 0 280565460 84975616 20088 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 20746 20088 104 219 0 20523 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 82984

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 15037
/proc/meminfo: memFree=1757136/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=88436 CPUtime=282.22
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 22224 0 0 0 28157 65 0 0 25 0 1 0 280565460 90558464 20681 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 22109 20681 104 219 0 21886 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 88436

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 15037
/proc/meminfo: memFree=1736912/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=157228 CPUtime=342.2
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 27268 0 0 0 34146 74 0 0 25 0 1 0 280565460 161001472 25725 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 39307 25725 104 219 0 39084 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 157228

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 15037
/proc/meminfo: memFree=1734096/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=159188 CPUtime=402.18
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 28054 0 0 0 40139 79 0 0 25 0 1 0 280565460 163008512 26511 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 39797 26511 104 219 0 39574 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 159188

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 15037
/proc/meminfo: memFree=1731216/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=160048 CPUtime=462.16
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 28664 0 0 0 46130 86 0 0 25 0 1 0 280565460 163889152 27121 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 40012 27121 104 219 0 39789 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 160048

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 15037
/proc/meminfo: memFree=1729424/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=161384 CPUtime=522.15
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 29112 0 0 0 52121 94 0 0 25 0 1 0 280565460 165257216 27569 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 40346 27569 104 219 0 40123 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 161384

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 15037
/proc/meminfo: memFree=1728400/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=161716 CPUtime=582.14
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 29362 0 0 0 58112 102 0 0 25 0 1 0 280565460 165597184 27819 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 40429 27819 104 219 0 40206 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 161716

[startup+642.302 s]
/proc/loadavg: 1.04 0.99 0.95 2/78 15037
/proc/meminfo: memFree=1727568/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=168212 CPUtime=642.12
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 31097 0 0 0 64101 111 0 0 25 0 1 0 280565460 172249088 28017 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 42053 28017 104 219 0 41830 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 168212


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

[startup+822.301 s]
/proc/loadavg: 1.00 0.99 0.95 2/84 15205
/proc/meminfo: memFree=1722776/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=170336 CPUtime=821.98
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 31941 0 0 0 82062 136 0 0 25 0 1 0 280565460 174424064 28861 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 42584 28861 104 219 0 42361 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 170336

[startup+882.303 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1722832/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=170844 CPUtime=881.96
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32216 0 0 0 88053 143 0 0 25 0 1 0 280565460 174944256 29136 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 42711 29136 104 219 0 42488 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 170844

[startup+942.303 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1722192/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=170844 CPUtime=941.94
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32368 0 0 0 94046 148 0 0 25 0 1 0 280565460 174944256 29288 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 42711 29288 104 219 0 42488 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 170844

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1721488/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=171384 CPUtime=1001.92
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32533 0 0 0 100040 152 0 0 25 0 1 0 280565460 175497216 29453 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 42846 29453 104 219 0 42623 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 171384

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1720976/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=171384 CPUtime=1061.9
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32702 0 0 0 106034 156 0 0 25 0 1 0 280565460 175497216 29622 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 42846 29622 104 219 0 42623 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 171384

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1720144/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=171956 CPUtime=1121.88
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32880 0 0 0 112026 162 0 0 25 0 1 0 280565460 176082944 29800 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 42989 29800 104 219 0 42766 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 171956

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1719632/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=171956 CPUtime=1181.87
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33004 0 0 0 118020 167 0 0 25 0 1 0 280565460 176082944 29924 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 42989 29924 104 219 0 42766 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 171956

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1718352/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=173208 CPUtime=1241.86
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33315 0 0 0 124014 172 0 0 25 0 1 0 280565460 177364992 30235 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 43302 30235 104 219 0 43079 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 173208

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1717776/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=173208 CPUtime=1301.84
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33454 0 0 0 130007 177 0 0 25 0 1 0 280565460 177364992 30374 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 43302 30374 104 219 0 43079 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 173208

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1717200/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=173208 CPUtime=1361.83
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33582 0 0 0 136002 181 0 0 25 0 1 0 280565460 177364992 30502 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 43302 30502 104 219 0 43079 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 173208

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1716880/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=173208 CPUtime=1421.81
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33677 0 0 0 141994 187 0 0 25 0 1 0 280565460 177364992 30597 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 43302 30597 104 219 0 43079 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 173208

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1716496/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=173208 CPUtime=1481.8
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33759 0 0 0 147989 191 0 0 25 0 1 0 280565460 177364992 30679 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 43302 30679 104 219 0 43079 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 173208

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1701520/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=185496 CPUtime=1541.77
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 40570 0 0 0 153979 198 0 0 25 0 1 0 280565460 189947904 34417 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 46374 34417 104 219 0 46151 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 185496

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1693456/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=186180 CPUtime=1601.76
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 42566 0 0 0 159972 204 0 0 25 0 1 0 280565460 190648320 36413 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 46545 36413 104 219 0 46322 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 186180

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1677904/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=187436 CPUtime=1661.74
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 46443 0 0 0 165964 210 0 0 25 0 1 0 280565460 191934464 40290 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 46859 40290 104 219 0 46636 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 187436

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1677456/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=187436 CPUtime=1721.73
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 46556 0 0 0 171957 216 0 0 25 0 1 0 280565460 191934464 40403 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 46859 40403 104 219 0 46636 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 187436

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/78 15234
/proc/meminfo: memFree=1676944/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=187628 CPUtime=1781.72
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 46662 0 0 0 177951 221 0 0 25 0 1 0 280565460 192131072 40509 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 46907 40509 104 219 0 46684 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 187628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.95 3/78 15234
/proc/meminfo: memFree=1676112/2055920 swapFree=4145492/4192956
[pid=15036] ppid=15034 vsize=188400 CPUtime=1800.02
/proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 46879 0 0 0 179779 223 0 0 25 0 1 0 280565460 192921600 40726 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15036/statm: 47100 40726 104 219 0 46877 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 188400

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): 1800.64
CPU time (s): 1800.05
CPU user time (s): 1797.8
CPU system time (s): 2.25766
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 197788

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

runsolver used 1.41278 second user time and 4.05538 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue May  1 18:47:59 UTC 2007

IDJOB= 455544
IDBENCH= 48271
IDSOLVER= 157
FILE ID= node9/455544-1178045279

PBS_JOBID= 4728464

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/bsg/normalized-bsg_200_10_2.opb
COMMAND LINE= /tmp/evaluation/455544-1178045279/PBS4 /tmp/evaluation/455544-1178045279/instance-455544-1178045279.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-455544-1178045279 -o ROOT/results/node9/conversion-455544-1178045279 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455544-1178045279/instance-455544-1178045279.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  b5a23f46b7c8ffe564ae87cb51d69480

RANDOM SEED= 916392755

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1840496 kB
Buffers:         55136 kB
Cached:          71028 kB
SwapCached:      15344 kB
Active:         104236 kB
Inactive:        45176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840496 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:            1448 kB
Writeback:           0 kB
Mapped:          29824 kB
Slab:            51608 kB
Committed_AS:  8606544 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= 66563 MiB

End job on node9 on Tue May  1 19:18:02 UTC 2007