Trace number 40992

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 1391.53 1391.9

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb
MD5SUM40d0bcc4171e4a5907ae30e54ba56b80
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 benchmark242.265
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 701
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/node21/40992-1149218630/instance-40992-1149218630.opb ......
1391.87	c done parsing opb.
1391.87	s UNSATISFIABLE
1391.87	c Total Run Time					1391.48

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/node21/watcher-40992-1149218630 -o ROOT/results/node21/solver-40992-1149218630 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/40992-1149218630/instance-40992-1149218630.opb 408498022 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 18411
/proc/meminfo: memFree=1265968/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=1400 CPUtime=0
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 156 0 0 0 0 0 0 0 18 0 1 0 187526116 1433600 139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 350 139 100 232 0 115 0

[startup+10.0022 s]
/proc/loadavg: 0.92 0.95 0.90 2/64 18411
/proc/meminfo: memFree=1254072/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=13600 CPUtime=10
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 3437 0 0 0 994 6 0 0 25 0 1 0 187526116 13926400 3073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 3400 3073 104 232 0 3165 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 13600

[startup+20.0083 s]
/proc/loadavg: 0.93 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1248192/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=25148 CPUtime=19.99
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 5293 0 0 0 1990 9 0 0 25 0 1 0 187526116 25751552 4544 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 6287 4544 105 232 0 6052 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25148

