Trace number 40950

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 599.645 599.806

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb
MD5SUM58a39490a0f04cc377ab2aa6882fd7a1
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 benchmark176.512
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 671
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/node46/40950-1149213915/instance-40950-1149213915.opb ......
599.78	c done parsing opb.
599.78	s UNSATISFIABLE
599.78	c Total Run Time					599.607

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/node46/watcher-40950-1149213915 -o ROOT/results/node46/solver-40950-1149213915 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node46/40950-1149213915/instance-40950-1149213915.opb 569190140 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.94 1.03 0.96 2/64 24879
/proc/meminfo: memFree=1380104/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=1400 CPUtime=0
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 129 0 0 0 0 0 0 0 19 0 1 0 101548352 1433600 113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599020 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 350 114 90 232 0 115 0

[startup+10.0025 s]
/proc/loadavg: 0.95 1.03 0.96 2/64 24879
/proc/meminfo: memFree=1368072/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=13608 CPUtime=9.99
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 3464 0 0 0 992 7 0 0 25 0 1 0 101548352 13934592 3100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551999 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 3402 3100 104 232 0 3167 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13608

[startup+20.0095 s]
/proc/loadavg: 0.96 1.03 0.96 2/64 24879
/proc/meminfo: memFree=1361672/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=24920 CPUtime=19.99
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 5470 0 0 0 1987 12 0 0 25 0 1 0 101548352 25518080 4721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 6230 4721 105 232 0 5995 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 24920

[startup+30.0156 s]
/proc/loadavg: 0.97 1.03 0.96 2/64 24879
/proc/meminfo: memFree=1356296/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=26584 CPUtime=29.99
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 6821 0 0 0 2984 15 0 0 25 0 1 0 101548352 27222016 6072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 6646 6072 105 232 0 6411 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26584

[startup+40.0217 s]
/proc/loadavg: 0.97 1.03 0.96 2/64 24879
/proc/meminfo: memFree=1351816/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=43900 CPUtime=40
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 7934 0 0 0 3982 18 0 0 25 0 1 0 101548352 44953600 7185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 10975 7185 105 232 0 10740 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43900

[startup+50.0277 s]
/proc/loadavg: 0.97 1.03 0.96 2/64 24879
/proc/meminfo: memFree=1348424/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=47752 CPUtime=50
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 9554 0 0 0 4979 21 0 0 25 0 1 0 101548352 48898048 8036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 11938 8036 105 232 0 11703 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 47752

[startup+60.0338 s]
/proc/loadavg: 0.98 1.03 0.96 2/64 24879
/proc/meminfo: memFree=1345416/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=48808 CPUtime=60.01
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 10308 0 0 0 5977 24 0 0 25 0 1 0 101548352 49979392 8790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 12202 8790 105 232 0 11967 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 48808

[startup+70.0399 s]
/proc/loadavg: 0.98 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1342024/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=49616 CPUtime=70.01
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 11141 0 0 0 6974 27 0 0 25 0 1 0 101548352 50806784 9623 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 12404 9623 105 232 0 12169 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 49616

[startup+80.0459 s]
/proc/loadavg: 0.98 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1339976/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=50336 CPUtime=80.01
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 11651 0 0 0 7971 30 0 0 25 0 1 0 101548352 51544064 10133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 12584 10133 105 232 0 12349 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 50336

[startup+90.051 s]
/proc/loadavg: 0.99 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1337160/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=51116 CPUtime=90.02
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 12354 0 0 0 8970 32 0 0 25 0 1 0 101548352 52342784 10836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 12779 10836 105 232 0 12544 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 51116

[startup+100.057 s]
/proc/loadavg: 0.99 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1334536/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=51580 CPUtime=100.02
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 13015 0 0 0 9968 34 0 0 25 0 1 0 101548352 52817920 11497 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 12895 11497 105 232 0 12660 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 51580

[startup+110.067 s]
/proc/loadavg: 0.99 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1331784/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=52444 CPUtime=110.03
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 13720 0 0 0 10966 37 0 0 25 0 1 0 101548352 53702656 12202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 13111 12202 105 232 0 12876 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 52444

[startup+120.073 s]
/proc/loadavg: 0.99 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1329608/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=85356 CPUtime=120.03
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 14260 0 0 0 11964 39 0 0 25 0 1 0 101548352 87404544 12742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 21339 12742 105 232 0 21104 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 85356

[startup+130.079 s]
/proc/loadavg: 0.99 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1327432/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=86312 CPUtime=130.03
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 14799 0 0 0 12962 41 0 0 25 0 1 0 101548352 88383488 13281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 21578 13281 105 232 0 21343 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 86312

[startup+140.085 s]
/proc/loadavg: 0.99 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1326216/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=87184 CPUtime=140.03
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 15110 0 0 0 13961 42 0 0 25 0 1 0 101548352 89276416 13592 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 21796 13592 105 232 0 21561 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 87184

