Trace number 38006

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 NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.3? (TO) 1800.74 1801.33

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUMb0a7c1cc13cb603591c6d50e3dba1a47
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14500
Total number of constraints461872
Number of constraints which are clauses461872
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint29
Number of terms in the objective function 14500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
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 Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
16.07	c starting to Solve
16.08	c #variables read: 14500 - #constraints read: 461873

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/node48/watcher-38006-1149409284 -o ROOT/results/node48/solver-38006-1149409284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/38006-1149409284/instance-38006-1149409284.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.96 1.02 0.99 2/64 4047
/proc/meminfo: memFree=1841200/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=916 CPUtime=0
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 206595517 937984 28 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 229 28 20 16 0 8 0

[startup+10.0021 s]
/proc/loadavg: 0.96 1.02 0.99 2/64 4047
/proc/meminfo: memFree=1782000/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=61860 CPUtime=9.99
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 15054 0 0 0 993 6 0 0 25 0 1 0 206595517 63344640 15025 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532408 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 15465 15025 204 16 0 14906 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 61860

[startup+20.0078 s]
/proc/loadavg: 0.97 1.02 0.99 2/64 4047
/proc/meminfo: memFree=1773872/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=70432 CPUtime=19.99
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 17141 0 0 0 1992 7 0 0 25 0 1 0 206595517 72122368 17112 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 17608 17112 206 16 0 17049 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 70432

[startup+30.0135 s]
/proc/loadavg: 0.97 1.02 0.99 2/64 4047
/proc/meminfo: memFree=1774000/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=70432 CPUtime=29.99
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 17142 0 0 0 2992 7 0 0 25 0 1 0 206595517 72122368 17113 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 17608 17113 206 16 0 17049 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 70432

[startup+40.0192 s]
/proc/loadavg: 0.98 1.02 0.99 2/64 4047
/proc/meminfo: memFree=1774000/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=70432 CPUtime=39.99
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 17154 0 0 0 3992 7 0 0 25 0 1 0 206595517 72122368 17125 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 17608 17125 206 16 0 17049 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 70432

[startup+50.0249 s]
/proc/loadavg: 0.98 1.02 0.99 2/64 4047
/proc/meminfo: memFree=1764080/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=80472 CPUtime=50
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 19644 0 0 0 4992 8 0 0 25 0 1 0 206595517 82403328 19615 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 20118 19615 206 16 0 19559 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 80472

[startup+60.0306 s]
/proc/loadavg: 0.98 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1749488/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=95032 CPUtime=60
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 23292 0 0 0 5990 10 0 0 25 0 1 0 206595517 97312768 23263 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 3969997 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 23758 23263 206 16 0 23199 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 95032

[startup+70.0364 s]
/proc/loadavg: 0.98 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1734832/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=109576 CPUtime=70
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 26934 0 0 0 6988 12 0 0 25 0 1 0 206595517 112205824 26905 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519888 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 27394 26905 206 16 0 26835 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 109576

[startup+80.0431 s]
/proc/loadavg: 0.99 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1721200/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=123140 CPUtime=80
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 30343 0 0 0 7987 13 0 0 25 0 1 0 206595517 126095360 30314 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 30785 30314 206 16 0 30226 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 123140

[startup+90.0488 s]
/proc/loadavg: 0.99 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1708016/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=136384 CPUtime=90
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 33636 0 0 0 8985 15 0 0 25 0 1 0 206595517 139657216 33607 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 34096 33607 206 16 0 33537 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 136384

[startup+100.055 s]
/proc/loadavg: 0.99 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1696752/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=147684 CPUtime=100.01
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 36452 0 0 0 9984 17 0 0 25 0 1 0 206595517 151228416 36423 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 36921 36423 206 16 0 36362 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 147684

[startup+110.06 s]
/proc/loadavg: 0.99 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1687664/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=156724 CPUtime=110.01
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 38715 0 0 0 10982 19 0 0 25 0 1 0 206595517 160485376 38686 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 39181 38686 206 16 0 38622 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 156724

[startup+120.066 s]
/proc/loadavg: 0.99 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1676720/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=167660 CPUtime=120.01
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 41446 0 0 0 11981 20 0 0 25 0 1 0 206595517 171683840 41417 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 41915 41417 206 16 0 41356 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 167660

