Trace number 359539

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.09 1800.84

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb
MD5SUMf6db72fa29ffa9d071020a030f71e7d0
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 benchmark182.982
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 651
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/359539-1176933571/instance-359539-1176933571.opb ......
1800.05/1800.80	c done parsing opb.
1800.05/1800.80	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/359539-1176933571/instance-359539-1176933571.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/node13/watcher-359539-1176933571 -o ROOT/results/node13/solver-359539-1176933571 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/359539-1176933571/PBS4 /tmp/evaluation/359539-1176933571/instance-359539-1176933571.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.94 1.01 1.02 3/77 4476
/proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=1324 CPUtime=0
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 141274925 1355776 121 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134529777 0 0 4096 0 0 0 0 17 1 0 0
/proc/4476/statm: 331 121 87 219 0 108 0

[startup+0.041584 s]
/proc/loadavg: 0.94 1.01 1.02 3/77 4476
/proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=1472 CPUtime=0.03
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 211 0 0 0 3 0 0 0 18 0 1 0 141274925 1507328 193 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 368 193 92 219 0 145 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1472

[startup+0.101596 s]
/proc/loadavg: 0.94 1.01 1.02 3/77 4476
/proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=1728 CPUtime=0.09
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 259 0 0 0 9 0 0 0 18 0 1 0 141274925 1769472 241 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 432 241 93 219 0 209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1728

[startup+0.301639 s]
/proc/loadavg: 0.94 1.01 1.02 3/77 4476
/proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=2568 CPUtime=0.29
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 398 0 0 0 29 0 0 0 19 0 1 0 141274925 2629632 380 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 642 380 93 219 0 419 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2568

[startup+0.702724 s]
/proc/loadavg: 0.94 1.01 1.02 3/77 4476
/proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=3940 CPUtime=0.69
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 667 0 0 0 68 1 0 0 23 0 1 0 141274925 4034560 600 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 985 600 94 219 0 762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3940

[startup+1.50189 s]
/proc/loadavg: 0.94 1.01 1.02 2/78 4477
/proc/meminfo: memFree=1549888/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=6256 CPUtime=1.49
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 1043 0 0 0 148 1 0 0 25 0 1 0 141274925 6406144 976 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 1564 976 94 219 0 1341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6256

[startup+3.10127 s]
/proc/loadavg: 0.94 1.01 1.02 2/78 4477
/proc/meminfo: memFree=1547840/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=7176 CPUtime=3.09
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 1691 0 0 0 307 2 0 0 25 0 1 0 141274925 7348224 1527 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 1794 1527 94 219 0 1571 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7176

[startup+6.30196 s]
/proc/loadavg: 0.94 1.01 1.02 2/78 4477
/proc/meminfo: memFree=1543808/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=12856 CPUtime=6.29
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 2708 0 0 0 624 5 0 0 25 0 1 0 141274925 13164544 2351 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 3214 2351 94 219 0 2991 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12856

[startup+12.7013 s]
/proc/loadavg: 0.95 1.01 1.02 2/78 4477
/proc/meminfo: memFree=1538624/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=22316 CPUtime=12.69
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 3968 0 0 0 1262 7 0 0 25 0 1 0 141274925 22851584 3611 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 5579 3611 94 219 0 5356 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22316

[startup+25.502 s]
/proc/loadavg: 0.96 1.01 1.02 2/78 4477
/proc/meminfo: memFree=1530560/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=25828 CPUtime=25.48
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 6265 0 0 0 2536 12 0 0 25 0 1 0 141274925 26447872 5523 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 6457 5523 94 219 0 6234 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25828

