Trace number 40953

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
PBS 4.1L? (TO) 1800.16 1801.23

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb
MD5SUMfb1b2fb5676286fc8681e7e6d0d2728f
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 benchmark424.074
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 669
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	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node87/40953-1149214181/instance-40953-1149214181.opb ......

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node87/watcher-40953-1149214181 -o ROOT/results/node87/solver-40953-1149214181 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/40953-1149214181/instance-40953-1149214181.opb 44336497 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1735848/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=1400 CPUtime=0
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 155 0 0 0 0 0 0 0 19 0 1 0 187057200 1433600 139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134537056 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 350 139 100 232 0 115 0

[startup+10.0029 s]
/proc/loadavg: 0.93 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1723056/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=22044 CPUtime=9.99
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 3683 0 0 0 992 7 0 0 25 0 1 0 187057200 22573056 3320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 5511 3320 105 232 0 5276 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 22044

[startup+20.009 s]
/proc/loadavg: 0.94 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1716144/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=25324 CPUtime=19.99
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 5822 0 0 0 1987 12 0 0 25 0 1 0 187057200 25931776 5074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550054 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 6331 5074 105 232 0 6096 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25324

[startup+30.0152 s]
/proc/loadavg: 0.95 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1710768/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=43180 CPUtime=29.99
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 7175 0 0 0 2983 16 0 0 25 0 1 0 187057200 44216320 6427 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/17847/statm: 10795 6427 105 232 0 10560 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 43180

[startup+40.0214 s]
/proc/loadavg: 0.96 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1706096/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=44452 CPUtime=39.99
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 8339 0 0 0 3980 19 0 0 25 0 1 0 187057200 45518848 7591 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 11113 7591 105 232 0 10878 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 44452

[startup+50.0275 s]
/proc/loadavg: 0.96 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1703152/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=48340 CPUtime=49.99
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 9874 0 0 0 4976 23 0 0 25 0 1 0 187057200 49500160 8357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 12085 8357 105 232 0 11850 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 48340

[startup+60.0337 s]
/proc/loadavg: 0.97 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1700464/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=49364 CPUtime=60
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 10553 0 0 0 5974 26 0 0 25 0 1 0 187057200 50548736 9036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 12341 9036 105 232 0 12106 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 49364

[startup+70.0399 s]
/proc/loadavg: 0.97 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1697072/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=50276 CPUtime=70
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 11385 0 0 0 6972 28 0 0 25 0 1 0 187057200 51482624 9868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17847/statm: 12569 9868 105 232 0 12334 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 50276

[startup+80.047 s]
/proc/loadavg: 0.98 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1694320/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=51144 CPUtime=79.99
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 12077 0 0 0 7969 30 0 0 25 0 1 0 187057200 52371456 10560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 12786 10560 105 232 0 12551 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 51144

[startup+90.0532 s]
/proc/loadavg: 0.98 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1691376/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=51808 CPUtime=90
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 12810 0 0 0 8967 33 0 0 25 0 1 0 187057200 53051392 11293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 12952 11293 105 232 0 12717 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 51808

[startup+100.058 s]
/proc/loadavg: 0.98 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1688496/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=52928 CPUtime=100
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 13525 0 0 0 9965 35 0 0 25 0 1 0 187057200 54198272 12008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 13232 12008 105 232 0 12997 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 52928

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1685744/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=86608 CPUtime=110.01
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 14220 0 0 0 10963 38 0 0 25 0 1 0 187057200 88686592 12703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 21652 12703 105 232 0 21417 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 86608

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1682800/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=87244 CPUtime=120
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 14947 0 0 0 11960 40 0 0 25 0 1 0 187057200 89337856 13430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 21811 13430 105 232 0 21576 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 87244

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1681648/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=87800 CPUtime=130
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 15236 0 0 0 12958 42 0 0 25 0 1 0 187057200 89907200 13719 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 21950 13719 105 232 0 21715 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 87800

