Trace number 37493

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.76 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb
MD5SUM923982c51ba218a8e62dc99222f9f8f7
Bench CategoryOPT-SMALLINT (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 benchmark9.16661
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 654991
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 654991
Number of bits of the biggest sum of numbers20
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
7.10	c starting to Solve
7.10	c #variables read: 155000 - #constraints read: 5301

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1198760/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=2572 CPUtime=0
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 190459382 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8904407 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 643 231 193 16 0 84 0

[startup+10.0031 s]
/proc/loadavg: 0.93 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1123568/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=87032 CPUtime=10
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 825249 0 0 0 761 239 0 0 25 0 1 0 190459382 89120768 18912 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 21758 18912 206 16 0 21199 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 87032

[startup+20.0102 s]
/proc/loadavg: 0.94 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1123760/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=87032 CPUtime=20
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 825260 0 0 0 1761 239 0 0 25 0 1 0 190459382 89120768 18923 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 21758 18923 206 16 0 21199 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 87032

[startup+30.0163 s]
/proc/loadavg: 0.95 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1119024/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=92064 CPUtime=30
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 826508 0 0 0 2760 240 0 0 25 0 1 0 190459382 94273536 20171 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 23016 20171 206 16 0 22457 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 92064

[startup+40.0224 s]
/proc/loadavg: 0.96 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1114544/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=96416 CPUtime=40.01
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 827617 0 0 0 3760 241 0 0 25 0 1 0 190459382 98729984 21280 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 24104 21280 206 16 0 23545 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 96416

[startup+50.0285 s]
/proc/loadavg: 0.96 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1107440/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=103596 CPUtime=50
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 829414 0 0 0 4759 241 0 0 25 0 1 0 190459382 106082304 23077 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 25899 23077 206 16 0 25340 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 103596

[startup+60.0346 s]
/proc/loadavg: 0.97 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1101104/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=110024 CPUtime=60.01
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 831003 0 0 0 5759 242 0 0 25 0 1 0 190459382 112664576 24666 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 27506 24666 206 16 0 26947 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 110024

[startup+70.0407 s]
/proc/loadavg: 0.97 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1095536/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=115556 CPUtime=70.01
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 832400 0 0 0 6758 243 0 0 25 0 1 0 190459382 118329344 26063 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 28889 26063 206 16 0 28330 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 115556

[startup+80.0468 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1091440/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=119604 CPUtime=80.02
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 833414 0 0 0 7758 244 0 0 25 0 1 0 190459382 122474496 27077 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8877589 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 29901 27077 206 16 0 29342 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 119604

[startup+90.0529 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1084464/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=126448 CPUtime=90.02
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 835143 0 0 0 8757 245 0 0 25 0 1 0 190459382 129482752 28806 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 31612 28806 206 16 0 31053 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 126448

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1077104/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=133864 CPUtime=100.02
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 836987 0 0 0 9757 245 0 0 25 0 1 0 190459382 137076736 30650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 33466 30650 206 16 0 32907 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 133864

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1070512/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=140420 CPUtime=110.02
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 838623 0 0 0 10756 246 0 0 25 0 1 0 190459382 143790080 32286 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 35105 32286 206 16 0 34546 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 140420

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1062896/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=148040 CPUtime=120.03
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 840518 0 0 0 11755 248 0 0 25 0 1 0 190459382 151592960 34181 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 37010 34181 206 16 0 36451 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 148040

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22040
/proc/meminfo: memFree=1055472/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=155568 CPUtime=130.03
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 842395 0 0 0 12754 249 0 0 25 0 1 0 190459382 159301632 36058 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 38892 36058 206 16 0 38333 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 155568

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22042
/proc/meminfo: memFree=1048304/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=162644 CPUtime=140.04
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 844164 0 0 0 13753 251 0 0 25 0 1 0 190459382 166547456 37827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 40661 37827 206 16 0 40102 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 162644

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22042
/proc/meminfo: memFree=1042544/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=168396 CPUtime=150.04
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 845603 0 0 0 14752 252 0 0 25 0 1 0 190459382 172437504 39266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8869378 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 42099 39266 206 16 0 41540 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 168396

[startup+160.095 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22042
/proc/meminfo: memFree=1039536/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=171436 CPUtime=160.04
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 846367 0 0 0 15752 252 0 0 25 0 1 0 190459382 175550464 40030 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528220 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 42859 40030 206 16 0 42300 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 171436

[startup+170.101 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22042
/proc/meminfo: memFree=1035312/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=175668 CPUtime=170.04
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 847406 0 0 0 16752 252 0 0 25 0 1 0 190459382 179884032 41069 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 43917 41069 206 16 0 43358 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 175668

[startup+180.107 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22042
/proc/meminfo: memFree=1031280/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=179668 CPUtime=180.05
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 848425 0 0 0 17752 253 0 0 25 0 1 0 190459382 183980032 42088 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527934 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 44917 42088 206 16 0 44358 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 179668

[startup+190.114 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22042
/proc/meminfo: memFree=1026928/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=183984 CPUtime=190.05
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 849497 0 0 0 18752 253 0 0 25 0 1 0 190459382 188399616 43160 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 45996 43160 206 16 0 45437 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 183984

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22042
/proc/meminfo: memFree=1021872/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=189060 CPUtime=200.05
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 850766 0 0 0 19751 254 0 0 25 0 1 0 190459382 193597440 44429 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 47265 44429 206 16 0 46706 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 189060

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22042
/proc/meminfo: memFree=1016816/2055920 swapFree=4181452/4192956

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

/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 995790 0 0 0 177812 343 0 0 25 0 1 0 190459382 802652160 189453 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 195960 189453 206 16 0 195401 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 783840

[startup+1783.09 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=439728/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=784548 CPUtime=1782.55
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 995960 0 0 0 177912 343 0 0 25 0 1 0 190459382 803377152 189623 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 196137 189623 206 16 0 195578 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 784548

[startup+1784.09 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=439088/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=785252 CPUtime=1783.55
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996127 0 0 0 178012 343 0 0 25 0 1 0 190459382 804098048 189790 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 196313 189790 206 16 0 195754 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 785252

[startup+1785.1 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=438512/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=785840 CPUtime=1784.55
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996272 0 0 0 178112 343 0 0 25 0 1 0 190459382 804700160 189935 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 196460 189935 206 16 0 195901 0
Current children cumulated CPU time (s) 1784.55
Current children cumulated vsize (Kb) 785840

[startup+1786.1 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=437744/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=786548 CPUtime=1785.56
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996464 0 0 0 178213 343 0 0 25 0 1 0 190459382 805425152 190127 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 196637 190127 206 16 0 196078 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 786548

[startup+1787.11 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=437040/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=787256 CPUtime=1786.56
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996634 0 0 0 178313 343 0 0 25 0 1 0 190459382 806150144 190297 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 196814 190297 206 16 0 196255 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 787256

[startup+1788.11 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=436400/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=787844 CPUtime=1787.57
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996795 0 0 0 178413 344 0 0 25 0 1 0 190459382 806752256 190458 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 196961 190458 206 16 0 196402 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 787844

[startup+1789.12 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=435824/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=788432 CPUtime=1788.58
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996944 0 0 0 178514 344 0 0 25 0 1 0 190459382 807354368 190607 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 197108 190607 206 16 0 196549 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 788432

[startup+1790.12 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=435312/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=788988 CPUtime=1789.58
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997064 0 0 0 178614 344 0 0 25 0 1 0 190459382 807923712 190727 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557373 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 197247 190727 206 16 0 196688 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 788988

[startup+1791.13 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=434928/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=789456 CPUtime=1790.58
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997162 0 0 0 178714 344 0 0 25 0 1 0 190459382 808402944 190825 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 197364 190825 206 16 0 196805 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 789456

[startup+1792.13 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=434544/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=789812 CPUtime=1791.59
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997264 0 0 0 178815 344 0 0 25 0 1 0 190459382 808767488 190927 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 197453 190927 206 16 0 196894 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 789812

[startup+1793.13 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=434096/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=790164 CPUtime=1792.59
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997361 0 0 0 178915 344 0 0 25 0 1 0 190459382 809127936 191024 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 197541 191024 206 16 0 196982 0
Current children cumulated CPU time (s) 1792.59
Current children cumulated vsize (Kb) 790164

[startup+1794.14 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=433712/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=790636 CPUtime=1793.6
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997467 0 0 0 179016 344 0 0 25 0 1 0 190459382 809611264 191130 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 197659 191130 206 16 0 197100 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 790636

[startup+1795.14 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=433264/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=790988 CPUtime=1794.6
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997569 0 0 0 179116 344 0 0 25 0 1 0 190459382 809971712 191232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 197747 191232 206 16 0 197188 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 790988

[startup+1796.15 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=432880/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=791460 CPUtime=1795.61
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997668 0 0 0 179217 344 0 0 25 0 1 0 190459382 810455040 191331 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 197865 191331 206 16 0 197306 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 791460

[startup+1797.16 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=432496/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=791812 CPUtime=1796.61
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997770 0 0 0 179317 344 0 0 25 0 1 0 190459382 810815488 191433 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 197953 191433 206 16 0 197394 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (Kb) 791812

[startup+1798.16 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=432112/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=792280 CPUtime=1797.62
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997870 0 0 0 179418 344 0 0 25 0 1 0 190459382 811294720 191533 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 198070 191533 206 16 0 197511 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 792280

[startup+1799.17 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=431728/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=792636 CPUtime=1798.62
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997972 0 0 0 179518 344 0 0 25 0 1 0 190459382 811659264 191635 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 198159 191635 206 16 0 197600 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 792636

[startup+1800.17 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=431344/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=793104 CPUtime=1799.62
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 998075 0 0 0 179618 344 0 0 25 0 1 0 190459382 812138496 191738 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 198276 191738 206 16 0 197717 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 793104

[startup+1801.17 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=430896/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=793456 CPUtime=1800.63
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 998188 0 0 0 179719 344 0 0 25 0 1 0 190459382 812498944 191851 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 198364 191851 206 16 0 197805 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 793456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 22237
/proc/meminfo: memFree=430896/2055920 swapFree=4181452/4192956
[pid=22040] ppid=22038 vsize=793572 CPUtime=1800.63
/proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 998190 0 0 0 179719 344 0 0 25 0 1 0 190459382 812617728 191853 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/22040/statm: 198393 191853 206 16 0 197834 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 793572

Sending SIGTERM to -22040
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.3
CPU time (s): 1800.76
CPU user time (s): 1797.2
CPU system time (s): 3.56446
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (Kb): 793572
The end

Launcher Data (download as text)

Begin job on node21 on Fri Jun  2 11:32:43 UTC 2006


FILE ID= 37493-1149247963

PBS_JOBID= 297917

BENCH NAME= ROOT/tmp/node21/37493-1149247963/instance-37493-1149247963.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37493-1149247963/instance-37493-1149247963.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-37493-1149247963 -o ROOT/results/node21/solver-37493-1149247963 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37493-1149247963/instance-37493-1149247963.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  923982c51ba218a8e62dc99222f9f8f7

RANDOM SEED= 56299644


/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.240
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.240
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:       1198904 kB
Buffers:         46280 kB
Cached:         732808 kB
SwapCached:       3388 kB
Active:         223204 kB
Inactive:       564780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1198904 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            55044 kB
Committed_AS:   248916 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node21 on Fri Jun  2 12:02:44 UTC 2006