Trace number 40962

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 1613.02 1613.5

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb
MD5SUM1ce0037c3d80e79a7b72360f6130d1f3
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 benchmark266.04
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 713
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/node76/40962-1149215303/instance-40962-1149215303.opb ......
1613.47	c done parsing opb.
1613.47	s UNSATISFIABLE
1613.47	c Total Run Time					1612.97

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/node76/watcher-40962-1149215303 -o ROOT/results/node76/solver-40962-1149215303 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node76/40962-1149215303/instance-40962-1149215303.opb 558735220 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.90 4/68 13427
/proc/meminfo: memFree=1696224/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=1400 CPUtime=0
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 187169713 1433600 130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134565904 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 350 130 100 232 0 115 0

[startup+10.0025 s]
/proc/loadavg: 0.87 0.94 0.90 2/68 13427
/proc/meminfo: memFree=1684000/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=13932 CPUtime=9.99
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 3508 0 0 0 994 5 0 0 25 0 1 0 187169713 14266368 3145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 3483 3145 104 232 0 3248 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13932

[startup+20.0087 s]
/proc/loadavg: 0.89 0.94 0.90 2/68 13427
/proc/meminfo: memFree=1677600/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=25192 CPUtime=19.99
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 5486 0 0 0 1988 11 0 0 25 0 1 0 187169713 25796608 4738 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 6298 4738 104 232 0 6063 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25192

[startup+30.0139 s]
/proc/loadavg: 0.90 0.94 0.90 2/68 13427
/proc/meminfo: memFree=1672800/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=26680 CPUtime=29.99
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 6696 0 0 0 2985 14 0 0 25 0 1 0 187169713 27320320 5948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 6670 5948 105 232 0 6435 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26680

[startup+40.0201 s]
/proc/loadavg: 0.92 0.94 0.90 2/68 13427
/proc/meminfo: memFree=1668896/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=44140 CPUtime=39.99
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 7660 0 0 0 3982 17 0 0 25 0 1 0 187169713 45199360 6912 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 11035 6912 105 232 0 10800 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 44140

[startup+50.0263 s]
/proc/loadavg: 0.93 0.94 0.90 2/68 13427
/proc/meminfo: memFree=1664992/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=48356 CPUtime=50.01
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 9424 0 0 0 4981 20 0 0 25 0 1 0 187169713 49516544 7907 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 12089 7907 105 232 0 11854 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 48356

[startup+60.0325 s]
/proc/loadavg: 0.94 0.95 0.90 2/68 13427
/proc/meminfo: memFree=1661024/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=49724 CPUtime=60.01
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 10405 0 0 0 5979 22 0 0 25 0 1 0 187169713 50917376 8888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 12431 8888 105 232 0 12196 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 49724

[startup+70.0387 s]
/proc/loadavg: 0.95 0.95 0.91 2/68 13427
/proc/meminfo: memFree=1657696/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=50752 CPUtime=70.01
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 11235 0 0 0 6976 25 0 0 25 0 1 0 187169713 51970048 9718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 12688 9718 105 232 0 12453 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 50752

[startup+80.0449 s]
/proc/loadavg: 0.96 0.95 0.91 2/68 13427
/proc/meminfo: memFree=1655072/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=51984 CPUtime=80.01
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 11896 0 0 0 7974 27 0 0 25 0 1 0 187169713 53231616 10379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 12996 10379 105 232 0 12761 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 51984

[startup+90.05 s]
/proc/loadavg: 0.96 0.95 0.91 2/68 13427
/proc/meminfo: memFree=1652128/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=52776 CPUtime=90.01
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 12622 0 0 0 8972 29 0 0 25 0 1 0 187169713 54042624 11105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 13194 11105 105 232 0 12959 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 52776