[startup+150.091 s]
/proc/loadavg: 0.99 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1325640/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=87448 CPUtime=150.04
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 15244 0 0 0 14960 44 0 0 25 0 1 0 101548352 89546752 13726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 21862 13726 105 232 0 21627 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 87448

[startup+160.097 s]
/proc/loadavg: 0.99 1.02 0.96 2/64 24879
/proc/meminfo: memFree=1324680/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=94472 CPUtime=160.05
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 17034 0 0 0 15959 46 0 0 25 0 1 0 101548352 96739328 13979 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 23618 13979 105 232 0 23383 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 94472

[startup+170.104 s]
/proc/loadavg: 0.99 1.01 0.96 2/64 24879
/proc/meminfo: memFree=1324168/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=94868 CPUtime=170.05
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 17174 0 0 0 16958 47 0 0 25 0 1 0 101548352 97144832 14119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550079 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 23717 14119 105 232 0 23482 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 94868

[startup+180.11 s]
/proc/loadavg: 0.99 1.01 0.96 2/64 24879
/proc/meminfo: memFree=1323592/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=95264 CPUtime=180.05
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 17314 0 0 0 17957 48 0 0 25 0 1 0 101548352 97550336 14259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 23816 14259 105 232 0 23581 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 95264

[startup+190.116 s]
/proc/loadavg: 0.99 1.01 0.96 2/64 24879
/proc/meminfo: memFree=1323208/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=95528 CPUtime=190.06
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 17423 0 0 0 18956 50 0 0 25 0 1 0 101548352 97820672 14368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 23882 14368 105 232 0 23647 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 95528

[startup+200.122 s]
/proc/loadavg: 0.99 1.01 0.96 2/64 24879
/proc/meminfo: memFree=1322504/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=96104 CPUtime=200.06
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 17587 0 0 0 19955 51 0 0 25 0 1 0 101548352 98410496 14532 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 24026 14532 105 232 0 23791 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 96104

[startup+210.127 s]
/proc/loadavg: 0.99 1.01 0.96 2/64 24879
/proc/meminfo: memFree=1320520/2055920 swapFree=4183160/4192956

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

/proc/24879/statm: 25876 20489 105 232 0 25641 0
Current children cumulated CPU time (s) 380.12
Current children cumulated vsize (Kb) 103504

