Trace number 459134

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_v2 2007-03-23? (TO) 1800.05 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_1.opb
MD5SUM8dbaef61ba32642517e0b17ac09a002e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark24.3463
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables31
Total number of constraints9
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2553
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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/459134-1178649555/instance-459134-1178649555.opb ......
1800.03/1800.70	c done parsing opb.
1800.03/1800.70	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/459134-1178649555/instance-459134-1178649555.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node69/watcher-459134-1178649555 -o ROOT/results/node69/solver-459134-1178649555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459134-1178649555/instance-459134-1178649555.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.92 0.98 0.99 3/64 31975
/proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=1320 CPUtime=0
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 129 0 0 0 0 0 0 0 18 0 1 0 340944970 1351680 111 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 330 111 90 219 0 107 0

[startup+0.0429 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31975
/proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=1320 CPUtime=0.03
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 170 0 0 0 3 0 0 0 18 0 1 0 340944970 1351680 152 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 330 152 90 219 0 107 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1320

[startup+0.101908 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31975
/proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=1708 CPUtime=0.09
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 227 0 0 0 9 0 0 0 18 0 1 0 340944970 1748992 209 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 427 209 90 219 0 204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1708

[startup+0.301941 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31975
/proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=2356 CPUtime=0.29
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 367 0 0 0 29 0 0 0 19 0 1 0 340944970 2412544 349 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 589 349 90 219 0 366 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2356

[startup+0.702006 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31975
/proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=3576 CPUtime=0.69
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 543 0 0 0 69 0 0 0 22 0 1 0 340944970 3661824 525 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 894 525 90 219 0 671 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3576

[startup+1.50114 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 31976
/proc/meminfo: memFree=1480412/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=3920 CPUtime=1.49
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 804 0 0 0 148 1 0 0 25 0 1 0 340944970 4014080 737 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 980 737 90 219 0 757 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3920

[startup+3.10139 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 31976
/proc/meminfo: memFree=1479388/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=6256 CPUtime=3.09
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 1046 0 0 0 307 2 0 0 25 0 1 0 340944970 6406144 979 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 1564 979 90 219 0 1341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6256

[startup+6.30191 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 31976
/proc/meminfo: memFree=1477980/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=6944 CPUtime=6.29
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 1389 0 0 0 626 3 0 0 25 0 1 0 340944970 7110656 1225 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 1736 1225 90 219 0 1513 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6944

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 31976
/proc/meminfo: memFree=1476444/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=7104 CPUtime=12.69
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 1711 0 0 0 1264 5 0 0 25 0 1 0 340944970 7274496 1547 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 1776 1547 90 219 0 1553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7104

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 31976
/proc/meminfo: memFree=1474460/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=12480 CPUtime=25.48
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 2417 0 0 0 2541 7 0 0 25 0 1 0 340944970 12779520 2060 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 3120 2060 90 219 0 2897 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12480

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 31976
/proc/meminfo: memFree=1470876/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=13632 CPUtime=51.08
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 3318 0 0 0 5095 13 0 0 25 0 1 0 340944970 13959168 2961 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 3408 2961 90 219 0 3185 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13632

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 31976
/proc/meminfo: memFree=1465884/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=24944 CPUtime=102.27
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 4928 0 0 0 10209 18 0 0 25 0 1 0 340944970 25542656 4186 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 6236 4186 90 219 0 6013 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24944

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31976
/proc/meminfo: memFree=1462172/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=25996 CPUtime=162.24
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 5861 0 0 0 16200 24 0 0 25 0 1 0 340944970 26619904 5086 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 6499 5086 90 219 0 6276 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 25996

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31978
/proc/meminfo: memFree=1458908/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=26260 CPUtime=222.23
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 6656 0 0 0 22194 29 0 0 25 0 1 0 340944970 26890240 5881 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 6565 5881 90 219 0 6342 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 26260

[startup+282.302 s]
/proc/loadavg: 1.11 1.02 1.01 2/65 31978
/proc/meminfo: memFree=1455324/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=44964 CPUtime=282.21
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 7873 0 0 0 28187 34 0 0 25 0 1 0 340944970 46043136 6768 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 11241 6768 90 219 0 11018 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 44964

[startup+342.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 31978
/proc/meminfo: memFree=1454556/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=48296 CPUtime=342.18
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 8798 0 0 0 34181 37 0 0 25 0 1 0 340944970 49455104 6924 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 12074 6924 90 219 0 11851 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 48296

[startup+402.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1453084/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=48820 CPUtime=402.16
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 9230 0 0 0 40175 41 0 0 25 0 1 0 340944970 49991680 7323 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 12205 7323 90 219 0 11982 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 48820

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1451100/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=49336 CPUtime=462.14
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 9842 0 0 0 46170 44 0 0 25 0 1 0 340944970 50520064 7836 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 12334 7836 90 219 0 12111 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 49336

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1449052/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=49592 CPUtime=522.13
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 10414 0 0 0 52165 48 0 0 25 0 1 0 340944970 50782208 8342 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 12398 8342 90 219 0 12175 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 49592

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1446812/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=50236 CPUtime=582.11
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 11059 0 0 0 58159 52 0 0 25 0 1 0 340944970 51441664 8888 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 12559 8888 90 219 0 12336 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 50236

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1445596/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=50404 CPUtime=642.09
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 11367 0 0 0 64153 56 0 0 25 0 1 0 340944970 51613696 9196 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 12601 9196 90 219 0 12378 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 50404


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1437148/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=54000 CPUtime=882.01
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 14206 0 0 0 88131 70 0 0 25 0 1 0 340944970 55296000 11286 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 13500 11286 90 219 0 13277 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 54000

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1436252/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=54000 CPUtime=941.99
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 14433 0 0 0 94127 72 0 0 25 0 1 0 340944970 55296000 11513 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 13500 11513 90 219 0 13277 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 54000

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1434780/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=54472 CPUtime=1001.97
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 14856 0 0 0 100123 74 0 0 25 0 1 0 340944970 55779328 11871 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 13618 11871 90 219 0 13395 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 54472

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1433308/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=54984 CPUtime=1061.96
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 15352 0 0 0 106120 76 0 0 25 0 1 0 340944970 56303616 12236 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 13746 12236 90 219 0 13523 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 54984

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1431900/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=88008 CPUtime=1121.94
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 15759 0 0 0 112116 78 0 0 25 0 1 0 340944970 90120192 12578 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 22002 12578 90 219 0 21779 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 88008

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1430876/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=88268 CPUtime=1181.92
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 16026 0 0 0 118112 80 0 0 25 0 1 0 340944970 90386432 12845 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 22067 12845 90 219 0 21844 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 88268

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1429340/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=95180 CPUtime=1241.9
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 18134 0 0 0 124107 83 0 0 25 0 1 0 340944970 97464320 13221 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 23795 13221 90 219 0 23572 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 95180

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31978
/proc/meminfo: memFree=1427868/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=95692 CPUtime=1301.88
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 18627 0 0 0 130103 85 0 0 25 0 1 0 340944970 97988608 13584 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 23923 13584 90 219 0 23700 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 95692

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 32156
/proc/meminfo: memFree=1424996/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=96644 CPUtime=1361.77
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 19203 0 0 0 136088 89 0 0 25 0 1 0 340944970 98963456 13965 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24161 13965 90 219 0 23938 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 96644

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32176
/proc/meminfo: memFree=1424924/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=97104 CPUtime=1421.75
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 19517 0 0 0 142084 91 0 0 25 0 1 0 340944970 99434496 14279 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24276 14279 90 219 0 24053 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 97104

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32176
/proc/meminfo: memFree=1424156/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=98132 CPUtime=1481.71
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 19882 0 0 0 148078 93 0 0 25 0 1 0 340944970 100487168 14449 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24533 14449 90 219 0 24310 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 98132

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32176
/proc/meminfo: memFree=1424092/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=98364 CPUtime=1541.7
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 19936 0 0 0 154074 96 0 0 25 0 1 0 340944970 100724736 14503 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24591 14503 90 219 0 24368 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 98364

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32176
/proc/meminfo: memFree=1423772/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=98364 CPUtime=1601.68
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20017 0 0 0 160070 98 0 0 25 0 1 0 340944970 100724736 14584 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24591 14584 90 219 0 24368 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 98364

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32176
/proc/meminfo: memFree=1422236/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=98752 CPUtime=1661.66
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20483 0 0 0 166067 99 0 0 25 0 1 0 340944970 101122048 14985 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134583768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24688 14985 90 219 0 24465 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 98752

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32176
/proc/meminfo: memFree=1421852/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=98884 CPUtime=1721.65
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20583 0 0 0 172063 102 0 0 25 0 1 0 340944970 101257216 15085 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24721 15085 90 219 0 24498 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 98884

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32176
/proc/meminfo: memFree=1420764/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=99280 CPUtime=1781.63
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20899 0 0 0 178059 104 0 0 25 0 1 0 340944970 101662720 15336 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24820 15336 90 219 0 24597 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 99280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32176
/proc/meminfo: memFree=1420444/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=99280 CPUtime=1800.03
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20987 0 0 0 179898 105 0 0 25 0 1 0 340944970 101662720 15424 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24820 15424 90 219 0 24597 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 99280

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32176
/proc/meminfo: memFree=1420444/2055920 swapFree=4183088/4192956
[pid=31975] ppid=31973 vsize=99280 CPUtime=1800.03
/proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20987 0 0 0 179898 105 0 0 25 0 1 0 340944970 101662720 15424 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31975/statm: 24820 15424 90 219 0 24597 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 99280

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.05
CPU user time (s): 1798.99
CPU system time (s): 1.06284
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 99280

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

runsolver used 1.26581 second user time and 3.71143 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Tue May  8 18:39:15 UTC 2007

IDJOB= 459134
IDBENCH= 2905
IDSOLVER= 200
FILE ID= node69/459134-1178649555

PBS_JOBID= 5218340

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_1.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459134-1178649555/instance-459134-1178649555.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node69/convwatcher-459134-1178649555 -o ROOT/results/node69/conversion-459134-1178649555 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459134-1178649555/instance-459134-1178649555.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-459134-1178649555 -o ROOT/results/node69/solver-459134-1178649555 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459134-1178649555/instance-459134-1178649555.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  8dbaef61ba32642517e0b17ac09a002e

RANDOM SEED= 828648827

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1483004 kB
Buffers:         32140 kB
Cached:         412888 kB
SwapCached:       3840 kB
Active:         123444 kB
Inactive:       369156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1483004 kB
SwapTotal:     4192956 kB
SwapFree:      4183088 kB
Dirty:            2260 kB
Writeback:           0 kB
Mapped:          53752 kB
Slab:            66172 kB
Committed_AS:  7741988 kB
PageTables:       1592 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= 66562 MiB

End job on node69 on Tue May  8 19:09:18 UTC 2007