Trace number 357607

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 NameAnswerCPU timeWall clock time
PBS4 2007-03-23? (TO) 1800.06 1800.52

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
MD5SUMf17e31cb6762bd0e8d3e659d7bd1050c
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23409
Total number of constraints1386
Number of constraints which are clauses612
Number of constraints which are cardinality constraints (but not clauses)774
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint153
Maximum length of a constraint289
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 291
Number of bits of the biggest sum of numbers9
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/357607-1176829985/instance-357607-1176829985.opb ......
1800.04/1800.50	c done parsing opb.
1800.04/1800.50	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/357607-1176829985/instance-357607-1176829985.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-357607-1176829985 -o ROOT/results/node44/solver-357607-1176829985 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/357607-1176829985/PBS4 /tmp/evaluation/357607-1176829985/instance-357607-1176829985.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.99 0.99 3/77 19175
/proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=3520 CPUtime=0
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 130910193 3604480 497 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134572872 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 880 501 82 219 0 657 0

[startup+0.082423 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 19175
/proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=5088 CPUtime=0.07
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 1068 0 0 0 7 0 0 0 18 0 1 0 130910193 5210112 1050 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 1272 1050 87 219 0 1049 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5088

[startup+0.101424 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 19175
/proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=5352 CPUtime=0.09
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 1139 0 0 0 9 0 0 0 18 0 1 0 130910193 5480448 1121 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134529777 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 1338 1121 87 219 0 1115 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5352

[startup+0.301446 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 19175
/proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=6216 CPUtime=0.29
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 1410 0 0 0 29 0 0 0 19 0 1 0 130910193 6365184 1392 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135023547 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 1554 1392 87 219 0 1331 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6216

[startup+0.701486 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 19175
/proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=8048 CPUtime=0.69
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 1760 0 0 0 69 0 0 0 22 0 1 0 130910193 8241152 1742 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 2012 1742 88 219 0 1789 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8048

[startup+1.50157 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1674808/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=12612 CPUtime=1.49
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 3021 0 0 0 144 5 0 0 25 0 1 0 130910193 12914688 2957 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 3153 2957 94 219 0 2930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12612

[startup+3.10173 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1670328/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=15276 CPUtime=3.09
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 3527 0 0 0 300 9 0 0 25 0 1 0 130910193 15642624 3463 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 3819 3463 94 219 0 3596 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15276

[startup+6.30106 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1667320/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=18676 CPUtime=6.29
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 4161 0 0 0 614 15 0 0 25 0 1 0 130910193 19124224 4097 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 4669 4097 94 219 0 4446 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18676

[startup+12.7017 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1663288/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=24500 CPUtime=12.69
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 5059 0 0 0 1244 25 0 0 25 0 1 0 130910193 25088000 4995 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 6125 4995 94 219 0 5902 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24500

[startup+25.501 s]
/proc/loadavg: 0.95 0.99 0.99 3/78 19176
/proc/meminfo: memFree=1656056/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=27984 CPUtime=25.48
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 6820 0 0 0 2503 45 0 0 25 0 1 0 130910193 28655616 6756 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 6996 6756 94 219 0 6773 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27984

[startup+51.1017 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1649080/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=39896 CPUtime=51.08
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 8782 0 0 0 5021 87 0 0 25 0 1 0 130910193 40853504 8439 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 9974 8439 94 219 0 9751 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39896

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1646904/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=42292 CPUtime=102.27
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 10227 0 0 0 10033 194 0 0 25 0 1 0 130910193 43307008 9005 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 10573 9005 94 219 0 10350 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42292

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1644152/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=45036 CPUtime=162.25
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 11954 0 0 0 15931 294 0 0 25 0 1 0 130910193 46116864 9711 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 11259 9711 94 219 0 11036 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45036

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1642488/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=46288 CPUtime=222.23
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 13179 0 0 0 21809 414 0 0 25 0 1 0 130910193 47398912 10108 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 11572 10108 94 219 0 11349 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 46288

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1640824/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=47696 CPUtime=282.22
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 14392 0 0 0 27704 518 0 0 25 0 1 0 130910193 48840704 10493 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 11924 10493 94 219 0 11701 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 47696

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1639672/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=49988 CPUtime=342.21
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 15881 0 0 0 33599 622 0 0 25 0 1 0 130910193 51187712 10769 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 12497 10769 94 219 0 12274 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 49988

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1638456/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=51044 CPUtime=402.18
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 17022 0 0 0 39485 733 0 0 25 0 1 0 130910193 52269056 11082 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 12761 11082 94 219 0 12538 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 51044

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1637432/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=51580 CPUtime=462.17
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 18110 0 0 0 45364 853 0 0 25 0 1 0 130910193 52817920 11342 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 12895 11342 94 219 0 12672 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 51580

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1636152/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=52528 CPUtime=522.16
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 19245 0 0 0 51241 975 0 0 25 0 1 0 130910193 53788672 11649 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 13132 11649 94 219 0 12909 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 52528

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1635320/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=53228 CPUtime=582.14
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 20150 0 0 0 57135 1079 0 0 25 0 1 0 130910193 54505472 11864 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 13307 11864 94 219 0 13084 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 53228

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1634424/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=57164 CPUtime=642.13
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 21886 0 0 0 63035 1178 0 0 25 0 1 0 130910193 58535936 12095 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 14291 12095 94 219 0 14068 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 57164


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 19176
/proc/meminfo: memFree=1630648/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=59920 CPUtime=882.07
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 25960 0 0 0 86616 1591 0 0 25 0 1 0 130910193 61358080 13087 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 14980 13087 94 219 0 14757 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 59920

[startup+942.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 19176
/proc/meminfo: memFree=1629688/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=60316 CPUtime=942.05
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 26918 0 0 0 92516 1689 0 0 25 0 1 0 130910193 61763584 13309 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 15079 13309 94 219 0 14856 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 60316

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 19176
/proc/meminfo: memFree=1628920/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=61000 CPUtime=1002.04
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 27886 0 0 0 98416 1788 0 0 25 0 1 0 130910193 62464000 13495 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 15250 13495 94 219 0 15027 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 61000

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19176
/proc/meminfo: memFree=1628024/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=61400 CPUtime=1062.02
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 28836 0 0 0 104306 1896 0 0 25 0 1 0 130910193 62873600 13709 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 15350 13709 94 219 0 15127 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 61400

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19176
/proc/meminfo: memFree=1627256/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=62264 CPUtime=1122.01
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 29720 0 0 0 110205 1996 0 0 25 0 1 0 130910193 63758336 13903 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 15566 13903 94 219 0 15343 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 62264

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19176
/proc/meminfo: memFree=1626552/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=62400 CPUtime=1181.99
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 30632 0 0 0 116102 2097 0 0 25 0 1 0 130910193 63897600 14079 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 15600 14079 94 219 0 15377 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 62400

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19176
/proc/meminfo: memFree=1625848/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=63156 CPUtime=1241.98
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 31515 0 0 0 122001 2197 0 0 25 0 1 0 130910193 64671744 14226 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 15789 14226 94 219 0 15566 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 63156

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19176
/proc/meminfo: memFree=1625208/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=69444 CPUtime=1301.96
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 33911 0 0 0 127903 2293 0 0 25 0 1 0 130910193 71110656 14395 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134585680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 17361 14395 94 219 0 17138 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 69444

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19176
/proc/meminfo: memFree=1624504/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=70240 CPUtime=1361.94
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 34797 0 0 0 133809 2385 0 0 25 0 1 0 130910193 71925760 14591 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 17560 14591 94 219 0 17337 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 70240

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19176
/proc/meminfo: memFree=1623864/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=70376 CPUtime=1421.93
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 35591 0 0 0 139711 2482 0 0 25 0 1 0 130910193 72065024 14741 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 17594 14741 94 219 0 17371 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 70376

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19176
/proc/meminfo: memFree=1623096/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=70652 CPUtime=1481.92
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 36470 0 0 0 145613 2579 0 0 25 0 1 0 130910193 72347648 14930 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 17663 14930 94 219 0 17440 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 70652

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19178
/proc/meminfo: memFree=1622456/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=71484 CPUtime=1541.89
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 37272 0 0 0 151515 2674 0 0 25 0 1 0 130910193 73199616 15088 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 17871 15088 94 219 0 17648 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 71484

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19178
/proc/meminfo: memFree=1621560/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=71880 CPUtime=1601.88
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 38183 0 0 0 157419 2769 0 0 25 0 1 0 130910193 73605120 15309 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 17970 15309 94 219 0 17747 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 71880

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19178
/proc/meminfo: memFree=1620920/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=72016 CPUtime=1661.86
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 39035 0 0 0 163329 2857 0 0 25 0 1 0 130910193 73744384 15471 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 18004 15471 94 219 0 17781 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 72016

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19178
/proc/meminfo: memFree=1620280/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=72896 CPUtime=1721.85
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 39877 0 0 0 169238 2947 0 0 25 0 1 0 130910193 74645504 15623 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 18224 15623 94 219 0 18001 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 72896

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19178
/proc/meminfo: memFree=1619768/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=73032 CPUtime=1781.83
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 40670 0 0 0 175146 3037 0 0 25 0 1 0 130910193 74784768 15772 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 18258 15772 94 219 0 18035 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 73032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19178
/proc/meminfo: memFree=1619384/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=73164 CPUtime=1800.04
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 40975 0 0 0 176938 3066 0 0 25 0 1 0 130910193 74919936 15847 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 18291 15847 94 219 0 18068 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 73164

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19178
/proc/meminfo: memFree=1619384/2055920 swapFree=4143524/4192956
[pid=19175] ppid=19173 vsize=73164 CPUtime=1800.04
/proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 40975 0 0 0 176938 3066 0 0 25 0 1 0 130910193 74919936 15847 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19175/statm: 18291 15847 94 219 0 18068 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 73164

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1769.39
CPU system time (s): 30.6723
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 73348

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

runsolver used 1.9467 second user time and 4.6123 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Tue Apr 17 17:13:05 UTC 2007

IDJOB= 357607
IDBENCH= 1155
IDSOLVER= 157
FILE ID= node44/357607-1176829985

PBS_JOBID= 4586359

Free space on /tmp= 66429 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= /tmp/evaluation/357607-1176829985/PBS4 /tmp/evaluation/357607-1176829985/instance-357607-1176829985.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-357607-1176829985 -o ROOT/results/node44/conversion-357607-1176829985 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/357607-1176829985/instance-357607-1176829985.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  f17e31cb6762bd0e8d3e659d7bd1050c

RANDOM SEED= 396243055

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1683352 kB
Buffers:         38004 kB
Cached:         252096 kB
SwapCached:      27460 kB
Active:         211744 kB
Inactive:       116544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1683352 kB
SwapTotal:     4192956 kB
SwapFree:      4143524 kB
Dirty:            3408 kB
Writeback:           0 kB
Mapped:          32580 kB
Slab:            29780 kB
Committed_AS:   419312 kB
PageTables:       1736 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= 66429 MiB

End job on node44 on Tue Apr 17 17:43:08 UTC 2007