[startup+100.056 s]
/proc/loadavg: 0.97 0.95 0.91 2/68 13427
/proc/meminfo: memFree=1649312/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=53436 CPUtime=100.02
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 13329 0 0 0 9970 32 0 0 25 0 1 0 187169713 54718464 11812 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 13359 11812 105 232 0 13124 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 53436

[startup+110.062 s]
/proc/loadavg: 0.97 0.95 0.91 2/68 13427
/proc/meminfo: memFree=1646816/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=53832 CPUtime=110.02
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 13951 0 0 0 10968 34 0 0 25 0 1 0 187169713 55123968 12434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 13458 12434 105 232 0 13223 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 53832

[startup+120.069 s]
/proc/loadavg: 0.98 0.95 0.91 2/68 13427
/proc/meminfo: memFree=1644256/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=86996 CPUtime=120.02
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 14592 0 0 0 11966 36 0 0 25 0 1 0 187169713 89083904 13075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 21749 13075 105 232 0 21514 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 86996

[startup+130.075 s]
/proc/loadavg: 0.98 0.95 0.91 2/68 13427
/proc/meminfo: memFree=1641632/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=87772 CPUtime=130.03
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 15243 0 0 0 12965 38 0 0 25 0 1 0 187169713 89878528 13726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 21943 13726 105 232 0 21708 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 87772

[startup+140.081 s]
/proc/loadavg: 0.98 0.95 0.91 2/68 13427
/proc/meminfo: memFree=1638880/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=88428 CPUtime=140.03
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 15955 0 0 0 13963 40 0 0 25 0 1 0 187169713 90550272 14405 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 22107 14405 105 232 0 21872 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 88428

[startup+150.087 s]
/proc/loadavg: 0.98 0.95 0.91 2/68 13427
/proc/meminfo: memFree=1637024/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=89152 CPUtime=150.04
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 16423 0 0 0 14962 42 0 0 25 0 1 0 187169713 91291648 14873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 22288 14873 105 232 0 22053 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 89152