[startup+51.1015 s]
/proc/loadavg: 0.97 1.01 1.02 2/78 4477
/proc/meminfo: memFree=1520448/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=48152 CPUtime=51.07
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 9596 0 0 0 5087 20 0 0 25 0 1 0 141274925 49307648 8085 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 12038 8085 94 219 0 11815 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48152

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.01 2/84 4559
/proc/meminfo: memFree=1501648/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=85956 CPUtime=102.24
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 13885 0 0 0 10188 36 0 0 25 0 1 0 141274925 88018944 12374 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 21489 12374 94 219 0 21266 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 85956

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.01 2/78 4675
/proc/meminfo: memFree=1489600/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=95684 CPUtime=162.15
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 18755 0 0 0 16167 48 0 0 25 0 1 0 141274925 97980416 15674 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 23921 15674 94 219 0 23698 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 95684

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1477504/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=98368 CPUtime=222.13
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 21862 0 0 0 22151 62 0 0 25 0 1 0 141274925 100728832 18682 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 24592 18682 94 219 0 24369 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 98368

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1466624/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=101956 CPUtime=282.11
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 24866 0 0 0 28139 72 0 0 25 0 1 0 141274925 104402944 21422 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 25489 21422 94 219 0 25266 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 101956

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1457280/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=104276 CPUtime=342.08
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 27265 0 0 0 34126 82 0 0 25 0 1 0 141274925 106778624 23755 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 26069 23755 94 219 0 25846 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 104276

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1447616/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=172304 CPUtime=402.06
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 29811 0 0 0 40113 93 0 0 25 0 1 0 141274925 176439296 26136 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 43076 26136 94 219 0 42853 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 172304

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1443904/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=173496 CPUtime=462.03
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 30776 0 0 0 46103 100 0 0 25 0 1 0 141274925 177659904 27035 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 43374 27035 94 219 0 43151 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 173496

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1437184/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=175208 CPUtime=522.01
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 32724 0 0 0 52093 108 0 0 25 0 1 0 141274925 179412992 28787 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590837 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 43802 28787 94 219 0 43579 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 175208

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1428672/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=176624 CPUtime=582
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 34882 0 0 0 58084 116 0 0 25 0 1 0 141274925 180862976 30880 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 44156 30880 94 219 0 43933 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 176624

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1424064/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=190328 CPUtime=641.98
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 39248 0 0 0 64074 124 0 0 25 0 1 0 141274925 194895872 31977 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 47582 31977 94 219 0 47359 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 190328


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

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1414912/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=195660 CPUtime=821.9
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 42034 0 0 0 82048 142 0 0 25 0 1 0 141274925 200355840 34369 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 48915 34369 94 219 0 48692 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 195660

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1413248/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=196308 CPUtime=881.88
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 42433 0 0 0 88039 149 0 0 25 0 1 0 141274925 201019392 34735 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 49077 34735 94 219 0 48854 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 196308

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1411392/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=197872 CPUtime=941.86
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 42988 0 0 0 94032 154 0 0 25 0 1 0 141274925 202620928 35192 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547215 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 49468 35192 94 219 0 49245 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 197872

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1410240/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=198964 CPUtime=1001.84
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 43487 0 0 0 100024 160 0 0 25 0 1 0 141274925 203739136 35495 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134586003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 49741 35495 94 219 0 49518 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 198964

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1405632/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=200200 CPUtime=1061.81
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 44765 0 0 0 106016 165 0 0 25 0 1 0 141274925 205004800 36675 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 50050 36675 94 219 0 49827 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 200200

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1401280/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=201852 CPUtime=1121.8
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 46051 0 0 0 112007 173 0 0 25 0 1 0 141274925 206696448 37700 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 50463 37700 94 219 0 50240 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 201852

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1399808/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=203028 CPUtime=1181.78
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 46536 0 0 0 117999 179 0 0 25 0 1 0 141274925 207900672 38087 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 50757 38087 94 219 0 50534 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 203028

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1395904/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=203484 CPUtime=1241.76
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 47515 0 0 0 123992 184 0 0 25 0 1 0 141274925 208367616 39066 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547154 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 50871 39066 94 219 0 50648 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 203484

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1392896/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=206188 CPUtime=1301.74
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 48520 0 0 0 129984 190 0 0 25 0 1 0 141274925 211136512 39778 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 51547 39778 94 219 0 51324 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 206188

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1391872/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=206832 CPUtime=1361.71
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 48899 0 0 0 135976 195 0 0 25 0 1 0 141274925 211795968 40059 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 51708 40059 94 219 0 51485 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 206832

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1390464/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=208648 CPUtime=1421.69
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 49366 0 0 0 141968 201 0 0 25 0 1 0 141274925 213655552 40396 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549626 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 52162 40396 94 219 0 51939 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 208648

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1388544/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=209876 CPUtime=1481.67
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 49891 0 0 0 147958 209 0 0 25 0 1 0 141274925 214913024 40855 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134585932 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 52469 40855 94 219 0 52246 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 209876

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1387008/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=211300 CPUtime=1541.64
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 50510 0 0 0 153950 214 0 0 25 0 1 0 141274925 216371200 41246 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 52825 41246 94 219 0 52602 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 211300

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1385792/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=211756 CPUtime=1601.62
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 50807 0 0 0 159942 220 0 0 25 0 1 0 141274925 216838144 41543 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549713 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 52939 41543 94 219 0 52716 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 211756

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1383808/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=213940 CPUtime=1661.6
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 51486 0 0 0 165935 225 0 0 25 0 1 0 141274925 219074560 42058 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 53485 42058 94 219 0 53262 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 213940

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1379840/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=216500 CPUtime=1721.58
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 52636 0 0 0 171926 232 0 0 25 0 1 0 141274925 221696000 43012 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 54125 43012 94 219 0 53902 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 216500

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1378752/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=217796 CPUtime=1781.56
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 52998 0 0 0 177919 237 0 0 25 0 1 0 141274925 223023104 43309 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134585932 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 54449 43309 94 219 0 54226 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 217796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 4675
/proc/meminfo: memFree=1378560/2055920 swapFree=4159408/4192956
[pid=4476] ppid=4474 vsize=217796 CPUtime=1800.05
/proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 53039 0 0 0 179767 238 0 0 25 0 1 0 141274925 223023104 43350 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4476/statm: 54449 43350 94 219 0 54226 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 217796

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.84
CPU time (s): 1800.09
CPU user time (s): 1797.68
CPU system time (s): 2.41463
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 217796

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

runsolver used 2.08168 second user time and 4.34734 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Wed Apr 18 21:59:31 UTC 2007

IDJOB= 359539
IDBENCH= 1300
IDSOLVER= 157
FILE ID= node13/359539-1176933571

PBS_JOBID= 4605663

Free space on /tmp= 66320 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.1900583053.opb
COMMAND LINE= /tmp/evaluation/359539-1176933571/PBS4 /tmp/evaluation/359539-1176933571/instance-359539-1176933571.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-359539-1176933571 -o ROOT/results/node13/conversion-359539-1176933571 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/359539-1176933571/instance-359539-1176933571.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  f6db72fa29ffa9d071020a030f71e7d0

RANDOM SEED= 83038733

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1552992 kB
Buffers:         32240 kB
Cached:         405264 kB
SwapCached:      12520 kB
Active:         145016 kB
Inactive:       316276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1552992 kB
SwapTotal:     4192956 kB
SwapFree:      4159408 kB
Dirty:            1236 kB
Writeback:           0 kB
Mapped:          30948 kB
Slab:            27044 kB
Committed_AS:  6601800 kB
PageTables:       1876 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= 66320 MiB

End job on node13 on Wed Apr 18 22:29:34 UTC 2007