Trace number 458202

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb
MD5SUM92f66beef1a16468af1cdeb8f0308249
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 benchmark224.554
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 641
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/458202-1178619821/instance-458202-1178619821.opb ......
1800.09/1800.71	c done parsing opb.
1800.09/1800.71	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/458202-1178619821/instance-458202-1178619821.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/node46/watcher-458202-1178619821 -o ROOT/results/node46/solver-458202-1178619821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458202-1178619821/instance-458202-1178619821.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.85 0.97 0.99 3/78 19814
/proc/meminfo: memFree=1572664/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=1324 CPUtime=0
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 1 0 216665107 1355776 120 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530465 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 331 120 86 219 0 108 0

[startup+0.087578 s]
/proc/loadavg: 0.85 0.97 0.99 3/78 19814
/proc/meminfo: memFree=1572664/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=1472 CPUtime=0.08
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 238 0 0 0 8 0 0 0 18 0 1 0 216665107 1507328 220 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 368 220 90 219 0 145 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1472

[startup+0.102581 s]
/proc/loadavg: 0.85 0.97 0.99 3/78 19814
/proc/meminfo: memFree=1572664/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=1604 CPUtime=0.1
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 248 0 0 0 10 0 0 0 18 0 1 0 216665107 1642496 230 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 401 230 90 219 0 178 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1604

[startup+0.301617 s]
/proc/loadavg: 0.85 0.97 0.99 3/78 19814
/proc/meminfo: memFree=1572664/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=2568 CPUtime=0.29
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 389 0 0 0 29 0 0 0 20 0 1 0 216665107 2629632 371 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 642 371 90 219 0 419 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2568

[startup+0.702692 s]
/proc/loadavg: 0.85 0.97 0.99 3/78 19814
/proc/meminfo: memFree=1572664/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=3784 CPUtime=0.69
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 663 0 0 0 69 0 0 0 24 0 1 0 216665107 3874816 596 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 946 596 90 219 0 723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3784

[startup+1.50184 s]
/proc/loadavg: 0.85 0.97 0.99 2/79 19815
/proc/meminfo: memFree=1570032/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=6616 CPUtime=1.49
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 1141 0 0 0 148 1 0 0 25 0 1 0 216665107 6774784 977 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 1654 977 90 219 0 1431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6616

[startup+3.10114 s]
/proc/loadavg: 0.85 0.97 0.99 2/79 19815
/proc/meminfo: memFree=1567984/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=7152 CPUtime=3.09
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 1717 0 0 0 307 2 0 0 25 0 1 0 216665107 7323648 1553 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 1788 1553 90 219 0 1565 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7152

[startup+6.30173 s]
/proc/loadavg: 0.86 0.97 0.99 2/79 19815
/proc/meminfo: memFree=1564272/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=12828 CPUtime=6.29
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 2678 0 0 0 624 5 0 0 25 0 1 0 216665107 13135872 2321 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 3207 2321 90 219 0 2984 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12828

[startup+12.7019 s]
/proc/loadavg: 0.87 0.97 0.99 2/79 19815
/proc/meminfo: memFree=1559216/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=23964 CPUtime=12.68
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 4279 0 0 0 1260 8 0 0 25 0 1 0 216665107 24539136 3537 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 5991 3537 90 219 0 5768 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23964

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/79 19815
/proc/meminfo: memFree=1550768/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=26048 CPUtime=25.49
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 6255 0 0 0 2533 16 0 0 25 0 1 0 216665107 26673152 5513 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 6512 5513 90 219 0 6289 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26048

[startup+51.102 s]
/proc/loadavg: 0.93 0.97 0.99 2/79 19815
/proc/meminfo: memFree=1540080/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=48392 CPUtime=51.08
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 9750 0 0 0 5081 27 0 0 25 0 1 0 216665107 49553408 8239 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 12098 8239 90 219 0 11875 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48392

[startup+102.306 s]
/proc/loadavg: 1.05 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1523184/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=85792 CPUtime=102.26
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 13926 0 0 0 10186 40 0 0 25 0 1 0 216665107 87851008 12415 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 21448 12415 90 219 0 21225 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 85792