[startup+140.083 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1679280/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=88064 CPUtime=140.01
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 15821 0 0 0 13957 44 0 0 25 0 1 0 187057200 90177536 14304 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 22016 14304 105 232 0 21781 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 88064

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1676592/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=88896 CPUtime=150.01
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 16492 0 0 0 14955 46 0 0 25 0 1 0 187057200 91029504 14975 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 22224 14975 105 232 0 21989 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 88896

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1674352/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=95304 CPUtime=160.01
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 18594 0 0 0 15952 49 0 0 25 0 1 0 187057200 97591296 15540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550056 0 0 4096 0 0 0 0 17 1 0 0
/proc/17847/statm: 23826 15540 105 232 0 23591 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 95304

[startup+170.101 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1671984/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=95496 CPUtime=170.01
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 19173 0 0 0 16951 50 0 0 25 0 1 0 187057200 97787904 16119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552297 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 23874 16119 105 232 0 23639 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 95496

[startup+180.107 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1669680/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=96396 CPUtime=180.01
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 19779 0 0 0 17949 52 0 0 25 0 1 0 187057200 98709504 16692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 24099 16692 105 232 0 23864 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 96396

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1669168/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=96668 CPUtime=190.01
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 19900 0 0 0 18947 54 0 0 25 0 1 0 187057200 98988032 16813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 24167 16813 105 232 0 23932 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 96668

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1668912/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=96668 CPUtime=200.02
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 19980 0 0 0 19947 55 0 0 25 0 1 0 187057200 98988032 16893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 24167 16893 105 232 0 23932 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 96668

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17847
/proc/meminfo: memFree=1668336/2055888 swapFree=4085412/4096564

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

/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 60993 0 0 0 177883 219 0 0 25 0 1 0 187057200 224669696 49828 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 49828 105 232 0 54616 0
Current children cumulated CPU time (s) 1781.02
Current children cumulated vsize (Kb) 219404

[startup+1783.1 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1536560/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1782.03
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 60995 0 0 0 177984 219 0 0 25 0 1 0 187057200 224669696 49830 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 49830 105 232 0 54616 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (Kb) 219404

[startup+1784.11 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1536560/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1783.03
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 60997 0 0 0 178084 219 0 0 25 0 1 0 187057200 224669696 49832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 49832 105 232 0 54616 0
Current children cumulated CPU time (s) 1783.03
Current children cumulated vsize (Kb) 219404

[startup+1785.11 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1536560/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1784.03
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61026 0 0 0 178184 219 0 0 25 0 1 0 187057200 224669696 49861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 49861 105 232 0 54616 0
Current children cumulated CPU time (s) 1784.03
Current children cumulated vsize (Kb) 219404

[startup+1786.11 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1536496/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1785.04
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61058 0 0 0 178285 219 0 0 25 0 1 0 187057200 224669696 49893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 49893 105 232 0 54616 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (Kb) 219404

[startup+1787.12 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1536432/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1786.05
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61070 0 0 0 178385 220 0 0 25 0 1 0 187057200 224669696 49905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 49905 105 232 0 54616 0
Current children cumulated CPU time (s) 1786.05
Current children cumulated vsize (Kb) 219404

[startup+1788.12 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1536304/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1787.05
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61105 0 0 0 178485 220 0 0 25 0 1 0 187057200 224669696 49940 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 49940 105 232 0 54616 0
Current children cumulated CPU time (s) 1787.05
Current children cumulated vsize (Kb) 219404

[startup+1789.13 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1536240/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1788.06
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61120 0 0 0 178586 220 0 0 25 0 1 0 187057200 224669696 49955 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 49955 105 232 0 54616 0
Current children cumulated CPU time (s) 1788.06
Current children cumulated vsize (Kb) 219404

[startup+1790.13 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1536112/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1789.06
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61148 0 0 0 178686 220 0 0 25 0 1 0 187057200 224669696 49983 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 49983 105 232 0 54616 0
Current children cumulated CPU time (s) 1789.06
Current children cumulated vsize (Kb) 219404

[startup+1791.14 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1536048/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1790.07
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61169 0 0 0 178787 220 0 0 25 0 1 0 187057200 224669696 50004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550762 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50004 105 232 0 54616 0
Current children cumulated CPU time (s) 1790.07
Current children cumulated vsize (Kb) 219404

[startup+1792.14 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535920/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1791.07
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61210 0 0 0 178887 220 0 0 25 0 1 0 187057200 224669696 50045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50045 105 232 0 54616 0
Current children cumulated CPU time (s) 1791.07
Current children cumulated vsize (Kb) 219404

[startup+1793.15 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535792/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1792.07
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61237 0 0 0 178987 220 0 0 25 0 1 0 187057200 224669696 50072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611859 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50072 105 232 0 54616 0
Current children cumulated CPU time (s) 1792.07
Current children cumulated vsize (Kb) 219404

[startup+1794.15 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535792/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1793.07
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61238 0 0 0 179087 220 0 0 25 0 1 0 187057200 224669696 50073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50073 105 232 0 54616 0
Current children cumulated CPU time (s) 1793.07
Current children cumulated vsize (Kb) 219404

[startup+1795.16 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535792/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1794.08
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61242 0 0 0 179188 220 0 0 25 0 1 0 187057200 224669696 50077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50077 105 232 0 54616 0
Current children cumulated CPU time (s) 1794.08
Current children cumulated vsize (Kb) 219404

[startup+1796.16 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535728/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1795.09
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61244 0 0 0 179288 221 0 0 25 0 1 0 187057200 224669696 50079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50079 105 232 0 54616 0
Current children cumulated CPU time (s) 1795.09
Current children cumulated vsize (Kb) 219404

[startup+1797.17 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535728/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1796.09
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61246 0 0 0 179388 221 0 0 25 0 1 0 187057200 224669696 50081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50081 105 232 0 54616 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (Kb) 219404

[startup+1798.17 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535728/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1797.1
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61258 0 0 0 179489 221 0 0 25 0 1 0 187057200 224669696 50093 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50093 105 232 0 54616 0
Current children cumulated CPU time (s) 1797.1
Current children cumulated vsize (Kb) 219404

[startup+1799.18 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535536/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1798.1
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61295 0 0 0 179589 221 0 0 25 0 1 0 187057200 224669696 50130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551969 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50130 105 232 0 54616 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (Kb) 219404

[startup+1800.18 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535408/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1799.11
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61323 0 0 0 179690 221 0 0 25 0 1 0 187057200 224669696 50158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50158 105 232 0 54616 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (Kb) 219404

[startup+1801.19 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535344/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1800.11
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61342 0 0 0 179790 221 0 0 25 0 1 0 187057200 224669696 50177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50177 105 232 0 54616 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (Kb) 219404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 17849
/proc/meminfo: memFree=1535344/2055888 swapFree=4085412/4096564
[pid=17847] ppid=17845 vsize=219404 CPUtime=1800.11
/proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61342 0 0 0 179790 221 0 0 25 0 1 0 187057200 224669696 50177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 0 0 0
/proc/17847/statm: 54851 50177 105 232 0 54616 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (Kb) 219404

Sending SIGTERM to -17847
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.23
CPU time (s): 1800.16
CPU user time (s): 1797.91
CPU system time (s): 2.24966
CPU usage (%): 99.9405
Max. virtual memory (cumulated for all children) (Kb): 219404
The end

Launcher Data (download as text)

Begin job on node87 on Fri Jun  2 02:09:41 UTC 2006


FILE ID= 40953-1149214181

PBS_JOBID= 294553

BENCH NAME= ROOT/tmp/node87/40953-1149214181/instance-40953-1149214181.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/40953-1149214181/instance-40953-1149214181.opb 44336497
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node87/watcher-40953-1149214181 -o ROOT/results/node87/solver-40953-1149214181 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/40953-1149214181/instance-40953-1149214181.opb 44336497

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  fb1b2fb5676286fc8681e7e6d0d2728f

RANDOM SEED= 44336497


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.17
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1736056 kB
Buffers:         26288 kB
Cached:         219604 kB
SwapCached:       2512 kB
Active:          84284 kB
Inactive:       170408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1736056 kB
SwapTotal:     4096564 kB
SwapFree:      4085412 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          16792 kB
Slab:            51816 kB
Committed_AS:   183608 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node87 on Fri Jun  2 02:39:42 UTC 2006