Trace number 40652

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.59 1801.24

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-fit2d.opb
MD5SUM98a903315aa0fe9737bc6b622eafe352
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-700
Best CPU time to get the best result obtained on this benchmark1804.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -700
Optimality of the best value was proved NO
Number of variables118500
Total number of constraints10525
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 constraints10525
Minimum length of a constraint10
Maximum length of a constraint118500
Number of terms in the objective function 102000
Biggest coefficient in the objective function 166502400
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 44079267426
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 166502400
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 44079267426
Number of bits of the biggest sum of numbers36
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.02	c Time Limit set via PBTIMEOUT to 1800
0.10	c INFO: OSL Context initialized.
1.95	c BIG Int formula...
978.67	c Initial problem consists of 118500 variables and 10526 constraints.
979.96	c No problem reductions applied in OPT. instance.
979.96	c	preprocess terminated. Elapsed time: 979.53
979.96	c After prepocess the problem consists of 118500 variables and 10526 constraints.
979.96	c Initial Lower Bound: -3752283626
1801.19	c Caught signal: 15
1801.19	s UNKNOWN
1801.19	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/node47/watcher-40652-1149310423 -o ROOT/results/node47/solver-40652-1149310423 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40652-1149310423/instance-40652-1149310423.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1820136/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=2948 CPUtime=0
/proc/22415/stat : 22415 (bsolo) D 22413 22415 22369 0 -1 0 50 0 0 0 0 0 0 0 19 0 1 0 162970898 3018752 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10519332 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/22415/statm: 737 34 26 55 0 38 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1797480/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=28664 CPUtime=9.89
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 2091539 0 0 0 446 543 0 0 25 0 1 0 162970898 29351936 6054 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 7166 6061 277 55 0 6058 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 28664

[startup+20.0095 s]
/proc/loadavg: 0.94 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1748328/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=77204 CPUtime=19.89
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3426506 0 0 0 1065 924 0 0 25 0 1 0 162970898 79056896 18397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 19301 18397 281 55 0 18193 0
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 77204

[startup+30.0156 s]
/proc/loadavg: 0.95 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1747112/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=78840 CPUtime=29.89
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3426864 0 0 0 2065 924 0 0 25 0 1 0 162970898 80732160 18727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537450 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 19710 18727 281 55 0 18602 0
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (Kb) 78840

[startup+40.0217 s]
/proc/loadavg: 0.95 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1746088/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=81032 CPUtime=39.9
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427379 0 0 0 3066 924 0 0 25 0 1 0 162970898 82976768 19002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537436 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20258 19002 281 55 0 19150 0
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 81032