[startup+162.302 s]
/proc/loadavg: 1.02 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1508592/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=95688 CPUtime=162.23
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 19140 0 0 0 16170 53 0 0 25 0 1 0 216665107 97984512 16092 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 23922 16092 90 219 0 23699 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 95688

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1495792/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=99544 CPUtime=222.22
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 22576 0 0 0 22157 65 0 0 25 0 1 0 216665107 101933056 19231 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 24886 19231 90 219 0 24663 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 99544

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1486448/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=102304 CPUtime=282.2
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 25169 0 0 0 28144 76 0 0 25 0 1 0 216665107 104759296 21593 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134584041 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 25576 21593 90 219 0 25353 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 102304

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1479152/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=105316 CPUtime=342.17
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 27127 0 0 0 34133 84 0 0 25 0 1 0 216665107 107843584 23386 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 26329 23386 90 219 0 26106 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 105316

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1474160/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=107212 CPUtime=402.16
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 28548 0 0 0 40123 93 0 0 25 0 1 0 216665107 109785088 24642 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 26803 24642 90 219 0 26580 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 107212

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1464944/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=174632 CPUtime=462.14
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 30977 0 0 0 46111 103 0 0 25 0 1 0 216665107 178823168 26939 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 43658 26939 90 219 0 43435 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 174632

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1456176/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=176644 CPUtime=522.11
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 33300 0 0 0 52099 112 0 0 25 0 1 0 216665107 180883456 29163 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 44161 29163 90 219 0 43938 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 176644

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1448624/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=190544 CPUtime=582.1
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 38418 0 0 0 58089 121 0 0 25 0 1 0 216665107 195117056 30977 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 47636 30977 90 219 0 47413 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 190544

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1440304/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=191864 CPUtime=642.08
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 40563 0 0 0 64079 129 0 0 25 0 1 0 216665107 196468736 33056 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 47966 33056 90 219 0 47743 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 191864


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19815
/proc/meminfo: memFree=1422768/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=198204 CPUtime=881.99
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 45505 0 0 0 88042 157 0 0 25 0 1 0 216665107 202960896 37444 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 49551 37444 90 219 0 49328 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 198204

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1420528/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=200156 CPUtime=941.97
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 46156 0 0 0 94035 162 0 0 25 0 1 0 216665107 204959744 37997 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 50039 37997 90 219 0 49816 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 200156

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1419120/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=201588 CPUtime=1001.95
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 46641 0 0 0 100027 168 0 0 25 0 1 0 216665107 206426112 38352 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 50397 38352 90 219 0 50174 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 201588

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1417776/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=203448 CPUtime=1061.94
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 47211 0 0 0 106019 175 0 0 25 0 1 0 216665107 208330752 38694 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 50862 38694 90 219 0 50639 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 203448

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1416368/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=205000 CPUtime=1121.91
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 47811 0 0 0 112009 182 0 0 25 0 1 0 216665107 209920000 39034 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 51250 39034 90 219 0 51027 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 205000

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1414768/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=207312 CPUtime=1181.89
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 48713 0 0 0 118002 187 0 0 25 0 1 0 216665107 212287488 39448 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 51828 39448 90 219 0 51605 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 207312

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1408688/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=207964 CPUtime=1241.87
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 50283 0 0 0 123992 195 0 0 25 0 1 0 216665107 212955136 40953 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 51991 40953 90 219 0 51768 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 207964

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1402544/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=209128 CPUtime=1301.85
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 51992 0 0 0 129984 201 0 0 25 0 1 0 216665107 214147072 42466 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 52282 42466 90 219 0 52059 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 209128

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1396144/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=210944 CPUtime=1361.83
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 53871 0 0 0 135974 209 0 0 25 0 1 0 216665107 216006656 44084 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 52736 44084 90 219 0 52513 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 210944

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1390576/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=212708 CPUtime=1421.81
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 55455 0 0 0 141966 215 0 0 25 0 1 0 216665107 217812992 45473 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 53177 45473 90 219 0 52954 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 212708

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1385520/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=213096 CPUtime=1481.79
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 56759 0 0 0 147957 222 0 0 25 0 1 0 216665107 218210304 46744 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 53274 46744 90 219 0 53051 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 213096

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1381552/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=213612 CPUtime=1541.77
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 57846 0 0 0 153950 227 0 0 25 0 1 0 216665107 218738688 47733 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 53403 47733 90 219 0 53180 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 213612

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1376560/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=214748 CPUtime=1601.74
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 59226 0 0 0 159942 232 0 0 25 0 1 0 216665107 219901952 48949 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 53687 48949 90 219 0 53464 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 214748

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1371504/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=346080 CPUtime=1661.72
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 60490 0 0 0 165933 239 0 0 25 0 1 0 216665107 354385920 50180 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 86520 50180 90 219 0 86297 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 346080

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1367920/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=347812 CPUtime=1721.71
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 61499 0 0 0 171926 245 0 0 25 0 1 0 216665107 356159488 51059 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 86953 51059 90 219 0 86730 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 347812

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1366960/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=348200 CPUtime=1781.69
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 61798 0 0 0 177920 249 0 0 25 0 1 0 216665107 356556800 51293 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 87050 51293 90 219 0 86827 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 348200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1366704/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=348200 CPUtime=1800.09
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 61869 0 0 0 179758 251 0 0 25 0 1 0 216665107 356556800 51364 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 87050 51364 90 219 0 86827 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 348200

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 19817
/proc/meminfo: memFree=1366704/2055920 swapFree=4159456/4192956
[pid=19814] ppid=19812 vsize=348200 CPUtime=1800.09
/proc/19814/stat : 19814 (PBS4_SAT07v2) R 19812 19814 19059 0 -1 4194304 61869 0 0 0 179758 251 0 0 25 0 1 0 216665107 356556800 51364 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19814/statm: 87050 51364 90 219 0 86827 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 348200

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.14
CPU user time (s): 1797.59
CPU system time (s): 2.54761
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 348200

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

runsolver used 1.65075 second user time and 4.67329 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Tue May  8 10:23:41 UTC 2007

IDJOB= 458202
IDBENCH= 1279
IDSOLVER= 200
FILE ID= node46/458202-1178619821

PBS_JOBID= 5218242

Free space on /tmp= 66218 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  92f66beef1a16468af1cdeb8f0308249

RANDOM SEED= 446323845

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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.268
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:       1573136 kB
Buffers:         42476 kB
Cached:         301104 kB
SwapCached:       3288 kB
Active:         124968 kB
Inactive:       242868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1573136 kB
SwapTotal:     4192956 kB
SwapFree:      4159456 kB
Dirty:            2512 kB
Writeback:           0 kB
Mapped:          31872 kB
Slab:           100312 kB
Committed_AS:  5182056 kB
PageTables:       1992 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= 66218 MiB

End job on node46 on Tue May  8 10:53:44 UTC 2007