Trace number 455364

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_50_25_4.opb
MD5SUM0c3fb28b3ecb8f1eba2bffa356ef5364
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark81.8136
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2932
Sum of products size (including duplicates)5864
Number of different products1466
Sum of products size2932

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/455364-1178042063/instance-455364-1178042063.opb ......
0.10/0.13	c done parsing opb.
0.10/0.13	o 47
0.10/0.18	o 46
0.19/0.23	o 45
0.39/0.41	o 44
52.88/52.95	o 43
1800.01/1800.60	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/455364-1178042063/instance-455364-1178042063.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-455364-1178042063 -o ROOT/results/node57/solver-455364-1178042063 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455364-1178042063/PBS4 /tmp/evaluation/455364-1178042063/instance-455364-1178042063.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.94 3/64 4468
/proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=1604 CPUtime=0
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 245342250 1642496 170 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/4468/statm: 401 170 87 219 0 178 0

[startup+0.0535151 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 4468
/proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=2012 CPUtime=0.05
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 317 0 0 0 5 0 0 0 18 0 1 0 245342250 2060288 300 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 503 300 92 219 0 280 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2012

[startup+0.102518 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 4468
/proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=2012 CPUtime=0.1
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 317 0 0 0 10 0 0 0 18 0 1 0 245342250 2060288 300 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 503 300 92 219 0 280 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2012

[startup+0.302535 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 4468
/proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=2492 CPUtime=0.29
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 408 0 0 0 29 0 0 0 19 0 1 0 245342250 2551808 391 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 623 391 103 219 0 400 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2492

[startup+0.701571 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 4468
/proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=4356 CPUtime=0.69
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 707 0 0 0 69 0 0 0 22 0 1 0 245342250 4460544 690 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 1089 690 103 219 0 866 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4356

[startup+1.50164 s]
/proc/loadavg: 0.91 0.95 0.94 2/65 4469
/proc/meminfo: memFree=1883152/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=6860 CPUtime=1.49
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 1400 0 0 0 149 0 0 0 25 0 1 0 245342250 7024640 1334 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 1715 1334 104 219 0 1492 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6860

[startup+3.10178 s]
/proc/loadavg: 0.91 0.95 0.94 2/65 4469
/proc/meminfo: memFree=1880208/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=11924 CPUtime=3.09
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 2109 0 0 0 307 2 0 0 25 0 1 0 245342250 12210176 2043 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 2981 2043 104 219 0 2758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11924

[startup+6.30106 s]
/proc/loadavg: 0.92 0.95 0.94 2/65 4469
/proc/meminfo: memFree=1875792/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=21240 CPUtime=6.29
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 3172 0 0 0 626 3 0 0 25 0 1 0 245342250 21749760 3009 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 5310 3009 104 219 0 5087 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21240

[startup+12.7016 s]
/proc/loadavg: 0.93 0.95 0.94 2/65 4469
/proc/meminfo: memFree=1872216/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=22960 CPUtime=12.68
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 3969 0 0 0 1263 5 0 0 25 0 1 0 245342250 23511040 3613 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 5740 3613 104 219 0 5517 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22960

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.94 2/65 4469
/proc/meminfo: memFree=1868056/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=24236 CPUtime=25.48
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 5028 0 0 0 2539 9 0 0 25 0 1 0 245342250 24817664 4672 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 6059 4672 104 219 0 5836 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24236

[startup+51.1019 s]
/proc/loadavg: 0.96 0.96 0.94 2/65 4469
/proc/meminfo: memFree=1854744/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=46248 CPUtime=51.07
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 8822 0 0 0 5090 17 0 0 25 0 1 0 245342250 47357952 8081 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 11562 8081 104 219 0 11339 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46248

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.94 2/65 4469
/proc/meminfo: memFree=1845592/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=52996 CPUtime=102.27
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 11715 0 0 0 10200 27 0 0 25 0 1 0 245342250 54267904 10205 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 13249 10205 104 219 0 13026 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52996

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4469
/proc/meminfo: memFree=1833432/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=89488 CPUtime=162.25
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 14983 0 0 0 16187 38 0 0 25 0 1 0 245342250 91635712 13308 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 22372 13308 104 219 0 22149 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 89488

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4469
/proc/meminfo: memFree=1816408/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=95512 CPUtime=222.23
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 19768 0 0 0 22176 47 0 0 25 0 1 0 245342250 97804288 17499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 23878 17499 104 219 0 23655 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 95512

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4469
/proc/meminfo: memFree=1813400/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=97576 CPUtime=282.22
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 20981 0 0 0 28168 54 0 0 25 0 1 0 245342250 99917824 18349 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134565658 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 24394 18349 104 219 0 24171 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 97576

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4469
/proc/meminfo: memFree=1807320/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=105976 CPUtime=342.2
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 24047 0 0 0 34159 61 0 0 25 0 1 0 245342250 108519424 19746 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 26494 19746 104 219 0 26271 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 105976

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/71 4535
/proc/meminfo: memFree=1803800/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=107272 CPUtime=402.15
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 24818 0 0 0 40146 69 0 0 25 0 1 0 245342250 109846528 20418 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547106 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 26818 20418 104 219 0 26595 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 107272

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4667
/proc/meminfo: memFree=1795208/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=109808 CPUtime=462.05
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 27419 0 0 0 46130 75 0 0 25 0 1 0 245342250 112443392 22757 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 27452 22757 104 219 0 27229 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 109808

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4667
/proc/meminfo: memFree=1793432/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=111360 CPUtime=522.04
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 27996 0 0 0 52125 79 0 0 25 0 1 0 245342250 114032640 23203 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 27840 23203 104 219 0 27617 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 111360

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4667
/proc/meminfo: memFree=1788888/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=113564 CPUtime=582.03
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 29505 0 0 0 58117 86 0 0 25 0 1 0 245342250 116289536 24353 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 28391 24353 104 219 0 28168 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 113564

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4667
/proc/meminfo: memFree=1777624/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=182300 CPUtime=642.01
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 33039 0 0 0 64108 93 0 0 25 0 1 0 245342250 186675200 27139 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 45575 27139 104 219 0 45352 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 182300


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4667
/proc/meminfo: memFree=1770520/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=185884 CPUtime=821.96
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 35037 0 0 0 82088 108 0 0 25 0 1 0 245342250 190345216 28908 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 46471 28908 104 219 0 46248 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 185884

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4667
/proc/meminfo: memFree=1767320/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=188852 CPUtime=881.94
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 36225 0 0 0 88081 113 0 0 25 0 1 0 245342250 193384448 29706 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 47213 29706 104 219 0 46990 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 188852

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4667
/proc/meminfo: memFree=1760984/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=189656 CPUtime=941.92
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 37918 0 0 0 94075 117 0 0 25 0 1 0 245342250 194207744 31301 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 47414 31301 104 219 0 47191 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 189656

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4667
/proc/meminfo: memFree=1759896/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=190168 CPUtime=1001.91
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 38300 0 0 0 100070 121 0 0 25 0 1 0 245342250 194732032 31553 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 47542 31553 104 219 0 47319 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 190168

[startup+1062.3 s]
/proc/loadavg: 1.05 0.99 0.95 2/65 4667
/proc/meminfo: memFree=1755352/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=204440 CPUtime=1061.89
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 42766 0 0 0 106062 127 0 0 25 0 1 0 245342250 209346560 32686 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551796 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 51110 32686 104 219 0 50887 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 204440

[startup+1122.3 s]
/proc/loadavg: 1.13 1.02 0.96 2/65 4667
/proc/meminfo: memFree=1746200/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=206964 CPUtime=1121.88
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 45437 0 0 0 112054 134 0 0 25 0 1 0 245342250 211931136 34967 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 51741 34967 104 219 0 51518 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 206964

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 0.96 2/65 4667
/proc/meminfo: memFree=1745176/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=207216 CPUtime=1181.86
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 45824 0 0 0 118048 138 0 0 25 0 1 0 245342250 212189184 35223 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 51804 35223 104 219 0 51581 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 207216

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 4667
/proc/meminfo: memFree=1743960/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=208228 CPUtime=1241.84
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 46220 0 0 0 124042 142 0 0 25 0 1 0 245342250 213225472 35489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 52057 35489 104 219 0 51834 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 208228

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1737048/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=209000 CPUtime=1301.83
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 48005 0 0 0 130035 148 0 0 25 0 1 0 245342250 214016000 37209 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 52250 37209 104 219 0 52027 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 209000

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1730584/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=209912 CPUtime=1361.82
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 49788 0 0 0 136029 153 0 0 25 0 1 0 245342250 214949888 38829 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 52478 38829 104 219 0 52255 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 209912

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1726040/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=210424 CPUtime=1421.81
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 51044 0 0 0 142022 159 0 0 25 0 1 0 245342250 215474176 39954 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549609 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 52606 39954 104 219 0 52383 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 210424

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1724312/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=212012 CPUtime=1481.78
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 51736 0 0 0 148016 162 0 0 25 0 1 0 245342250 217100288 40386 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134585941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 53003 40386 104 219 0 52780 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 212012

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1716504/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=214328 CPUtime=1541.77
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 53912 0 0 0 154009 168 0 0 25 0 1 0 245342250 219471872 42367 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 53582 42367 104 219 0 53359 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 214328

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1708056/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=215952 CPUtime=1601.75
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 56263 0 0 0 160001 174 0 0 25 0 1 0 245342250 221134848 44459 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551816 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 53988 44459 104 219 0 53765 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 215952

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1700888/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=217360 CPUtime=1661.74
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 58439 0 0 0 165994 180 0 0 25 0 1 0 245342250 222576640 46278 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 54340 46278 104 219 0 54117 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 217360

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1696088/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=221072 CPUtime=1721.72
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 60348 0 0 0 171987 185 0 0 25 0 1 0 245342250 226377728 47411 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 55268 47411 104 219 0 55045 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 221072

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1690264/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=221972 CPUtime=1781.71
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 62016 0 0 0 177981 190 0 0 25 0 1 0 245342250 227299328 48885 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 55493 48885 104 219 0 55270 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 221972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 4667
/proc/meminfo: memFree=1687896/2055920 swapFree=4183136/4192956
[pid=4468] ppid=4466 vsize=222740 CPUtime=1800.01
/proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 62812 0 0 0 179808 193 0 0 25 0 1 0 245342250 228085760 49487 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4468/statm: 55685 49487 104 219 0 55462 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 222740

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): 1798.09
CPU system time (s): 1.9647
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 222740

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

runsolver used 1.45278 second user time and 3.52246 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Tue May  1 17:54:23 UTC 2007

IDJOB= 455364
IDBENCH= 48259
IDSOLVER= 157
FILE ID= node57/455364-1178042063

PBS_JOBID= 4728433

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_50_25_4.opb
COMMAND LINE= /tmp/evaluation/455364-1178042063/PBS4 /tmp/evaluation/455364-1178042063/instance-455364-1178042063.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-455364-1178042063 -o ROOT/results/node57/conversion-455364-1178042063 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455364-1178042063/instance-455364-1178042063.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  0c3fb28b3ecb8f1eba2bffa356ef5364

RANDOM SEED= 19937998

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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.239
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:       1887024 kB
Buffers:         35192 kB
Cached:          69272 kB
SwapCached:       3520 kB
Active:          77584 kB
Inactive:        39188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1887024 kB
SwapTotal:     4192956 kB
SwapFree:      4183136 kB
Dirty:            1324 kB
Writeback:           0 kB
Mapped:          15412 kB
Slab:            38212 kB
Committed_AS:  4721624 kB
PageTables:       1408 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 node57 on Tue May  1 18:24:26 UTC 2007