Trace number 40986

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 405.542 405.664

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb
MD5SUMc118a5f7f4e95d7123e302378befd6ff
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 benchmark55.0486
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/node53/40986-1149217702/instance-40986-1149217702.opb ......
405.65	c done parsing opb.
405.65	s UNSATISFIABLE
405.65	c Total Run Time					405.506

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/node53/watcher-40986-1149217702 -o ROOT/results/node53/solver-40986-1149217702 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node53/40986-1149217702/instance-40986-1149217702.opb 685834907 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.93 3/64 12533
/proc/meminfo: memFree=1298496/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=1400 CPUtime=0
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 187437642 1433600 130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134565904 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 350 130 100 232 0 115 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.95 0.93 2/64 12533
/proc/meminfo: memFree=1286720/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=13884 CPUtime=9.99
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 3392 0 0 0 993 6 0 0 25 0 1 0 187437642 14217216 3028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 3471 3028 104 232 0 3236 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13884

[startup+20.0085 s]
/proc/loadavg: 0.94 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1280528/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=25168 CPUtime=19.99
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 5320 0 0 0 1988 11 0 0 25 0 1 0 187437642 25772032 4571 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 6292 4571 105 232 0 6057 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25168

[startup+30.0147 s]
/proc/loadavg: 0.95 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1275216/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=26432 CPUtime=29.99
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 6650 0 0 0 2985 14 0 0 25 0 1 0 187437642 27066368 5901 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 6608 5901 105 232 0 6373 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26432

[startup+40.0208 s]
/proc/loadavg: 0.95 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1270800/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=43648 CPUtime=40
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 7771 0 0 0 3983 17 0 0 25 0 1 0 187437642 44695552 7022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 10912 7022 105 232 0 10677 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43648

[startup+50.0269 s]
/proc/loadavg: 0.96 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1267280/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=47588 CPUtime=50.01
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 9402 0 0 0 4981 20 0 0 25 0 1 0 187437642 48730112 7884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546242 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 11897 7884 105 232 0 11662 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 47588

[startup+60.0331 s]
/proc/loadavg: 0.97 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1264016/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=48368 CPUtime=60.02
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 10227 0 0 0 5980 22 0 0 25 0 1 0 187437642 49528832 8709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 12092 8709 105 232 0 11857 0
Current children cumulated CPU time (s) 60.02
Current children cumulated vsize (Kb) 48368

[startup+70.0542 s]
/proc/loadavg: 0.97 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1260368/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=49260 CPUtime=70.02
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 11136 0 0 0 6977 25 0 0 25 0 1 0 187437642 50442240 9618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 12315 9618 105 232 0 12080 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 49260

