Trace number 458286

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 1801.75

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb
MD5SUMf510e821cdc50f097865b59193d7ef06
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 benchmark203.491
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 677
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/458286-1178621541/instance-458286-1178621541.opb ......
1800.10/1801.70	c done parsing opb.
1800.10/1801.70	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/458286-1178621541/instance-458286-1178621541.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/node66/watcher-458286-1178621541 -o ROOT/results/node66/solver-458286-1178621541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458286-1178621541/instance-458286-1178621541.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.99 0.97 0.95 3/64 31852
/proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=1324 CPUtime=0
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 338143681 1355776 125 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 331 125 86 219 0 108 0

[startup+0.0102399 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 31852
/proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=1476 CPUtime=0.01
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 158 0 0 0 1 0 0 0 18 0 1 0 338143681 1511424 140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530463 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 369 140 86 219 0 146 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1476

[startup+0.101256 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 31852
/proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=1860 CPUtime=0.1
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 264 0 0 0 10 0 0 0 18 0 1 0 338143681 1904640 246 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 465 246 90 219 0 242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1860

[startup+0.301296 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 31852
/proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=2568 CPUtime=0.29
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 410 0 0 0 29 0 0 0 19 0 1 0 338143681 2629632 392 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 642 392 90 219 0 419 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2568

[startup+0.701376 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 31852
/proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=3916 CPUtime=0.69
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 692 0 0 0 68 1 0 0 23 0 1 0 338143681 4009984 625 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 979 625 90 219 0 756 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3916

[startup+1.50154 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1517280/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=6744 CPUtime=1.49
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 1172 0 0 0 147 2 0 0 25 0 1 0 338143681 6905856 1008 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 1686 1008 90 219 0 1463 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6744

[startup+3.10185 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1515424/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=7296 CPUtime=3.09
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 1738 0 0 0 306 3 0 0 25 0 1 0 338143681 7471104 1574 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 1824 1574 90 219 0 1601 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7296

[startup+6.30149 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1511584/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=13000 CPUtime=6.29
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 2738 0 0 0 624 5 0 0 25 0 1 0 338143681 13312000 2381 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 3250 2381 90 219 0 3027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13000

[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1506336/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=22628 CPUtime=12.69
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 3963 0 0 0 1261 8 0 0 25 0 1 0 338143681 23171072 3606 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544687 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 5657 3606 90 219 0 5434 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22628

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1498208/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=25940 CPUtime=25.47
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 6299 0 0 0 2534 13 0 0 25 0 1 0 338143681 26562560 5557 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 6485 5557 90 219 0 6262 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 25940

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1487776/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=48168 CPUtime=51.05
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 9715 0 0 0 5085 20 0 0 25 0 1 0 338143681 49324032 8204 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 12042 8204 90 219 0 11819 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 48168

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1470880/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=85836 CPUtime=102.22
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 13825 0 0 0 10190 32 0 0 25 0 1 0 338143681 87896064 12314 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 21459 12314 90 219 0 21236 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 85836

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1457952/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=95484 CPUtime=162.16
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 18717 0 0 0 16173 43 0 0 25 0 1 0 338143681 97775616 15537 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 23871 15537 90 219 0 23648 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 95484

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1445600/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=99900 CPUtime=222.11
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 22138 0 0 0 22161 50 0 0 25 0 1 0 338143681 102297600 18628 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 24975 18628 90 219 0 24752 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 99900

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1436192/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=102660 CPUtime=282.08
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 24874 0 0 0 28151 57 0 0 25 0 1 0 338143681 105123840 21034 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 25665 21034 90 219 0 25442 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 102660

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1426400/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=104772 CPUtime=342
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 27434 0 0 0 34134 66 0 0 25 0 1 0 338143681 107286528 23462 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31852/statm: 26193 23462 90 219 0 25970 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 104772

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1416928/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=172144 CPUtime=401.91
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 29884 0 0 0 40117 74 0 0 25 0 1 0 338143681 176275456 25813 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 43036 25813 90 219 0 42813 0
Current children cumulated CPU time (s) 401.91
Current children cumulated vsize (KiB) 172144

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 31853
/proc/meminfo: memFree=1408032/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=175056 CPUtime=461.82
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 32223 0 0 0 46100 82 0 0 25 0 1 0 338143681 179257344 28053 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 43764 28053 90 219 0 43541 0
Current children cumulated CPU time (s) 461.82
Current children cumulated vsize (KiB) 175056

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/71 31879
/proc/meminfo: memFree=1401136/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=176828 CPUtime=521.76
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 33833 0 0 0 52085 91 0 0 25 0 1 0 338143681 181071872 29434 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 44207 29434 90 219 0 43984 0
Current children cumulated CPU time (s) 521.76
Current children cumulated vsize (KiB) 176828

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1394912/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=178328 CPUtime=581.72
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 35673 0 0 0 58063 109 0 0 25 0 1 0 338143681 182607872 31208 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 44582 31208 90 219 0 44359 0
Current children cumulated CPU time (s) 581.72
Current children cumulated vsize (KiB) 178328

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1387744/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=192236 CPUtime=641.69
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 40782 0 0 0 64051 118 0 0 25 0 1 0 338143681 196849664 32983 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 48059 32983 90 219 0 47836 0
Current children cumulated CPU time (s) 641.69
Current children cumulated vsize (KiB) 192236


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1366560/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=201196 CPUtime=881.5
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 47243 0 0 0 88005 145 0 0 25 0 1 0 338143681 206024704 38271 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544702 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 50299 38271 90 219 0 50076 0
Current children cumulated CPU time (s) 881.5
Current children cumulated vsize (KiB) 201196

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1364960/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=202900 CPUtime=941.43
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 47846 0 0 0 93994 149 0 0 25 0 1 0 338143681 207769600 38711 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547311 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 50725 38711 90 219 0 50502 0
Current children cumulated CPU time (s) 941.43
Current children cumulated vsize (KiB) 202900

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1363872/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=204040 CPUtime=1001.36
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 48289 0 0 0 99983 153 0 0 25 0 1 0 338143681 208936960 38991 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 51010 38991 90 219 0 50787 0
Current children cumulated CPU time (s) 1001.36
Current children cumulated vsize (KiB) 204040

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1362848/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=205328 CPUtime=1061.32
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 48824 0 0 0 105972 160 0 0 25 0 1 0 338143681 210255872 39266 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 51332 39266 90 219 0 51109 0
Current children cumulated CPU time (s) 1061.32
Current children cumulated vsize (KiB) 205328

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1362016/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=205328 CPUtime=1121.28
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 49020 0 0 0 111963 165 0 0 25 0 1 0 338143681 210255872 39462 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 51332 39462 90 219 0 51109 0
Current children cumulated CPU time (s) 1121.28
Current children cumulated vsize (KiB) 205328

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1357536/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=206876 CPUtime=1181.23
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 50333 0 0 0 117952 171 0 0 25 0 1 0 338143681 211841024 40580 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 51719 40580 90 219 0 51496 0
Current children cumulated CPU time (s) 1181.23
Current children cumulated vsize (KiB) 206876

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1355168/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=207804 CPUtime=1241.18
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 50993 0 0 0 123942 176 0 0 25 0 1 0 338143681 212791296 41110 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 51951 41110 90 219 0 51728 0
Current children cumulated CPU time (s) 1241.18
Current children cumulated vsize (KiB) 207804

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1353696/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=209232 CPUtime=1301.15
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 51461 0 0 0 129935 180 0 0 25 0 1 0 338143681 214253568 41513 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 52308 41513 90 219 0 52085 0
Current children cumulated CPU time (s) 1301.15
Current children cumulated vsize (KiB) 209232

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1352736/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=210244 CPUtime=1361.07
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 51818 0 0 0 135922 185 0 0 25 0 1 0 338143681 215289856 41772 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 52561 41772 90 219 0 52338 0
Current children cumulated CPU time (s) 1361.07
Current children cumulated vsize (KiB) 210244

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1351136/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=211420 CPUtime=1421.01
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 52327 0 0 0 141910 191 0 0 25 0 1 0 338143681 216494080 42183 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 52855 42183 90 219 0 52632 0
Current children cumulated CPU time (s) 1421.01
Current children cumulated vsize (KiB) 211420

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1350112/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=211420 CPUtime=1480.94
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 52578 0 0 0 147899 195 0 0 25 0 1 0 338143681 216494080 42434 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 52855 42434 90 219 0 52632 0
Current children cumulated CPU time (s) 1480.94
Current children cumulated vsize (KiB) 211420

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1347936/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=213340 CPUtime=1540.9
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 53125 0 0 0 153890 200 0 0 25 0 1 0 338143681 218460160 42981 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 53335 42981 90 219 0 53112 0
Current children cumulated CPU time (s) 1540.9
Current children cumulated vsize (KiB) 213340

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1346720/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=214380 CPUtime=1600.86
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 53527 0 0 0 159881 205 0 0 25 0 1 0 338143681 219525120 43285 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 53595 43285 90 219 0 53372 0
Current children cumulated CPU time (s) 1600.86
Current children cumulated vsize (KiB) 214380

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1345632/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=215444 CPUtime=1660.82
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 53778 0 0 0 165873 209 0 0 25 0 1 0 338143681 220614656 43536 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 53861 43536 90 219 0 53638 0
Current children cumulated CPU time (s) 1660.82
Current children cumulated vsize (KiB) 215444

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1344352/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=216288 CPUtime=1720.77
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 54116 0 0 0 171863 214 0 0 25 0 1 0 338143681 221478912 43874 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 54072 43874 90 219 0 53849 0
Current children cumulated CPU time (s) 1720.77
Current children cumulated vsize (KiB) 216288

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1342688/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=217432 CPUtime=1780.71
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 54540 0 0 0 177852 219 0 0 25 0 1 0 338143681 222650368 44233 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544711 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 54358 44233 90 219 0 54135 0
Current children cumulated CPU time (s) 1780.71
Current children cumulated vsize (KiB) 217432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.7 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1342368/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=217688 CPUtime=1800.1
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 54661 0 0 0 179790 220 0 0 25 0 1 0 338143681 222912512 44289 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 54422 44289 90 219 0 54199 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 217688

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

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

[startup+1801.7 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 32051
/proc/meminfo: memFree=1342368/2055920 swapFree=4183156/4192956
[pid=31852] ppid=31850 vsize=217688 CPUtime=1800.1
/proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 54661 0 0 0 179790 220 0 0 25 0 1 0 338143681 222912512 44289 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31852/statm: 54422 44289 90 219 0 54199 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 217688

Child status: 0
Real time (s): 1801.75
CPU time (s): 1800.14
CPU user time (s): 1797.91
CPU system time (s): 2.23466
CPU usage (%): 99.9108
Max. virtual memory (cumulated for all children) (KiB): 217688

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

runsolver used 1.93571 second user time and 4.49732 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Tue May  8 10:52:21 UTC 2007

IDJOB= 458286
IDBENCH= 1363
IDSOLVER= 200
FILE ID= node66/458286-1178621541

PBS_JOBID= 5218247

Free space on /tmp= 66562 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.1900579996.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458286-1178621541/instance-458286-1178621541.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-458286-1178621541 -o ROOT/results/node66/conversion-458286-1178621541 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458286-1178621541/instance-458286-1178621541.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  f510e821cdc50f097865b59193d7ef06

RANDOM SEED= 301294324

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1520576 kB
Buffers:         31664 kB
Cached:         402932 kB
SwapCached:       3732 kB
Active:          61012 kB
Inactive:       383684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1520576 kB
SwapTotal:     4192956 kB
SwapFree:      4183156 kB
Dirty:            2352 kB
Writeback:           0 kB
Mapped:          16220 kB
Slab:            76752 kB
Committed_AS:  5139568 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node66 on Tue May  8 11:22:25 UTC 2007