Trace number 41036

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 1789.53 1790.1

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb
MD5SUM4b18508c034d5953901bfe08c3658c68
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 benchmark203.591
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 693
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node21/41036-1149223695/instance-41036-1149223695.opb ......
1790.07	c done parsing opb.
1790.07	s UNSATISFIABLE
1790.07	c Total Run Time					1789.48

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node21/watcher-41036-1149223695 -o ROOT/results/node21/solver-41036-1149223695 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41036-1149223695/instance-41036-1149223695.opb 403105264 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1264936/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=1400 CPUtime=0
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 188032602 1433600 130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134565904 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 350 130 100 232 0 115 0

[startup+10.0024 s]
/proc/loadavg: 0.87 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1253040/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=13784 CPUtime=9.99
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 3451 0 0 0 993 6 0 0 25 0 1 0 188032602 14114816 3087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 3446 3087 104 232 0 3211 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13784

[startup+20.0084 s]
/proc/loadavg: 0.89 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1246768/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=25244 CPUtime=19.99
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 5404 0 0 0 1989 10 0 0 25 0 1 0 188032602 25849856 4655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 6311 4655 105 232 0 6076 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25244

[startup+30.0145 s]
/proc/loadavg: 0.91 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1242544/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=26460 CPUtime=30
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 6466 0 0 0 2987 13 0 0 25 0 1 0 188032602 27095040 5717 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 6615 5717 105 232 0 6380 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26460

[startup+40.0196 s]
/proc/loadavg: 0.92 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1238384/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=43740 CPUtime=39.99
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 7505 0 0 0 3982 17 0 0 25 0 1 0 188032602 44789760 6756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 10935 6756 105 232 0 10700 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 43740