[startup+390.236 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1298440/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=103504 CPUtime=390.12
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 23848 0 0 0 38932 80 0 0 25 0 1 0 101548352 105988096 20529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 25876 20529 105 232 0 25641 0
Current children cumulated CPU time (s) 390.12
Current children cumulated vsize (Kb) 103504

[startup+400.242 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1297416/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=104376 CPUtime=400.13
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24104 0 0 0 39932 81 0 0 25 0 1 0 101548352 106881024 20785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26094 20785 105 232 0 25859 0
Current children cumulated CPU time (s) 400.13
Current children cumulated vsize (Kb) 104376

[startup+410.248 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1297160/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=104640 CPUtime=410.13
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24191 0 0 0 40931 82 0 0 25 0 1 0 101548352 107151360 20872 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26160 20872 105 232 0 25925 0
Current children cumulated CPU time (s) 410.13
Current children cumulated vsize (Kb) 104640

[startup+420.254 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1296456/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=105396 CPUtime=420.13
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24364 0 0 0 41930 83 0 0 25 0 1 0 101548352 107925504 21045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26349 21045 105 232 0 26114 0
Current children cumulated CPU time (s) 420.13
Current children cumulated vsize (Kb) 105396

[startup+430.26 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1296264/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=105396 CPUtime=430.13
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24413 0 0 0 42929 84 0 0 25 0 1 0 101548352 107925504 21094 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550095 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26349 21094 105 232 0 26114 0
Current children cumulated CPU time (s) 430.13
Current children cumulated vsize (Kb) 105396

[startup+440.266 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1296072/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=105396 CPUtime=440.14
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24449 0 0 0 43928 86 0 0 25 0 1 0 101548352 107925504 21130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26349 21130 105 232 0 26114 0
Current children cumulated CPU time (s) 440.14
Current children cumulated vsize (Kb) 105396

[startup+450.272 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1295944/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=105396 CPUtime=450.14
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24494 0 0 0 44927 87 0 0 25 0 1 0 101548352 107925504 21175 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26349 21175 105 232 0 26114 0
Current children cumulated CPU time (s) 450.14
Current children cumulated vsize (Kb) 105396

[startup+460.278 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1295368/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=105944 CPUtime=460.15
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24634 0 0 0 45927 88 0 0 25 0 1 0 101548352 108486656 21315 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26486 21315 105 232 0 26251 0
Current children cumulated CPU time (s) 460.15
Current children cumulated vsize (Kb) 105944

[startup+470.284 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1294536/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=106384 CPUtime=470.15
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24841 0 0 0 46926 89 0 0 25 0 1 0 101548352 108937216 21522 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26596 21522 105 232 0 26361 0
Current children cumulated CPU time (s) 470.15
Current children cumulated vsize (Kb) 106384

[startup+480.291 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1294344/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=106384 CPUtime=480.16
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24889 0 0 0 47925 91 0 0 25 0 1 0 101548352 108937216 21570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26596 21570 105 232 0 26361 0
Current children cumulated CPU time (s) 480.16
Current children cumulated vsize (Kb) 106384

[startup+490.298 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1294152/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=106384 CPUtime=490.16
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 24931 0 0 0 48924 92 0 0 25 0 1 0 101548352 108937216 21612 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26596 21612 105 232 0 26361 0
Current children cumulated CPU time (s) 490.16
Current children cumulated vsize (Kb) 106384

[startup+500.304 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1293704/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=106980 CPUtime=500.16
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 25073 0 0 0 49923 93 0 0 25 0 1 0 101548352 109547520 21721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26745 21721 105 232 0 26510 0
Current children cumulated CPU time (s) 500.16
Current children cumulated vsize (Kb) 106980

[startup+510.31 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1293448/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=107112 CPUtime=510.16
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 25133 0 0 0 50922 94 0 0 25 0 1 0 101548352 109682688 21781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26778 21781 105 232 0 26543 0
Current children cumulated CPU time (s) 510.16
Current children cumulated vsize (Kb) 107112

[startup+520.316 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1292936/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=107736 CPUtime=520.17
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 25266 0 0 0 51922 95 0 0 25 0 1 0 101548352 110321664 21881 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26934 21881 105 232 0 26699 0
Current children cumulated CPU time (s) 520.17
Current children cumulated vsize (Kb) 107736

[startup+530.322 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1292872/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=107736 CPUtime=530.17
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 25306 0 0 0 52921 96 0 0 25 0 1 0 101548352 110321664 21921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 26934 21921 105 232 0 26699 0
Current children cumulated CPU time (s) 530.17
Current children cumulated vsize (Kb) 107736

[startup+540.328 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1292552/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=108000 CPUtime=540.17
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 25391 0 0 0 53920 97 0 0 25 0 1 0 101548352 110592000 22006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 27000 22006 105 232 0 26765 0
Current children cumulated CPU time (s) 540.17
Current children cumulated vsize (Kb) 108000

[startup+550.334 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1291656/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=120816 CPUtime=550.18
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 28677 0 0 0 54919 99 0 0 25 0 1 0 101548352 123715584 22219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 30204 22219 105 232 0 29969 0
Current children cumulated CPU time (s) 550.18
Current children cumulated vsize (Kb) 120816

[startup+560.341 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1291016/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=121376 CPUtime=560.19
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 28837 0 0 0 55918 101 0 0 25 0 1 0 101548352 124289024 22379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 30344 22379 105 232 0 30109 0
Current children cumulated CPU time (s) 560.19
Current children cumulated vsize (Kb) 121376

[startup+570.347 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1290312/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=121972 CPUtime=570.19
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 29013 0 0 0 56918 101 0 0 25 0 1 0 101548352 124899328 22555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 30493 22555 105 232 0 30258 0
Current children cumulated CPU time (s) 570.19
Current children cumulated vsize (Kb) 121972

[startup+580.353 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1289992/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=121972 CPUtime=580.19
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 29091 0 0 0 57916 103 0 0 25 0 1 0 101548352 124899328 22633 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 30493 22633 105 232 0 30258 0
Current children cumulated CPU time (s) 580.19
Current children cumulated vsize (Kb) 121972

[startup+590.359 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 24879
/proc/meminfo: memFree=1289800/2055920 swapFree=4183160/4192956
[pid=24879] ppid=24877 vsize=122104 CPUtime=590.2
/proc/24879/stat : 24879 (PBS4L) R 24877 24879 24834 0 -1 4194304 29145 0 0 0 58916 104 0 0 25 0 1 0 101548352 125034496 22687 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24879/statm: 30526 22687 105 232 0 30291 0
Current children cumulated CPU time (s) 590.2
Current children cumulated vsize (Kb) 122104

Child status: 0
Real time (s): 599.806
CPU time (s): 599.645
CPU user time (s): 598.575
CPU system time (s): 1.06984
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (Kb): 122104

Launcher Data (download as text)

Begin job on node46 on Fri Jun  2 02:05:15 UTC 2006


FILE ID= 40950-1149213915

PBS_JOBID= 294515

BENCH NAME= ROOT/tmp/node46/40950-1149213915/instance-40950-1149213915.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node46/40950-1149213915/instance-40950-1149213915.opb 569190140
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-40950-1149213915 -o ROOT/results/node46/solver-40950-1149213915 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node46/40950-1149213915/instance-40950-1149213915.opb 569190140

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  58a39490a0f04cc377ab2aa6882fd7a1

RANDOM SEED= 569190140


/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.223
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.223
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:       1380312 kB
Buffers:         40628 kB
Cached:         556988 kB
SwapCached:       4252 kB
Active:         160412 kB
Inactive:       446316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1380312 kB
SwapTotal:     4192956 kB
SwapFree:      4183160 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          15052 kB
Slab:            54896 kB
Committed_AS:   179668 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node46 on Fri Jun  2 02:15:15 UTC 2006