Trace number 39751

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
bsolo 2006/05? (TO) 1800.6 1801.26

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb
MD5SUMdc68c84ca9a12d789f4fef65e97f0e43
Bench CategoryOPT-MEDINT (optimisation, medium 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 variables2933624
Total number of constraints48672
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 constraints48672
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 1496264
Biggest coefficient in the objective function 160
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 1988816
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 1988816
Number of bits of the biggest sum of numbers21
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 Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
1801.23	c Caught signal: 15
1801.24	s UNKNOWN
1801.24	c Exit Code: 0

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/node62/watcher-39751-1149322093 -o ROOT/results/node62/solver-39751-1149322093 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39751-1149322093/instance-39751-1149322093.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.95 0.94 2/64 11731
/proc/meminfo: memFree=1115232/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=3364 CPUtime=0
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 60 0 0 0 0 0 0 0 18 0 1 0 41413926 3444736 43 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8106788 0 0 4096 0 0 0 0 17 1 0 0
/proc/11731/statm: 859 45 33 55 0 42 0

[startup+10.0023 s]
/proc/loadavg: 0.87 0.95 0.94 2/64 11731
/proc/meminfo: memFree=1109608/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=11408 CPUtime=9.97
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 1562778 0 0 0 392 605 0 0 25 0 1 0 41413926 11681792 1795 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 2852 1801 277 55 0 1744 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 11408

[startup+20.0085 s]
/proc/loadavg: 0.89 0.95 0.94 2/64 11731
/proc/meminfo: memFree=1108072/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=12104 CPUtime=19.96
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 3074211 0 0 0 787 1209 0 0 25 0 1 0 41413926 12394496 1955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 3026 1960 277 55 0 1918 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 12104

[startup+30.0147 s]
/proc/loadavg: 0.91 0.95 0.94 2/64 11731
/proc/meminfo: memFree=1107176/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=12796 CPUtime=29.97
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 4579476 0 0 0 1187 1810 0 0 25 0 1 0 41413926 13103104 2205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 3199 2211 277 55 0 2091 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 12796

[startup+40.0209 s]
/proc/loadavg: 0.92 0.95 0.94 2/64 11731
/proc/meminfo: memFree=1108520/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=13548 CPUtime=39.98
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 6095071 0 0 0 1589 2409 0 0 25 0 1 0 41413926 13873152 1802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 3387 1809 277 55 0 2279 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 13548

[startup+50.0281 s]
/proc/loadavg: 0.93 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1107112/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=14240 CPUtime=49.97
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 7652252 0 0 0 1986 3011 0 0 25 0 1 0 41413926 14581760 2513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 3560 2519 277 55 0 2452 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 14240

[startup+60.0342 s]
/proc/loadavg: 0.94 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1105128/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=14800 CPUtime=59.98
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 9167191 0 0 0 2380 3618 0 0 25 0 1 0 41413926 15155200 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 3700 2704 277 55 0 2592 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 14800

[startup+70.0404 s]
/proc/loadavg: 0.95 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1106536/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=15500 CPUtime=69.99
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 10671267 0 0 0 2771 4228 0 0 25 0 1 0 41413926 15872000 2287 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 3875 2294 277 55 0 2767 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 15500

[startup+80.0486 s]
/proc/loadavg: 0.96 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1104680/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=16336 CPUtime=79.99
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 12186155 0 0 0 3165 4834 0 0 25 0 1 0 41413926 16728064 2750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 4084 2756 277 55 0 2976 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 16336

[startup+90.0548 s]
/proc/loadavg: 0.96 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1105448/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=16896 CPUtime=89.99
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 13688199 0 0 0 3555 5444 0 0 25 0 1 0 41413926 17301504 3359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 4224 3359 360 55 0 3116 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 16896

[startup+100.061 s]
/proc/loadavg: 0.97 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1102824/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=17588 CPUtime=99.99
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 15199013 0 0 0 3944 6055 0 0 25 0 1 0 41413926 18010112 3161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 4397 3166 277 55 0 3289 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 17588

[startup+110.068 s]
/proc/loadavg: 0.97 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1103656/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=18140 CPUtime=110
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 16744078 0 0 0 4346 6654 0 0 25 0 1 0 41413926 18575360 2980 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 4535 2988 277 55 0 3427 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 18140

[startup+120.074 s]
/proc/loadavg: 0.98 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1103080/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=18840 CPUtime=120
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 18253444 0 0 0 4740 7260 0 0 25 0 1 0 41413926 19292160 3077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 4710 3077 277 55 0 3602 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 18840

[startup+130.081 s]
/proc/loadavg: 0.98 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1101800/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=19400 CPUtime=130
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 19751975 0 0 0 5127 7873 0 0 25 0 1 0 41413926 19865600 3407 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 4850 3413 277 55 0 3742 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 19400

[startup+140.088 s]
/proc/loadavg: 0.98 0.96 0.94 2/64 11731
/proc/meminfo: memFree=1101352/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=20092 CPUtime=140
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 21260126 0 0 0 5521 8479 0 0 25 0 1 0 41413926 20574208 3477 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 5023 3484 277 55 0 3915 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 20092

[startup+150.095 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1099624/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=20652 CPUtime=150.01
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 22757414 0 0 0 5911 9090 0 0 25 0 1 0 41413926 21147648 3912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 5163 3918 277 55 0 4055 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 20652

[startup+160.101 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1100008/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=21836 CPUtime=160.01
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 24264795 0 0 0 6304 9697 0 0 25 0 1 0 41413926 22360064 3787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 5459 3794 277 55 0 4351 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 21836

[startup+170.107 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1097960/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=22388 CPUtime=170.02
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 25817641 0 0 0 6704 10298 0 0 25 0 1 0 41413926 22925312 4534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 5597 4541 277 55 0 4489 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 22388

[startup+180.114 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1097896/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=22948 CPUtime=180.01
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 27318122 0 0 0 7082 10919 0 0 25 0 1 0 41413926 23498752 4301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 5737 4306 277 55 0 4629 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 22948

[startup+190.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1096424/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=23508 CPUtime=190.02
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 28808853 0 0 0 7466 11536 0 0 25 0 1 0 41413926 24072192 4678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 5877 4685 277 55 0 4769 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 23508

[startup+200.126 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1097192/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=24068 CPUtime=200.02
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 30311519 0 0 0 7860 12142 0 0 25 0 1 0 41413926 24645632 4442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 6017 4448 277 55 0 4909 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 24068

[startup+210.132 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1096296/2055920 swapFree=4191908/4192956

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

[pid=11731] ppid=11729 vsize=102384 CPUtime=1781.48
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 266432145 0 0 0 69799 108349 0 0 25 0 1 0 41413926 104841216 23795 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25596 23795 1478 55 0 24488 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 102384

[startup+1783.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1024168/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102384 CPUtime=1782.49
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 266580813 0 0 0 69838 108411 0 0 25 0 1 0 41413926 104841216 23183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25596 23189 277 55 0 24488 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 102384

[startup+1784.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1021992/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102392 CPUtime=1783.49
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 266729502 0 0 0 69877 108472 0 0 25 0 1 0 41413926 104849408 23755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25598 23760 277 55 0 24490 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (Kb) 102392

[startup+1785.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1020392/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102392 CPUtime=1784.5
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 266877932 0 0 0 69915 108535 0 0 25 0 1 0 41413926 104849408 22785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25598 22791 277 55 0 24490 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 102392

[startup+1786.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1023656/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102524 CPUtime=1785.5
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 267026633 0 0 0 69954 108596 0 0 25 0 1 0 41413926 104984576 23331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25631 23337 277 55 0 24523 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (Kb) 102524

[startup+1787.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1021288/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102532 CPUtime=1786.5
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 267175310 0 0 0 69993 108657 0 0 25 0 1 0 41413926 104992768 23847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25633 23847 1212 55 0 24525 0
Current children cumulated CPU time (s) 1786.5
Current children cumulated vsize (Kb) 102532

[startup+1788.16 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1019880/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102532 CPUtime=1787.51
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 267323896 0 0 0 70033 108718 0 0 25 0 1 0 41413926 104992768 22913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25633 22918 277 55 0 24525 0
Current children cumulated CPU time (s) 1787.51
Current children cumulated vsize (Kb) 102532

[startup+1789.16 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1023592/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102532 CPUtime=1788.51
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 267472615 0 0 0 70070 108781 0 0 25 0 1 0 41413926 104992768 23358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25633 23362 277 55 0 24525 0
Current children cumulated CPU time (s) 1788.51
Current children cumulated vsize (Kb) 102532

[startup+1790.17 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1023144/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102664 CPUtime=1789.51
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 267622261 0 0 0 70110 108841 0 0 25 0 1 0 41413926 105127936 23485 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25666 23491 277 55 0 24558 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 102664

[startup+1791.17 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1021672/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102672 CPUtime=1790.52
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 267772188 0 0 0 70149 108903 0 0 25 0 1 0 41413926 105136128 23856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25668 23862 277 55 0 24560 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (Kb) 102672

[startup+1792.18 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1020008/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102672 CPUtime=1791.53
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 267922106 0 0 0 70187 108966 0 0 25 0 1 0 41413926 105136128 22888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25668 22893 277 55 0 24560 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (Kb) 102672

[startup+1793.18 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1020840/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102672 CPUtime=1792.53
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 268072081 0 0 0 70225 109028 0 0 25 0 1 0 41413926 105136128 23222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25668 23227 277 55 0 24560 0
Current children cumulated CPU time (s) 1792.53
Current children cumulated vsize (Kb) 102672

[startup+1794.19 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1022504/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102804 CPUtime=1793.54
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 268222141 0 0 0 70262 109092 0 0 25 0 1 0 41413926 105271296 23642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25701 23648 277 55 0 24593 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (Kb) 102804

[startup+1795.19 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1021288/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102812 CPUtime=1794.55
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 268372131 0 0 0 70300 109155 0 0 25 0 1 0 41413926 105279488 23925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25703 23925 674 55 0 24595 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (Kb) 102812

[startup+1796.2 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1020832/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102812 CPUtime=1795.55
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 268521900 0 0 0 70339 109216 0 0 25 0 1 0 41413926 105279488 23934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25703 23934 1434 55 0 24595 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 102812

[startup+1797.2 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1020328/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102812 CPUtime=1796.55
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 268671776 0 0 0 70379 109276 0 0 25 0 1 0 41413926 105279488 22802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25703 22810 277 55 0 24595 0
Current children cumulated CPU time (s) 1796.55
Current children cumulated vsize (Kb) 102812

[startup+1798.21 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1019688/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102952 CPUtime=1797.56
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 268821767 0 0 0 70421 109335 0 0 25 0 1 0 41413926 105422848 22967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25738 22972 277 55 0 24630 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 102952

[startup+1799.21 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1019524/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102952 CPUtime=1798.55
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 268971680 0 0 0 70461 109394 0 0 25 0 1 0 41413926 105422848 22999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25738 23004 277 55 0 24630 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 102952

[startup+1800.22 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1022632/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=102952 CPUtime=1799.57
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 269120648 0 0 0 70499 109458 0 0 25 0 1 0 41413926 105422848 23336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25738 23341 277 55 0 24630 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 102952

[startup+1801.22 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1020072/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=103092 CPUtime=1800.57
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 269269202 0 0 0 70539 109518 0 0 25 0 1 0 41413926 105566208 23254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25773 23259 277 55 0 24665 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 103092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.23 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 11731
/proc/meminfo: memFree=1021416/2055920 swapFree=4191908/4192956
[pid=11731] ppid=11729 vsize=103092 CPUtime=1800.57
/proc/11731/stat : 11731 (bsolo) R 11729 11731 11685 0 -1 0 269269838 0 0 0 70539 109518 0 0 25 0 1 0 41413926 105566208 23890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11731/statm: 25773 23896 277 55 0 24665 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 103092

Sending SIGTERM to -11731
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.26
CPU time (s): 1800.6
CPU user time (s): 705.4
CPU system time (s): 1095.2
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (Kb): 103092

Launcher Data (download as text)

Begin job on node62 on Sat Jun  3 08:08:18 UTC 2006


FILE ID= 39751-1149322093

PBS_JOBID= 309371

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39751-1149322093/instance-39751-1149322093.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-39751-1149322093 -o ROOT/results/node62/solver-39751-1149322093 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39751-1149322093/instance-39751-1149322093.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  dc68c84ca9a12d789f4fef65e97f0e43

RANDOM SEED= 750649261


/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.225
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.225
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:       1115304 kB
Buffers:         33772 kB
Cached:         827488 kB
SwapCached:        572 kB
Active:         180232 kB
Inactive:       695212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1115304 kB
SwapTotal:     4192956 kB
SwapFree:      4191908 kB
Dirty:             304 kB
Writeback:           0 kB
Mapped:          23728 kB
Slab:            51220 kB
Committed_AS:   266284 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node62 on Sat Jun  3 08:38:25 UTC 2006