[startup+50.0277 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1746024/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=81032 CPUtime=49.9
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427403 0 0 0 4066 924 0 0 25 0 1 0 162970898 82976768 19026 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537408 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20258 19026 281 55 0 19150 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 81032

[startup+60.0338 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1745704/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=81164 CPUtime=59.9
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427474 0 0 0 5066 924 0 0 25 0 1 0 162970898 83111936 19097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20291 19097 281 55 0 19183 0
Current children cumulated CPU time (s) 59.9
Current children cumulated vsize (Kb) 81164

[startup+70.0409 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1745448/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=81296 CPUtime=69.91
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427542 0 0 0 6067 924 0 0 25 0 1 0 162970898 83247104 19165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20324 19165 281 55 0 19216 0
Current children cumulated CPU time (s) 69.91
Current children cumulated vsize (Kb) 81296

[startup+80.048 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1745192/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=81428 CPUtime=79.91
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427601 0 0 0 7067 924 0 0 25 0 1 0 162970898 83382272 19224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20357 19224 281 55 0 19249 0
Current children cumulated CPU time (s) 79.91
Current children cumulated vsize (Kb) 81428

[startup+90.0541 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1745000/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=81692 CPUtime=89.91
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427656 0 0 0 8067 924 0 0 25 0 1 0 162970898 83652608 19279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20423 19279 281 55 0 19315 0
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 81692

[startup+100.06 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1744744/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=81824 CPUtime=99.92
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427707 0 0 0 9068 924 0 0 25 0 1 0 162970898 83787776 19330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20456 19330 281 55 0 19348 0
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 81824

[startup+110.066 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1744616/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=81956 CPUtime=109.92
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427753 0 0 0 10068 924 0 0 25 0 1 0 162970898 83922944 19376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20489 19376 281 55 0 19381 0
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 81956

[startup+120.072 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1744488/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=82088 CPUtime=119.92
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427797 0 0 0 11068 924 0 0 25 0 1 0 162970898 84058112 19420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20522 19420 281 55 0 19414 0
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 82088

[startup+130.078 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1744296/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=82220 CPUtime=129.93
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427840 0 0 0 12068 925 0 0 25 0 1 0 162970898 84193280 19463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20555 19463 281 55 0 19447 0
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 82220

[startup+140.085 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1743400/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=83152 CPUtime=139.94
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3428072 0 0 0 13069 925 0 0 25 0 1 0 162970898 85147648 19687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 20788 19687 281 55 0 19680 0
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 83152

[startup+150.091 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1741608/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=85184 CPUtime=149.94
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3428556 0 0 0 14069 925 0 0 25 0 1 0 162970898 87228416 20131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 21296 20131 281 55 0 20188 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 85184

[startup+160.097 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1741096/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=85580 CPUtime=159.94
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3428684 0 0 0 15069 925 0 0 25 0 1 0 162970898 87633920 20259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 21395 20259 281 55 0 20287 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 85580

[startup+170.103 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1740200/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=87640 CPUtime=169.94
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3429136 0 0 0 16069 925 0 0 25 0 1 0 162970898 89743360 20471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537450 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 21910 20471 281 55 0 20802 0
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 87640

[startup+180.109 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1740072/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=87640 CPUtime=179.94
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3429179 0 0 0 17069 925 0 0 25 0 1 0 162970898 89743360 20514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 21910 20514 281 55 0 20802 0
Current children cumulated CPU time (s) 179.94
Current children cumulated vsize (Kb) 87640

[startup+190.115 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1739752/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=87772 CPUtime=189.95
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3429252 0 0 0 18070 925 0 0 25 0 1 0 162970898 89878528 20587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 21943 20587 281 55 0 20835 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 87772

[startup+200.12 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1739496/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=88036 CPUtime=199.95
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3429316 0 0 0 19070 925 0 0 25 0 1 0 162970898 90148864 20651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 22009 20651 281 55 0 20901 0
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 88036

[startup+210.126 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 22415
/proc/meminfo: memFree=1739240/2055920 swapFree=4183744/4192956

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

[pid=22415] ppid=22413 vsize=248564 CPUtime=1781.44
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177183 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 248564

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1782.45
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177284 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 248564

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1783.45
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177384 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 248564

[startup+1785.11 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1784.46
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177485 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 248564

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1785.46
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177585 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 248564

[startup+1787.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1786.47
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177686 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 248564

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1787.47
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177786 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (Kb) 248564

[startup+1789.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1788.48
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177887 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 248564

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1789.48
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177987 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 248564

[startup+1791.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1790.49
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178088 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 248564

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1791.49
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178188 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548369 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 248564

[startup+1793.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1792.5
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178289 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 248564

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1793.5
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178389 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 248564

[startup+1795.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1794.51
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178490 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 248564

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1795.51
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178590 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 248564

[startup+1797.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1796.52
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178691 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 248564

[startup+1798.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1797.52
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178791 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 248564

[startup+1799.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1798.53
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178892 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 248564

[startup+1800.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1799.53
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178992 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 248564

[startup+1801.19 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1800.53
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 179092 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 248564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 22612
/proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956
[pid=22415] ppid=22413 vsize=248564 CPUtime=1800.54
/proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 179093 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22415/statm: 62141 57075 297 55 0 61033 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 248564

Sending SIGTERM to -22415
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.24
CPU time (s): 1800.59
CPU user time (s): 1790.93
CPU system time (s): 9.65553
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (Kb): 248564

Launcher Data (download as text)

Begin job on node47 on Sat Jun  3 04:53:43 UTC 2006


FILE ID= 40652-1149310423

PBS_JOBID= 307923

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40652-1149310423/instance-40652-1149310423.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-40652-1149310423 -o ROOT/results/node47/solver-40652-1149310423 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40652-1149310423/instance-40652-1149310423.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  98a903315aa0fe9737bc6b622eafe352

RANDOM SEED= 613371185


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1820728 kB
Buffers:         17908 kB
Cached:         153848 kB
SwapCached:       3344 kB
Active:          36900 kB
Inactive:       143688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820728 kB
SwapTotal:     4192956 kB
SwapFree:      4183744 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          15032 kB
Slab:            40648 kB
Committed_AS:   287332 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node47 on Sat Jun  3 05:23:45 UTC 2006