Trace number 40959

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 744.904 745.116

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb
MD5SUMaacf18cf0b8ed9727f2f81c2bd5074e6
Bench CategorySATUNSAT-SMALLINT (no optimisation, small integers)
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 benchmark81.7766
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 717
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/node56/40959-1149214832/instance-40959-1149214832.opb ......
745.09	c done parsing opb.
745.09	s UNSATISFIABLE
745.09	c Total Run Time					744.864

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/node56/watcher-40959-1149214832 -o ROOT/results/node56/solver-40959-1149214832 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/40959-1149214832/instance-40959-1149214832.opb 794299626 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.97 0.91 3/64 6948
/proc/meminfo: memFree=1221464/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=1400 CPUtime=0
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 149 0 0 0 0 0 0 0 19 0 1 0 187150801 1433600 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135097534 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 350 132 100 232 0 115 0

[startup+10.0015 s]
/proc/loadavg: 0.87 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1209952/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=13652 CPUtime=9.98
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 3337 0 0 0 993 5 0 0 25 0 1 0 187150801 13979648 2973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 3413 2973 105 232 0 3178 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 13652

[startup+20.0075 s]
/proc/loadavg: 0.89 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1203168/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=25160 CPUtime=19.99
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 5416 0 0 0 1987 12 0 0 25 0 1 0 187150801 25763840 4667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 6290 4667 105 232 0 6055 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25160

[startup+30.0135 s]
/proc/loadavg: 0.91 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1197792/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=26400 CPUtime=29.99
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 6760 0 0 0 2983 16 0 0 25 0 1 0 187150801 27033600 6011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 6600 6011 105 232 0 6365 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26400

[startup+40.0195 s]
/proc/loadavg: 0.92 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1193952/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=43780 CPUtime=40
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 7708 0 0 0 3981 19 0 0 25 0 1 0 187150801 44830720 6959 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 10945 6959 105 232 0 10710 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43780

