Trace number 41046

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 498.288 498.418

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb
MD5SUM0626939ca6144a564c8e59fb048e3266
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 benchmark93.7857
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 705
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/node61/41046-1149224933/instance-41046-1149224933.opb ......
498.40	c done parsing opb.
498.40	s UNSATISFIABLE
498.40	c Total Run Time					498.252

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/node61/watcher-41046-1149224933 -o ROOT/results/node61/solver-41046-1149224933 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node61/41046-1149224933/instance-41046-1149224933.opb 623836678 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1338904/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=1368 CPUtime=0
/proc/21491/stat : 21491 (PBS4L) D 21489 21491 21446 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 188161199 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21491/statm: 342 95 84 232 0 107 0

[startup+10.0028 s]
/proc/loadavg: 0.93 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1327912/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=13612 CPUtime=9.99
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 3215 0 0 0 993 6 0 0 25 0 1 0 188161199 13938688 2851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 3403 2851 104 232 0 3168 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13612

[startup+20.0098 s]
/proc/loadavg: 0.94 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1321704/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=24888 CPUtime=19.99
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 5149 0 0 0 1988 11 0 0 25 0 1 0 188161199 25485312 4400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 6222 4400 104 232 0 5987 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 24888

[startup+30.0158 s]
/proc/loadavg: 0.95 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1317288/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=26204 CPUtime=29.99
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 6269 0 0 0 2985 14 0 0 25 0 1 0 188161199 26832896 5520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 6551 5520 104 232 0 6316 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26204

[startup+40.0217 s]
/proc/loadavg: 0.95 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1313512/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=43616 CPUtime=40
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 7203 0 0 0 3983 17 0 0 25 0 1 0 188161199 44662784 6454 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 10904 6454 104 232 0 10669 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43616

[startup+50.0277 s]
/proc/loadavg: 0.96 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1309608/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=44484 CPUtime=50
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 8174 0 0 0 4980 20 0 0 25 0 1 0 188161199 45551616 7425 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 11121 7425 105 232 0 10886 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 44484

[startup+60.0337 s]
/proc/loadavg: 0.97 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1306088/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=48704 CPUtime=60.01
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 9829 0 0 0 5978 23 0 0 25 0 1 0 188161199 49872896 8311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 12176 8311 105 232 0 11941 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 48704

[startup+70.0396 s]
/proc/loadavg: 0.97 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1304296/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=49424 CPUtime=70.01
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 10265 0 0 0 6977 24 0 0 25 0 1 0 188161199 50610176 8747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 12356 8747 105 232 0 12121 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 49424

