Trace number 41026

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 413.637 413.749

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb
MD5SUMad2f2eb73d6b7e5f546be528b10bc762
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 benchmark133.997
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 745
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/node23/41026-1149222176/instance-41026-1149222176.opb ......
413.73	c done parsing opb.
413.73	s UNSATISFIABLE
413.73	c Total Run Time					413.601

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/node23/watcher-41026-1149222176 -o ROOT/results/node23/solver-41026-1149222176 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/41026-1149222176/instance-41026-1149222176.opb 312037583 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 7866
/proc/meminfo: memFree=1392800/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=1400 CPUtime=0
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 152 0 0 0 0 0 0 0 18 0 1 0 187881268 1433600 135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135097538 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 350 135 100 232 0 115 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 7866
/proc/meminfo: memFree=1381864/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=13476 CPUtime=9.99
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 3200 0 0 0 993 6 0 0 25 0 1 0 187881268 13799424 2836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 3369 2836 104 232 0 3134 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13476

[startup+20.0081 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 7866
/proc/meminfo: memFree=1376040/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=24648 CPUtime=20
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 5050 0 0 0 1990 10 0 0 25 0 1 0 187881268 25239552 4301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 6162 4301 105 232 0 5927 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 24648

[startup+30.0143 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 7866
/proc/meminfo: memFree=1371368/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=26136 CPUtime=30
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 6200 0 0 0 2987 13 0 0 25 0 1 0 187881268 26763264 5451 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 6534 5451 105 232 0 6299 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26136

[startup+40.0204 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 7866
/proc/meminfo: memFree=1367400/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=43340 CPUtime=40
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 7183 0 0 0 3985 15 0 0 25 0 1 0 187881268 44380160 6434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550762 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 10835 6434 105 232 0 10600 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43340

[startup+50.0265 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 7866
/proc/meminfo: memFree=1363944/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=44504 CPUtime=50.01
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 8061 0 0 0 4983 18 0 0 25 0 1 0 187881268 45572096 7312 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 11126 7312 105 232 0 10891 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 44504

[startup+60.0326 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 7866
/proc/meminfo: memFree=1360936/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=48028 CPUtime=60
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 9591 0 0 0 5980 20 0 0 25 0 1 0 187881268 49180672 8073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 12007 8073 105 232 0 11772 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 48028

[startup+70.0388 s]
/proc/loadavg: 1.04 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1358376/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=48748 CPUtime=70.01
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 10223 0 0 0 6979 22 0 0 25 0 1 0 187881268 49917952 8705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 12187 8705 105 232 0 11952 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 48748

[startup+80.0449 s]
/proc/loadavg: 1.03 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1357608/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=49516 CPUtime=80.02
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 10420 0 0 0 7978 24 0 0 25 0 1 0 187881268 50704384 8902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 12379 8902 105 232 0 12144 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 49516

[startup+90.051 s]
/proc/loadavg: 1.03 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1355688/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=50256 CPUtime=90.02
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 10889 0 0 0 8976 26 0 0 25 0 1 0 187881268 51462144 9371 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 12564 9371 105 232 0 12329 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 50256

[startup+100.057 s]
/proc/loadavg: 1.02 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1353384/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=50708 CPUtime=100.02
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 11465 0 0 0 9976 26 0 0 25 0 1 0 187881268 51924992 9947 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 12677 9947 105 232 0 12442 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 50708

[startup+110.063 s]
/proc/loadavg: 1.02 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1350376/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=51508 CPUtime=110.03
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 12213 0 0 0 10975 28 0 0 25 0 1 0 187881268 52744192 10695 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 12877 10695 105 232 0 12642 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 51508

[startup+120.069 s]
/proc/loadavg: 1.02 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1348200/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=52508 CPUtime=120.02
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 12755 0 0 0 11973 29 0 0 25 0 1 0 187881268 53768192 11237 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 13127 11237 105 232 0 12892 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 52508

[startup+130.076 s]
/proc/loadavg: 1.01 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1345832/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=52832 CPUtime=130.03
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 13350 0 0 0 12971 32 0 0 25 0 1 0 187881268 54099968 11832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 13208 11832 105 232 0 12973 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 52832

[startup+140.082 s]
/proc/loadavg: 1.01 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1343848/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=53440 CPUtime=140.04
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 13851 0 0 0 13970 34 0 0 25 0 1 0 187881268 54722560 12333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 13360 12333 105 232 0 13125 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 53440

[startup+150.089 s]
/proc/loadavg: 1.01 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1341800/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=86340 CPUtime=150.04
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 14349 0 0 0 14969 35 0 0 25 0 1 0 187881268 88412160 12831 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 21585 12831 105 232 0 21350 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 86340

[startup+160.094 s]
/proc/loadavg: 1.01 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1339624/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=86992 CPUtime=160.04
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 14936 0 0 0 15968 36 0 0 25 0 1 0 187881268 89079808 13385 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 21748 13385 105 232 0 21513 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 86992

[startup+170.1 s]
/proc/loadavg: 1.01 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1337640/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=87736 CPUtime=170.05
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 15457 0 0 0 16966 39 0 0 25 0 1 0 187881268 89841664 13873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 21934 13873 105 232 0 21699 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 87736

[startup+180.106 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1335912/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=87868 CPUtime=180.05
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 15889 0 0 0 17964 41 0 0 25 0 1 0 187881268 89976832 14305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 21967 14305 105 232 0 21732 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 87868

[startup+190.112 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1334312/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=88692 CPUtime=190.05
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 16327 0 0 0 18963 42 0 0 25 0 1 0 187881268 90820608 14710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 22173 14710 105 232 0 21938 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 88692

[startup+200.118 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1333544/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=89580 CPUtime=200.05
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 16602 0 0 0 19962 43 0 0 25 0 1 0 187881268 91729920 14886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550830 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 22395 14886 105 232 0 22160 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 89580

[startup+210.125 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1332840/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=90296 CPUtime=210.06
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 16836 0 0 0 20962 44 0 0 25 0 1 0 187881268 92463104 15087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 22574 15087 105 232 0 22339 0
Current children cumulated CPU time (s) 210.06
Current children cumulated vsize (Kb) 90296

[startup+220.131 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1332328/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=90832 CPUtime=220.06
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 16995 0 0 0 21961 45 0 0 25 0 1 0 187881268 93011968 15213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 22708 15213 105 232 0 22473 0
Current children cumulated CPU time (s) 220.06
Current children cumulated vsize (Kb) 90832

[startup+230.137 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1331368/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=97752 CPUtime=230.07
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 18795 0 0 0 22959 48 0 0 25 0 1 0 187881268 100098048 15410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550778 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 24438 15410 105 232 0 24203 0
Current children cumulated CPU time (s) 230.07
Current children cumulated vsize (Kb) 97752

[startup+240.143 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1331240/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=97880 CPUtime=240.07
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 18898 0 0 0 23959 48 0 0 25 0 1 0 187881268 100229120 15480 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 24470 15480 105 232 0 24235 0
Current children cumulated CPU time (s) 240.07
Current children cumulated vsize (Kb) 97880

[startup+250.149 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1330920/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=98192 CPUtime=250.08
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 18979 0 0 0 24958 50 0 0 25 0 1 0 187881268 100548608 15561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 24548 15561 105 232 0 24313 0
Current children cumulated CPU time (s) 250.08
Current children cumulated vsize (Kb) 98192

[startup+260.155 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1330664/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=98384 CPUtime=260.08
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19030 0 0 0 25957 51 0 0 25 0 1 0 187881268 100745216 15612 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 24596 15612 105 232 0 24361 0
Current children cumulated CPU time (s) 260.08
Current children cumulated vsize (Kb) 98384

[startup+270.161 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1330024/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=98832 CPUtime=270.08
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19226 0 0 0 26956 52 0 0 25 0 1 0 187881268 101203968 15775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 24708 15775 105 232 0 24473 0
Current children cumulated CPU time (s) 270.08
Current children cumulated vsize (Kb) 98832

[startup+280.167 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1329768/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=98832 CPUtime=280.09
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19294 0 0 0 27955 54 0 0 25 0 1 0 187881268 101203968 15843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 24708 15843 105 232 0 24473 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (Kb) 98832

[startup+290.174 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1329384/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=99092 CPUtime=290.09
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19414 0 0 0 28954 55 0 0 25 0 1 0 187881268 101470208 15930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 24773 15930 105 232 0 24538 0
Current children cumulated CPU time (s) 290.09
Current children cumulated vsize (Kb) 99092

[startup+300.18 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1328560/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=99480 CPUtime=300.09
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19652 0 0 0 29952 57 0 0 25 0 1 0 187881268 101867520 16135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 24870 16135 105 232 0 24635 0
Current children cumulated CPU time (s) 300.09
Current children cumulated vsize (Kb) 99480

[startup+310.186 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1327792/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=99680 CPUtime=310.09
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19847 0 0 0 30950 59 0 0 25 0 1 0 187881268 102072320 16330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 24920 16330 105 232 0 24685 0
Current children cumulated CPU time (s) 310.09
Current children cumulated vsize (Kb) 99680

[startup+320.192 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1327280/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=100120 CPUtime=320.1
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19974 0 0 0 31949 61 0 0 25 0 1 0 187881268 102522880 16457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 25030 16457 105 232 0 24795 0
Current children cumulated CPU time (s) 320.1
Current children cumulated vsize (Kb) 100120

[startup+330.198 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1326768/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=100552 CPUtime=330.1
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20097 0 0 0 32948 62 0 0 25 0 1 0 187881268 102965248 16580 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 25138 16580 105 232 0 24903 0
Current children cumulated CPU time (s) 330.1
Current children cumulated vsize (Kb) 100552

[startup+340.203 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1325936/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=101468 CPUtime=340.11
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20326 0 0 0 33948 63 0 0 25 0 1 0 187881268 103903232 16776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 25367 16776 105 232 0 25132 0
Current children cumulated CPU time (s) 340.11
Current children cumulated vsize (Kb) 101468

[startup+350.209 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1325552/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=101756 CPUtime=350.11
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20432 0 0 0 34947 64 0 0 25 0 1 0 187881268 104198144 16882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 25439 16882 105 232 0 25204 0
Current children cumulated CPU time (s) 350.11
Current children cumulated vsize (Kb) 101756

[startup+360.216 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1325424/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=101756 CPUtime=360.12
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20473 0 0 0 35947 65 0 0 25 0 1 0 187881268 104198144 16923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 25439 16923 105 232 0 25204 0
Current children cumulated CPU time (s) 360.12
Current children cumulated vsize (Kb) 101756

[startup+370.222 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1324528/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=102388 CPUtime=370.12
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20696 0 0 0 36947 65 0 0 25 0 1 0 187881268 104845312 17146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552182 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 25597 17146 105 232 0 25362 0
Current children cumulated CPU time (s) 370.12
Current children cumulated vsize (Kb) 102388

[startup+380.228 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1323952/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=103100 CPUtime=380.11
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20837 0 0 0 37945 66 0 0 25 0 1 0 187881268 105574400 17287 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 25775 17287 105 232 0 25540 0
Current children cumulated CPU time (s) 380.11
Current children cumulated vsize (Kb) 103100

[startup+390.235 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1323440/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=103488 CPUtime=390.12
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20960 0 0 0 38944 68 0 0 25 0 1 0 187881268 105971712 17410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 25872 17410 105 232 0 25637 0
Current children cumulated CPU time (s) 390.12
Current children cumulated vsize (Kb) 103488

[startup+400.241 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1322736/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=103904 CPUtime=400.12
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 21132 0 0 0 39943 69 0 0 25 0 1 0 187881268 106397696 17582 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552023 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 25976 17582 105 232 0 25741 0
Current children cumulated CPU time (s) 400.12
Current children cumulated vsize (Kb) 103904

[startup+410.247 s]
/proc/loadavg: 1.00 0.98 0.91 2/64 7866
/proc/meminfo: memFree=1322160/2055920 swapFree=4180892/4192956
[pid=7866] ppid=7864 vsize=104344 CPUtime=410.13
/proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 21276 0 0 0 40942 71 0 0 25 0 1 0 187881268 106848256 17726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/7866/statm: 26086 17726 105 232 0 25851 0
Current children cumulated CPU time (s) 410.13
Current children cumulated vsize (Kb) 104344

Child status: 0
Real time (s): 413.749
CPU time (s): 413.637
CPU user time (s): 412.907
CPU system time (s): 0.729889
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (Kb): 104344

Launcher Data (download as text)

Begin job on node23 on Fri Jun  2 04:22:56 UTC 2006


FILE ID= 41026-1149222176

PBS_JOBID= 295499

BENCH NAME= ROOT/tmp/node23/41026-1149222176/instance-41026-1149222176.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/41026-1149222176/instance-41026-1149222176.opb 312037583
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-41026-1149222176 -o ROOT/results/node23/solver-41026-1149222176 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/41026-1149222176/instance-41026-1149222176.opb 312037583

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  ad2f2eb73d6b7e5f546be528b10bc762

RANDOM SEED= 312037583


/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.213
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	: 5931.00
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.213
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:       1393008 kB
Buffers:         39880 kB
Cached:         546760 kB
SwapCached:       3872 kB
Active:         167032 kB
Inactive:       428428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1393008 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14696 kB
Slab:            53444 kB
Committed_AS:   215728 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Fri Jun  2 04:29:50 UTC 2006