[startup+50.0257 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1234736/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=47992 CPUtime=50
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 9199 0 0 0 4980 20 0 0 25 0 1 0 188032602 49143808 7681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 11998 7681 105 232 0 11763 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 47992

[startup+60.0318 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1231024/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=49052 CPUtime=60.01
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 10133 0 0 0 5979 22 0 0 25 0 1 0 188032602 50229248 8615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 12263 8615 105 232 0 12028 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 49052

[startup+70.0379 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1227312/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=50216 CPUtime=70.01
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 11045 0 0 0 6977 24 0 0 25 0 1 0 188032602 51421184 9527 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552011 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 12554 9527 105 232 0 12319 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 50216

[startup+80.044 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1223984/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=50876 CPUtime=80.01
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 11876 0 0 0 7974 27 0 0 25 0 1 0 188032602 52097024 10358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 12719 10358 105 232 0 12484 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 50876

[startup+90.0501 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1221296/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=51684 CPUtime=90.02
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 12552 0 0 0 8972 30 0 0 25 0 1 0 188032602 52924416 11034 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 12921 11034 105 232 0 12686 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 51684

[startup+100.055 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1218992/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=52272 CPUtime=100.02
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 13131 0 0 0 9970 32 0 0 25 0 1 0 188032602 53526528 11613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 13068 11613 105 232 0 12833 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 52272

[startup+110.061 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1216496/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=52804 CPUtime=110.02
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 13752 0 0 0 10968 34 0 0 25 0 1 0 188032602 54071296 12234 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 13201 12234 105 232 0 12966 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 52804

[startup+120.067 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1213936/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=86352 CPUtime=120.02
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 14391 0 0 0 11966 36 0 0 25 0 1 0 188032602 88424448 12873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 21588 12873 105 232 0 21353 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 86352

[startup+130.074 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1211568/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=87072 CPUtime=130.02
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 14989 0 0 0 12964 38 0 0 25 0 1 0 188032602 89161728 13471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 21768 13471 105 232 0 21533 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 87072

[startup+140.08 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1209200/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=87492 CPUtime=140.03
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 15571 0 0 0 13963 40 0 0 25 0 1 0 188032602 89591808 14053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 21873 14053 105 232 0 21638 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 87492

[startup+150.087 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1206960/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=88072 CPUtime=150.04
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 16167 0 0 0 14962 42 0 0 25 0 1 0 188032602 90185728 14616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 22018 14616 105 232 0 21783 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 88072

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 19299
/proc/meminfo: memFree=1204784/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=88648 CPUtime=160.03
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 16718 0 0 0 15960 43 0 0 25 0 1 0 188032602 90775552 15167 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550768 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 22162 15167 105 232 0 21927 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 88648

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1202544/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=95572 CPUtime=170.04
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 18868 0 0 0 16958 46 0 0 25 0 1 0 188032602 97865728 15714 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 23893 15714 105 232 0 23658 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 95572

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1200496/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=96416 CPUtime=180.04
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 19409 0 0 0 17957 47 0 0 25 0 1 0 188032602 98729984 16222 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558875 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 24104 16222 105 232 0 23869 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 96416

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1198448/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=96804 CPUtime=190.04
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 19921 0 0 0 18955 49 0 0 25 0 1 0 188032602 99127296 16701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 24201 16701 105 232 0 23966 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 96804

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1196400/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=97356 CPUtime=200.05
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 20460 0 0 0 19954 51 0 0 25 0 1 0 188032602 99692544 17240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 24339 17240 105 232 0 24104 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 97356

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19299
/proc/meminfo: memFree=1194352/2055920 swapFree=4181452/4192956

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

/proc/19299/statm: 53449 39710 105 232 0 53214 0
Current children cumulated CPU time (s) 1650.45
Current children cumulated vsize (Kb) 213796

[startup+1661 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1106096/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=213796 CPUtime=1660.46
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49325 0 0 0 165852 194 0 0 25 0 1 0 188032602 218927104 39729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53449 39729 105 232 0 53214 0
Current children cumulated CPU time (s) 1660.46
Current children cumulated vsize (Kb) 213796

[startup+1671 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1106032/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=213796 CPUtime=1670.46
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49343 0 0 0 166852 194 0 0 25 0 1 0 188032602 218927104 39747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53449 39747 105 232 0 53214 0
Current children cumulated CPU time (s) 1670.46
Current children cumulated vsize (Kb) 213796

[startup+1681.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1105648/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=213796 CPUtime=1680.46
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49432 0 0 0 167851 195 0 0 25 0 1 0 188032602 218927104 39836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53449 39836 105 232 0 53214 0
Current children cumulated CPU time (s) 1680.46
Current children cumulated vsize (Kb) 213796

[startup+1691.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1105392/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=213796 CPUtime=1690.47
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49510 0 0 0 168851 196 0 0 25 0 1 0 188032602 218927104 39914 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53449 39914 105 232 0 53214 0
Current children cumulated CPU time (s) 1690.47
Current children cumulated vsize (Kb) 213796

[startup+1701.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1105072/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=213796 CPUtime=1700.47
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49585 0 0 0 169850 197 0 0 25 0 1 0 188032602 218927104 39989 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53449 39989 105 232 0 53214 0
Current children cumulated CPU time (s) 1700.47
Current children cumulated vsize (Kb) 213796

[startup+1711.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1105008/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=213796 CPUtime=1710.48
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49608 0 0 0 170849 199 0 0 25 0 1 0 188032602 218927104 40012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53449 40012 105 232 0 53214 0
Current children cumulated CPU time (s) 1710.48
Current children cumulated vsize (Kb) 213796

[startup+1721.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1104624/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=214704 CPUtime=1720.48
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49695 0 0 0 171849 199 0 0 25 0 1 0 188032602 219856896 40099 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53676 40099 105 232 0 53441 0
Current children cumulated CPU time (s) 1720.48
Current children cumulated vsize (Kb) 214704

[startup+1731.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1104304/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=214704 CPUtime=1730.48
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49781 0 0 0 172848 200 0 0 25 0 1 0 188032602 219856896 40185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53676 40185 105 232 0 53441 0
Current children cumulated CPU time (s) 1730.48
Current children cumulated vsize (Kb) 214704

[startup+1741.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1104176/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=214704 CPUtime=1740.48
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49801 0 0 0 173847 201 0 0 25 0 1 0 188032602 219856896 40205 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53676 40205 105 232 0 53441 0
Current children cumulated CPU time (s) 1740.48
Current children cumulated vsize (Kb) 214704

[startup+1751.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1103152/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=215668 CPUtime=1750.48
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50071 0 0 0 174847 201 0 0 25 0 1 0 188032602 220844032 40475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53917 40475 105 232 0 53682 0
Current children cumulated CPU time (s) 1750.48
Current children cumulated vsize (Kb) 215668

[startup+1761.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1102768/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=215668 CPUtime=1760.48
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50174 0 0 0 175847 201 0 0 25 0 1 0 188032602 220844032 40578 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 53917 40578 105 232 0 53682 0
Current children cumulated CPU time (s) 1760.48
Current children cumulated vsize (Kb) 215668

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1102640/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=216692 CPUtime=1770.49
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50204 0 0 0 176847 202 0 0 25 0 1 0 188032602 221892608 40608 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54173 40608 105 232 0 53938 0
Current children cumulated CPU time (s) 1770.49
Current children cumulated vsize (Kb) 216692

[startup+1781.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=216692 CPUtime=1780.49
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50402 0 0 0 177846 203 0 0 25 0 1 0 188032602 221892608 40806 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54173 40806 105 232 0 53938 0
Current children cumulated CPU time (s) 1780.49
Current children cumulated vsize (Kb) 216692

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=216692 CPUtime=1781.5
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50403 0 0 0 177947 203 0 0 25 0 1 0 188032602 221892608 40807 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54173 40807 105 232 0 53938 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (Kb) 216692

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=216692 CPUtime=1782.5
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50405 0 0 0 178047 203 0 0 25 0 1 0 188032602 221892608 40809 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54173 40809 105 232 0 53938 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (Kb) 216692

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=216692 CPUtime=1783.5
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50407 0 0 0 178147 203 0 0 25 0 1 0 188032602 221892608 40811 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54173 40811 105 232 0 53938 0
Current children cumulated CPU time (s) 1783.5
Current children cumulated vsize (Kb) 216692

[startup+1785.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=216692 CPUtime=1784.51
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50408 0 0 0 178248 203 0 0 25 0 1 0 188032602 221892608 40812 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54173 40812 105 232 0 53938 0
Current children cumulated CPU time (s) 1784.51
Current children cumulated vsize (Kb) 216692

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=216692 CPUtime=1785.51
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50410 0 0 0 178348 203 0 0 25 0 1 0 188032602 221892608 40814 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54173 40814 105 232 0 53938 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (Kb) 216692

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=216692 CPUtime=1786.52
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50412 0 0 0 178448 204 0 0 25 0 1 0 188032602 221892608 40816 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54173 40816 105 232 0 53938 0
Current children cumulated CPU time (s) 1786.52
Current children cumulated vsize (Kb) 216692

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1101488/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=217780 CPUtime=1787.53
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50483 0 0 0 178549 204 0 0 25 0 1 0 188032602 223006720 40887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54445 40887 105 232 0 54210 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (Kb) 217780

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19494
/proc/meminfo: memFree=1101488/2055920 swapFree=4181452/4192956
[pid=19299] ppid=19297 vsize=217780 CPUtime=1788.53
/proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50484 0 0 0 178649 204 0 0 25 0 1 0 188032602 223006720 40888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19299/statm: 54445 40888 105 232 0 54210 0
Current children cumulated CPU time (s) 1788.53
Current children cumulated vsize (Kb) 217780

Child status: 0
Real time (s): 1790.1
CPU time (s): 1789.53
CPU user time (s): 1787.46
CPU system time (s): 2.06969
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (Kb): 217780

Launcher Data (download as text)

Begin job on node21 on Fri Jun  2 04:48:15 UTC 2006


FILE ID= 41036-1149223695

PBS_JOBID= 295628

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  4b18508c034d5953901bfe08c3658c68

RANDOM SEED= 403105264


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1265144 kB
Buffers:         45880 kB
Cached:         667724 kB
SwapCached:       3388 kB
Active:         212568 kB
Inactive:       509956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1265144 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14728 kB
Slab:            54260 kB
Committed_AS:   224380 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node21 on Fri Jun  2 05:18:05 UTC 2006