[startup+30.0154 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1243200/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=26632 CPUtime=30
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 6534 0 0 0 2987 13 0 0 25 0 1 0 187526116 27271168 5785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 6658 5785 105 232 0 6423 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26632

[startup+40.0205 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1238976/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=44028 CPUtime=40
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 7588 0 0 0 3984 16 0 0 25 0 1 0 187526116 45084672 6839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558853 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 11007 6839 105 232 0 10772 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 44028

[startup+50.0266 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1235328/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=44904 CPUtime=50
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 8509 0 0 0 4982 18 0 0 25 0 1 0 187526116 45981696 7760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 11226 7760 105 232 0 10991 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 44904

[startup+60.0327 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1232256/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=48964 CPUtime=60.01
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 10038 0 0 0 5981 20 0 0 25 0 1 0 187526116 50139136 8520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 12241 8520 105 232 0 12006 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 48964

[startup+70.0388 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1228928/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=49948 CPUtime=70.01
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 10886 0 0 0 6978 23 0 0 25 0 1 0 187526116 51146752 9368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 12487 9368 105 232 0 12252 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 49948

[startup+80.0449 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1226112/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=50572 CPUtime=80.02
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 11582 0 0 0 7976 26 0 0 25 0 1 0 187526116 51785728 10064 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 12643 10064 105 232 0 12408 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 50572

[startup+90.051 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1223104/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=51616 CPUtime=90.02
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 12331 0 0 0 8974 28 0 0 25 0 1 0 187526116 52854784 10813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559025 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 12904 10813 105 232 0 12669 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 51616

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1222080/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=52468 CPUtime=100.03
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 12591 0 0 0 9974 29 0 0 25 0 1 0 187526116 53727232 11073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 13117 11073 105 232 0 12882 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 52468

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 18411
/proc/meminfo: memFree=1219840/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=52600 CPUtime=110.02
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 13146 0 0 0 10971 31 0 0 25 0 1 0 187526116 53862400 11628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 13150 11628 105 232 0 12915 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 52600

[startup+120.068 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1217472/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=53216 CPUtime=120.03
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 13736 0 0 0 11969 34 0 0 25 0 1 0 187526116 54493184 12218 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550379 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 13304 12218 105 232 0 13069 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 53216

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1215168/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=86704 CPUtime=130.03
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 14310 0 0 0 12968 35 0 0 25 0 1 0 187526116 88784896 12792 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 21676 12792 105 232 0 21441 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 86704

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1212992/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=87228 CPUtime=140.04
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 14883 0 0 0 13966 38 0 0 25 0 1 0 187526116 89321472 13332 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 21807 13332 105 232 0 21572 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 87228

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1210816/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=88024 CPUtime=150.04
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 15461 0 0 0 14964 40 0 0 25 0 1 0 187526116 90136576 13877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 22006 13877 105 232 0 21771 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 88024

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1209216/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=88636 CPUtime=160.04
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 15891 0 0 0 15962 42 0 0 25 0 1 0 187526116 90763264 14241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 22159 14241 105 232 0 21924 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 88636

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1208000/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=89188 CPUtime=170.05
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 16262 0 0 0 16961 44 0 0 25 0 1 0 187526116 91328512 14579 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 22297 14579 105 232 0 22062 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 89188

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1206336/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=89932 CPUtime=180.05
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 16701 0 0 0 17959 46 0 0 25 0 1 0 187526116 92090368 14985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552019 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 22483 14985 105 232 0 22248 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 89932

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1204928/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=90156 CPUtime=190.06
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 17059 0 0 0 18958 48 0 0 25 0 1 0 187526116 92319744 15343 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 22539 15343 105 232 0 22304 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 90156

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1203456/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=96624 CPUtime=200.05
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 18959 0 0 0 19956 49 0 0 25 0 1 0 187526116 98942976 15706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 24156 15706 105 232 0 23921 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 96624

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18411
/proc/meminfo: memFree=1201600/2055920 swapFree=4181452/4192956

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

/proc/18411/statm: 50591 31900 105 232 0 50356 0
Current children cumulated CPU time (s) 1180.4
Current children cumulated vsize (Kb) 202364

[startup+1190.72 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1138368/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=202364 CPUtime=1190.4
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 40973 0 0 0 118887 153 0 0 25 0 1 0 187526116 207220736 31929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 50591 31929 105 232 0 50356 0
Current children cumulated CPU time (s) 1190.4
Current children cumulated vsize (Kb) 202364

[startup+1200.72 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1137856/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=203216 CPUtime=1200.4
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41134 0 0 0 119887 153 0 0 25 0 1 0 187526116 208093184 32025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 50804 32025 105 232 0 50569 0
Current children cumulated CPU time (s) 1200.4
Current children cumulated vsize (Kb) 203216

[startup+1210.73 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1137856/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=203216 CPUtime=1210.41
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41164 0 0 0 120887 154 0 0 25 0 1 0 187526116 208093184 32055 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 50804 32055 105 232 0 50569 0
Current children cumulated CPU time (s) 1210.41
Current children cumulated vsize (Kb) 203216

[startup+1220.73 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1137792/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=203216 CPUtime=1220.4
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41188 0 0 0 121886 154 0 0 25 0 1 0 187526116 208093184 32079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 50804 32079 105 232 0 50569 0
Current children cumulated CPU time (s) 1220.4
Current children cumulated vsize (Kb) 203216

[startup+1230.74 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1137664/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=203216 CPUtime=1230.41
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41213 0 0 0 122886 155 0 0 25 0 1 0 187526116 208093184 32104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 50804 32104 105 232 0 50569 0
Current children cumulated CPU time (s) 1230.41
Current children cumulated vsize (Kb) 203216

[startup+1240.75 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1136768/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=203848 CPUtime=1240.42
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41430 0 0 0 123886 156 0 0 25 0 1 0 187526116 208740352 32321 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 50962 32321 105 232 0 50727 0
Current children cumulated CPU time (s) 1240.42
Current children cumulated vsize (Kb) 203848

[startup+1250.75 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1136704/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=203848 CPUtime=1250.42
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41454 0 0 0 124885 157 0 0 25 0 1 0 187526116 208740352 32345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 50962 32345 105 232 0 50727 0
Current children cumulated CPU time (s) 1250.42
Current children cumulated vsize (Kb) 203848

[startup+1260.76 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1136640/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=203848 CPUtime=1260.42
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41483 0 0 0 125884 158 0 0 25 0 1 0 187526116 208740352 32374 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 50962 32374 105 232 0 50727 0
Current children cumulated CPU time (s) 1260.42
Current children cumulated vsize (Kb) 203848

[startup+1270.77 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1135872/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=204520 CPUtime=1270.43
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41671 0 0 0 126884 159 0 0 25 0 1 0 187526116 209428480 32562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51130 32562 105 232 0 50895 0
Current children cumulated CPU time (s) 1270.43
Current children cumulated vsize (Kb) 204520

[startup+1280.77 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1135744/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=204520 CPUtime=1280.42
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41699 0 0 0 127883 159 0 0 25 0 1 0 187526116 209428480 32590 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51130 32590 105 232 0 50895 0
Current children cumulated CPU time (s) 1280.42
Current children cumulated vsize (Kb) 204520

[startup+1290.78 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1135424/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=205232 CPUtime=1290.44
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41785 0 0 0 128883 161 0 0 25 0 1 0 187526116 210157568 32676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551974 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51308 32676 105 232 0 51073 0
Current children cumulated CPU time (s) 1290.44
Current children cumulated vsize (Kb) 205232

[startup+1300.78 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1135296/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=205232 CPUtime=1300.43
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41810 0 0 0 129882 161 0 0 25 0 1 0 187526116 210157568 32701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51308 32701 105 232 0 51073 0
Current children cumulated CPU time (s) 1300.43
Current children cumulated vsize (Kb) 205232

[startup+1310.79 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1134848/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=205232 CPUtime=1310.43
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41911 0 0 0 130881 162 0 0 25 0 1 0 187526116 210157568 32802 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51308 32802 105 232 0 51073 0
Current children cumulated CPU time (s) 1310.43
Current children cumulated vsize (Kb) 205232

[startup+1320.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1134464/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=205232 CPUtime=1320.44
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42007 0 0 0 131881 163 0 0 25 0 1 0 187526116 210157568 32898 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552199 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51308 32898 105 232 0 51073 0
Current children cumulated CPU time (s) 1320.44
Current children cumulated vsize (Kb) 205232

[startup+1330.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1134400/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=205988 CPUtime=1330.45
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42033 0 0 0 132881 164 0 0 25 0 1 0 187526116 210931712 32924 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552771 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51497 32924 105 232 0 51262 0
Current children cumulated CPU time (s) 1330.45
Current children cumulated vsize (Kb) 205988

[startup+1340.81 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1134272/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=205988 CPUtime=1340.45
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42060 0 0 0 133880 165 0 0 25 0 1 0 187526116 210931712 32951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51497 32951 105 232 0 51262 0
Current children cumulated CPU time (s) 1340.45
Current children cumulated vsize (Kb) 205988

[startup+1350.81 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1133504/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=205988 CPUtime=1350.46
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42253 0 0 0 134880 166 0 0 25 0 1 0 187526116 210931712 33144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51497 33144 105 232 0 51262 0
Current children cumulated CPU time (s) 1350.46
Current children cumulated vsize (Kb) 205988

[startup+1360.82 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1133376/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=205988 CPUtime=1360.46
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42279 0 0 0 135879 167 0 0 25 0 1 0 187526116 210931712 33170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51497 33170 105 232 0 51262 0
Current children cumulated CPU time (s) 1360.46
Current children cumulated vsize (Kb) 205988

[startup+1370.83 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1132736/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=206792 CPUtime=1370.46
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42435 0 0 0 136878 168 0 0 25 0 1 0 187526116 211755008 33326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51698 33326 105 232 0 51463 0
Current children cumulated CPU time (s) 1370.46
Current children cumulated vsize (Kb) 206792

[startup+1380.83 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1132416/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=206792 CPUtime=1380.46
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42525 0 0 0 137878 168 0 0 25 0 1 0 187526116 211755008 33416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51698 33416 105 232 0 51463 0
Current children cumulated CPU time (s) 1380.46
Current children cumulated vsize (Kb) 206792

[startup+1390.84 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 18413
/proc/meminfo: memFree=1131840/2055920 swapFree=4181452/4192956
[pid=18411] ppid=18409 vsize=207648 CPUtime=1390.47
/proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42669 0 0 0 138878 169 0 0 25 0 1 0 187526116 212631552 33560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/18411/statm: 51912 33560 105 232 0 51677 0
Current children cumulated CPU time (s) 1390.47
Current children cumulated vsize (Kb) 207648

Child status: 0
Real time (s): 1391.9
CPU time (s): 1391.53
CPU user time (s): 1389.81
CPU system time (s): 1.71474
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (Kb): 207648

Launcher Data (download as text)

Begin job on node21 on Fri Jun  2 03:23:50 UTC 2006


FILE ID= 40992-1149218630

PBS_JOBID= 295051

BENCH NAME= ROOT/tmp/node21/40992-1149218630/instance-40992-1149218630.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/40992-1149218630/instance-40992-1149218630.opb 408498022
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-40992-1149218630 -o ROOT/results/node21/solver-40992-1149218630 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/40992-1149218630/instance-40992-1149218630.opb 408498022

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  40d0bcc4171e4a5907ae30e54ba56b80

RANDOM SEED= 408498022


/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.240
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.240
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:       1266176 kB
Buffers:         45784 kB
Cached:         667140 kB
SwapCached:       3388 kB
Active:         211960 kB
Inactive:       509808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1266176 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14728 kB
Slab:            53992 kB
Committed_AS:   210088 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node21 on Fri Jun  2 03:47:02 UTC 2006