Trace number 350411

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.05 1800.66

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
MD5SUM9a7dcf907234f84f0d33881f56632ec3
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark247.211
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
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/350411-1176503727/instance-350411-1176503727.opb ......
1800.00/1800.61	c done parsing opb.
1800.00/1800.61	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/350411-1176503727/instance-350411-1176503727.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/node14/watcher-350411-1176503727 -o ROOT/results/node14/solver-350411-1176503727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350411-1176503727/PBS4 /tmp/evaluation/350411-1176503727/instance-350411-1176503727.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 12678
/proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=1324 CPUtime=0
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 98290514 1355776 121 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0
/proc/12678/statm: 331 122 87 219 0 108 0

[startup+0.0498621 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 12678
/proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=1472 CPUtime=0.04
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 221 0 0 0 4 0 0 0 18 0 1 0 98290514 1507328 203 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 368 203 92 219 0 145 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1472

[startup+0.101867 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 12678
/proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=1728 CPUtime=0.09
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 266 0 0 0 9 0 0 0 18 0 1 0 98290514 1769472 248 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 432 248 93 219 0 209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1728

[startup+0.301886 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 12678
/proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=2580 CPUtime=0.29
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 420 0 0 0 29 0 0 0 19 0 1 0 98290514 2641920 402 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 645 402 93 219 0 422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2580

[startup+0.701924 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 12678
/proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=3952 CPUtime=0.69
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 701 0 0 0 69 0 0 0 22 0 1 0 98290514 4046848 634 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 988 635 94 219 0 765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3952

[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12679
/proc/meminfo: memFree=978480/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=6652 CPUtime=1.49
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 1159 0 0 0 148 1 0 0 25 0 1 0 98290514 6811648 995 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 1663 995 94 219 0 1440 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6652

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12679
/proc/meminfo: memFree=976752/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=7192 CPUtime=3.09
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 1721 0 0 0 306 3 0 0 25 0 1 0 98290514 7364608 1557 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 1798 1557 94 219 0 1575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7192

[startup+6.30146 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12679
/proc/meminfo: memFree=972784/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=13020 CPUtime=6.29
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 2739 0 0 0 624 5 0 0 25 0 1 0 98290514 13332480 2382 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 3255 2382 94 219 0 3032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13020

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12679
/proc/meminfo: memFree=967216/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=24064 CPUtime=12.69
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 4441 0 0 0 1261 8 0 0 25 0 1 0 98290514 24641536 3699 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 6016 3699 94 219 0 5793 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24064

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12679
/proc/meminfo: memFree=959088/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=26052 CPUtime=25.48
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 6358 0 0 0 2535 13 0 0 25 0 1 0 98290514 26677248 5616 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 6513 5616 94 219 0 6290 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26052

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12679
/proc/meminfo: memFree=947312/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=48536 CPUtime=51.08
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 10079 0 0 0 5085 23 0 0 25 0 1 0 98290514 49700864 8568 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 12134 8568 94 219 0 11911 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48536

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=930544/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=85964 CPUtime=102.27
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 14199 0 0 0 10191 36 0 0 25 0 1 0 98290514 88027136 12688 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 21491 12688 94 219 0 21268 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 85964

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=915952/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=95976 CPUtime=162.25
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 19420 0 0 0 16175 50 0 0 25 0 1 0 98290514 98279424 16339 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 23994 16339 94 219 0 23771 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 95976

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=903280/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=100320 CPUtime=222.22
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 22736 0 0 0 22161 61 0 0 25 0 1 0 98290514 102727680 19490 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 25080 19490 94 219 0 24857 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 100320

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=897328/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=102696 CPUtime=282.22
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 24321 0 0 0 28151 71 0 0 25 0 1 0 98290514 105160704 20976 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549778 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 25674 20976 94 219 0 25451 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 102696

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=889008/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=104892 CPUtime=342.2
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 26515 0 0 0 34139 81 0 0 25 0 1 0 98290514 107409408 23071 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 26223 23071 94 219 0 26000 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 104892

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=878512/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=172724 CPUtime=402.18
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 29241 0 0 0 40127 91 0 0 25 0 1 0 98290514 176869376 25698 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 43181 25698 94 219 0 42958 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 172724

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=868272/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=174292 CPUtime=462.16
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 31966 0 0 0 46117 99 0 0 25 0 1 0 98290514 178475008 28225 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 43573 28225 94 219 0 43350 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 174292

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=859504/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=177444 CPUtime=522.15
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 34460 0 0 0 52107 108 0 0 25 0 1 0 98290514 181702656 30423 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 44361 30423 94 219 0 44138 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 177444

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=854832/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=190744 CPUtime=582.13
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 38808 0 0 0 58097 116 0 0 25 0 1 0 98290514 195321856 31599 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 47686 31599 94 219 0 47463 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 190744

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=848880/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=192784 CPUtime=642.12
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 40478 0 0 0 64088 124 0 0 25 0 1 0 98290514 197410816 33038 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549696 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 48196 33038 94 219 0 47973 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 192784


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 12681
/proc/meminfo: memFree=835120/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=197332 CPUtime=822.07
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 44221 0 0 0 82063 144 0 0 25 0 1 0 98290514 202067968 36486 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 49333 36486 94 219 0 49110 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 197332

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=828976/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=198240 CPUtime=882.05
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 45846 0 0 0 88054 151 0 0 25 0 1 0 98290514 202997760 38013 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 49560 38013 94 219 0 49337 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 198240

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=823216/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=199404 CPUtime=942.03
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 47421 0 0 0 94045 158 0 0 25 0 1 0 98290514 204189696 39458 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 49851 39458 94 219 0 49628 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 199404

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=817648/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=201064 CPUtime=1002.02
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 49031 0 0 0 100038 164 0 0 25 0 1 0 98290514 205889536 40839 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 50266 40839 94 219 0 50043 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 201064

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12681
/proc/meminfo: memFree=811632/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=202232 CPUtime=1062
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 50703 0 0 0 106030 170 0 0 25 0 1 0 98290514 207085568 42380 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 50558 42380 94 219 0 50335 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 202232

[startup+1122.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 12681
/proc/meminfo: memFree=805872/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=203524 CPUtime=1121.99
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 52216 0 0 0 112023 176 0 0 25 0 1 0 98290514 208408576 43762 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 50881 43762 94 219 0 50658 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 203524

[startup+1182.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/78 12681
/proc/meminfo: memFree=800880/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=204488 CPUtime=1181.97
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 53651 0 0 0 118016 181 0 0 25 0 1 0 98290514 209395712 45034 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 51122 45034 94 219 0 50899 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 204488

[startup+1242.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/78 12681
/proc/meminfo: memFree=795056/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=206164 CPUtime=1241.96
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 55442 0 0 0 124008 188 0 0 25 0 1 0 98290514 211111936 46499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547154 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 51541 46499 94 219 0 51318 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 206164

[startup+1302.3 s]
/proc/loadavg: 1.12 1.06 1.01 2/78 12681
/proc/meminfo: memFree=790256/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=208900 CPUtime=1301.94
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 57007 0 0 0 130000 194 0 0 25 0 1 0 98290514 213913600 47640 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 52225 47640 94 219 0 52002 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 208900

[startup+1362.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/78 12681
/proc/meminfo: memFree=784496/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=342036 CPUtime=1361.92
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 58768 0 0 0 135991 201 0 0 25 0 1 0 98290514 350244864 49043 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 85509 49043 94 219 0 85286 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 342036

[startup+1422.31 s]
/proc/loadavg: 1.01 1.03 1.00 3/78 12681
/proc/meminfo: memFree=779696/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=343124 CPUtime=1421.91
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 60211 0 0 0 141982 209 0 0 25 0 1 0 98290514 351358976 50258 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 85781 50258 94 219 0 85558 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 343124

[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 12681
/proc/meminfo: memFree=775472/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=346076 CPUtime=1481.89
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 61504 0 0 0 147975 214 0 0 25 0 1 0 98290514 354381824 51289 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 86519 51289 94 219 0 86296 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 346076

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/84 12753
/proc/meminfo: memFree=773568/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=346460 CPUtime=1541.84
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 61789 0 0 0 153964 220 0 0 25 0 1 0 98290514 354775040 51476 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549626 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 86615 51476 94 219 0 86392 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 346460

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 12879
/proc/meminfo: memFree=773744/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=347376 CPUtime=1601.75
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 62070 0 0 0 159950 225 0 0 25 0 1 0 98290514 355713024 51692 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 86844 51692 94 219 0 86621 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 347376

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 12879
/proc/meminfo: memFree=772720/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=347632 CPUtime=1661.74
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 62388 0 0 0 165944 230 0 0 25 0 1 0 98290514 355975168 51945 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 86908 51945 94 219 0 86685 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 347632

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12879
/proc/meminfo: memFree=770352/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=348676 CPUtime=1721.72
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 63062 0 0 0 171936 236 0 0 25 0 1 0 98290514 357044224 52554 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 87169 52554 94 219 0 86946 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 348676

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12879
/proc/meminfo: memFree=766064/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=350524 CPUtime=1781.7
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 64389 0 0 0 177929 241 0 0 25 0 1 0 98290514 358936576 53620 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 87631 53620 94 219 0 87408 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 350524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12879
/proc/meminfo: memFree=764400/2055920 swapFree=4192956/4192956
[pid=12678] ppid=12676 vsize=351040 CPUtime=1800
/proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 64890 0 0 0 179757 243 0 0 25 0 1 0 98290514 359464960 54023 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134585691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12678/statm: 87760 54023 94 219 0 87537 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 351040

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.66
CPU time (s): 1800.05
CPU user time (s): 1797.58
CPU system time (s): 2.47362
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 351040

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

runsolver used 2.08168 second user time and 4.41833 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Fri Apr 13 22:35:27 UTC 2007

IDJOB= 350411
IDBENCH= 1356
IDSOLVER= 157
FILE ID= node14/350411-1176503727

PBS_JOBID= 4556679

Free space on /tmp= 66561 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
COMMAND LINE= /tmp/evaluation/350411-1176503727/PBS4 /tmp/evaluation/350411-1176503727/instance-350411-1176503727.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-350411-1176503727 -o ROOT/results/node14/conversion-350411-1176503727 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350411-1176503727/instance-350411-1176503727.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  9a7dcf907234f84f0d33881f56632ec3

RANDOM SEED= 75557960

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:        981776 kB
Buffers:         50116 kB
Cached:         889304 kB
SwapCached:          0 kB
Active:         305292 kB
Inactive:       690052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        981776 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1236 kB
Writeback:           0 kB
Mapped:          74676 kB
Slab:            64320 kB
Committed_AS:  4445408 kB
PageTables:       1788 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= 66561 MiB

End job on node14 on Fri Apr 13 23:05:30 UTC 2007