Trace number 40972

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 579.854 580.068

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb
MD5SUM3135d58f22cd009942de3e1dff086931
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 benchmark62.9374
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 667
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/node80/40972-1149216275/instance-40972-1149216275.opb ......
580.05	c done parsing opb.
580.05	s UNSATISFIABLE
580.05	c Total Run Time					579.818

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/node80/watcher-40972-1149216275 -o ROOT/results/node80/solver-40972-1149216275 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/40972-1149216275/instance-40972-1149216275.opb 420586582 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1727424/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=1368 CPUtime=0
/proc/26255/stat : 26255 (PBS4L) D 26253 26255 26210 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 187266083 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0
/proc/26255/statm: 342 95 84 232 0 107 0

[startup+10.0029 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1715472/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=13796 CPUtime=9.98
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 3460 0 0 0 994 4 0 0 25 0 1 0 187266083 14127104 3097 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 3449 3097 105 232 0 3214 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 13796

[startup+20.0089 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1708688/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=25376 CPUtime=19.99
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 5532 0 0 0 1991 8 0 0 25 0 1 0 187266083 25985024 4784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 6344 4784 105 232 0 6109 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25376

[startup+30.015 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1703760/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=26632 CPUtime=29.99
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 6760 0 0 0 2988 11 0 0 25 0 1 0 187266083 27271168 6012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 6658 6012 105 232 0 6423 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26632

[startup+40.0211 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1700112/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=44088 CPUtime=40
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 7668 0 0 0 3986 14 0 0 25 0 1 0 187266083 45146112 6920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134560056 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 11022 6920 105 232 0 10787 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 44088

[startup+50.0272 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1695760/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=48488 CPUtime=49.99
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 9527 0 0 0 4983 16 0 0 25 0 1 0 187266083 49651712 8010 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 12122 8010 105 232 0 11887 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 48488

[startup+60.0332 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1693136/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=48944 CPUtime=60
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 10168 0 0 0 5982 18 0 0 25 0 1 0 187266083 50118656 8651 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 12236 8651 105 232 0 12001 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 48944

[startup+70.0393 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1689616/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=49848 CPUtime=70
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 11056 0 0 0 6980 20 0 0 25 0 1 0 187266083 51044352 9539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 12462 9539 105 232 0 12227 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 49848

[startup+80.0454 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1686672/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=51156 CPUtime=80.01
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 11792 0 0 0 7978 23 0 0 25 0 1 0 187266083 52383744 10275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 12789 10275 105 232 0 12554 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 51156

[startup+90.0515 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1684432/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=51816 CPUtime=90.01
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 12351 0 0 0 8977 24 0 0 25 0 1 0 187266083 53059584 10834 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 12954 10834 105 232 0 12719 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 51816

[startup+100.058 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1681360/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=52708 CPUtime=100.01
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 13119 0 0 0 9975 26 0 0 25 0 1 0 187266083 53972992 11602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 13177 11602 105 232 0 12942 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 52708

[startup+110.064 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1678800/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=52840 CPUtime=110.01
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 13764 0 0 0 10974 27 0 0 25 0 1 0 187266083 54108160 12247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 13210 12247 105 232 0 12975 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 52840

[startup+120.07 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1675728/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=86668 CPUtime=120.02
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 14520 0 0 0 11972 30 0 0 25 0 1 0 187266083 88748032 13003 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 21667 13003 105 232 0 21432 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 86668

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1673552/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=87060 CPUtime=130.02
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 15074 0 0 0 12971 31 0 0 25 0 1 0 187266083 89149440 13557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 21765 13557 105 232 0 21530 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 87060

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1670992/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=87796 CPUtime=140.02
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 15737 0 0 0 13969 33 0 0 25 0 1 0 187266083 89903104 14187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 21949 14187 105 232 0 21714 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 87796

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1669008/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=88060 CPUtime=150.02
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 16232 0 0 0 14967 35 0 0 25 0 1 0 187266083 90173440 14682 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 22015 14682 105 232 0 21780 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 88060

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1666256/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=88736 CPUtime=160.02
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 16941 0 0 0 15965 37 0 0 25 0 1 0 187266083 90865664 15358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563518 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 22184 15358 105 232 0 21949 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 88736

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1665488/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=89548 CPUtime=170.03
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 17137 0 0 0 16965 38 0 0 25 0 1 0 187266083 91697152 15554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 22387 15554 105 232 0 22152 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 89548

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1665040/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=95824 CPUtime=180.03
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 18777 0 0 0 17962 41 0 0 25 0 1 0 187266083 98123776 15657 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 23956 15657 105 232 0 23721 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 95824

[startup+190.112 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1663824/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=96088 CPUtime=190.03
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 19090 0 0 0 18961 42 0 0 25 0 1 0 187266083 98394112 15970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 24022 15970 105 232 0 23787 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 96088

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1662224/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=96980 CPUtime=200.03
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 19589 0 0 0 19960 43 0 0 25 0 1 0 187266083 99307520 16370 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 24245 16370 105 232 0 24010 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 96980

[startup+210.124 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1660368/2055888 swapFree=4085432/4096564

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

/proc/26255/statm: 25735 20284 105 232 0 25500 0
Current children cumulated CPU time (s) 360.07
Current children cumulated vsize (Kb) 102940

[startup+370.223 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1645648/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=103988 CPUtime=370.08
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24334 0 0 0 36946 62 0 0 25 0 1 0 187266083 106483712 20488 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 25997 20488 105 232 0 25762 0
Current children cumulated CPU time (s) 370.08
Current children cumulated vsize (Kb) 103988

[startup+380.229 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1645264/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=104404 CPUtime=380.08
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24468 0 0 0 37945 63 0 0 25 0 1 0 187266083 106909696 20589 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26101 20589 105 232 0 25866 0
Current children cumulated CPU time (s) 380.08
Current children cumulated vsize (Kb) 104404

[startup+390.235 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1645008/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=104404 CPUtime=390.08
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24519 0 0 0 38944 64 0 0 25 0 1 0 187266083 106909696 20640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26101 20640 105 232 0 25866 0
Current children cumulated CPU time (s) 390.08
Current children cumulated vsize (Kb) 104404

[startup+400.241 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1644752/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=104664 CPUtime=400.09
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24636 0 0 0 39944 65 0 0 25 0 1 0 187266083 107175936 20724 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26166 20724 105 232 0 25931 0
Current children cumulated CPU time (s) 400.09
Current children cumulated vsize (Kb) 104664

[startup+410.247 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1644560/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=104664 CPUtime=410.09
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24693 0 0 0 40943 66 0 0 25 0 1 0 187266083 107175936 20781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26166 20781 105 232 0 25931 0
Current children cumulated CPU time (s) 410.09
Current children cumulated vsize (Kb) 104664

[startup+420.253 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1644368/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=105100 CPUtime=420.09
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24772 0 0 0 41942 67 0 0 25 0 1 0 187266083 107622400 20827 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26275 20827 105 232 0 26040 0
Current children cumulated CPU time (s) 420.09
Current children cumulated vsize (Kb) 105100

[startup+430.259 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1643728/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=105424 CPUtime=430.1
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24926 0 0 0 42942 68 0 0 25 0 1 0 187266083 107954176 20981 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26356 20981 105 232 0 26121 0
Current children cumulated CPU time (s) 430.1
Current children cumulated vsize (Kb) 105424

[startup+440.265 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1643408/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=105616 CPUtime=440.1
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24994 0 0 0 43941 69 0 0 25 0 1 0 187266083 108150784 21049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26404 21049 105 232 0 26169 0
Current children cumulated CPU time (s) 440.1
Current children cumulated vsize (Kb) 105616

[startup+450.271 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1642192/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=106716 CPUtime=450.1
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25308 0 0 0 44940 70 0 0 25 0 1 0 187266083 109277184 21363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26679 21363 105 232 0 26444 0
Current children cumulated CPU time (s) 450.1
Current children cumulated vsize (Kb) 106716

[startup+460.277 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1641936/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=106844 CPUtime=460.1
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25400 0 0 0 45939 71 0 0 25 0 1 0 187266083 109408256 21422 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552275 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26711 21422 105 232 0 26476 0
Current children cumulated CPU time (s) 460.1
Current children cumulated vsize (Kb) 106844

[startup+470.283 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1641744/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=107260 CPUtime=470.1
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25447 0 0 0 46939 71 0 0 25 0 1 0 187266083 109834240 21469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26815 21469 105 232 0 26580 0
Current children cumulated CPU time (s) 470.1
Current children cumulated vsize (Kb) 107260

[startup+480.289 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1641104/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=107520 CPUtime=480.1
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25606 0 0 0 47938 72 0 0 25 0 1 0 187266083 110100480 21628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550040 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26880 21628 105 232 0 26645 0
Current children cumulated CPU time (s) 480.1
Current children cumulated vsize (Kb) 107520

[startup+490.295 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1640912/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=107520 CPUtime=490.1
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25653 0 0 0 48937 73 0 0 25 0 1 0 187266083 110100480 21675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26880 21675 105 232 0 26645 0
Current children cumulated CPU time (s) 490.1
Current children cumulated vsize (Kb) 107520

[startup+500.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1640720/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=107520 CPUtime=500.11
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25692 0 0 0 49937 74 0 0 25 0 1 0 187266083 110100480 21714 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26880 21714 105 232 0 26645 0
Current children cumulated CPU time (s) 500.11
Current children cumulated vsize (Kb) 107520

[startup+510.308 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1640208/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=107960 CPUtime=510.12
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25819 0 0 0 50937 75 0 0 25 0 1 0 187266083 110551040 21841 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 26990 21841 105 232 0 26755 0
Current children cumulated CPU time (s) 510.12
Current children cumulated vsize (Kb) 107960

[startup+520.314 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1639952/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=108428 CPUtime=520.12
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25904 0 0 0 51936 76 0 0 25 0 1 0 187266083 111030272 21926 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550776 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 27107 21926 105 232 0 26872 0
Current children cumulated CPU time (s) 520.12
Current children cumulated vsize (Kb) 108428

[startup+530.32 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1639696/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=108560 CPUtime=530.11
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25967 0 0 0 52935 76 0 0 25 0 1 0 187266083 111165440 21989 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 27140 21989 105 232 0 26905 0
Current children cumulated CPU time (s) 530.11
Current children cumulated vsize (Kb) 108560

[startup+540.326 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1639568/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=108560 CPUtime=540.12
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 26002 0 0 0 53934 78 0 0 25 0 1 0 187266083 111165440 22024 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 27140 22024 105 232 0 26905 0
Current children cumulated CPU time (s) 540.12
Current children cumulated vsize (Kb) 108560

[startup+550.331 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1639056/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=109056 CPUtime=550.12
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 26122 0 0 0 54933 79 0 0 25 0 1 0 187266083 111673344 22144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 27264 22144 105 232 0 27029 0
Current children cumulated CPU time (s) 550.12
Current children cumulated vsize (Kb) 109056

[startup+560.337 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1638608/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=109056 CPUtime=560.12
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 26227 0 0 0 55932 80 0 0 25 0 1 0 187266083 111673344 22249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 27264 22249 105 232 0 27029 0
Current children cumulated CPU time (s) 560.12
Current children cumulated vsize (Kb) 109056

[startup+570.342 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 26255
/proc/meminfo: memFree=1637712/2055888 swapFree=4085432/4096564
[pid=26255] ppid=26253 vsize=110144 CPUtime=570.12
/proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 26460 0 0 0 56931 81 0 0 25 0 1 0 187266083 112787456 22482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/26255/statm: 27536 22482 105 232 0 27301 0
Current children cumulated CPU time (s) 570.12
Current children cumulated vsize (Kb) 110144

Child status: 0
Real time (s): 580.068
CPU time (s): 579.854
CPU user time (s): 579.012
CPU system time (s): 0.841872
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (Kb): 110144

Launcher Data (download as text)

Begin job on node80 on Fri Jun  2 02:44:35 UTC 2006


FILE ID= 40972-1149216275

PBS_JOBID= 294793

BENCH NAME= ROOT/tmp/node80/40972-1149216275/instance-40972-1149216275.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/40972-1149216275/instance-40972-1149216275.opb 420586582
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node80/watcher-40972-1149216275 -o ROOT/results/node80/solver-40972-1149216275 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/40972-1149216275/instance-40972-1149216275.opb 420586582

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  3135d58f22cd009942de3e1dff086931

RANDOM SEED= 420586582


/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.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.16
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.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1727632 kB
Buffers:         26984 kB
Cached:         228016 kB
SwapCached:       2516 kB
Active:          93268 kB
Inactive:       170612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1727632 kB
SwapTotal:     4096564 kB
SwapFree:      4085432 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          16576 kB
Slab:            50952 kB
Committed_AS:   246604 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node80 on Fri Jun  2 02:54:15 UTC 2006