Trace number 41033

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 1517.07 1517.65

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb
MD5SUM6bb807214e0d1b3ab69b4b6ee86db452
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 benchmark168.826
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 721
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/node36/41033-1149223058/instance-41033-1149223058.opb ......
1517.62	c done parsing opb.
1517.62	s UNSATISFIABLE
1517.62	c Total Run Time					1517.02

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/node36/watcher-41033-1149223058 -o ROOT/results/node36/solver-41033-1149223058 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41033-1149223058/instance-41033-1149223058.opb 868795133 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 20144
/proc/meminfo: memFree=1445136/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=1400 CPUtime=0
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 187971881 1433600 115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598729 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 350 116 90 232 0 115 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 20144
/proc/meminfo: memFree=1433432/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=13872 CPUtime=9.99
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 3383 0 0 0 993 6 0 0 25 0 1 0 187971881 14204928 3019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 3468 3019 104 232 0 3233 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13872

[startup+20.0081 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1427168/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=25128 CPUtime=19.99
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 5342 0 0 0 1990 9 0 0 25 0 1 0 187971881 25731072 4593 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 6282 4593 105 232 0 6047 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25128

[startup+30.0139 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1422112/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=26636 CPUtime=30
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 6589 0 0 0 2987 13 0 0 25 0 1 0 187971881 27275264 5840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 6659 5840 105 232 0 6424 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26636

[startup+40.0197 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1418464/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=43928 CPUtime=40
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 7498 0 0 0 3985 15 0 0 25 0 1 0 187971881 44982272 6749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 10982 6749 105 232 0 10747 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43928

[startup+50.0256 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1414624/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=48300 CPUtime=50
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 9226 0 0 0 4983 17 0 0 25 0 1 0 187971881 49459200 7708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 12075 7708 105 232 0 11840 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 48300

[startup+60.0314 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1410784/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=49500 CPUtime=59.99
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 10194 0 0 0 5980 19 0 0 25 0 1 0 187971881 50688000 8676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 12375 8676 105 232 0 12140 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 49500

[startup+70.0372 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1407072/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=50500 CPUtime=70
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 11106 0 0 0 6978 22 0 0 25 0 1 0 187971881 51712000 9588 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 12625 9588 105 232 0 12390 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 50500

[startup+80.043 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1404320/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=51028 CPUtime=80
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 11788 0 0 0 7976 24 0 0 25 0 1 0 187971881 52252672 10270 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 12757 10270 105 232 0 12522 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 51028

[startup+90.0488 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1401440/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=52084 CPUtime=90.01
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 12514 0 0 0 8975 26 0 0 25 0 1 0 187971881 53334016 10996 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 13021 10997 105 232 0 12786 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 52084

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1398688/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=52880 CPUtime=100.01
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 13203 0 0 0 9973 28 0 0 25 0 1 0 187971881 54149120 11685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 13220 11685 105 232 0 12985 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 52880

[startup+110.06 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 20144
/proc/meminfo: memFree=1396320/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=53732 CPUtime=110.01
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 13789 0 0 0 10971 30 0 0 25 0 1 0 187971881 55021568 12271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 13433 12271 105 232 0 13198 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 53732

[startup+120.066 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1394208/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=87100 CPUtime=120.01
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 14317 0 0 0 11970 31 0 0 25 0 1 0 187971881 89190400 12799 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 21775 12799 105 232 0 21540 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 87100

[startup+130.072 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1393632/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=87364 CPUtime=130.02
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 14463 0 0 0 12968 34 0 0 25 0 1 0 187971881 89460736 12945 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 21841 12945 105 232 0 21606 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 87364

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1393184/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=87532 CPUtime=140.02
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 14586 0 0 0 13966 36 0 0 25 0 1 0 187971881 89632768 13068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 21883 13068 105 232 0 21648 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 87532

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1391840/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=87984 CPUtime=150.02
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 14918 0 0 0 14964 38 0 0 25 0 1 0 187971881 90095616 13367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 21996 13367 105 232 0 21761 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 87984

[startup+160.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1389920/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=88688 CPUtime=160.02
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 15496 0 0 0 15962 40 0 0 25 0 1 0 187971881 90816512 13879 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 22172 13879 105 232 0 21937 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 88688

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1387872/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=89208 CPUtime=170.02
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 16068 0 0 0 16961 41 0 0 25 0 1 0 187971881 91348992 14385 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 22302 14385 105 232 0 22067 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 89208

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1386784/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=95840 CPUtime=180.03
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 17875 0 0 0 17959 44 0 0 25 0 1 0 187971881 98140160 14655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 23960 14655 105 232 0 23725 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 95840

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1385504/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=96140 CPUtime=190.03
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 18216 0 0 0 18958 45 0 0 25 0 1 0 187971881 98447360 14963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 24035 14963 105 232 0 23800 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 96140

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1383328/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=97048 CPUtime=200.03
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 18853 0 0 0 19956 47 0 0 25 0 1 0 187971881 99377152 15501 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 24262 15501 105 232 0 24027 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 97048

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1381088/2055920 swapFree=4181460/4192956

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

/proc/20144/statm: 51427 34354 105 232 0 51192 0
Current children cumulated CPU time (s) 1300.28
Current children cumulated vsize (Kb) 205708

[startup+1310.78 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1307488/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=205708 CPUtime=1310.29
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 43823 0 0 0 130866 163 0 0 25 0 1 0 187971881 210644992 34392 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51427 34392 105 232 0 51192 0
Current children cumulated CPU time (s) 1310.29
Current children cumulated vsize (Kb) 205708

[startup+1320.78 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1307168/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=205968 CPUtime=1320.29
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 43936 0 0 0 131865 164 0 0 25 0 1 0 187971881 210911232 34472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51492 34472 105 232 0 51257 0
Current children cumulated CPU time (s) 1320.29
Current children cumulated vsize (Kb) 205968

[startup+1330.79 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1307040/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=205968 CPUtime=1330.29
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 43962 0 0 0 132864 165 0 0 25 0 1 0 187971881 210911232 34498 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51492 34498 105 232 0 51257 0
Current children cumulated CPU time (s) 1330.29
Current children cumulated vsize (Kb) 205968

[startup+1340.79 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1306912/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=205968 CPUtime=1340.29
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 43987 0 0 0 133863 166 0 0 25 0 1 0 187971881 210911232 34523 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51492 34523 105 232 0 51257 0
Current children cumulated CPU time (s) 1340.29
Current children cumulated vsize (Kb) 205968

[startup+1350.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1306464/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=206640 CPUtime=1350.3
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44105 0 0 0 134863 167 0 0 25 0 1 0 187971881 211599360 34641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51660 34641 105 232 0 51425 0
Current children cumulated CPU time (s) 1350.3
Current children cumulated vsize (Kb) 206640

[startup+1360.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1305952/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=206640 CPUtime=1360.3
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44223 0 0 0 135862 168 0 0 25 0 1 0 187971881 211599360 34759 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51660 34759 105 232 0 51425 0
Current children cumulated CPU time (s) 1360.3
Current children cumulated vsize (Kb) 206640

[startup+1370.81 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1305824/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=206640 CPUtime=1370.3
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44250 0 0 0 136861 169 0 0 25 0 1 0 187971881 211599360 34786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51660 34786 105 232 0 51425 0
Current children cumulated CPU time (s) 1370.3
Current children cumulated vsize (Kb) 206640

[startup+1380.82 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1305376/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=207352 CPUtime=1380.3
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44373 0 0 0 137860 170 0 0 25 0 1 0 187971881 212328448 34909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51838 34909 105 232 0 51603 0
Current children cumulated CPU time (s) 1380.3
Current children cumulated vsize (Kb) 207352

[startup+1390.82 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1305248/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=207352 CPUtime=1390.31
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44401 0 0 0 138860 171 0 0 25 0 1 0 187971881 212328448 34937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51838 34937 105 232 0 51603 0
Current children cumulated CPU time (s) 1390.31
Current children cumulated vsize (Kb) 207352

[startup+1400.83 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20144
/proc/meminfo: memFree=1305120/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=207352 CPUtime=1400.3
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44428 0 0 0 139859 171 0 0 25 0 1 0 187971881 212328448 34964 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 51838 34964 105 232 0 51603 0
Current children cumulated CPU time (s) 1400.3
Current children cumulated vsize (Kb) 207352

[startup+1410.83 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 20215
/proc/meminfo: memFree=1303024/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=208108 CPUtime=1410.29
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44667 0 0 0 140856 173 0 0 25 0 1 0 187971881 213102592 35203 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52027 35203 105 232 0 51792 0
Current children cumulated CPU time (s) 1410.29
Current children cumulated vsize (Kb) 208108

[startup+1420.84 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1303712/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=208108 CPUtime=1420.29
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44697 0 0 0 141848 181 0 0 25 0 1 0 187971881 213102592 35233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52027 35233 105 232 0 51792 0
Current children cumulated CPU time (s) 1420.29
Current children cumulated vsize (Kb) 208108

[startup+1430.84 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1303712/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=208108 CPUtime=1430.29
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44715 0 0 0 142847 182 0 0 25 0 1 0 187971881 213102592 35251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52027 35251 105 232 0 51792 0
Current children cumulated CPU time (s) 1430.29
Current children cumulated vsize (Kb) 208108

[startup+1440.85 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1303072/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=208912 CPUtime=1440.29
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44892 0 0 0 143846 183 0 0 25 0 1 0 187971881 213925888 35428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52228 35428 105 232 0 51993 0
Current children cumulated CPU time (s) 1440.29
Current children cumulated vsize (Kb) 208912

[startup+1450.86 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1302688/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=208912 CPUtime=1450.29
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44993 0 0 0 144845 184 0 0 25 0 1 0 187971881 213925888 35529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52228 35529 105 232 0 51993 0
Current children cumulated CPU time (s) 1450.29
Current children cumulated vsize (Kb) 208912

[startup+1460.86 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1302624/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=208912 CPUtime=1460.3
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45019 0 0 0 145845 185 0 0 25 0 1 0 187971881 213925888 35555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52228 35555 105 232 0 51993 0
Current children cumulated CPU time (s) 1460.3
Current children cumulated vsize (Kb) 208912

[startup+1470.87 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1302496/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=208912 CPUtime=1470.3
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45045 0 0 0 146845 185 0 0 25 0 1 0 187971881 213925888 35581 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52228 35581 105 232 0 51993 0
Current children cumulated CPU time (s) 1470.3
Current children cumulated vsize (Kb) 208912

[startup+1480.87 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1302048/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=209768 CPUtime=1480.3
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45163 0 0 0 147844 186 0 0 25 0 1 0 187971881 214802432 35699 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52442 35699 105 232 0 52207 0
Current children cumulated CPU time (s) 1480.3
Current children cumulated vsize (Kb) 209768

[startup+1490.88 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1301920/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=209768 CPUtime=1490.3
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45198 0 0 0 148844 186 0 0 25 0 1 0 187971881 214802432 35734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52442 35734 105 232 0 52207 0
Current children cumulated CPU time (s) 1490.3
Current children cumulated vsize (Kb) 209768

[startup+1500.89 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1301280/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=210676 CPUtime=1500.31
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45349 0 0 0 149844 187 0 0 25 0 1 0 187971881 215732224 35885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52669 35885 105 232 0 52434 0
Current children cumulated CPU time (s) 1500.31
Current children cumulated vsize (Kb) 210676

[startup+1510.89 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1300704/2055920 swapFree=4181460/4192956
[pid=20144] ppid=20142 vsize=210676 CPUtime=1510.31
/proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45486 0 0 0 150843 188 0 0 25 0 1 0 187971881 215732224 36022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/20144/statm: 52669 36022 105 232 0 52434 0
Current children cumulated CPU time (s) 1510.31
Current children cumulated vsize (Kb) 210676

Child status: 0
Real time (s): 1517.65
CPU time (s): 1517.07
CPU user time (s): 1515.16
CPU system time (s): 1.90771
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (Kb): 210676

Launcher Data (download as text)

Begin job on node36 on Fri Jun  2 04:37:38 UTC 2006


FILE ID= 41033-1149223058

PBS_JOBID= 295585

BENCH NAME= ROOT/tmp/node36/41033-1149223058/instance-41033-1149223058.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41033-1149223058/instance-41033-1149223058.opb 868795133
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node36/watcher-41033-1149223058 -o ROOT/results/node36/solver-41033-1149223058 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41033-1149223058/instance-41033-1149223058.opb 868795133

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  6bb807214e0d1b3ab69b4b6ee86db452

RANDOM SEED= 868795133


/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.284
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.284
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:       1445344 kB
Buffers:         39656 kB
Cached:         494992 kB
SwapCached:       3504 kB
Active:         190844 kB
Inactive:       352828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1445344 kB
SwapTotal:     4192956 kB
SwapFree:      4181460 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14924 kB
Slab:            52924 kB
Committed_AS:   182380 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node36 on Fri Jun  2 05:02:55 UTC 2006