[startup+130.072 s]
/proc/loadavg: 0.99 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1666032/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=178356 CPUtime=130.02
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 44108 0 0 0 12980 22 0 0 25 0 1 0 206595517 182636544 44079 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 44589 44079 206 16 0 44030 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 178356

[startup+140.077 s]
/proc/loadavg: 0.99 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1655920/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=188376 CPUtime=140.02
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 46633 0 0 0 13978 24 0 0 25 0 1 0 206595517 192897024 46604 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 47094 46604 206 16 0 46535 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 188376

[startup+150.083 s]
/proc/loadavg: 0.99 1.01 0.99 2/64 4047
/proc/meminfo: memFree=1646384/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=197912 CPUtime=150.03
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 49010 0 0 0 14978 25 0 0 25 0 1 0 206595517 202661888 48981 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 49478 48981 206 16 0 48919 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 197912

[startup+160.089 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4047
/proc/meminfo: memFree=1635696/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=208536 CPUtime=160.02
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 51675 0 0 0 15976 26 0 0 25 0 1 0 206595517 213540864 51646 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 52134 51646 206 16 0 51575 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 208536

[startup+170.095 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4047
/proc/meminfo: memFree=1625968/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=218340 CPUtime=170.03
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 54105 0 0 0 16975 28 0 0 25 0 1 0 206595517 223580160 54076 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 54585 54076 206 16 0 54026 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 218340

[startup+180.101 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4047
/proc/meminfo: memFree=1617008/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=227260 CPUtime=180.03
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 56334 0 0 0 17974 29 0 0 25 0 1 0 206595517 232714240 56305 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 56815 56305 206 16 0 56256 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 227260

[startup+190.107 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4047
/proc/meminfo: memFree=1609008/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=235252 CPUtime=190.03
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 58330 0 0 0 18972 31 0 0 25 0 1 0 206595517 240898048 58301 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 58813 58301 206 16 0 58254 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 235252

[startup+200.114 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4047
/proc/meminfo: memFree=1601072/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=243116 CPUtime=200.03
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 60316 0 0 0 19971 32 0 0 25 0 1 0 206595517 248950784 60287 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519997 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 60779 60287 206 16 0 60220 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 243116

[startup+210.12 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4047
/proc/meminfo: memFree=1592240/2055920 swapFree=4181432/4192956

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

/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272028 0 0 0 177977 169 0 0 25 0 1 0 206595517 1117466624 271999 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 272819 271999 206 16 0 272260 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 1091276

[startup+1783.06 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=751608/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1091636 CPUtime=1782.47
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272124 0 0 0 178077 170 0 0 25 0 1 0 206595517 1117835264 272095 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 272909 272095 206 16 0 272350 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 1091636

[startup+1784.06 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=751160/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1092088 CPUtime=1783.47
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272244 0 0 0 178177 170 0 0 25 0 1 0 206595517 1118298112 272215 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273022 272215 206 16 0 272463 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 1092088

[startup+1785.07 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=750712/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1092560 CPUtime=1784.48
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272361 0 0 0 178278 170 0 0 25 0 1 0 206595517 1118781440 272332 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273140 272332 206 16 0 272581 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 1092560

[startup+1786.07 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=750200/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1093048 CPUtime=1785.48
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272484 0 0 0 178378 170 0 0 25 0 1 0 206595517 1119281152 272455 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273262 272455 206 16 0 272703 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 1093048

[startup+1787.07 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=749752/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1093512 CPUtime=1786.49
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272595 0 0 0 178479 170 0 0 25 0 1 0 206595517 1119756288 272566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273378 272566 206 16 0 272819 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 1093512

[startup+1788.08 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=749432/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1093768 CPUtime=1787.49
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272666 0 0 0 178579 170 0 0 25 0 1 0 206595517 1120018432 272637 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273442 272637 206 16 0 272883 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 1093768

[startup+1789.09 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=749048/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1094184 CPUtime=1788.5
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272765 0 0 0 178680 170 0 0 25 0 1 0 206595517 1120444416 272736 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273546 272736 206 16 0 272987 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 1094184

[startup+1790.09 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=748600/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1094672 CPUtime=1789.5
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272884 0 0 0 178780 170 0 0 25 0 1 0 206595517 1120944128 272855 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557275 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273668 272855 206 16 0 273109 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 1094672

[startup+1791.09 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=748216/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1095044 CPUtime=1790.5
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272967 0 0 0 178880 170 0 0 25 0 1 0 206595517 1121325056 272938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273761 272938 206 16 0 273202 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 1095044

[startup+1792.1 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=747896/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1095420 CPUtime=1791.51
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273049 0 0 0 178981 170 0 0 25 0 1 0 206595517 1121710080 273020 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273855 273020 206 16 0 273296 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 1095420

[startup+1793.11 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=747448/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1095892 CPUtime=1792.51
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273167 0 0 0 179081 170 0 0 25 0 1 0 206595517 1122193408 273138 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 273973 273138 206 16 0 273414 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 1095892

[startup+1794.11 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=747128/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1096116 CPUtime=1793.52
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273250 0 0 0 179182 170 0 0 25 0 1 0 206595517 1122422784 273221 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 274029 273221 206 16 0 273470 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 1096116

[startup+1795.12 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=746744/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1096596 CPUtime=1794.52
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273343 0 0 0 179282 170 0 0 25 0 1 0 206595517 1122914304 273314 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 274149 273314 206 16 0 273590 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 1096596

[startup+1796.12 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=746360/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1096976 CPUtime=1795.53
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273443 0 0 0 179383 170 0 0 25 0 1 0 206595517 1123303424 273414 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 274244 273414 206 16 0 273685 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 1096976

[startup+1797.12 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=745912/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1097384 CPUtime=1796.53
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273548 0 0 0 179483 170 0 0 25 0 1 0 206595517 1123721216 273519 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 274346 273519 206 16 0 273787 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 1097384

[startup+1798.13 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=745656/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1097632 CPUtime=1797.53
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273614 0 0 0 179583 170 0 0 25 0 1 0 206595517 1123975168 273585 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 274408 273585 206 16 0 273849 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 1097632

[startup+1799.13 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=745336/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1097984 CPUtime=1798.54
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273696 0 0 0 179684 170 0 0 25 0 1 0 206595517 1124335616 273667 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517879 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 274496 273667 206 16 0 273937 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (Kb) 1097984

[startup+1800.14 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=744888/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1098332 CPUtime=1799.54
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273796 0 0 0 179784 170 0 0 25 0 1 0 206595517 1124691968 273767 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 274583 273767 206 16 0 274024 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (Kb) 1098332

[startup+1801.14 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=744376/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1098912 CPUtime=1800.55
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273935 0 0 0 179884 171 0 0 25 0 1 0 206595517 1125285888 273906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520113 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 274728 273906 206 16 0 274169 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 1098912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 4049
/proc/meminfo: memFree=744376/2055920 swapFree=4181432/4192956
[pid=4047] ppid=4045 vsize=1098912 CPUtime=1800.56
/proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273935 0 0 0 179885 171 0 0 25 0 1 0 206595517 1125285888 273906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 274728 273906 206 16 0 274169 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 1098912

Sending SIGTERM to -4047
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.33
CPU time (s): 1800.74
CPU user time (s): 1798.85
CPU system time (s): 1.88371
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (Kb): 1098912
The end

Launcher Data (download as text)

Begin job on node48 on Sun Jun  4 08:21:25 UTC 2006


FILE ID= 38006-1149409284

PBS_JOBID= 314591

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/38006-1149409284/instance-38006-1149409284.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-38006-1149409284 -o ROOT/results/node48/solver-38006-1149409284 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/38006-1149409284/instance-38006-1149409284.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  b0a7c1cc13cb603591c6d50e3dba1a47

RANDOM SEED= 975830551


/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.259
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.259
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:       1841408 kB
Buffers:         12532 kB
Cached:         135744 kB
SwapCached:       3228 kB
Active:          53816 kB
Inactive:       103172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841408 kB
SwapTotal:     4192956 kB
SwapFree:      4181432 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14804 kB
Slab:            43488 kB
Committed_AS:   386968 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node48 on Sun Jun  4 08:51:26 UTC 2006