[startup+80.0466 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1301928/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=50192 CPUtime=80.01
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 10851 0 0 0 7974 27 0 0 25 0 1 0 188161199 51396608 9333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 12548 9333 105 232 0 12313 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 50192

[startup+90.0516 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1299048/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=50780 CPUtime=90.02
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 11576 0 0 0 8972 30 0 0 25 0 1 0 188161199 51998720 10058 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 12695 10058 105 232 0 12460 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 50780

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1296360/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=51176 CPUtime=100.02
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 12246 0 0 0 9970 32 0 0 25 0 1 0 188161199 52404224 10728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 12794 10728 105 232 0 12559 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 51176

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1294120/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=52012 CPUtime=110.03
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 12798 0 0 0 10969 34 0 0 25 0 1 0 188161199 53260288 11280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 13003 11280 105 232 0 12768 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 52012

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1292712/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=52616 CPUtime=120.03
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 13161 0 0 0 11968 35 0 0 25 0 1 0 188161199 53878784 11643 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 13154 11643 105 232 0 12919 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 52616

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1292200/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=53012 CPUtime=130.03
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 13285 0 0 0 12966 37 0 0 25 0 1 0 188161199 54284288 11767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 13253 11767 105 232 0 13018 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 53012

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1289960/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=53628 CPUtime=140.03
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 13855 0 0 0 13964 39 0 0 25 0 1 0 188161199 54915072 12337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 13407 12337 105 232 0 13172 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 53628

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1287784/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=86528 CPUtime=150.04
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 14404 0 0 0 14963 41 0 0 25 0 1 0 188161199 88604672 12886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552199 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 21632 12886 105 232 0 21397 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 86528

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1285864/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=86660 CPUtime=160.04
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 14880 0 0 0 15961 43 0 0 25 0 1 0 188161199 88739840 13362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 21665 13362 105 232 0 21430 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 86660

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1283688/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=87672 CPUtime=170.05
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 15422 0 0 0 16960 45 0 0 25 0 1 0 188161199 89776128 13904 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 21918 13904 105 232 0 21683 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 87672

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1281960/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=88196 CPUtime=180.05
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 15878 0 0 0 17958 47 0 0 25 0 1 0 188161199 90312704 14327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 22049 14327 105 232 0 21814 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 88196

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1281128/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=88688 CPUtime=190.05
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 16148 0 0 0 18957 48 0 0 25 0 1 0 188161199 90816512 14531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552196 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 22172 14531 105 232 0 21937 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 88688

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1279016/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=89260 CPUtime=200.06
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 16717 0 0 0 19956 50 0 0 25 0 1 0 188161199 91402240 15067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 22315 15067 105 232 0 22080 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 89260

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1278248/2055920 swapFree=4179832/4192956

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

/proc/21491/statm: 24810 16478 105 232 0 24575 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (Kb) 99240

[startup+290.171 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1272552/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=99712 CPUtime=290.08
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20079 0 0 0 28947 61 0 0 25 0 1 0 188161199 102105088 16661 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 24928 16661 105 232 0 24693 0
Current children cumulated CPU time (s) 290.08
Current children cumulated vsize (Kb) 99712

[startup+300.177 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1272360/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=99904 CPUtime=300.09
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20136 0 0 0 29946 63 0 0 25 0 1 0 188161199 102301696 16718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 24976 16718 105 232 0 24741 0
Current children cumulated CPU time (s) 300.09
Current children cumulated vsize (Kb) 99904

[startup+310.183 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1272040/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=100260 CPUtime=310.1
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20245 0 0 0 30946 64 0 0 25 0 1 0 188161199 102666240 16794 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25065 16794 105 232 0 24830 0
Current children cumulated CPU time (s) 310.1
Current children cumulated vsize (Kb) 100260

[startup+320.189 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1271592/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=100784 CPUtime=320.1
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20387 0 0 0 31945 65 0 0 25 0 1 0 188161199 103202816 16903 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25196 16903 105 232 0 24961 0
Current children cumulated CPU time (s) 320.1
Current children cumulated vsize (Kb) 100784

[startup+330.195 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1271272/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=100916 CPUtime=330.1
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20458 0 0 0 32944 66 0 0 25 0 1 0 188161199 103337984 16974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25229 16974 105 232 0 24994 0
Current children cumulated CPU time (s) 330.1
Current children cumulated vsize (Kb) 100916

[startup+340.201 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1270888/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=101436 CPUtime=340.11
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20625 0 0 0 33944 67 0 0 25 0 1 0 188161199 103870464 17075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552277 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25359 17075 105 232 0 25124 0
Current children cumulated CPU time (s) 340.11
Current children cumulated vsize (Kb) 101436

[startup+350.207 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1270120/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=101436 CPUtime=350.11
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20819 0 0 0 34944 67 0 0 25 0 1 0 188161199 103870464 17269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25359 17269 105 232 0 25124 0
Current children cumulated CPU time (s) 350.11
Current children cumulated vsize (Kb) 101436

[startup+360.213 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1268840/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=101436 CPUtime=360.12
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21140 0 0 0 35943 69 0 0 25 0 1 0 188161199 103870464 17590 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25359 17590 105 232 0 25124 0
Current children cumulated CPU time (s) 360.12
Current children cumulated vsize (Kb) 101436

[startup+370.219 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1266856/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=102492 CPUtime=370.12
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21624 0 0 0 36942 70 0 0 25 0 1 0 188161199 104951808 18074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25623 18074 105 232 0 25388 0
Current children cumulated CPU time (s) 370.12
Current children cumulated vsize (Kb) 102492

[startup+380.225 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1266600/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=102624 CPUtime=380.12
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21692 0 0 0 37941 71 0 0 25 0 1 0 188161199 105086976 18142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25656 18142 105 232 0 25421 0
Current children cumulated CPU time (s) 380.12
Current children cumulated vsize (Kb) 102624

[startup+390.23 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1265768/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=103388 CPUtime=390.12
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21906 0 0 0 38939 73 0 0 25 0 1 0 188161199 105869312 18356 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25847 18356 105 232 0 25612 0
Current children cumulated CPU time (s) 390.12
Current children cumulated vsize (Kb) 103388

[startup+400.236 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1265512/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=103388 CPUtime=400.13
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21965 0 0 0 39938 75 0 0 25 0 1 0 188161199 105869312 18415 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25847 18415 105 232 0 25612 0
Current children cumulated CPU time (s) 400.13
Current children cumulated vsize (Kb) 103388

[startup+410.242 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1265320/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=103388 CPUtime=410.13
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22015 0 0 0 40937 76 0 0 25 0 1 0 188161199 105869312 18465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 25847 18465 105 232 0 25612 0
Current children cumulated CPU time (s) 410.13
Current children cumulated vsize (Kb) 103388

[startup+420.248 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1264616/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=104232 CPUtime=420.13
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22190 0 0 0 41937 76 0 0 25 0 1 0 188161199 106733568 18640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 26058 18640 105 232 0 25823 0
Current children cumulated CPU time (s) 420.13
Current children cumulated vsize (Kb) 104232

[startup+430.253 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1264424/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=104232 CPUtime=430.13
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22229 0 0 0 42936 77 0 0 25 0 1 0 188161199 106733568 18679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552008 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 26058 18679 105 232 0 25823 0
Current children cumulated CPU time (s) 430.13
Current children cumulated vsize (Kb) 104232

[startup+440.26 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1264104/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=104232 CPUtime=440.14
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22311 0 0 0 43936 78 0 0 25 0 1 0 188161199 106733568 18761 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 26058 18761 105 232 0 25823 0
Current children cumulated CPU time (s) 440.14
Current children cumulated vsize (Kb) 104232

[startup+450.265 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1263656/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=104752 CPUtime=450.14
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22430 0 0 0 44935 79 0 0 25 0 1 0 188161199 107266048 18880 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 26188 18880 105 232 0 25953 0
Current children cumulated CPU time (s) 450.14
Current children cumulated vsize (Kb) 104752

[startup+460.271 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1262824/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=105300 CPUtime=460.15
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22631 0 0 0 45935 80 0 0 25 0 1 0 188161199 107827200 19081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 26325 19081 105 232 0 26090 0
Current children cumulated CPU time (s) 460.15
Current children cumulated vsize (Kb) 105300

[startup+470.277 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1262376/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=105740 CPUtime=470.15
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22745 0 0 0 46934 81 0 0 25 0 1 0 188161199 108277760 19195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 26435 19195 105 232 0 26200 0
Current children cumulated CPU time (s) 470.15
Current children cumulated vsize (Kb) 105740

[startup+480.283 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1261992/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=106340 CPUtime=480.15
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22858 0 0 0 47933 82 0 0 25 0 1 0 188161199 108892160 19308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 26585 19308 105 232 0 26350 0
Current children cumulated CPU time (s) 480.15
Current children cumulated vsize (Kb) 106340

[startup+490.289 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21491
/proc/meminfo: memFree=1261352/2055920 swapFree=4179832/4192956
[pid=21491] ppid=21489 vsize=106836 CPUtime=490.16
/proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 23007 0 0 0 48933 83 0 0 25 0 1 0 188161199 109400064 19457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21491/statm: 26709 19457 105 232 0 26474 0
Current children cumulated CPU time (s) 490.16
Current children cumulated vsize (Kb) 106836

Child status: 0
Real time (s): 498.418
CPU time (s): 498.288
CPU user time (s): 497.426
CPU system time (s): 0.861868
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (Kb): 106836

Launcher Data (download as text)

Begin job on node61 on Fri Jun  2 05:08:53 UTC 2006


FILE ID= 41046-1149224933

PBS_JOBID= 295761

BENCH NAME= ROOT/tmp/node61/41046-1149224933/instance-41046-1149224933.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node61/41046-1149224933/instance-41046-1149224933.opb 623836678
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-41046-1149224933 -o ROOT/results/node61/solver-41046-1149224933 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node61/41046-1149224933/instance-41046-1149224933.opb 623836678

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  0626939ca6144a564c8e59fb048e3266

RANDOM SEED= 623836678


/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:       1339112 kB
Buffers:         43752 kB
Cached:         596136 kB
SwapCached:       4956 kB
Active:         194244 kB
Inactive:       455580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1339112 kB
SwapTotal:     4192956 kB
SwapFree:      4179832 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          14700 kB
Slab:            53128 kB
Committed_AS:   231328 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node61 on Fri Jun  2 05:17:11 UTC 2006