Trace number 41027

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.1LUNSAT 1455.05 1455.56

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb
MD5SUM526ab28e5245080e542291515286f3e0
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 benchmark192.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 689
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/node58/41027-1149222318/instance-41027-1149222318.opb ......
1455.53	c done parsing opb.
1455.53	s UNSATISFIABLE
1455.53	c Total Run Time					1455.01

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/node58/watcher-41027-1149222318 -o ROOT/results/node58/solver-41027-1149222318 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node58/41027-1149222318/instance-41027-1149222318.opb 974744593 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1532080/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=1400 CPUtime=0
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 24278696 1433600 131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 350 131 100 232 0 115 0

[startup+10.0029 s]
/proc/loadavg: 0.92 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1520504/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=13876 CPUtime=9.99
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 3349 0 0 0 994 5 0 0 25 0 1 0 24278696 14209024 2985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550073 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 3469 2985 104 232 0 3234 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13876

[startup+20.0088 s]
/proc/loadavg: 0.94 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1513976/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=25272 CPUtime=19.99
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 5384 0 0 0 1990 9 0 0 25 0 1 0 24278696 25878528 4635 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 6318 4635 104 232 0 6083 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25272

[startup+30.0147 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1509624/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=26404 CPUtime=30
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 6476 0 0 0 2986 14 0 0 25 0 1 0 24278696 27037696 5727 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 6601 5727 104 232 0 6366 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26404

[startup+40.0206 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1505400/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=44052 CPUtime=40
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 7544 0 0 0 3983 17 0 0 25 0 1 0 24278696 45109248 6795 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 11013 6795 104 232 0 10778 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 44052

[startup+50.0265 s]
/proc/loadavg: 0.96 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1501496/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=48156 CPUtime=50
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 9289 0 0 0 4979 21 0 0 25 0 1 0 24278696 49311744 7771 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 12039 7771 104 232 0 11804 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 48156

[startup+60.0325 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1498488/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=49260 CPUtime=60
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 10042 0 0 0 5977 23 0 0 25 0 1 0 24278696 50442240 8524 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 12315 8524 104 232 0 12080 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 49260

[startup+70.0384 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1496120/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=49732 CPUtime=70
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 10628 0 0 0 6974 26 0 0 25 0 1 0 24278696 50925568 9110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 12433 9110 104 232 0 12198 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 49732

[startup+80.0443 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1493240/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=50656 CPUtime=80
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 11365 0 0 0 7972 28 0 0 25 0 1 0 24278696 51871744 9847 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 12664 9847 104 232 0 12429 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 50656

[startup+90.0502 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1490232/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=51420 CPUtime=90.01
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 12112 0 0 0 8971 30 0 0 25 0 1 0 24278696 52654080 10594 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 12855 10594 104 232 0 12620 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 51420

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1487608/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=52200 CPUtime=100.01
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 12750 0 0 0 9969 32 0 0 25 0 1 0 24278696 53452800 11232 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550064 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 13050 11232 104 232 0 12815 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 52200

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1485496/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=52728 CPUtime=110.01
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 13281 0 0 0 10967 34 0 0 25 0 1 0 24278696 53993472 11763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 13182 11763 104 232 0 12947 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 52728

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1483256/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=53304 CPUtime=120.02
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 13840 0 0 0 11965 37 0 0 25 0 1 0 24278696 54583296 12322 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 13326 12322 104 232 0 13091 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 53304

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1480824/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=86496 CPUtime=130.02
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 14442 0 0 0 12963 39 0 0 25 0 1 0 24278696 88571904 12924 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 21624 12924 104 232 0 21389 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 86496

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1478520/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=86888 CPUtime=140.02
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 15025 0 0 0 13961 41 0 0 25 0 1 0 24278696 88973312 13507 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 21722 13507 104 232 0 21487 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 86888

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1476408/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=87836 CPUtime=150.02
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 15574 0 0 0 14959 43 0 0 25 0 1 0 24278696 89944064 14023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 21959 14023 104 232 0 21724 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 87836

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1474232/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=88924 CPUtime=160.03
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 16193 0 0 0 15958 45 0 0 25 0 1 0 24278696 91058176 14576 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550790 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 22231 14576 104 232 0 21996 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 88924

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1473592/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=89316 CPUtime=170.03
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 16350 0 0 0 16956 47 0 0 25 0 1 0 24278696 91459584 14733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 22329 14733 104 232 0 22094 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 89316

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1471864/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=89788 CPUtime=180.03
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 16778 0 0 0 17955 48 0 0 25 0 1 0 24278696 91942912 15161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 22447 15161 104 232 0 22212 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 89788

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1469816/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=90568 CPUtime=190.03
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 17400 0 0 0 18953 50 0 0 25 0 1 0 24278696 92741632 15684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 22642 15684 104 232 0 22407 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 90568

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1467960/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=96972 CPUtime=200.04
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 19429 0 0 0 19951 53 0 0 25 0 1 0 24278696 99299328 16143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551957 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 24243 16143 104 232 0 24008 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 96972

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1466488/2055920 swapFree=4192956/4192956

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

/proc/23583/statm: 50407 31565 105 232 0 50172 0
Current children cumulated CPU time (s) 1240.32
Current children cumulated vsize (Kb) 201628

[startup+1250.76 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1405824/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=201628 CPUtime=1250.32
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40168 0 0 0 124875 157 0 0 25 0 1 0 24278696 206467072 31583 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50407 31583 105 232 0 50172 0
Current children cumulated CPU time (s) 1250.32
Current children cumulated vsize (Kb) 201628

[startup+1260.76 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1405760/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=201628 CPUtime=1260.32
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40187 0 0 0 125874 158 0 0 25 0 1 0 24278696 206467072 31602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50407 31602 105 232 0 50172 0
Current children cumulated CPU time (s) 1260.32
Current children cumulated vsize (Kb) 201628

[startup+1270.77 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1405696/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=201628 CPUtime=1270.32
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40209 0 0 0 126874 158 0 0 25 0 1 0 24278696 206467072 31624 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50407 31624 105 232 0 50172 0
Current children cumulated CPU time (s) 1270.32
Current children cumulated vsize (Kb) 201628

[startup+1280.77 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1405568/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=201628 CPUtime=1280.32
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40240 0 0 0 127873 159 0 0 25 0 1 0 24278696 206467072 31655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50407 31655 105 232 0 50172 0
Current children cumulated CPU time (s) 1280.32
Current children cumulated vsize (Kb) 201628

[startup+1290.78 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1405440/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=201628 CPUtime=1290.33
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40263 0 0 0 128873 160 0 0 25 0 1 0 24278696 206467072 31678 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134535589 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50407 31678 105 232 0 50172 0
Current children cumulated CPU time (s) 1290.33
Current children cumulated vsize (Kb) 201628

[startup+1300.79 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1405312/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=201628 CPUtime=1300.33
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40293 0 0 0 129873 160 0 0 25 0 1 0 24278696 206467072 31708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552176 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50407 31708 105 232 0 50172 0
Current children cumulated CPU time (s) 1300.33
Current children cumulated vsize (Kb) 201628

[startup+1310.79 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1405184/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=201628 CPUtime=1310.33
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40323 0 0 0 130872 161 0 0 25 0 1 0 24278696 206467072 31738 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552331 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50407 31738 105 232 0 50172 0
Current children cumulated CPU time (s) 1310.33
Current children cumulated vsize (Kb) 201628

[startup+1320.8 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1404544/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=202300 CPUtime=1320.34
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40487 0 0 0 131872 162 0 0 25 0 1 0 24278696 207155200 31902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550025 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50575 31902 105 232 0 50340 0
Current children cumulated CPU time (s) 1320.34
Current children cumulated vsize (Kb) 202300

[startup+1330.8 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1404480/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=202300 CPUtime=1330.33
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40505 0 0 0 132871 162 0 0 25 0 1 0 24278696 207155200 31920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50575 31920 105 232 0 50340 0
Current children cumulated CPU time (s) 1330.33
Current children cumulated vsize (Kb) 202300

[startup+1340.81 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1404352/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=202300 CPUtime=1340.34
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40526 0 0 0 133871 163 0 0 25 0 1 0 24278696 207155200 31941 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50575 31941 105 232 0 50340 0
Current children cumulated CPU time (s) 1340.34
Current children cumulated vsize (Kb) 202300

[startup+1350.82 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1404288/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=202300 CPUtime=1350.34
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40541 0 0 0 134871 163 0 0 25 0 1 0 24278696 207155200 31956 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551999 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50575 31956 105 232 0 50340 0
Current children cumulated CPU time (s) 1350.34
Current children cumulated vsize (Kb) 202300

[startup+1360.82 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1403136/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=203768 CPUtime=1360.34
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40838 0 0 0 135870 164 0 0 25 0 1 0 24278696 208658432 32253 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50942 32253 105 232 0 50707 0
Current children cumulated CPU time (s) 1360.34
Current children cumulated vsize (Kb) 203768

[startup+1370.83 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1402816/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=203768 CPUtime=1370.35
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40913 0 0 0 136870 165 0 0 25 0 1 0 24278696 208658432 32328 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50942 32328 105 232 0 50707 0
Current children cumulated CPU time (s) 1370.35
Current children cumulated vsize (Kb) 203768

[startup+1380.83 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1402816/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=203768 CPUtime=1380.35
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40933 0 0 0 137870 165 0 0 25 0 1 0 24278696 208658432 32348 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50942 32348 105 232 0 50707 0
Current children cumulated CPU time (s) 1380.35
Current children cumulated vsize (Kb) 203768

[startup+1390.84 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1402432/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=203768 CPUtime=1390.35
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41016 0 0 0 138868 167 0 0 25 0 1 0 24278696 208658432 32431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50942 32431 105 232 0 50707 0
Current children cumulated CPU time (s) 1390.35
Current children cumulated vsize (Kb) 203768

[startup+1400.85 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1402368/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=203768 CPUtime=1400.35
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41033 0 0 0 139868 167 0 0 25 0 1 0 24278696 208658432 32448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 50942 32448 105 232 0 50707 0
Current children cumulated CPU time (s) 1400.35
Current children cumulated vsize (Kb) 203768

[startup+1410.85 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1402176/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=204572 CPUtime=1410.36
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41091 0 0 0 140868 168 0 0 25 0 1 0 24278696 209481728 32506 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 51143 32506 105 232 0 50908 0
Current children cumulated CPU time (s) 1410.36
Current children cumulated vsize (Kb) 204572

[startup+1420.86 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1401600/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=204572 CPUtime=1420.36
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41220 0 0 0 141867 169 0 0 25 0 1 0 24278696 209481728 32635 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 51143 32635 105 232 0 50908 0
Current children cumulated CPU time (s) 1420.36
Current children cumulated vsize (Kb) 204572

[startup+1430.86 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1401536/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=204572 CPUtime=1430.37
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41239 0 0 0 142867 170 0 0 25 0 1 0 24278696 209481728 32654 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 51143 32654 105 232 0 50908 0
Current children cumulated CPU time (s) 1430.37
Current children cumulated vsize (Kb) 204572

[startup+1440.87 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1401088/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=205428 CPUtime=1440.37
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41349 0 0 0 143866 171 0 0 25 0 1 0 24278696 210358272 32764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 51357 32764 105 232 0 51122 0
Current children cumulated CPU time (s) 1440.37
Current children cumulated vsize (Kb) 205428

[startup+1450.88 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 23583
/proc/meminfo: memFree=1400960/2055920 swapFree=4192956/4192956
[pid=23583] ppid=23581 vsize=205428 CPUtime=1450.36
/proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41389 0 0 0 144865 171 0 0 25 0 1 0 24278696 210358272 32804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23583/statm: 51357 32804 105 232 0 51122 0
Current children cumulated CPU time (s) 1450.36
Current children cumulated vsize (Kb) 205428

Child status: 0
Real time (s): 1455.56
CPU time (s): 1455.05
CPU user time (s): 1453.31
CPU system time (s): 1.74273
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (Kb): 205428

Launcher Data (download as text)

Begin job on node58 on Fri Jun  2 04:25:18 UTC 2006


FILE ID= 41027-1149222318

PBS_JOBID= 295510

BENCH NAME= ROOT/tmp/node58/41027-1149222318/instance-41027-1149222318.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node58/41027-1149222318/instance-41027-1149222318.opb 974744593
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-41027-1149222318 -o ROOT/results/node58/solver-41027-1149222318 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node58/41027-1149222318/instance-41027-1149222318.opb 974744593

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  526ab28e5245080e542291515286f3e0

RANDOM SEED= 974744593


/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.276
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.276
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:       1532288 kB
Buffers:         27160 kB
Cached:         419532 kB
SwapCached:          0 kB
Active:          91440 kB
Inactive:       369752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1532288 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          24916 kB
Slab:            48536 kB
Committed_AS:   124756 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node58 on Fri Jun  2 04:49:34 UTC 2006