[startup+160.093 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 13427
/proc/meminfo: memFree=1635232/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=89568 CPUtime=160.04
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 16892 0 0 0 15961 43 0 0 25 0 1 0 187169713 91717632 15309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 22392 15309 105 232 0 22157 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 89568

[startup+170.1 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 13427
/proc/meminfo: memFree=1633184/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=90820 CPUtime=170.04
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 17476 0 0 0 16959 45 0 0 25 0 1 0 187169713 92999680 15827 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558841 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 22705 15827 105 232 0 22470 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 90820

[startup+180.106 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 13427
/proc/meminfo: memFree=1632160/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=97092 CPUtime=180.04
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 19269 0 0 0 17957 47 0 0 25 0 1 0 187169713 99422208 16050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550784 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 24273 16050 105 232 0 24038 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 97092

[startup+190.112 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 13427
/proc/meminfo: memFree=1630432/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=97704 CPUtime=190.05
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 19772 0 0 0 18957 48 0 0 25 0 1 0 187169713 100048896 16520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 24426 16520 105 232 0 24191 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 97704

[startup+200.118 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 13427
/proc/meminfo: memFree=1628448/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=98412 CPUtime=200.05
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 20333 0 0 0 19956 49 0 0 25 0 1 0 187169713 100773888 17015 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 24603 17015 105 232 0 24368 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 98412

[startup+210.124 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 13427
/proc/meminfo: memFree=1626464/2055888 swapFree=4085392/4096564

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

/proc/13427/statm: 52119 36165 105 232 0 51884 0
Current children cumulated CPU time (s) 1400.42
Current children cumulated vsize (Kb) 208476

[startup+1410.85 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1551392/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=208476 CPUtime=1410.43
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 45791 0 0 0 140878 165 0 0 25 0 1 0 187169713 213479424 36195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52119 36195 105 232 0 51884 0
Current children cumulated CPU time (s) 1410.43
Current children cumulated vsize (Kb) 208476

[startup+1420.86 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1551264/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=208476 CPUtime=1420.43
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 45815 0 0 0 141877 166 0 0 25 0 1 0 187169713 213479424 36219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52119 36219 105 232 0 51884 0
Current children cumulated CPU time (s) 1420.43
Current children cumulated vsize (Kb) 208476

[startup+1430.87 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1550688/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=208476 CPUtime=1430.43
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 45959 0 0 0 142876 167 0 0 25 0 1 0 187169713 213479424 36363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52119 36363 105 232 0 51884 0
Current children cumulated CPU time (s) 1430.43
Current children cumulated vsize (Kb) 208476

[startup+1440.87 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1550560/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=208476 CPUtime=1440.44
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 45990 0 0 0 143876 168 0 0 25 0 1 0 187169713 213479424 36394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52119 36394 105 232 0 51884 0
Current children cumulated CPU time (s) 1440.44
Current children cumulated vsize (Kb) 208476

[startup+1450.88 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1550496/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=208476 CPUtime=1450.44
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46010 0 0 0 144876 168 0 0 25 0 1 0 187169713 213479424 36414 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552307 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52119 36414 105 232 0 51884 0
Current children cumulated CPU time (s) 1450.44
Current children cumulated vsize (Kb) 208476

[startup+1460.89 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1549600/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=209232 CPUtime=1460.44
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46230 0 0 0 145875 169 0 0 25 0 1 0 187169713 214253568 36634 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52308 36634 105 232 0 52073 0
Current children cumulated CPU time (s) 1460.44
Current children cumulated vsize (Kb) 209232

[startup+1470.89 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1549472/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=209232 CPUtime=1470.44
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46258 0 0 0 146874 170 0 0 25 0 1 0 187169713 214253568 36662 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52308 36662 105 232 0 52073 0
Current children cumulated CPU time (s) 1470.44
Current children cumulated vsize (Kb) 209232

[startup+1480.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1549344/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=209232 CPUtime=1480.45
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46280 0 0 0 147874 171 0 0 25 0 1 0 187169713 214253568 36684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52308 36684 105 232 0 52073 0
Current children cumulated CPU time (s) 1480.45
Current children cumulated vsize (Kb) 209232

[startup+1490.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1549344/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=209232 CPUtime=1490.45
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46307 0 0 0 148874 171 0 0 25 0 1 0 187169713 214253568 36711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52308 36711 105 232 0 52073 0
Current children cumulated CPU time (s) 1490.45
Current children cumulated vsize (Kb) 209232

[startup+1500.91 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1548960/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=210036 CPUtime=1500.46
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46390 0 0 0 149874 172 0 0 25 0 1 0 187169713 215076864 36794 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52509 36794 105 232 0 52274 0
Current children cumulated CPU time (s) 1500.46
Current children cumulated vsize (Kb) 210036

[startup+1510.92 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1548896/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=210036 CPUtime=1510.46
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46413 0 0 0 150874 172 0 0 25 0 1 0 187169713 215076864 36817 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52509 36817 105 232 0 52274 0
Current children cumulated CPU time (s) 1510.46
Current children cumulated vsize (Kb) 210036

[startup+1520.92 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1548768/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=210036 CPUtime=1520.46
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46440 0 0 0 151873 173 0 0 25 0 1 0 187169713 215076864 36844 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52509 36844 105 232 0 52274 0
Current children cumulated CPU time (s) 1520.46
Current children cumulated vsize (Kb) 210036

[startup+1530.93 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1548448/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=210036 CPUtime=1530.47
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46517 0 0 0 152873 174 0 0 25 0 1 0 187169713 215076864 36921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52509 36921 105 232 0 52274 0
Current children cumulated CPU time (s) 1530.47
Current children cumulated vsize (Kb) 210036

[startup+1540.93 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1548320/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=210036 CPUtime=1540.47
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46544 0 0 0 153872 175 0 0 25 0 1 0 187169713 215076864 36948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52509 36948 105 232 0 52274 0
Current children cumulated CPU time (s) 1540.47
Current children cumulated vsize (Kb) 210036

[startup+1550.94 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1547232/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=210892 CPUtime=1550.47
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46816 0 0 0 154872 175 0 0 25 0 1 0 187169713 215953408 37220 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52723 37220 105 232 0 52488 0
Current children cumulated CPU time (s) 1550.47
Current children cumulated vsize (Kb) 210892

[startup+1560.95 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1546784/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=211800 CPUtime=1560.48
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 46921 0 0 0 155872 176 0 0 25 0 1 0 187169713 216883200 37325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52950 37325 105 232 0 52715 0
Current children cumulated CPU time (s) 1560.48
Current children cumulated vsize (Kb) 211800

[startup+1570.95 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1546464/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=211800 CPUtime=1570.47
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 47012 0 0 0 156871 176 0 0 25 0 1 0 187169713 216883200 37416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52950 37416 105 232 0 52715 0
Current children cumulated CPU time (s) 1570.47
Current children cumulated vsize (Kb) 211800

[startup+1580.96 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1546336/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=211800 CPUtime=1580.48
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 47034 0 0 0 157871 177 0 0 25 0 1 0 187169713 216883200 37438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 52950 37438 105 232 0 52715 0
Current children cumulated CPU time (s) 1580.48
Current children cumulated vsize (Kb) 211800

[startup+1590.97 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1545824/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=212764 CPUtime=1590.49
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 47164 0 0 0 158871 178 0 0 25 0 1 0 187169713 217870336 37568 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 53191 37568 105 232 0 52956 0
Current children cumulated CPU time (s) 1590.49
Current children cumulated vsize (Kb) 212764

[startup+1600.97 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1545312/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=212764 CPUtime=1600.48
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 47290 0 0 0 159870 178 0 0 25 0 1 0 187169713 217870336 37694 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 53191 37694 105 232 0 52956 0
Current children cumulated CPU time (s) 1600.48
Current children cumulated vsize (Kb) 212764

[startup+1610.98 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 13429
/proc/meminfo: memFree=1545312/2055888 swapFree=4085392/4096564
[pid=13427] ppid=13425 vsize=212764 CPUtime=1610.49
/proc/13427/stat : 13427 (PBS4L) R 13425 13427 13382 0 -1 4194304 47309 0 0 0 160870 179 0 0 25 0 1 0 187169713 217870336 37713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13427/statm: 53191 37713 105 232 0 52956 0
Current children cumulated CPU time (s) 1610.49
Current children cumulated vsize (Kb) 212764

Child status: 0
Real time (s): 1613.5
CPU time (s): 1613.02
CPU user time (s): 1611.2
CPU system time (s): 1.81772
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (Kb): 212764

Launcher Data (download as text)

Begin job on node76 on Fri Jun  2 02:28:23 UTC 2006


FILE ID= 40962-1149215303

PBS_JOBID= 294672

BENCH NAME= ROOT/tmp/node76/40962-1149215303/instance-40962-1149215303.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node76/40962-1149215303/instance-40962-1149215303.opb 558735220
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-40962-1149215303 -o ROOT/results/node76/solver-40962-1149215303 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node76/40962-1149215303/instance-40962-1149215303.opb 558735220

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  1ce0037c3d80e79a7b72360f6130d1f3

RANDOM SEED= 558735220


/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.236
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	: 6006.14
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.236
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1696432 kB
Buffers:         30336 kB
Cached:         263180 kB
SwapCached:       2488 kB
Active:          90732 kB
Inactive:       211552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1696432 kB
SwapTotal:     4096564 kB
SwapFree:      4085392 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          16536 kB
Slab:            43728 kB
Committed_AS:   210648 kB
PageTables:       1260 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node76 on Fri Jun  2 02:55:17 UTC 2006