[startup+80.0603 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1257424/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=49952 CPUtime=80.03
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 11870 0 0 0 7975 28 0 0 25 0 1 0 187437642 51150848 10352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 12488 10352 105 232 0 12253 0
Current children cumulated CPU time (s) 80.03
Current children cumulated vsize (Kb) 49952

[startup+90.0665 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1254800/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=50508 CPUtime=90.03
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 12527 0 0 0 8972 31 0 0 25 0 1 0 187437642 51720192 11009 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 12627 11009 105 232 0 12392 0
Current children cumulated CPU time (s) 90.03
Current children cumulated vsize (Kb) 50508

[startup+100.073 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1252368/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=51124 CPUtime=100.04
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 13129 0 0 0 9971 33 0 0 25 0 1 0 187437642 52350976 11611 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 12781 11611 105 232 0 12546 0
Current children cumulated CPU time (s) 100.04
Current children cumulated vsize (Kb) 51124

[startup+110.079 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 12533
/proc/meminfo: memFree=1249424/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=84924 CPUtime=110.04
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 13864 0 0 0 10969 35 0 0 25 0 1 0 187437642 86962176 12346 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 21231 12346 105 232 0 20996 0
Current children cumulated CPU time (s) 110.04
Current children cumulated vsize (Kb) 84924

[startup+120.085 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1246992/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=85380 CPUtime=120.04
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 14481 0 0 0 11968 36 0 0 25 0 1 0 187437642 87429120 12963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 21345 12963 105 232 0 21110 0
Current children cumulated CPU time (s) 120.04
Current children cumulated vsize (Kb) 85380

[startup+130.091 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1244496/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=85832 CPUtime=130.05
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 15138 0 0 0 12967 38 0 0 25 0 1 0 187437642 87891968 13587 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550805 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 21458 13587 105 232 0 21223 0
Current children cumulated CPU time (s) 130.05
Current children cumulated vsize (Kb) 85832

[startup+140.097 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1242640/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=86888 CPUtime=140.04
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 15599 0 0 0 13965 39 0 0 25 0 1 0 187437642 88973312 14048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 21722 14048 105 232 0 21487 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 86888

[startup+150.103 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1241808/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=87680 CPUtime=150.05
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 15810 0 0 0 14964 41 0 0 25 0 1 0 187437642 89784320 14259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 21920 14259 105 232 0 21685 0
Current children cumulated CPU time (s) 150.05
Current children cumulated vsize (Kb) 87680

[startup+160.108 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1241296/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=88168 CPUtime=160.05
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 15933 0 0 0 15962 43 0 0 25 0 1 0 187437642 90284032 14382 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 22042 14382 105 232 0 21807 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 88168

[startup+170.115 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1240336/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=88300 CPUtime=170.06
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 16170 0 0 0 16962 44 0 0 25 0 1 0 187437642 90419200 14619 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 22075 14619 105 232 0 21840 0
Current children cumulated CPU time (s) 170.06
Current children cumulated vsize (Kb) 88300

[startup+180.121 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1237584/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=89464 CPUtime=180.06
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 16859 0 0 0 17960 46 0 0 25 0 1 0 187437642 91611136 15308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 22366 15308 105 232 0 22131 0
Current children cumulated CPU time (s) 180.06
Current children cumulated vsize (Kb) 89464

[startup+190.127 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1236624/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=96276 CPUtime=190.06
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 18617 0 0 0 18958 48 0 0 25 0 1 0 187437642 98586624 15529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24069 15529 105 232 0 23834 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 96276

[startup+200.133 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1236368/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=96276 CPUtime=200.07
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 18682 0 0 0 19957 50 0 0 25 0 1 0 187437642 98586624 15594 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24069 15594 105 232 0 23834 0
Current children cumulated CPU time (s) 200.07
Current children cumulated vsize (Kb) 96276

[startup+210.139 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1236112/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=96276 CPUtime=210.07
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 18754 0 0 0 20956 51 0 0 25 0 1 0 187437642 98586624 15666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24069 15666 105 232 0 23834 0
Current children cumulated CPU time (s) 210.07
Current children cumulated vsize (Kb) 96276

[startup+220.144 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1235600/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=96740 CPUtime=220.07
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 18867 0 0 0 21955 52 0 0 25 0 1 0 187437642 99061760 15779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24185 15779 105 232 0 23950 0
Current children cumulated CPU time (s) 220.07
Current children cumulated vsize (Kb) 96740

[startup+230.15 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1235280/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=96872 CPUtime=230.08
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 18958 0 0 0 22954 54 0 0 25 0 1 0 187437642 99196928 15870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24218 15870 105 232 0 23983 0
Current children cumulated CPU time (s) 230.08
Current children cumulated vsize (Kb) 96872

[startup+240.157 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1234896/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=97004 CPUtime=240.07
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 19041 0 0 0 23953 54 0 0 25 0 1 0 187437642 99332096 15953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24251 15953 105 232 0 24016 0
Current children cumulated CPU time (s) 240.07
Current children cumulated vsize (Kb) 97004

[startup+250.163 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1234512/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=97268 CPUtime=250.08
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 19138 0 0 0 24952 56 0 0 25 0 1 0 187437642 99602432 16050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24317 16050 105 232 0 24082 0
Current children cumulated CPU time (s) 250.08
Current children cumulated vsize (Kb) 97268

[startup+260.169 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1234064/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=97660 CPUtime=260.09
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 19250 0 0 0 25952 57 0 0 25 0 1 0 187437642 100003840 16162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24415 16162 105 232 0 24180 0
Current children cumulated CPU time (s) 260.09
Current children cumulated vsize (Kb) 97660

[startup+270.175 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1233936/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=97660 CPUtime=270.09
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 19294 0 0 0 26951 58 0 0 25 0 1 0 187437642 100003840 16206 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24415 16206 105 232 0 24180 0
Current children cumulated CPU time (s) 270.09
Current children cumulated vsize (Kb) 97660

[startup+280.18 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1232848/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=98596 CPUtime=280.09
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 19548 0 0 0 27950 59 0 0 25 0 1 0 187437642 100962304 16460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24649 16460 105 232 0 24414 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (Kb) 98596

[startup+290.186 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1232528/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=99048 CPUtime=290.09
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 19645 0 0 0 28950 59 0 0 25 0 1 0 187437642 101425152 16557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24762 16557 105 232 0 24527 0
Current children cumulated CPU time (s) 290.09
Current children cumulated vsize (Kb) 99048

[startup+300.192 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1231760/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=99580 CPUtime=300.1
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 19867 0 0 0 29949 61 0 0 25 0 1 0 187437642 101969920 16746 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24895 16746 105 232 0 24660 0
Current children cumulated CPU time (s) 300.1
Current children cumulated vsize (Kb) 99580

[startup+310.199 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1231440/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=99708 CPUtime=310.1
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 19959 0 0 0 30948 62 0 0 25 0 1 0 187437642 102100992 16805 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 24927 16805 105 232 0 24692 0
Current children cumulated CPU time (s) 310.1
Current children cumulated vsize (Kb) 99708

[startup+320.205 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1230992/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=100304 CPUtime=320.11
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 20095 0 0 0 31948 63 0 0 25 0 1 0 187437642 102711296 16941 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 25076 16941 105 232 0 24841 0
Current children cumulated CPU time (s) 320.11
Current children cumulated vsize (Kb) 100304

[startup+330.212 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1230288/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=100628 CPUtime=330.11
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 20270 0 0 0 32947 64 0 0 25 0 1 0 187437642 103043072 17116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 25157 17116 105 232 0 24922 0
Current children cumulated CPU time (s) 330.11
Current children cumulated vsize (Kb) 100628

[startup+340.217 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1229584/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=101340 CPUtime=340.11
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 20442 0 0 0 33945 66 0 0 25 0 1 0 187437642 103772160 17288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 25335 17288 105 232 0 25100 0
Current children cumulated CPU time (s) 340.11
Current children cumulated vsize (Kb) 101340

[startup+350.223 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1229200/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=101340 CPUtime=350.11
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 20535 0 0 0 34944 67 0 0 25 0 1 0 187437642 103772160 17381 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 25335 17381 105 232 0 25100 0
Current children cumulated CPU time (s) 350.11
Current children cumulated vsize (Kb) 101340

[startup+360.229 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1228624/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=102144 CPUtime=360.12
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 20680 0 0 0 35944 68 0 0 25 0 1 0 187437642 104595456 17526 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 25536 17526 105 232 0 25301 0
Current children cumulated CPU time (s) 360.12
Current children cumulated vsize (Kb) 102144

[startup+370.235 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1228176/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=102276 CPUtime=370.12
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 20801 0 0 0 36943 69 0 0 25 0 1 0 187437642 104730624 17647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558853 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 25569 17647 105 232 0 25334 0
Current children cumulated CPU time (s) 370.12
Current children cumulated vsize (Kb) 102276

[startup+380.241 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1227600/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=102848 CPUtime=380.13
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 20931 0 0 0 37943 70 0 0 25 0 1 0 187437642 105316352 17777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 25712 17777 105 232 0 25477 0
Current children cumulated CPU time (s) 380.13
Current children cumulated vsize (Kb) 102848

[startup+390.249 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1226640/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=103812 CPUtime=390.13
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 21179 0 0 0 38942 71 0 0 25 0 1 0 187437642 106303488 18025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 25953 18025 105 232 0 25718 0
Current children cumulated CPU time (s) 390.13
Current children cumulated vsize (Kb) 103812

[startup+400.254 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12533
/proc/meminfo: memFree=1226064/2055920 swapFree=4181356/4192956
[pid=12533] ppid=12531 vsize=103812 CPUtime=400.13
/proc/12533/stat : 12533 (PBS4L) R 12531 12533 12488 0 -1 4194304 21323 0 0 0 39941 72 0 0 25 0 1 0 187437642 106303488 18169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0
/proc/12533/statm: 25953 18169 105 232 0 25718 0
Current children cumulated CPU time (s) 400.13
Current children cumulated vsize (Kb) 103812

Child status: 0
Real time (s): 405.664
CPU time (s): 405.542
CPU user time (s): 404.798
CPU system time (s): 0.743886
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (Kb): 103812

Launcher Data (download as text)

Begin job on node53 on Fri Jun  2 03:08:22 UTC 2006


FILE ID= 40986-1149217702

PBS_JOBID= 294973

BENCH NAME= ROOT/tmp/node53/40986-1149217702/instance-40986-1149217702.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node53/40986-1149217702/instance-40986-1149217702.opb 685834907
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node53/watcher-40986-1149217702 -o ROOT/results/node53/solver-40986-1149217702 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node53/40986-1149217702/instance-40986-1149217702.opb 685834907

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  c118a5f7f4e95d7123e302378befd6ff

RANDOM SEED= 685834907


/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.249
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.249
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:       1298704 kB
Buffers:         36336 kB
Cached:         647852 kB
SwapCached:       3632 kB
Active:         350764 kB
Inactive:       342468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1298704 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            50048 kB
Committed_AS:   232416 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 node53 on Fri Jun  2 03:15:08 UTC 2006