[startup+50.0255 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1190240/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=47796 CPUtime=50
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 9400 0 0 0 4977 23 0 0 25 0 1 0 187150801 48943104 7882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550774 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 11949 7882 105 232 0 11714 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 47796

[startup+60.0305 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1186528/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=48684 CPUtime=60
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 10334 0 0 0 5975 25 0 0 25 0 1 0 187150801 49852416 8816 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552822 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 12171 8816 105 232 0 11936 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 48684

[startup+70.0365 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1182816/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=50168 CPUtime=70
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 11264 0 0 0 6972 28 0 0 25 0 1 0 187150801 51372032 9746 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 12542 9746 105 232 0 12307 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 50168

[startup+80.0425 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1179936/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=50564 CPUtime=80.01
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 11975 0 0 0 7971 30 0 0 25 0 1 0 187150801 51777536 10457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 12641 10457 105 232 0 12406 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 50564

[startup+90.0484 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1177696/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=51372 CPUtime=90.01
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 12555 0 0 0 8968 33 0 0 25 0 1 0 187150801 52604928 11037 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552315 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 12843 11037 105 232 0 12608 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 51372

[startup+100.054 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1175200/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=52212 CPUtime=100.01
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 13162 0 0 0 9966 35 0 0 25 0 1 0 187150801 53465088 11644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 13053 11644 105 232 0 12818 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 52212

[startup+110.061 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1173408/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=52536 CPUtime=110.08
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 13614 0 0 0 10972 36 0 0 25 0 1 0 187150801 53796864 12096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 13134 12096 105 232 0 12899 0
Current children cumulated CPU time (s) 110.08
Current children cumulated vsize (Kb) 52536

[startup+120.131 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1170912/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=85628 CPUtime=120.08
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 14240 0 0 0 11970 38 0 0 25 0 1 0 187150801 87683072 12722 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 21407 12722 105 232 0 21172 0
Current children cumulated CPU time (s) 120.08
Current children cumulated vsize (Kb) 85628

[startup+130.137 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1168288/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=86348 CPUtime=130.09
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 14901 0 0 0 12969 40 0 0 25 0 1 0 187150801 88420352 13383 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 21587 13383 105 232 0 21352 0
Current children cumulated CPU time (s) 130.09
Current children cumulated vsize (Kb) 86348

[startup+140.143 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1167136/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=86852 CPUtime=140.09
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 15184 0 0 0 13968 41 0 0 25 0 1 0 187150801 88936448 13666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 21713 13666 105 232 0 21478 0
Current children cumulated CPU time (s) 140.09
Current children cumulated vsize (Kb) 86852

[startup+150.149 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1166432/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=87520 CPUtime=150.1
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 15350 0 0 0 14968 42 0 0 25 0 1 0 187150801 89620480 13832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 21880 13832 105 232 0 21645 0
Current children cumulated CPU time (s) 150.1
Current children cumulated vsize (Kb) 87520

[startup+160.155 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1165984/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=88008 CPUtime=160.1
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 15470 0 0 0 15967 43 0 0 25 0 1 0 187150801 90120192 13952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 22002 13952 105 232 0 21767 0
Current children cumulated CPU time (s) 160.1
Current children cumulated vsize (Kb) 88008

[startup+170.161 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1164576/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=88528 CPUtime=170.1
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 15846 0 0 0 16965 45 0 0 25 0 1 0 187150801 90652672 14295 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 22132 14295 105 232 0 21897 0
Current children cumulated CPU time (s) 170.1
Current children cumulated vsize (Kb) 88528

[startup+180.167 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1162976/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=95524 CPUtime=180.1
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 17732 0 0 0 17963 47 0 0 25 0 1 0 187150801 97816576 14644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 23881 14644 105 232 0 23646 0
Current children cumulated CPU time (s) 180.1
Current children cumulated vsize (Kb) 95524

[startup+190.173 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1162656/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=95916 CPUtime=190.11
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 17904 0 0 0 18962 49 0 0 25 0 1 0 187150801 98217984 14783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 23979 14783 105 232 0 23744 0
Current children cumulated CPU time (s) 190.11
Current children cumulated vsize (Kb) 95916

[startup+200.179 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1162272/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=96176 CPUtime=200.11
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 18035 0 0 0 19961 50 0 0 25 0 1 0 187150801 98484224 14881 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 24044 14881 105 232 0 23809 0
Current children cumulated CPU time (s) 200.11
Current children cumulated vsize (Kb) 96176

[startup+210.185 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1160672/2055920 swapFree=4181332/4192956

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

/proc/6948/statm: 27290 25174 105 232 0 27055 0
Current children cumulated CPU time (s) 530.22
Current children cumulated vsize (Kb) 109160

[startup+540.38 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1120352/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=109528 CPUtime=540.21
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29272 0 0 0 53927 94 0 0 25 0 1 0 187150801 112156672 25326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27382 25326 105 232 0 27147 0
Current children cumulated CPU time (s) 540.21
Current children cumulated vsize (Kb) 109528

[startup+550.386 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1119840/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=109916 CPUtime=550.22
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29395 0 0 0 54927 95 0 0 25 0 1 0 187150801 112553984 25449 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551353 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27479 25449 105 232 0 27244 0
Current children cumulated CPU time (s) 550.22
Current children cumulated vsize (Kb) 109916

[startup+560.392 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1119648/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=109916 CPUtime=560.23
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29433 0 0 0 55926 97 0 0 25 0 1 0 187150801 112553984 25487 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27479 25487 105 232 0 27244 0
Current children cumulated CPU time (s) 560.23
Current children cumulated vsize (Kb) 109916

[startup+570.398 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1119520/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=109916 CPUtime=570.23
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29467 0 0 0 56925 98 0 0 25 0 1 0 187150801 112553984 25521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27479 25521 105 232 0 27244 0
Current children cumulated CPU time (s) 570.23
Current children cumulated vsize (Kb) 109916

[startup+580.404 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1119328/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=110332 CPUtime=580.23
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29510 0 0 0 57924 99 0 0 25 0 1 0 187150801 112979968 25564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27583 25564 105 232 0 27348 0
Current children cumulated CPU time (s) 580.23
Current children cumulated vsize (Kb) 110332

[startup+590.409 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1119264/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=110332 CPUtime=590.23
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29551 0 0 0 58924 99 0 0 25 0 1 0 187150801 112979968 25605 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27583 25605 105 232 0 27348 0
Current children cumulated CPU time (s) 590.23
Current children cumulated vsize (Kb) 110332

[startup+600.415 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1119072/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=110332 CPUtime=600.24
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29590 0 0 0 59923 101 0 0 25 0 1 0 187150801 112979968 25644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552235 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27583 25644 105 232 0 27348 0
Current children cumulated CPU time (s) 600.24
Current children cumulated vsize (Kb) 110332

[startup+610.421 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1118240/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=111240 CPUtime=610.24
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29805 0 0 0 60923 101 0 0 25 0 1 0 187150801 113909760 25859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27810 25859 105 232 0 27575 0
Current children cumulated CPU time (s) 610.24
Current children cumulated vsize (Kb) 111240

[startup+620.427 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1117664/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=111240 CPUtime=620.25
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29944 0 0 0 61923 102 0 0 25 0 1 0 187150801 113909760 25998 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27810 25998 105 232 0 27575 0
Current children cumulated CPU time (s) 620.25
Current children cumulated vsize (Kb) 111240

[startup+630.433 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1117472/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=111240 CPUtime=630.24
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29985 0 0 0 62922 102 0 0 25 0 1 0 187150801 113909760 26039 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 27810 26039 105 232 0 27575 0
Current children cumulated CPU time (s) 630.24
Current children cumulated vsize (Kb) 111240

[startup+640.439 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1117152/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=124024 CPUtime=640.25
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33095 0 0 0 63920 105 0 0 25 0 1 0 187150801 127000576 26076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31006 26076 105 232 0 30771 0
Current children cumulated CPU time (s) 640.25
Current children cumulated vsize (Kb) 124024

[startup+650.444 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1116768/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=124024 CPUtime=650.25
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33234 0 0 0 64919 106 0 0 25 0 1 0 187150801 127000576 26215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31006 26215 105 232 0 30771 0
Current children cumulated CPU time (s) 650.25
Current children cumulated vsize (Kb) 124024

[startup+660.45 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1116384/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=124552 CPUtime=660.26
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33326 0 0 0 65919 107 0 0 25 0 1 0 187150801 127541248 26307 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31138 26307 105 232 0 30903 0
Current children cumulated CPU time (s) 660.26
Current children cumulated vsize (Kb) 124552

[startup+670.456 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1116192/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=124552 CPUtime=670.26
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33362 0 0 0 66918 108 0 0 25 0 1 0 187150801 127541248 26343 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31138 26343 105 232 0 30903 0
Current children cumulated CPU time (s) 670.26
Current children cumulated vsize (Kb) 124552

[startup+680.462 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1115104/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=125708 CPUtime=680.27
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33637 0 0 0 67918 109 0 0 25 0 1 0 187150801 128724992 26618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31427 26618 105 232 0 31192 0
Current children cumulated CPU time (s) 680.27
Current children cumulated vsize (Kb) 125708

[startup+690.468 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1114720/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=125708 CPUtime=690.26
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33725 0 0 0 68917 109 0 0 25 0 1 0 187150801 128724992 26706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31427 26706 105 232 0 31192 0
Current children cumulated CPU time (s) 690.26
Current children cumulated vsize (Kb) 125708

[startup+700.474 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1114592/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=125708 CPUtime=700.27
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33764 0 0 0 69916 111 0 0 25 0 1 0 187150801 128724992 26745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31427 26745 105 232 0 31192 0
Current children cumulated CPU time (s) 700.27
Current children cumulated vsize (Kb) 125708

[startup+710.479 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1114080/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=126340 CPUtime=710.27
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33887 0 0 0 70915 112 0 0 25 0 1 0 187150801 129372160 26868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31585 26868 105 232 0 31350 0
Current children cumulated CPU time (s) 710.27
Current children cumulated vsize (Kb) 126340

[startup+720.485 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1113952/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=126340 CPUtime=720.28
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33919 0 0 0 71915 113 0 0 25 0 1 0 187150801 129372160 26900 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31585 26900 105 232 0 31350 0
Current children cumulated CPU time (s) 720.28
Current children cumulated vsize (Kb) 126340

[startup+730.491 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1113440/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=126340 CPUtime=730.28
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 34054 0 0 0 72915 113 0 0 25 0 1 0 187150801 129372160 27035 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31585 27035 105 232 0 31350 0
Current children cumulated CPU time (s) 730.28
Current children cumulated vsize (Kb) 126340

[startup+740.497 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6948
/proc/meminfo: memFree=1112416/2055920 swapFree=4181332/4192956
[pid=6948] ppid=6946 vsize=127724 CPUtime=740.28
/proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 34293 0 0 0 73914 114 0 0 25 0 1 0 187150801 130789376 27274 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6948/statm: 31931 27274 105 232 0 31696 0
Current children cumulated CPU time (s) 740.28
Current children cumulated vsize (Kb) 127724

Child status: 0
Real time (s): 745.116
CPU time (s): 744.904
CPU user time (s): 743.733
CPU system time (s): 1.17082
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (Kb): 127724

Launcher Data (download as text)

Begin job on node56 on Fri Jun  2 02:20:32 UTC 2006


FILE ID= 40959-1149214832

PBS_JOBID= 294627

BENCH NAME= ROOT/tmp/node56/40959-1149214832/instance-40959-1149214832.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/40959-1149214832/instance-40959-1149214832.opb 794299626
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node56/watcher-40959-1149214832 -o ROOT/results/node56/solver-40959-1149214832 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/40959-1149214832/instance-40959-1149214832.opb 794299626

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  aacf18cf0b8ed9727f2f81c2bd5074e6

RANDOM SEED= 794299626


/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.232
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.232
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:       1221672 kB
Buffers:         40608 kB
Cached:         715236 kB
SwapCached:       3648 kB
Active:         300488 kB
Inactive:       464428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1221672 kB
SwapTotal:     4192956 kB
SwapFree:      4181332 kB
Dirty:             204 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            55308 kB
Committed_AS:   174884 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node56 on Fri Jun  2 02:32:57 UTC 2006